Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges. - Jan-Hendrik Oetjens; Nico Bannow; Markus Becker 001; Oliver Bringmann 001; Andreas Burger; Moomen Chaari; Samarjit Chakraborty; Rolf Drechsler; Wolfgang Ecker; Kim Grüttner; Thomas Kruse; Christoph Kuznik; et al. (DAC, 2014)

A model-based and simulation-assisted FMEDA approach for safety-relevant E/E systems. - Moomen Chaari; Wolfgang Ecker; Cristiano Novello; Bogdan-Andrei Tabacaru; Thomas Kruse (DAC, 2015)

Efficient Checkpointing-Based Safety-Verification Flow Using Compiled-Code Simulation. - Bogdan-Andrei Tabacaru; Moomen Chaari; Wolfgang Ecker; Thomas Kruse; Cristiano Novello (DSD, 2016)

Transformation of Failure Propagation Models into Fault Trees for Safety Evaluation Purposes. - Moomen Chaari; Wolfgang Ecker; Thomas Kruse; Cristiano Novello; Bogdan-Andrei Tabacaru (DSN Workshops, 2016)

Fault-effect analysis on system-level hardware modeling using virtual prototypes. - Bogdan-Andrei Tabacaru; Moomen Chaari; Wolfgang Ecker; Thomas Kruse; Cristiano Novello (FDL, 2016)

Gate-Level-Accurate Fault-Effect Analysis at Virtual-Prototype Speed. - Bogdan-Andrei Tabacaru; Moomen Chaari; Wolfgang Ecker; Thomas Kruse; Cristiano Novello (SAFECOMP Workshops, 2016)

Speeding up safety verification by fault abstraction and simulation to transaction level. - Bogdan-Andrei Tabacaru; Moomen Chaari; Wolfgang Ecker; Thomas Kruse; Cristiano Novello (VLSI-SoC, 2016)

Extending Verilator to Enable Fault Simulation. - Endri Kaja; Nicolas Ojeda Leon; Michael Werner; Bogdan-Andrei Tabacaru; Keerthikumara Devarajegowda; Wolfgang Ecker (MBMV, 2021)