@inproceedingsOliveira_Zabel_Müller_2010, place=Dresden, title=Assertion-Based Verification of RTOS Properties, DOI=10.1109/DATE.2010.5457130, booktitle=Proceedings of DATE’10, publisher=IEEE, author=Oliveira, Marcio F. S. and Zabel, Henning and Müller, Wolfgang, year=2010 
LibreCat: /record/37009
DOI: 10.1109/DATE.2010.5457130

@inproceedingsKlobedanz_Kuznik_Thuy_Müller_2010, place=Dresden, title=Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study, DOI=10.1109/DATE.2010.5457125, booktitle=Proceedings of DATE’10, Dresden, publisher=IEEE, author=Klobedanz, Kay and Kuznik, Christoph and Thuy, Andre and Müller, Wolfgang, year=2010 
LibreCat: /record/37011
DOI: 10.1109/DATE.2010.5457125

@inproceedingsKrupp_Müller_2010, place=Dresden, title=A Systematic Approach to Combined HW/SW System Test, DOI=10.1109/DATE.2010.5457186, booktitle=Proceedings of DATE’10, publisher=IEEE, author=Krupp, Alexander and Müller, Wolfgang, year=2010 
LibreCat: /record/37037
DOI: 10.1109/DATE.2010.5457186

@inproceedingsMüller_da S. Oliveira_Zabel_Becker_2010, title=Verification of Real-Time Properties for Hardware-Dependant Software, booktitle=Proceedings of HLD, publisher=IEEE, author=Müller, Wolfgang and da S. Oliveira, Marcio F. and Zabel, Henning and Becker, Markus, year=2010 
LibreCat: /record/37053

@articleSchmalenstroeer_Haeb-Umbach_2010, title=Online Diarization of Streaming Audio-Visual Data for Smart Environments, volume=4, DOI=10.1109/JSTSP.2010.2050519, number=5, journal=IEEE Journal of Selected Topics in Signal Processing, author=Schmalenstroeer, Joerg and Haeb-Umbach, Reinhold, year=2010, pages=845–856 
LibreCat: /record/11892
DOI: 10.1109/JSTSP.2010.2050519

@inproceedingsSchryen_Kadura_2009, title=Open Source vs. Closed Source Software: Towards Measuring Security, booktitle=24th Annual ACM Symposium on Applied Computing, author=Schryen, Guido and Kadura, Rouven, year=2009 
LibreCat: /record/5625

@inproceedingsSchryen_2009, title=Security of open source and closed source software: An empirical comparison of published vulnerabilities, booktitle=15th Americas Conference on Information Systems, author=Schryen, Guido, year=2009 
LibreCat: /record/5647

@inbookEcker_Müller_Dömer_2009, place=Dordrecht, title=Hardware-dependent Software - Introduction and Overview, DOI=10.1007/978-1-4020-9436-1_1, booktitle=Hardware Dependent Software - Principles and Practice, publisher=Springer Verlag, author=Ecker, Wolfgang and Müller, Wolfgang and Dömer, Rainer, editor=Ecker, Wolfgang and Müller, Wolfgang and Dömer, Rainer, year=2009, pages=1–14 
LibreCat: /record/33814
DOI: 10.1007/978-1-4020-9436-1_1

@inproceedingsSchattkowsky_Xie_Müller_2009, place=Nice, France, title=A UML Frontend for IP-XACT-based IP Management, DOI=10.1109/DATE.2009.5090664, booktitle=Proceedings of DATE’09, publisher=IEEE, author=Schattkowsky, Tim and Xie, Tao and Müller, Wolfgang, year=2009 
LibreCat: /record/37067
DOI: 10.1109/DATE.2009.5090664

@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

@inproceedingsVollmer_Lohan_Fischer_Nagai_Pitsch_Fritsch_Rohlfing_Wrede_2009, title=People modify their tutoring behavior in robot-directed interaction for action learning, DOI=10.1109/DEVLRN.2009.5175516, booktitle=Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning, publisher=IEEE, author=Vollmer, Anna-Lisa and Lohan, Katrin Solveig and Fischer, Kerstin and Nagai, Yukie and Pitsch, Karola and Fritsch, Jannik and Rohlfing, Katharina and Wrede, Britta, year=2009, pages=1–6 
LibreCat: /record/17272
DOI: 10.1109/DEVLRN.2009.5175516

@inproceedingsGroßmann_Müller_2006, place=Paphos, Cyprus, title=A Formal Behavioral Semantics for TestML, DOI=10.1109/ISoLA.2006.37, booktitle=Proc. of ISOLA 06, author=Großmann, Jürgen and Müller, Wolfgang, year=2006 
LibreCat: /record/38107
DOI: 10.1109/ISoLA.2006.37

@inproceedingsSchattkowsky_Müller_Rettberg_2005, place=Munich, Germany , title=A Model-Based Approach for Executable Specification on Reconfigurable Hardware, DOI=10.1109/DATE.2005.20, booktitle=Proceedings of DATE’05, publisher=IEEE, author=Schattkowsky, Tim and Müller, Wolfgang and Rettberg, Achim, year=2005 
LibreCat: /record/39029
DOI: 10.1109/DATE.2005.20

@inproceedingsSchattkowsky_Müller_2005, place=Las Vegas, NV, title=A UML Virtual Machine for Embedded Systems, booktitle=Proceedings of ISNG 05, author=Schattkowsky, Tim and Müller, Wolfgang, year=2005 
LibreCat: /record/39030

@inproceedingsSchattkowsky_Müller_2005, place=Dallas, TX, USA, title=Transformation of UML State Machines for Direct Execution, DOI=10.1109/VLHCC.2005.64, booktitle=Proceedings of VL/HCC 05, author=Schattkowsky, Tim and Müller, Wolfgang, year=2005 
LibreCat: /record/39032
DOI: 10.1109/VLHCC.2005.64

@inproceedingsFlake_Müller_2004, place=Beijing, China, title=Past- and Future-Oriented Time-Bound Temporal Properties with OCL, DOI=10.1109/SEFM.2004.1347516, booktitle=Proceedings of SEFM´04, publisher=IEEE, author=Flake, Stephan and Müller, Wolfgang, year=2004 
LibreCat: /record/39069
DOI: 10.1109/SEFM.2004.1347516

@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 

@inproceedingsFlake_Müller_2002, place=Big Island, HI, USA , title=Specification of Real-Time Properties for UML Models, DOI=10.1109/HICSS.2002.994469, booktitle=Proceedings of HICSS-35, author=Flake, Stephan and Müller, Wolfgang, year=2002 
LibreCat: /record/39403
DOI: 10.1109/HICSS.2002.994469

@articleGoser_Hilleringmann_Rueckert_Schumacher_2002, title=VLSI technologies for artificial neural networks, volume=9, DOI=10.1109/40.42985, number=6, journal=IEEE Micro, publisher=Institute of Electrical and Electronics Engineers (IEEE), author=Goser, K. and Hilleringmann, Ulrich and Rueckert, U. and Schumacher, K., year=2002, pages=28–44 
LibreCat: /record/39925
DOI: 10.1109/40.42985

@articleGoser_Hilleringmann_Rueckert_Schumacher_2002, title=VLSI technologies for artificial neural networks, volume=9, DOI=10.1109/40.42985, number=6, journal=IEEE Micro, publisher=Institute of Electrical and Electronics Engineers (IEEE), author=Goser, K. and Hilleringmann, Ulrich and Rueckert, U. and Schumacher, K., year=2002, pages=28–44 
LibreCat: /record/39926
DOI: 10.1109/40.42985