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
2012 | Journal Article | LibreCat-ID: 26038
C. Kuznik, M. F. Oliveira, and W. Müller, “SYSTEMC UVM VERIFICATION COMPONENTS,” Design, Automation and Test in Europe DATE, 2012.
LibreCat
2012 | Book (Editor) | LibreCat-ID: 53593
W. Müller and W. Ecker, Eds., Proceedings of the 1st Workshop on Metamodelling and Code Generation for Embedded Systems - MeCoEs . Tampere, Finland, 2012.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26667
C. Kuznik and W. Müller, “Aspect enhanced functional coverage driven verification in the SystemC HDVL,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26669
T. Xie and W. Müller, “IP-XACT based System Level Mutation Testing,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26698
T. Xie and W. Müller, “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search,” 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26705
C. Kuznik and W. 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
M. Becker, H. Zabel, W. Müller, A. Elfeky, and A. DiPasquale, “Virtual Prototyping softwareintensiver mechatronischer Systeme Eine Fallstudie,” in 8. Paderborner Workshop Entwurf mechatronischer Systeme, Band 294, 2011, vol. 294, pp. 315–327.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26713
K. Klobedanz, A. König, and W. Müller, “A Reconfiguration Approach for Fault-Tolerant FlexRay Networks,” 14. - 18. Mrz. 2011, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26714
K. Klobedanz, A. König, W. Müller, and A. Rettberg, “Self-Reconfiguration for Fault-Tolerant FlexRay Networks,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26715
C. Kuznik and W. Müller, “Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26716
F. Mischkalla, D. He, and W. Müller, “A Retargetable SysML-based Front-End for High-Level Synthesis,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26717
D. He, F. Mischkalla, and W. Müller, “A SysML-based Framework with QEMU-SystemC Code Generation,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26784
G. B. Gnokam Defo and W. Müller, “Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26789
C. Kuznik and W. Müller, “Native binary mutation analysis for embedded software and virtual prototypes in SystemC,” 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 37001
M. Becker, H. Zabel, W. Müller, and A. Elfeky, “Virtual Prototyping software-intensiver mechatronischer Systeme - Eine Fallstudie,” presented at the 8. Paderborner Workshop Entwurf Mechatronischer Systeme, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 37005
C. Kuznik and W. Müller, “A SystemC Based Library for Functional Coverage,” presented at the Proceedings of the Design and Verification Conference (DVCON 2011), San Jose, CA, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 37006
K. Klobedanz, A. König, and W. Müller, “A Reconfiguration Approach for Faul-Tolerant FlexRay Networks,” presented at the 2011 Design, Automation & Test in Europe, Grenoble, France, 2011, doi: 10.1109/DATE.2011.5763022.
LibreCat
| DOI
2011 | Book (Editor) | LibreCat-ID: 53580
W. Müller and F. Petrot, Eds., Proceedings of the 1st International QEMU Users’ Forum. 2011.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37007
F. Mischkalla, D. He, and W. Müller, “Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems,” presented at the 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5456990.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37009
M. F. S. Oliveira, H. Zabel, and W. Müller, “Assertion-Based Verification of RTOS Properties,” presented at the 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5457130.
LibreCat
| DOI