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 | Book Chapter | LibreCat-ID: 26695
Extending UML for Electronic Systems Design: A Code Generation Perspective
Y. Vanderperren, W. Müller, D. He, F. Mischkalla, W. Dahaene, in: G. Nicolescu, I. O’Connor, C. Piguet (Eds.), Design Technology for Heterogeneous Embedded Systems, 1st Edition. Auflage, Springer Verlag, 2012, pp. 13–39.
LibreCat
Y. Vanderperren, W. Müller, D. He, F. Mischkalla, W. Dahaene, in: G. Nicolescu, I. O’Connor, C. Piguet (Eds.), Design Technology for Heterogeneous Embedded Systems, 1st Edition. Auflage, Springer Verlag, 2012, pp. 13–39.
2012 | Journal Article | LibreCat-ID: 26038
SYSTEMC UVM VERIFICATION COMPONENTS
C. Kuznik, M.F. Oliveira, W. Müller, Design, Automation and Test in Europe DATE (2012).
LibreCat
C. Kuznik, M.F. Oliveira, W. Müller, Design, Automation and Test in Europe DATE (2012).
2012 | Book (Editor) | LibreCat-ID: 53593
Proceedings of the 1st Workshop on Metamodelling and Code Generation for Embedded Systems - MeCoEs
W. Müller, W. Ecker, eds., Proceedings of the 1st Workshop on Metamodelling and Code Generation for Embedded Systems - MeCoEs , Tampere, Finland, 2012.
LibreCat
W. Müller, W. Ecker, eds., Proceedings of the 1st Workshop on Metamodelling and Code Generation for Embedded Systems - MeCoEs , Tampere, Finland, 2012.
2012 | Conference Paper | LibreCat-ID: 36922
An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems
K. Klobedanz, W. Müller, A. Rettberg, in: IEEE, Shenzhen, China , 2012.
LibreCat
| DOI
K. Klobedanz, W. Müller, A. Rettberg, in: IEEE, Shenzhen, China , 2012.
2012 | Conference Paper | LibreCat-ID: 36921
Towards an Enhanced UVM for SystemC
M.F. Oliveira, C. Kuznik, W. Müller, V. Esen, W. Ecker, in: Proceedings of the Design & Verification Conference (DVCon), San Jose, 2012.
LibreCat
M.F. Oliveira, C. Kuznik, W. Müller, V. Esen, W. Ecker, in: Proceedings of the Design & Verification Conference (DVCon), San Jose, 2012.
2012 | Conference Paper | LibreCat-ID: 36994
Mutation-Analysis Driven Functional Verification of a Soft Microprocessor
T. Xie, W. Müller, F. Letombe, in: Proceedings of SOCC2012, IEEE, Niagara Falls, NY, USA , 2012.
LibreCat
| DOI
T. Xie, W. Müller, F. Letombe, in: Proceedings of SOCC2012, IEEE, Niagara Falls, NY, USA , 2012.
2012 | Conference Paper | LibreCat-ID: 36997
An IP-XACT-TO-SystemC Model Generator for Mutation Analysis
T. Xie, W. Müller, in: Proceedings of the MeCoES’12, Tampere, Finnland, 2012.
LibreCat
T. Xie, W. Müller, in: Proceedings of the MeCoES’12, Tampere, Finnland, 2012.
2011 | Conference Paper | LibreCat-ID: 26667
Aspect enhanced functional coverage driven verification in the SystemC HDVL
C. Kuznik, W. Müller, in: Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011), 2011.
LibreCat
C. Kuznik, W. Müller, in: Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011), 2011.
2011 | Conference Paper | LibreCat-ID: 26669
IP-XACT based System Level Mutation Testing
T. Xie, W. Müller, in: Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT), 2011.
LibreCat
T. Xie, W. Müller, in: Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT), 2011.
2011 | Conference Paper | LibreCat-ID: 26698
HDL-Mutation Based Simulation Data Generation by Propagation Guided Search
T. Xie, W. Müller, in: Proceedings of the 14th Euromicro Conference on Digital System Design (DSD), 2011.
LibreCat
T. Xie, W. Müller, in: Proceedings of the 14th Euromicro Conference on Digital System Design (DSD), 2011.
2011 | Journal Article | LibreCat-ID: 26705
Verification Closure of SystemC Designs with Functional Coverage
C. Kuznik, W. Müller, North American SystemC User Group Meeting (16th) (2011).
LibreCat
C. Kuznik, W. Müller, North American SystemC User Group Meeting (16th) (2011).
2011 | Conference Paper | LibreCat-ID: 26710
Virtual Prototyping softwareintensiver mechatronischer Systeme Eine Fallstudie
M. Becker, H. Zabel, W. Müller, A. Elfeky, A. DiPasquale, in: 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011, pp. 315–327.
LibreCat
M. Becker, H. Zabel, W. Müller, A. Elfeky, A. DiPasquale, in: 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011, pp. 315–327.
2011 | Conference Paper | LibreCat-ID: 26713
A Reconfiguration Approach for Fault-Tolerant FlexRay Networks
K. Klobedanz, A. König, W. Müller, in: Proceedings of Design, Automation, Test Europe - DATE2011, IEEE Computer Society Press, Grenoble, France, 2011.
LibreCat
K. Klobedanz, A. König, W. Müller, in: Proceedings of Design, Automation, Test Europe - DATE2011, IEEE Computer Society Press, Grenoble, France, 2011.
2011 | Conference Paper | LibreCat-ID: 26714
Self-Reconfiguration for Fault-Tolerant FlexRay Networks
K. Klobedanz, A. König, W. Müller, A. Rettberg, in: Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011, IEEE Computer Society Press, Newport Beach, California, USA, 2011.
LibreCat
K. Klobedanz, A. König, W. Müller, A. Rettberg, in: Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011, IEEE Computer Society Press, Newport Beach, California, USA, 2011.
2011 | Conference Paper | LibreCat-ID: 26715
Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction
C. Kuznik, W. Müller, in: Proceedings of DVCON , 2011.
LibreCat
C. Kuznik, W. Müller, in: Proceedings of DVCON , 2011.
2011 | Conference Paper | LibreCat-ID: 26716
A Retargetable SysML-based Front-End for High-Level Synthesis
F. Mischkalla, D. He, W. Müller, in: Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED), 2011.
LibreCat
F. Mischkalla, D. He, W. Müller, in: Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED), 2011.
2011 | Conference Paper | LibreCat-ID: 26717
A SysML-based Framework with QEMU-SystemC Code Generation
D. He, F. Mischkalla, W. Müller, in: Proceedings of 1st International QEMU Users Forum, 2011.
LibreCat
D. He, F. Mischkalla, W. Müller, in: Proceedings of 1st International QEMU Users Forum, 2011.
2011 | Conference Paper | LibreCat-ID: 26784
Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk
G.B. Gnokam Defo, W. Müller, in: Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), 2011.
LibreCat
G.B. Gnokam Defo, W. Müller, in: Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV), 2011.
2011 | Conference Paper | LibreCat-ID: 26789
Native binary mutation analysis for embedded software and virtual prototypes in SystemC
C. Kuznik, W. Müller, in: Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011.
LibreCat
C. Kuznik, W. Müller, in: Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011.
2011 | Book (Editor) | LibreCat-ID: 53580
Proceedings of the 1st International QEMU Users' Forum
W. Müller, F. Petrot, eds., Proceedings of the 1st International QEMU Users’ Forum, 2011.
LibreCat
W. Müller, F. Petrot, eds., Proceedings of the 1st International QEMU Users’ Forum, 2011.