Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
264 Publications
2017 | Conference Paper | LibreCat-ID: 24223
@inproceedings{Wu_Abughannam_Müller_Scheytt_Ecker_2017, place={Lausanne, Switzerland}, title={SPICE-Level Fault Injection with Likelihood Weighted Random Sampling - A Case Study}, booktitle={2nd Workshop on Resiliency in Embedded Electronic Systems (REES)}, author={Wu, Liang and Abughannam, Saed and Müller, Wolfgang and Scheytt, Christoph and Ecker, Wolfgang}, year={2017}, pages={68} }
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 24224
@inproceedings{Adelt_Koppelmann_Müller_Kleinjohann_Scheytt_2017, place={Lausanne, CH}, title={ANALISA - A Tool for Static Instruction Set Analysis}, booktitle={Design Automation and Testing in Europe (DATE), University Booth Interactive Presentation}, author={Adelt, Peer and Koppelmann, Bastian and Müller, Wolfgang and Kleinjohann, Bernd and Scheytt, Christoph}, year={2017} }
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 24225
@inproceedings{Adelt_Koppelmann_Müller_Kleinjohann_Scheytt_2017, place={Lausanne, Switzerland}, title={An Automatic Injection Framework for Safety Assessements of Embedded Software Binaries}, booktitle={2nd Workshop on Resiliency in Embedded Electronic Systems (REES) }, author={Adelt, Peer and Koppelmann, Bastian and Müller, Wolfgang and Kleinjohann, Bernd and Scheytt, Christoph}, year={2017}, pages={44} }
LibreCat
| Files available
2016 | Conference Paper | LibreCat-ID: 24264
@inproceedings{Adelt_Koppelmann_Müller_Becker_Kleinjohann_Scheytt_2016, place={Tallin, Estonia}, title={Fast Dynamic Fault Injection for Virtual Microcontroller Platforms}, DOI={10.1109/VLSI-SoC.2016.7753545}, booktitle={Proceedings of the IEEE/IFIP International Conference on VLSI (VLSI-SOC)}, author={Adelt, Peer and Koppelmann, Bastian and Müller, Wolfgang and Becker, Markus and Kleinjohann, Bernd and Scheytt, Christoph}, year={2016} }
LibreCat
| Files available
| DOI
2016 | Conference Paper | LibreCat-ID: 24263
@inproceedings{Abughannam_Wu_Müller_Scheytt_Ecker_Novello_2016, title={Fault Injection and Mixed-Level Simulation for Analog Circuits - A Case Study}, booktitle={Analog 2016 - VDE}, author={Abughannam, Saed and Wu, Liang and Müller, Wolfgang and Scheytt, Christoph and Ecker, Wolfgang and Novello, Christiano}, year={2016} }
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 24289
@inproceedings{Müller_Wu_Scheytt_Becker_Schoenberg_2015, place={Amsterdam, Netherland}, title={On the Correlation of HW Faults and SW Errors}, booktitle={Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems (REES 2014)}, author={Müller, Wolfgang and Wu, Liang and Scheytt, Christoph and Becker, Markus and Schoenberg, Sven}, editor={Mueller-Gritschneder, Daniel and Müller, Wolfgang and Mitra, Subhasish}, year={2015} }
LibreCat
2015 | Book (Editor) | LibreCat-ID: 53590
@book{Müller-Gridschneder_Müller_Mitra_2015, place={Amsterdam, Netherlands}, title={Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems}, year={2015} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25145
@inproceedings{Becker_Kuznik_Müller_2014, title={Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software}, booktitle={17th Euromicro Conference on Digital Systems Design (DSD)}, author={Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25155
@inproceedings{Becker_Kuznik_Müller_2014, title={Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems}, booktitle={ACM/IEEE 5th International Conference on Cyber-Physical Systems}, author={Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25161
@inproceedings{Koppelmann_Becker_Müller_2014, title={Portierung der TriCore-Architektur auf QEMU}, booktitle={17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) }, author={Koppelmann, Bastian and Becker, Markus and Müller, Wolfgang}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 24305
@inproceedings{Mischkalla_Müller_2014, place={Greece}, title={Architectural Low-Power Design Using Transaction-Based System Modeling and Simulation}, DOI={10.1109/SAMOS.2014.6893219}, booktitle={Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV)}, publisher={IEEE}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2014} }
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 24302
@article{Koppelmann_Messidat_Becker_Kuznik_Müller_Scheytt_2014, title={Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU}, journal={Design and Verification Conference (DVCON EUROPE)}, author={Koppelmann, Bastian and Messidat, Bernd and Becker, Markus and Kuznik, Christoph and Müller, Wolfgang and Scheytt, Christoph}, year={2014} }
LibreCat
| Files available
2014 | Journal Article | LibreCat-ID: 24309
@article{Kuznik_Müller_2014, title={Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure}, journal={Design, Automation and Test in Europe DATE, University Booth, Dresden}, author={Kuznik, Christoph and Müller, Wolfgang}, year={2014} }
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 24311
@inproceedings{Oetjens_Becker_Kuznik_Müller_Bannow_Brinkmann_Burger_Chaari_Chakraborty_Drechsler_et al._2014, title={Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges}, DOI={10.1145/2593069.2602976}, booktitle={Design Automation Conference (DAC)}, author={Oetjens, Jan-Hendrik and Becker, Markus and Kuznik, Christoph and Müller, Wolfgang and Bannow, Nico and Brinkmann, Oliver and Burger, Andreas and Chaari, Moomen and Chakraborty, Samarjit and Drechsler, R. and et al.}, year={2014} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 25120
@inproceedings{Mischkalla_Müller_2014, title={Architectural Low-Power Design Using Transaction-Based System Simulation}, booktitle={Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV)}, publisher={IEEE}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25146
@inproceedings{Joy_Müller_Rammig_2014, title={Source code annotated memory leak detection for soft real time embedded systems with resource constraints}, booktitle={12th IEEE International conference on Embedded Computing}, author={Joy, M. tech. Mabel Mary and Müller, Wolfgang and Rammig, Franz-Josef}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25144
@inproceedings{Mischkalla_Müller_2014, place={Palma de Mallorca, Spain}, title={Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation}, booktitle={PATMOS 2014}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 36918
@inproceedings{Becker_Kuznik_Müller_2014, place={Berlin}, title={Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems}, DOI={10.1109/ICCPS.2014.6843726}, publisher={IEEE}, author={Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}, year={2014} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 36917
@inproceedings{Kuznik_Müller_Defo_2014, place={San Francisco, USA}, title={An Assisted Single Source Verification Metric Model Code Generation Methodology}, author={Kuznik, Christoph and Müller, Wolfgang and Defo, Gilles Bertrand}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25166
@inproceedings{Kuznik_Müller_2014, title={Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM}, booktitle={26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen}, author={Kuznik, Christoph and Müller, Wolfgang}, year={2014} }
LibreCat