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
2015 | Conference Paper | LibreCat-ID: 24289
W. Müller, L. Wu, C. Scheytt, M. Becker, and S. Schoenberg, “On the Correlation of HW Faults and SW Errors,” in Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems (REES 2014), 2015.
LibreCat
2015 | Book (Editor) | LibreCat-ID: 53590
D. Müller-Gridschneder, W. Müller, and S. Mitra, Eds., Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems. Amsterdam, Netherlands, 2015.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25145
M. Becker, C. Kuznik, and W. Müller, “Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software,” 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25155
M. Becker, C. Kuznik, and W. Müller, “Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems,” 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25161
B. Koppelmann, M. Becker, and W. Müller, “Portierung der TriCore-Architektur auf QEMU,” 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 24305
F. Mischkalla and W. Müller, “Architectural Low-Power Design Using Transaction-Based System Modeling and Simulation,” 2014, doi: 10.1109/SAMOS.2014.6893219.
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 24302
B. Koppelmann, B. Messidat, M. Becker, C. Kuznik, W. Müller, and C. Scheytt, “Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU,” Design and Verification Conference (DVCON EUROPE), 2014.
LibreCat
| Files available
2014 | Journal Article | LibreCat-ID: 24309
C. Kuznik and W. Müller, “Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure,” Design, Automation and Test in Europe DATE, University Booth, Dresden, 2014.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 24311
J.-H. Oetjens et al., “Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges,” 2014, doi: 10.1145/2593069.2602976.
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 25164
M. Becker, W. Müller, J. Stroop, and U. Kiffmeier, “HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC,” Design, Automation and Test in Europe DATE, University Booth, Dresden, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25120
F. Mischkalla and W. Müller, “Architectural Low-Power Design Using Transaction-Based System Simulation,” Greece, Sep. 2014, IEEE, 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25146
M. tech. M. M. Joy, W. Müller, and F.-J. Rammig, “Source code annotated memory leak detection for soft real time embedded systems with resource constraints,” 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25144
F. Mischkalla and W. Müller, “Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation,” 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 36918
M. Becker, C. Kuznik, and W. Müller, “Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems,” presented at the ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin, 2014, doi: 10.1109/ICCPS.2014.6843726.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 36917
C. Kuznik, W. Müller, and G. B. Defo, “An Assisted Single Source Verification Metric Model Code Generation Methodology,” presented at the Proceedings of the Electronic System Level Synthesis Conference (ESLSyn), 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25166
C. Kuznik and W. Müller, “Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM,” 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25163
C. Kuznik, B. G. Defo, and W. Müller, “Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung,” 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 25151
C. Kuznik, B. G. Defo, and W. Müller, “An Assisted Single Source Verification Metric Model Code Generation Methodology,” Electronic System Level Synthesis Conference (ESLSyn), 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 34585
B. Koppelmann, B. Messidat, M. Becker, W. Müller, and J. C. Scheytt, “Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU,” 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 34583
B. Koppelmann, B. Messidat, C. Kuznik, W. Müller, M. Becker, and J. C. Scheytt, “Fast and Open Virtual Platforms for TriCore-based SoCs Using QEMU,” 2014.
LibreCat