R. Amarnath

INVITED: Semi-Automatic Safety Analysis and Optimization

Eike Thaden, Arne Nordmann, Simon Burton, 2018, 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC).

Dependability Challenges in the Model-Driven Engineering of Automotive Systems

Eike Thaden, Arne Nordmann, Simon Burton, 2016, 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).

Accelerated Simulated Fault Injection Testing

Eike Thaden, Thomas Kuhn, Emilia Cioroaica, 2017, 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).