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.

327 Publications


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
 

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
 

2008 | Journal Article | LibreCat-ID: 34563
Vanderperren, Yves, Wolfgang Müller, and Wim Dahaene. “UML for Electronic Systems Design – A Comprehensive Overview.” Design Automation for Embedded Systems 12 (2008): 261–92. https://doi.org/10.1007/s10617-008-9028-9.
LibreCat | DOI
 

2008 | Journal Article | LibreCat-ID: 34564
Schäfer, Robbie, and Wolfgang Müller. “Assessment of a Multimodal Interaction and Rendering System against Established Design Principles.” Journal on Multimodal User Interfaces 2, no. 1 (2008): 25–41. https://doi.org/10.1007/s12193-008-0003-3.
LibreCat | DOI
 

2008 | Book Chapter | LibreCat-ID: 33815
Großmann, Jürgen, Ines Fey, Alexander Krupp, Mirko Conrad, Christian Wewetzer, and Wolfgang Müller. “TestML – A Test Exchange Language for Model-Based Testing of Embedded Software.” In ASWSD 2006: Model-Driven Development of Reliable Automotive Services, edited by Manfred Broy, Ingolf H. Krüger, and Michael Meisinger, 98–117. Berlin, Heidelberg: Springer Verlag, 2008. https://doi.org/10.1007/978-3-540-70930-5_7.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 37075
Zabel, Henning, and Wolfgang Müller. “An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration.” Edited by L. Kleinjohann and B. Kleinjohann. IFIP – The International Federation for Information Processing. Dordrecht: Springer Verlag, 2008. https://doi.org/10.1007/978-0-387-09661-2_18.
LibreCat | DOI
 

2008 | Conference Paper | LibreCat-ID: 37072
Zabel, Henning, and Wolfgang Müller. “Präzises Interrupt Scheduling in Abstrakten RTOS Modellen in SystemC.” In Methoden Und Beschreibungs-Sprachen Zur Modellierung Und Verifikation von Schaltungen Und System, edited by Ch. Scholl and S. Disch. Aachen: Shaker Verlag, 2008.
LibreCat
 

2007 | Conference Paper | LibreCat-ID: 37076
Zabel, Henning, and Wolfgang Müller. “Simulation Mit Abstrakten RTOS Modellen in SystemC.” C-LAB Report. Paderborn, 2007.
LibreCat
 

2007 | Conference Paper | LibreCat-ID: 37083
Krupp, Alexander, and Wolfgang Müller. “Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage.” In Proceedings of the 21st European Conference on Modelling and Simulation (ECMS 2007). Prague, Czech Republic, 2007.
LibreCat
 

2007 | Conference Paper | LibreCat-ID: 37080
Großmann, Jürgen, Ines Fey, M. Conrad, Ch. Wewetzer, and Wolfgang Müller. “TestML - A Test Exchange Language for Model-Based Testing of Embedded Software.” In Proceedings of the Automotive Software Workshop ’06, 2007.
LibreCat
 

2007 | Conference Paper | LibreCat-ID: 37079
Müller, Wolfgang. “On the Use and Misuse of UML- Application of Diagrams in Engineering.” In Proceedings of the UML for SoC Design Workshop at DAC’07. San Diego, USA, 2007.
LibreCat
 

2007 | Conference Paper | LibreCat-ID: 37085
Schäfer, Robbie, Wolfgang Müller, Andrés Marin-López, and Daniel Díaz-Sánchez. “Using Smart Cards for Secure and Device Independent User Interfaces.” In Proceedings of the International Conference on Mobile Technology, Applications and Systems (Mobility 2007). Singapore, 2007.
LibreCat
 

Filters and Search Terms

department=672

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed