Cristiano Novello

Publication Activity (10 Years)

Years Active: 2015-2016
Publications (10 Years): 6

Top Topics

Safety Analysis

Computationally Expensive

Simulation Tools

Top Venues

SAFECOMP Workshops

Publications

Bogdan-Andrei Tabacaru, Moomen Chaari, Wolfgang Ecker, Thomas Kruse, Cristiano Novello
Gate-Level-Accurate Fault-Effect Analysis at Virtual-Prototype Speed. SAFECOMP Workshops (2016)
Bogdan-Andrei Tabacaru, Moomen Chaari, Wolfgang Ecker, Thomas Kruse, Cristiano Novello
Speeding up safety verification by fault abstraction and simulation to transaction level. VLSI-SoC (2016)
Moomen Chaari, Wolfgang Ecker, Thomas Kruse, Cristiano Novello, Bogdan-Andrei Tabacaru
Transformation of Failure Propagation Models into Fault Trees for Safety Evaluation Purposes. DSN Workshops (2016)
Bogdan-Andrei Tabacaru, Moomen Chaari, Wolfgang Ecker, Thomas Kruse, Cristiano Novello
Efficient Checkpointing-Based Safety-Verification Flow Using Compiled-Code Simulation. DSD (2016)
Bogdan-Andrei Tabacaru, Moomen Chaari, Wolfgang Ecker, Thomas Kruse, Cristiano Novello
Fault-effect analysis on system-level hardware modeling using virtual prototypes. FDL (2016)
Moomen Chaari, Wolfgang Ecker, Cristiano Novello, Bogdan-Andrei Tabacaru, Thomas Kruse
A model-based and simulation-assisted FMEDA approach for safety-relevant E/E systems. DAC (2015)