BibTeX records: Bogdan-Andrei Tabacaru

download as .bib file

@inproceedings{DBLP:conf/mbmv/KajaLWTDE21,
  author       = {Endri Kaja and
                  Nicolas Ojeda Leon and
                  Michael Werner and
                  Bogdan{-}Andrei Tabacaru and
                  Keerthikumara Devarajegowda and
                  Wolfgang Ecker},
  title        = {Extending Verilator to Enable Fault Simulation},
  booktitle    = {Methods and Description Languages for Modelling and Verification of
                  Circuits and Systems, {MBMV} 2021, 24th Workshop, Virtual Event, Germany,
                  March 18-19, 2021},
  pages        = {1--6},
  publisher    = {{VDE/IEEE}},
  year         = {2021},
  url          = {https://ieeexplore.ieee.org/document/9399725},
  timestamp    = {Fri, 12 Jan 2024 10:19:10 +0100},
  biburl       = {https://dblp.org/rec/conf/mbmv/KajaLWTDE21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsd/TabacaruCEKN16,
  author       = {Bogdan{-}Andrei Tabacaru and
                  Moomen Chaari and
                  Wolfgang Ecker and
                  Thomas Kruse and
                  Cristiano Novello},
  editor       = {Paris Kitsos},
  title        = {Efficient Checkpointing-Based Safety-Verification Flow Using Compiled-Code
                  Simulation},
  booktitle    = {2016 Euromicro Conference on Digital System Design, {DSD} 2016, Limassol,
                  Cyprus, August 31 - September 2, 2016},
  pages        = {364--371},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/DSD.2016.14},
  doi          = {10.1109/DSD.2016.14},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsd/TabacaruCEKN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dsn/ChaariEKNT16,
  author       = {Moomen Chaari and
                  Wolfgang Ecker and
                  Thomas Kruse and
                  Cristiano Novello and
                  Bogdan{-}Andrei Tabacaru},
  title        = {Transformation of Failure Propagation Models into Fault Trees for
                  Safety Evaluation Purposes},
  booktitle    = {46th Annual {IEEE/IFIP} International Conference on Dependable Systems
                  and Networks Workshops, {DSN} Workshops 2016, Toulouse, France, June
                  28 - July 1, 2016},
  pages        = {226--229},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/DSN-W.2016.18},
  doi          = {10.1109/DSN-W.2016.18},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsn/ChaariEKNT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fdl/TabacaruCEKN16,
  author       = {Bogdan{-}Andrei Tabacaru and
                  Moomen Chaari and
                  Wolfgang Ecker and
                  Thomas Kruse and
                  Cristiano Novello},
  editor       = {Rolf Drechsler and
                  Robert Wille},
  title        = {Fault-effect analysis on system-level hardware modeling using virtual
                  prototypes},
  booktitle    = {2016 Forum on Specification and Design Languages, {FDL} 2016, Bremen,
                  Germany, September 14-16, 2016},
  pages        = {1--7},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/FDL.2016.7880368},
  doi          = {10.1109/FDL.2016.7880368},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fdl/TabacaruCEKN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/TabacaruCEKN16,
  author       = {Bogdan{-}Andrei Tabacaru and
                  Moomen Chaari and
                  Wolfgang Ecker and
                  Thomas Kruse and
                  Cristiano Novello},
  editor       = {Amund Skavhaug and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  Erwin Schoitsch and
                  Friedemann Bitsch},
  title        = {Gate-Level-Accurate Fault-Effect Analysis at Virtual-Prototype Speed},
  booktitle    = {Computer Safety, Reliability, and Security - {SAFECOMP} 2016 Workshops,
                  ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20,
                  2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9923},
  pages        = {144--156},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45480-1\_12},
  doi          = {10.1007/978-3-319-45480-1\_12},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/TabacaruCEKN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vlsi/TabacaruCEKN16,
  author       = {Bogdan{-}Andrei Tabacaru and
                  Moomen Chaari and
                  Wolfgang Ecker and
                  Thomas Kruse and
                  Cristiano Novello},
  title        = {Speeding up safety verification by fault abstraction and simulation
                  to transaction level},
  booktitle    = {2016 {IFIP/IEEE} International Conference on Very Large Scale Integration,
                  VLSI-SoC 2016, Tallinn, Estonia, September 26-28, 2016},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/VLSI-SoC.2016.7753547},
  doi          = {10.1109/VLSI-SOC.2016.7753547},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/vlsi/TabacaruCEKN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dac/ChaariENTK15,
  author       = {Moomen Chaari and
                  Wolfgang Ecker and
                  Cristiano Novello and
                  Bogdan{-}Andrei Tabacaru and
                  Thomas Kruse},
  title        = {A model-based and simulation-assisted {FMEDA} approach for safety-relevant
                  {E/E} systems},
  booktitle    = {Proceedings of the 52nd Annual Design Automation Conference, San Francisco,
                  CA, USA, June 7-11, 2015},
  pages        = {1:1--1:6},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2744769.2747908},
  doi          = {10.1145/2744769.2747908},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/ChaariENTK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dac/OetjensBBBBCCDEGKKLM0MPPRRRSSTV14,
  author       = {Jan{-}Hendrik Oetjens and
                  Nico Bannow and
                  Markus Becker and
                  Oliver Bringmann and
                  Andreas Burger and
                  Moomen Chaari and
                  Samarjit Chakraborty and
                  Rolf Drechsler and
                  Wolfgang Ecker and
                  Kim Gr{\"{u}}ttner and
                  Thomas Kruse and
                  Christoph Kuznik and
                  Hoang Minh Le and
                  Andreas Mauderer and
                  Wolfgang M{\"{u}}ller and
                  Daniel M{\"{u}}ller{-}Gritschneder and
                  Frank Poppen and
                  Hendrik Post and
                  Sebastian Reiter and
                  Wolfgang Rosenstiel and
                  S. Roth and
                  Ulf Schlichtmann and
                  Andreas von Schwerin and
                  Bogdan{-}Andrei Tabacaru and
                  Alexander Viehl},
  title        = {Safety Evaluation of Automotive Electronics Using Virtual Prototypes:
                  State of the Art and Research Challenges},
  booktitle    = {The 51st Annual Design Automation Conference 2014, {DAC} '14, San
                  Francisco, CA, USA, June 1-5, 2014},
  pages        = {113:1--113:6},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2593069.2602976},
  doi          = {10.1145/2593069.2602976},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dac/OetjensBBBBCCDEGKKLM0MPPRRRSSTV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.