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
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
2010 | Conference Paper | LibreCat-ID: 37050
Müller, Wolfgang, Da He, Fabian Mischkalla, Arthur Wegele, Adrian Larkham, Paul Whiston, Pablo Penil, et al. “The SATURN Approach to SysML-Based HW/SW Codesign.” In Proceedings of the IEEE Computer Society Annual Symposium on VLSI. Lecture Notes in Electrical Engineering, 2010. https://doi.org/10.1007/978-94-007-1488-5_9.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37048
Müller, Wolfgang, Alexander Bol, Alexander Krupp, and Ola Lundkvist. “Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010. https://doi.org/10.1007/978-3-642-15234-4_9.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37049
Xie, Tao, Florian Letombe, and Wolfgang Müller. “Mutation-Analysis Directed Constrained Random Verification.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht: Springer Verlag, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37051
Xie, Tao, Gilles B. Defo, and Wolfgang Müller. “An Eclipse-Based Framework for the IP-XACT-Enabled Assembly of Mixed-Level IPs.” Paris, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37057
Defo, Gilles B., Wolfgang Müller, and Christoph Kuznik. “Verification of a CAN Bus Model in SystemC with Functional Coverage.” In Proceedings of SIES 2010. Trento, Italy: IEEE, 2010. https://doi.org/10.1109/SIES.2010.5551379.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37056
Klobedanz, Kay, Gilles B. Defo, Wolfgang Müller, and Timo Kerstan. “Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks.” In Proceedings of SIES 2010. Trento, Italien, 2010. https://doi.org/10.1109/SIES.2010.5551384.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37053
Müller, Wolfgang, Marcio F. da S. Oliveira, Henning Zabel, and Markus Becker. “Verification of Real-Time Properties for Hardware-Dependant Software.” In Proceedings of HLDVT2010. IEEE, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37060
Oliveira, Marcio F. S., Francisco Assis M. do Nascimento, and Wolfgang Müller. “Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration.” In Proceedings of MoMPES 2010. Antwerp, Belgium, 2010.
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
2009 | Book Chapter | LibreCat-ID: 33813
Zabel, Henning, Wolfgang Müller, and Andreas Gerstlauer. “Accurate RTOS Modelling and Analysis with SystemC.” In Hardware Dependent Software - Principles and Practice, edited by Wolfgang Ecker, Wolfgang Müller, and Rainer Dömer, 233–60. Dordrecht: Springer Verlag, 2009. https://doi.org/10.1007/978-1-4020-9436-1_9.
LibreCat
| DOI
2009 | Book Chapter | LibreCat-ID: 33814
Ecker, Wolfgang, Wolfgang Müller, and Rainer Dömer. “Hardware-Dependent Software - Introduction and Overview.” In Hardware Dependent Software - Principles and Practice, edited by Wolfgang Ecker, Wolfgang Müller, and Rainer Dömer, 1–14. Dordrecht: Springer Verlag, 2009. https://doi.org/10.1007/978-1-4020-9436-1_1.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37067
Schattkowsky, Tim, Tao Xie, and Wolfgang Müller. “A UML Frontend for IP-XACT-Based IP Management.” In Proceedings of DATE’09. Nice, France: IEEE, 2009. https://doi.org/10.1109/DATE.2009.5090664.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37066
Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise Injection in Abstract RTOS Simulation.” In Proceedings of DATE’09. Nice, France, 2009. https://doi.org/10.1109/DATE.2009.5090925.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37063
Klobedanz, Kay, Christoph Kuznik, Ahmed Elfeky, and Wolfgang Müller. “Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study.” In Proceedings of IESS09. Springer Verlag, 2009. https://doi.org/10.1007/978-3-642-04284-3_20.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37064
Becker, Markus, Henning Zabel, and Wolfgang Müller. “Integration Abstrakter RTOS-Simulation in Den Entwurf Eingebetteter Automobiler E/E-Systeme,” 2009.
LibreCat
2009 | Conference Paper | LibreCat-ID: 37061
Krupp, Alexander, and Wolfgang Müller. “Systematic Model-in-the-Loop Test of Embedded Control Systems.” In Proceedings of IESS09. Friedrichshafen, 2009.
LibreCat
2009 | Conference Paper | LibreCat-ID: 37068
Doemer, R. , A. Gerstlauer, and Wolfgang Müller. “Hardware-Dependent Software for Multi- and Many-Core Embedded Systems.” In Proceedings of ASP-DAC’09. Yokohama, Japan, 2009.
LibreCat
2009 | Book (Editor) | LibreCat-ID: 40119
Ecker, Wolfgang, Wolfgang Müller, and Rainer Dömer, eds. Hardware-Dependent Software. Dordrecht: Springer Netherlands, 2009. https://doi.org/10.1007/978-1-4020-9436-1.
LibreCat
| DOI