Rakshith Amarnath

Model-Based Reliability and Safety: Reducing the Complexity of Safety Analyses Using Component Fault Trees

Arne Nordmann, Marc Zeller, Francesco Montrone, 2018, 2018 Annual Reliability and Maintainability Symposium (RAMS).

Semi-automatic safety analysis and optimization

Eike Thaden, Arne Nordmann, Markus Schweizer, 2018, DAC 2018.

Device for securely integrating a software component in a motor vehicle

Christian Lasarczyk, Markus Schweizer, Rakshith Amarnath, 2014 .

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).

A Model-Based Safety Analysis of Dependencies Across Abstraction Layers

Eike Thaden, Mario Trapp, Markus Schweizer, 2018, SAFECOMP.

INVITED: Semi-Automatic Safety Analysis and Optimization

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

Accelerated Simulated Fault Injection Testing

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

A Fault Injection Approach to Evaluate Soft-Error Dependability of System Calls

Eike Thaden, Peter Munk, Rakshith Amarnath, 2018, 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).