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 | Book Chapter | LibreCat-ID: 26695
Vanderperren Y, Müller W, He D, Mischkalla F, Dahaene W. Extending UML for Electronic Systems Design: A Code Generation Perspective. In: Nicolescu G, O’Connor I, Piguet C, eds. Design Technology for Heterogeneous Embedded Systems. 1st Edition. Auflage. Springer Verlag; 2012:13-39.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 36922
Klobedanz K, Müller W, Rettberg A. An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems. In: IEEE; 2012. doi:10.1109/ISORCW.2012.41
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 36921
Oliveira MF, Kuznik C, Müller W, Esen V, Ecker W. Towards an Enhanced UVM for SystemC. In: Proceedings of the Design & Verification Conference (DVCon). ; 2012.
LibreCat
 

2012 | Conference Paper | LibreCat-ID: 36994
Xie T, Müller W, Letombe F. Mutation-Analysis Driven Functional Verification of a Soft Microprocessor. In: Proceedings of SOCC2012. IEEE; 2012. doi:10.1109/SOCC.2012.6398362
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 36997
Xie T, Müller W. An IP-XACT-TO-SystemC Model Generator for Mutation Analysis. In: Proceedings of the MeCoES’12. ; 2012.
LibreCat
 

2012 | Journal Article | LibreCat-ID: 26038
Kuznik C, Oliveira MF, Müller W. SYSTEMC UVM VERIFICATION COMPONENTS. Design, Automation and Test in Europe DATE. Published online 2012.
LibreCat
 

2012 | Book (Editor) | LibreCat-ID: 53593
Müller W, Ecker W, eds. Proceedings of the 1st Workshop on Metamodelling and Code Generation for Embedded Systems - MeCoEs .; 2012.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26667
Kuznik C, Müller W. 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 T, Müller W. 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 T, Müller W. 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 C, Müller W. Verification Closure of SystemC Designs with Functional Coverage. North American SystemC User Group Meeting (16th). Published online 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26710
Becker M, Zabel H, Müller W, Elfeky A, DiPasquale A. Virtual Prototyping softwareintensiver mechatronischer Systeme – Eine Fallstudie. In: 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294. Vol 294. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2011:315-327.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26713
Klobedanz K, König A, Müller W. A Reconfiguration Approach for Fault-Tolerant FlexRay Networks. In: Proceedings of Design, Automation, Test Europe - DATE2011. IEEE Computer Society Press; 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26714
Klobedanz K, König A, Müller W, Rettberg A. Self-Reconfiguration for Fault-Tolerant FlexRay Networks. In: Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011. IEEE Computer Society Press; 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26715
Kuznik C, Müller W. Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction. In: Proceedings of DVCON . ; 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26716
Mischkalla F, He D, Müller W. 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 D, Mischkalla F, Müller W. 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 GB, Müller W. 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 C, Müller W. 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 | Conference Paper | LibreCat-ID: 37001
Becker M, Zabel H, Müller W, Elfeky A. Virtual Prototyping software-intensiver mechatronischer Systeme - Eine Fallstudie. In: ; 2011.
LibreCat
 

Filters and Search Terms

(person=16243)

status=public

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed