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
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
2011 | Conference Paper | LibreCat-ID: 37005
Kuznik C, Müller W. A SystemC Based Library for Functional Coverage. In: ; 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 37006
Klobedanz K, König A, Müller W. A Reconfiguration Approach for Faul-Tolerant FlexRay Networks. In: Proceedings of DATE’11. IEEE; 2011. doi:10.1109/DATE.2011.5763022
LibreCat
| DOI
2011 | Book (Editor) | LibreCat-ID: 53580
Müller W, Petrot F, eds. Proceedings of the 1st International QEMU Users’ Forum.; 2011.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37007
Mischkalla F, He D, Müller W. Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5456990
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37009
Oliveira MFS, Zabel H, Müller W. Assertion-Based Verification of RTOS Properties. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5457130
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
Klobedanz K, Kuznik C, Thuy A, Müller W. Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. In: Proceedings of DATE’10, Dresden. IEEE; 2010. doi:10.1109/DATE.2010.5457125
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37037
Krupp A, Müller W. A Systematic Approach to Combined HW/SW System Test. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5457186
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37040
Becker M, Di Guglielmo G, Fummi F, Müller W, Pravadelli G, Xie T. RTOS-Aware Refinement for TLM2.0-based HW/SW Design. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5456965
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37046
Becker M, Zabel H, Müller W. A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:10.1007/978-3-642-15234-4_15
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37044
Klobedanz K, Defo GB, Zabel H, Müller W, Zhi Y. Task Migration for Fault-Tolerant FlexRay Networks. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:10.1007/978-3-642-15234-4_7
LibreCat
| DOI