Bogdan-Andrei Tabacaru

2015 ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC) PROCEEDINGS TABLE OF CONTENTS

Hokeun Kim, Edward A. Lee, Radu Marculescu, 2015 .

Gate-Level-Accurate Fault-Effect Analysis at Virtual-Prototype Speed

Wolfgang Ecker, Thomas Kruse, Moomen Chaari, 2016, SAFECOMP Workshops.

Efficient Checkpointing-Based Safety-Verification Flow Using Compiled-Code Simulation

Wolfgang Ecker, Thomas Kruse, Moomen Chaari, 2016, 2016 Euromicro Conference on Digital System Design (DSD).

Speeding up safety verification by fault abstraction and simulation to transaction level

Wolfgang Ecker, Thomas Kruse, Moomen Chaari, 2016, 2016 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC).

Safety evaluation of automotive electronics using Virtual Prototypes: State of the art and research challenges

Rolf Drechsler, Wolfgang Rosenstiel, Wolfgang Müller, 2014, 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).

Transformation of Failure Propagation Models into Fault Trees for Safety Evaluation Purposes

Wolfgang Ecker, Thomas Kruse, Moomen Chaari, 2016, 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W).

Fault-effect analysis on system-level hardware modeling using virtual prototypes

Wolfgang Ecker, Thomas Kruse, Moomen Chaari, 2016, 2016 Forum on Specification and Design Languages (FDL).

A Generic Metamodel for Dependability Analysis

Wolfgang Ecker, Thomas Kruse, Moomen Chaari, 2015 .

A model-based and simulation-assisted FMEDA approach for safety-relevant E/E systems

Wolfgang Ecker, Thomas Kruse, Moomen Chaari, 2015, 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC).

Runtime Fault-Injection Tool for Executable SystemC Models

Wolfgang Ecker, Thomas Kruse, Moomen Chaari, 2014 .

A Meta-Modeling-Based Approach for Automatic Generation of Fault-Injection Processes

Wolfgang Ecker, Thomas Kruse, Moomen Chaari, 2014 .