Advanced Maintenance Policies for Shock and Damage Models

Software Fault Detection and Correction: Modeling and Applications

Dependable Multicore Architectures at Nanoscale

System Dependability Evaluation Including S-dependency and Uncertainty Model-Driven Dependability Analyses

Constructive Side-Channel Analysis and Secure Design 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedings

Transactions on High-Performance Embedded Architectures and Compilers V

Supercomputing 10th International Conference on Supercomputing in Mexico, ISUM 2019, Monterrey, Mexico, March 25–29, 2019, Revised Selected Papers

VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23–25, 2017, Revised and Extended Selected Papers

Handbook of Model Checking

Supercomputing Frontiers 5th Asian Conference, SCFA 2019, Singapore, March 11–14, 2019, Proceedings

New methods to engineer and seamlessly reconfigure time triggered Ethernet based systems during runtime based on the PROFINET IRT example

In Memory Data Management and Analysis First and Second International Workshops, IMDM 2013, Riva del Garda, Italy, August 26, 2013, IMDM 2014, Hongzhou, China, September 1, 2014, Revised Selected Papers