@inproceedingsMischkalla_Müller_2013, place=Karlsruhe, title=Efficient Power-Intent Validation Using “Loosely-Timed”10.1109/PATMOS.2013.6662171__Simulation Models: A Non-Invasive Approach, DOI=10.1109/PATMOS.2013.6662171, publisher=IEEE, author=Mischkalla, Fabian and Müller, Wolfgang, year=2013 
LibreCat: /record/36919
DOI: 10.1109/PATMOS.2013.6662171

@inproceedingsBecker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place=Dresden, title=RTOS-Aware Refinement for TLM2.0-based HW/SW Design, DOI=10.1109/DATE.2010.5456965, booktitle=Proceedings of DATE’10, publisher=IEEE, author=Becker, Markus and Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli, Graziano and Xie, Tao, year=2010 
LibreCat: /record/37040
DOI: 10.1109/DATE.2010.5456965

@inproceedingsZabel_Müller_2009, place=Nice, France, title=Increased Accuracy through Noise Injection in Abstract RTOS Simulation, DOI=10.1109/DATE.2009.5090925, booktitle=Proceedings of DATE’09, author=Zabel, Henning and Müller, Wolfgang, year=2009 
LibreCat: /record/37066
DOI: 10.1109/DATE.2009.5090925

@inproceedingsDücker_Geiger_Hunstock_Lehrenfeld_Müller_1997, place=Capri, Italy, title=Visual-Textual Prototyping of 4D Scenes, DOI=10.1109/VL.1997.626601, booktitle=Proceedings of the 1997 IEEE Symposium on Visual Languages, author=Dücker, M. and Geiger, Christian and Hunstock, R. and Lehrenfeld, Georg and Müller, Wolfgang, year=1997 
LibreCat: /record/39505
DOI: 10.1109/VL.1997.626601

@inproceedingsMüller_Lehrenfeld_Tahedl_1995, place=Chiba, Japan , title=Complete Visual Specification and Animations of Protocols, DOI=10.1109/ASPDAC.1995.486383, booktitle=Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair, author=Müller, Wolfgang and Lehrenfeld, Georg and Tahedl, C., year=1995 
LibreCat: /record/39538
DOI: 10.1109/ASPDAC.1995.486383