Bogdan-Andrei Tabacaru

According to our database, Bogdan-Andrei Tabacaru authored at least 8 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Extending Verilator to Enable Fault Simulation.

Endri Kaja, Nicolas Ojeda Leon, Michael Werner, Bogdan-Andrei Tabacaru, Keerthikumara Devarajegowda, Wolfgang Ecker

Proceedings of the Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2021

2016

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

Bogdan-Andrei Tabacaru, Moomen Chaari, Wolfgang Ecker, Thomas Kruse, Cristiano Novello

Proceedings of the 2016 IFIP/IEEE International Conference on Very Large Scale Integration, 2016

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

Bogdan-Andrei Tabacaru, Moomen Chaari, Wolfgang Ecker, Thomas Kruse, Cristiano Novello

Proceedings of the Computer Safety, Reliability, and Security, 2016

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

Bogdan-Andrei Tabacaru, Moomen Chaari, Wolfgang Ecker, Thomas Kruse, Cristiano Novello

Proceedings of the 2016 Forum on Specification and Design Languages, 2016

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

Moomen Chaari, Wolfgang Ecker, Thomas Kruse, Cristiano Novello, Bogdan-Andrei Tabacaru

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

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

Bogdan-Andrei Tabacaru, Moomen Chaari, Wolfgang Ecker, Thomas Kruse, Cristiano Novello

Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016

2015

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

Proceedings of the 52nd Annual Design Automation Conference, 2015

2014

Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges.

Jan-Hendrik Oetjens, Nico Bannow, Markus Becker, Oliver Bringmann, Andreas Burger, Moomen Chaari, Samarjit Chakraborty, Rolf Drechsler, Wolfgang Ecker, Kim Grüttner, Thomas Kruse, Christoph Kuznik, Hoang Minh Le, Andreas Mauderer, Wolfgang Müller, Daniel Müller-Gritschneder, Frank Poppen, Hendrik Post, Sebastian Reiter, Wolfgang Rosenstiel, S. Roth, Ulf Schlichtmann, Andreas von Schwerin, Bogdan-Andrei Tabacaru, Alexander Viehl

Proceedings of the 51st Annual Design Automation Conference 2014, 2014