@inproceedingsHo_Kaufmann_Platzner_2014, title=A hardware/software infrastructure for performance monitoring on LEON3 multicore platforms, DOI=10.1109/FPL.2014.6927437, booktitle=24th Intl. Conf. on Field Programmable Logic and Applications (FPL), author=Ho, Nam and Kaufmann, Paul and Platzner, Marco, year=2014, pages=1–4 
LibreCat: /record/10674
DOI: 10.1109/FPL.2014.6927437

@inproceedingsBecker_Zabel_Müller_2010, place=Dordrecht, title=A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement, DOI=10.1007/978-3-642-15234-4_15, publisher=Springer Verlag, author=Becker, Markus and Zabel, Henning and Müller, Wolfgang, editor=Kleinjohann, L. and Kleinjohann, B., year=2010 
LibreCat: /record/37046
DOI: 10.1007/978-3-642-15234-4_15

@inproceedingsMüller_Dömer_Gerstlauer_2002, place=Nagoya, Japan, title=The Formal Execution Semantics of SpecC, DOI=10.1145/581199.581234 , booktitle=Proceedings of the ISS, author=Müller, Wolfgang and Dömer, Rainer and Gerstlauer, Andreas, year=2002 
LibreCat: /record/39382
DOI: 10.1145/581199.581234 

@inproceedingsMüller_Ruf_Hoffmann_Gerlach_Kropf_Rosenstiehl_2001, place=Munich, Germany , title=The Simulation Semantics of SystemC, DOI=10.1109/DATE.2001.915002, booktitle=Proceedings of the Design, Automation, and Test in Europe (DATE’01), publisher=IEEE, author=Müller, Wolfgang and Ruf, Jürgen and Hoffmann, D. W. and Gerlach, Joachim and Kropf, Thomas and Rosenstiehl, W., year=2001 
LibreCat: /record/39421
DOI: 10.1109/DATE.2001.915002

@inbookBörger_Glässer_Müller_1995, place=Dordrecht, title=A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines, DOI=10.1007/978-1-4615-2237-9_5, booktitle=Semantics of VHDL, publisher=Kluwer Academic Publishers, author=Börger, Egon and Glässer, Uwe and Müller, Wolfgang, editor=Delgado Kloos, C. and Breuer, Peter T., year=1995, pages=107–139 
LibreCat: /record/34448
DOI: 10.1007/978-1-4615-2237-9_5