M. F. S. Oliveira, H. Zabel, and W. Müller, “Assertion-Based Verification of RTOS Properties,”10.1109/DATE.2010.5457130__presented at the 2010 Design, Automation &; Test in Europe Conference &; Exhibition (DATE 2010), Dresden, 2010, doi:10.1109/DATE.2010.5457130 .

K. Klobedanz, C. Kuznik, A. Thuy, and W. Müller, “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study,”10.1109/DATE.2010.5457125__presented at the 2010 Design, Automation &; Test in Europe Conference &; Exhibition (DATE 2010), Dresden, 2010, doi:10.1109/DATE.2010.5457125 .

A. Krupp and W. Müller, “A Systematic Approach to Combined HW/SW System Test,”10.1109/DATE.2010.5457186__presented at the Design, Automation &; Test in Europe Conference &; Exhibition (DATE 2010), Dresden, 2010, doi:10.1109/DATE.2010.5457186 .

W. Müller, M. F. da S. Oliveira, H. Zabel, and M. Becker, “Verification of Real-Time Properties for Hardware-Dependant Software,” presented at the IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA, 2010.

J. Schmalenstroeer and R. Haeb-Umbach, “Online Diarization of Streaming Audio-Visual Data for Smart Environments,”10.1109/JSTSP.2010.2050519__IEEE Journal of Selected Topics in Signal Processing, vol. 4, no. 5, pp. 845–856, 2010, doi:10.1109/JSTSP.2010.2050519 .

G. Schryen and R. Kadura, “Open Source vs. Closed Source Software: Towards Measuring Security,” in 24th Annual ACM Symposium on Applied Computing, 2009.

G. Schryen, “Security of open source and closed source software: An empirical comparison of published vulnerabilities,” in 15th Americas Conference on Information Systems, 2009.

W. Ecker, W. Müller, and R. Dömer, “Hardware-dependent Software - Introduction and Overview,” in Hardware Dependent Software - Principles and Practice, W. Ecker, W. Müller, and R. Dömer, Eds. Dordrecht: Springer Verlag, 2009, pp. 1–14.

T. Schattkowsky, T. Xie, and W. Müller, “A UML Frontend for IP-XACT-based IP Management,”10.1109/DATE.2009.5090664__presented at the Design, Automation &; Test in Europe Conference &; Exhibition, 2009, doi:10.1109/DATE.2009.5090664 .

H. Zabel and W. Müller, “Increased Accuracy through Noise Injection in Abstract RTOS Simulation,”10.1109/DATE.2009.5090925__presented at the Design, Automation &; Test in Europe Conference &; Exhibition, 2009, doi:10.1109/DATE.2009.5090925 .

A.-L. Vollmer et al., “People modify their tutoring behavior in robot-directed interaction for action learning,”10.1109/DEVLRN.2009.5175516__in Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning, 2009, pp. 1–6, doi:10.1109/DEVLRN.2009.5175516 .

J. Großmann and W. Müller, “A Formal Behavioral Semantics for TestML,”10.1109/ISoLA.2006.37__Paphos, Cyprus, 2006, doi:10.1109/ISoLA.2006.37 .

T. Schattkowsky, W. Müller, and A. Rettberg, “A Model-Based Approach for Executable Specification on Reconfigurable Hardware,”10.1109/DATE.2005.20__2005, doi:10.1109/DATE.2005.20 .

T. Schattkowsky and W. Müller, “A UML Virtual Machine for Embedded Systems,” 2005.

T. Schattkowsky and W. Müller, “Transformation of UML State Machines for Direct Execution,”10.1109/VLHCC.2005.64__2005, doi:10.1109/VLHCC.2005.64 .

S. Flake and W. Müller, “Past- and Future-Oriented Time-Bound Temporal Properties with OCL,”10.1109/SEFM.2004.1347516__presented at the10.1109/SEFM.2004.1347516__Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004, doi:10.1109/SEFM.2004.1347516 .

W. Müller, R. Dömer, and A. Gerstlauer, “The Formal Execution Semantics of SpecC,”10.1145/581199.581234 __2002, doi:10.1145/581199.581234  .

S. Flake and W. Müller, “Specification of Real-Time Properties for UML Models,”10.1109/HICSS.2002.994469__presented at the Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA , 2002, doi:10.1109/HICSS.2002.994469 .

K. Goser, U. Hilleringmann, U. Rueckert, and K. Schumacher, “VLSI technologies for artificial neural networks,”10.1109/40.42985__IEEE Micro, vol. 9, no. 6, pp. 28–44, 2002, doi:10.1109/40.42985 .

K. Goser, U. Hilleringmann, U. Rueckert, and K. Schumacher, “VLSI technologies for artificial neural networks,”10.1109/40.42985__IEEE Micro, vol. 9, no. 6, pp. 28–44, 2002, doi:10.1109/40.42985 .