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
2011 | Conference Paper | LibreCat-ID: 26716
Mischkalla, Fabian, Da He, and Wolfgang Müller. “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, Da, Fabian Mischkalla, and Wolfgang Müller. “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, Gilles Bertrand, and Wolfgang Müller. “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, Christoph, and Wolfgang Müller. “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 | Book (Editor) | LibreCat-ID: 53580
Müller, Wolfgang, and Frederic Petrot, eds. Proceedings of the 1st International QEMU Users’ Forum, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 37001
Becker, Markus, Henning Zabel, Wolfgang Müller, and Ahmed Elfeky. “Virtual Prototyping Software-Intensiver Mechatronischer Systeme - Eine Fallstudie.” Paderborn, 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, Andreas König, and Wolfgang Müller. “A Reconfiguration Approach for Faul-Tolerant FlexRay Networks.” In Proceedings of DATE’11. Grenoble, France: IEEE, 2011. https://doi.org/10.1109/DATE.2011.5763022.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 37002
Xie, Tao, Wolfgang Müller, and Florian Letombe. “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search.” In Proceedings of Euromicro DSD 2011. Oulu, Finnland: IEEE, 2011. https://doi.org/10.1109/DSD.2011.83.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 36999
Becker, Markus, Henning Zabel, Wolfgang Müller, and Ahmed Elfeky. “Virtual Prototyping Software-Intensiver Mechatronischer Systeme - Eine Fallstudie.” Paderborn, 2011.
LibreCat
2010 | Book (Editor) | LibreCat-ID: 53582
Gerard, Sebatian, Wolfgang Müller, L. Rioux, and Brand Selic, eds. Proceedings of the 1st Workshop on Model Based Engineering for Embedded Systems Design. Dresden, Germany, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37007
Mischkalla, Fabian, Da He, and Wolfgang Müller. “Closing the Gap between UML-Based Modeling and Simulation of Combined HW/SW Systems.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5456990.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37009
Oliveira, Marcio F. S., Henning Zabel, and Wolfgang Müller. “Assertion-Based Verification of RTOS Properties.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5457130.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
Klobedanz, Kay, Christoph Kuznik, Andre Thuy, and Wolfgang Müller. “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.” In Proceedings of DATE’10, Dresden. Dresden: IEEE, 2010. https://doi.org/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.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5457186.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37040
Becker, Markus, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, and Tao Xie. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5456965.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37046
Becker, Markus, Henning Zabel, and Wolfgang Müller. “A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010. https://doi.org/10.1007/978-3-642-15234-4_15.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37044
Klobedanz, Kay, Gilles B. Defo, Henning Zabel, Wolfgang Müller, and Yuan Zhi. “Task Migration for Fault-Tolerant FlexRay Networks.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010. https://doi.org/10.1007/978-3-642-15234-4_7.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37042
Mischkalla, Fabian, Wolfgang Müller, and Da He. “A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis.” In Proceedings of the M-BED Workshop. Dresden, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37043
Bol, Alexander, Wolfgang Müller, and Alexander Krupp. “Eine Strukturierte Methode Zur Generierung von SystemVerilog-Testumgebungen Aus Textuellen Anforderungsbeschreibungen.” In Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Dresden, 2010.
LibreCat