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.
282 Publications
2019 | Conference Paper | LibreCat-ID: 24060
@inproceedings{Adelt_Koppelmann_Müller_Scheytt_2019, place={Kaiserslautern, DE}, title={Analyse sicherheitskritischer Software für RISC-V Prozessoren}, booktitle={MBMV 2019-22.Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2019)}, author={Adelt, Peer and Koppelmann, Bastian and Müller, Wolfgang and Scheytt, Christoph}, year={2019} }
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 24061
@inproceedings{Adelt_Koppelmann_Müller_Scheytt_Driessen_2019, place={Florence, Italy}, title={QEMU for Dynamic Memory Analysis of Security Sensitive Software}, booktitle={ 2nd International Workshop on Embedded Software for Industrial IoT in conjunction with DATE 2019}, author={Adelt, Peer and Koppelmann, Bastian and Müller, Wolfgang and Scheytt, Christoph and Driessen, Benedikt}, year={2019}, pages={32–34} }
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 24063
@article{Adelt_Koppelmann_Müller_Scheytt_2019, title={QEMU Support for RISC-V: Current State and Future Releases}, volume={(Presentation)}, journal={2nd International Workshop on RISC-V Research Activities}, author={Adelt, Peer and Koppelmann, Bastian and Müller, Wolfgang and Scheytt, Christoph}, year={2019} }
LibreCat
| Files available
2019 | Book (Editor) | LibreCat-ID: 53596
@book{Bringmann_Ecker_Müller_Müller-Gridschneder_2019, place={Florence, Italy}, title={Proceedings of the 2nd International Workshop on Embedded Software for Industrial IoT - ESIIT}, year={2019} }
LibreCat
2018 | Journal Article | LibreCat-ID: 24194
@article{Adelt_Koppelmann_Müller_2018, title={Current and Future RISC-V Activities for Virtual Prototyping and Chip Design}, volume={Presentation}, journal={International Workshop on RISC-V Research Activities}, author={Adelt, Peer and Koppelmann, Bastian and Müller, Wolfgang}, year={2018} }
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 24196
@inproceedings{Wu_Hussain_Abughannam_Müller_Scheytt_Ecker_2018, place={Italy/Taormina}, title={Analog fault simulation automation at schematic level with random sampling techniques}, DOI={10.1109/DTIS.2018.8368549}, booktitle={2018 13th International Conference on Design & Technology of Integrated Systems In Nanoscale Era (DTIS)) }, publisher={IEEE}, author={Wu, Liang and Hussain, Mohammad Khizer and Abughannam, Saed and Müller, Wolfgang and Scheytt, Christoph and Ecker, Wolfgang}, year={2018} }
LibreCat
| Files available
| DOI
2018 | Book (Editor) | LibreCat-ID: 53595
@book{Bringmann_Ecker_Müller_Müller-Gridschneder_2018, place={Dresden, Germany}, title={Proceedings of the 1st International Workshop on Embedded Software for Industrial IoT - ESIIT}, year={2018} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 24220
@inproceedings{Adelt_Koppelmann_Müller_Mueller-Gritschneder_Kleinjohann_Scheytt_2017, place={Germany, Paderborn}, title={Automatisierte Fehlerinjektion zur Entwicklung sicherer Mikrocontrolleranwendungen auf der Basis virtueller Plattformen}, DOI={10.17619/UNIPB/1-93}, booktitle={Tagungsband des Wissenschaftsforums Intelligente Technische Systeme}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts}, author={Adelt, Peer and Koppelmann, Bastian and Müller, Wolfgang and Mueller-Gritschneder, Daniel and Kleinjohann, Bernd and Scheytt, Christoph}, year={2017} }
LibreCat
| Files available
| DOI
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
2017 | Conference Paper | LibreCat-ID: 25068
@inproceedings{Adelt_Koppelmann_Müller_Kleinjohann_Scheytt_2017, title={ANALISA - A Tool for Static Instruction Set Analysis}, booktitle={Design Automation and Testing in Europe (DATE)}, author={Adelt, Peer and Koppelmann, Bastian and Müller, Wolfgang and Kleinjohann, Bernd and Scheytt, J. Christoph}, editor={University Booth Interactive Presentation}, year={2017} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 25069
@inproceedings{Adelt_Koppelmann_Müller_Kleinjohann_Scheytt_2017, title={ANALISA - A Tool for Static Instruction Set Analysis}, booktitle={Design Automation and Testing in Europe (DATE)}, author={Adelt, Peer and Koppelmann, Bastian and Müller, Wolfgang and Kleinjohann, Bernd and Scheytt, J. Christoph}, editor={University Booth Interactive Presentation}, year={2017} }
LibreCat
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