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, 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, et al. “Virtual Prototyping Softwareintensiver Mechatronischer Systeme – Eine Fallstudie.” 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294, vol. 294, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011, pp. 315–27.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26713
Klobedanz, Kay, et al. “A Reconfiguration Approach for Fault-Tolerant FlexRay Networks.” Proceedings of Design, Automation, Test Europe - DATE2011, IEEE Computer Society Press, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26714
Klobedanz, Kay, et al. “Self-Reconfiguration for Fault-Tolerant FlexRay Networks.” Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011, 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.” Proceedings of DVCON , 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26716
Mischkalla, Fabian, et al. “A Retargetable SysML-Based Front-End for High-Level Synthesis.” Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED), 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 26717
He, Da, et al. “A SysML-Based Framework with QEMU-SystemC Code Generation.” 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.” 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.” Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011.
LibreCat
 

2011 | Conference Paper | LibreCat-ID: 37001
Becker, Markus, et al. Virtual Prototyping Software-Intensiver Mechatronischer Systeme - Eine Fallstudie. 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, et al. “A Reconfiguration Approach for Faul-Tolerant FlexRay Networks.” Proceedings of DATE’11, IEEE, 2011, doi:10.1109/DATE.2011.5763022.
LibreCat | DOI
 

2011 | Book (Editor) | LibreCat-ID: 53580
Müller, Wolfgang, and Frederic Petrot, editors. Proceedings of the 1st International QEMU Users’ Forum. 2011.
LibreCat
 

2010 | Conference Paper | LibreCat-ID: 37007
Mischkalla, Fabian, et al. “Closing the Gap between UML-Based Modeling and Simulation of Combined HW/SW Systems.” Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5456990.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37009
Oliveira, Marcio F. S., et al. “Assertion-Based Verification of RTOS Properties.” Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5457130.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37011
Klobedanz, Kay, et al. “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.” Proceedings of DATE’10, Dresden, IEEE, 2010, doi:10.1109/DATE.2010.5457125.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37037
Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined HW/SW System Test.” Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5457186.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37040
Becker, Markus, et al. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5456965.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37046
Becker, Markus, et al. A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. Edited by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010, doi:10.1007/978-3-642-15234-4_15.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 37044
Klobedanz, Kay, et al. Task Migration for Fault-Tolerant FlexRay Networks. Edited by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010, doi:10.1007/978-3-642-15234-4_7.
LibreCat | DOI
 

Filters and Search Terms

(person=16243)

status=public

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed