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
2012 | Conference Paper | LibreCat-ID: 36994
Xie, Tao , Wolfgang Müller, and Florian Letombe. “Mutation-Analysis Driven Functional Verification of a Soft Microprocessor.” In Proceedings of SOCC2012. Niagara Falls, NY, USA : IEEE, 2012. https://doi.org/10.1109/SOCC.2012.6398362.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 36997
Xie, Tao, and Wolfgang Müller. “An IP-XACT-TO-SystemC Model Generator for Mutation Analysis.” In Proceedings of the MeCoES’12. Tampere, Finnland, 2012.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26667
Kuznik, Christoph, and Wolfgang Müller. “Aspect Enhanced Functional Coverage Driven Verification in the SystemC HDVL.” In Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26669
Xie, Tao, and Wolfgang Müller. “IP-XACT Based System Level Mutation Testing.” In Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26698
Xie, Tao, and Wolfgang Müller. “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search.” In Proceedings of the 14th Euromicro Conference on Digital System Design (DSD), 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26705
Kuznik, Christoph, and Wolfgang Müller. “Verification Closure of SystemC Designs with Functional Coverage.” North American SystemC User Group Meeting (16th), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26710
Becker, Markus, Henning Zabel, Wolfgang Müller, Ahmed Elfeky, and Anthony DiPasquale. “Virtual Prototyping Softwareintensiver Mechatronischer Systeme Eine Fallstudie.” In 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294, 294:315–27. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26713
Klobedanz, Kay, A. König, and Wolfgang Müller. “A Reconfiguration Approach for Fault-Tolerant FlexRay Networks.” In Proceedings of Design, Automation, Test Europe - DATE2011. Grenoble, France: IEEE Computer Society Press, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26714
Klobedanz, Kay, A. König, Wolfgang Müller, and Achim Rettberg. “Self-Reconfiguration for Fault-Tolerant FlexRay Networks.” In Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011. Newport Beach, California, USA: IEEE Computer Society Press, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26715
Kuznik, Christoph, and Wolfgang Müller. “Functional Coverage-Driven Verification with SystemC on Multiple Level of Abstraction.” In Proceedings of DVCON , 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26716
Mischkalla, Fabian, Da He, and Wolfgang Müller. “A Retargetable SysML-Based Front-End for High-Level Synthesis.” In Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26717
He, Da, Fabian Mischkalla, and Wolfgang Müller. “A SysML-Based Framework with QEMU-SystemC Code Generation.” In Proceedings of 1st International QEMU Users Forum, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26784
Gnokam Defo, Gilles Bertrand, and Wolfgang Müller. “Synchronisation Eines SystemC Restbus-Simulators Mit Einem Hardware-In-the-Loop FlexRay Netzwerk.” In Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26789
Kuznik, Christoph, and Wolfgang Müller. “Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC.” In Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011.
LibreCat
2011 | Book (Editor) | LibreCat-ID: 53580
Müller, Wolfgang, and Frederic Petrot, eds. Proceedings of the 1st International QEMU Users’ Forum, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 37001
Becker, Markus, Henning Zabel, Wolfgang Müller, and Ahmed Elfeky. “Virtual Prototyping Software-Intensiver Mechatronischer Systeme - Eine Fallstudie.” Paderborn, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 37005
Kuznik, Christoph, and Wolfgang Müller. “A SystemC Based Library for Functional Coverage,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 37006
Klobedanz, Kay, Andreas König, and Wolfgang Müller. “A Reconfiguration Approach for Faul-Tolerant FlexRay Networks.” In Proceedings of DATE’11. Grenoble, France: IEEE, 2011. https://doi.org/10.1109/DATE.2011.5763022.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 37002
Xie, Tao, Wolfgang Müller, and Florian Letombe. “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search.” In Proceedings of Euromicro DSD 2011. Oulu, Finnland: IEEE, 2011. https://doi.org/10.1109/DSD.2011.83.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 36999
Becker, Markus, Henning Zabel, Wolfgang Müller, and Ahmed Elfeky. “Virtual Prototyping Software-Intensiver Mechatronischer Systeme - Eine Fallstudie.” Paderborn, 2011.
LibreCat