Oliveira, Marcio F. S., Henning Zabel, and Wolfgang Müller. “Assertion-Based Verification of RTOS Properties.”https://doi.org/10.1109/DATE.2010.5457130__In Proceedings of DATE’10. Dresden: IEEE, 2010.https://doi.org/10.1109/DATE.2010.5457130 .

Klobedanz, Kay, Christoph Kuznik, Andre Thuy, and Wolfgang Müller. “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.”https://doi.org/10.1109/DATE.2010.5457125__In Proceedings of DATE’10, Dresden. Dresden: IEEE, 2010.https://doi.org/10.1109/DATE.2010.5457125 .

Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined HW/SW System Test.”https://doi.org/10.1109/DATE.2010.5457186__In Proceedings of DATE’10. Dresden: IEEE, 2010.https://doi.org/10.1109/DATE.2010.5457186 .

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 HLD. IEEE, 2010.

Schmalenstroeer, Joerg, and Reinhold Haeb-Umbach. “Online Diarization of Streaming Audio-Visual Data for Smart Environments.”https://doi.org/10.1109/JSTSP.2010.2050519__IEEE Journal of Selected Topics in Signal Processing 4, no. 5 (2010): 845–56.https://doi.org/10.1109/JSTSP.2010.2050519 .

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

Schryen, Guido. “Security of Open Source and Closed Source Software: An Empirical Comparison of Published Vulnerabilities.” In 15th Americas Conference on Information Systems, 2009.

Ecker, Wolfgang, Wolfgang Müller, and Rainer Dömer. “Hardware-Dependent Software - Introduction and Overview.”https://doi.org/10.1007/978-1-4020-9436-1_1__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 .

Schattkowsky, Tim, Tao Xie, and Wolfgang Müller. “A UML Frontend for IP-XACT-Based IP Management.”https://doi.org/10.1109/DATE.2009.5090664__In Proceedings of DATE’09. Nice, France: IEEE, 2009.https://doi.org/10.1109/DATE.2009.5090664 .

Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise Injection in Abstract RTOS Simulation.”https://doi.org/10.1109/DATE.2009.5090925__In Proceedings of DATE’09. Nice, France, 2009.https://doi.org/10.1109/DATE.2009.5090925 .

Vollmer, Anna-Lisa, Katrin Solveig Lohan, Kerstin Fischer, Yukie Nagai, Karola Pitsch, Jannik Fritsch, Katharina Rohlfing, and Britta Wrede. “People Modify Their Tutoring Behavior in Robot-Directed Interaction for Action Learning.”https://doi.org/10.1109/DEVLRN.2009.5175516__In Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning, 1–6. IEEE, 2009.https://doi.org/10.1109/DEVLRN.2009.5175516 .

Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for TestML.”https://doi.org/10.1109/ISoLA.2006.37__In Proc. of ISOLA 06. Paphos, Cyprus, 2006.https://doi.org/10.1109/ISoLA.2006.37 .

Schattkowsky, Tim, Wolfgang Müller, and Achim Rettberg. “A Model-Based Approach for Executable Specification on Reconfigurable Hardware.”https://doi.org/10.1109/DATE.2005.20__In Proceedings of DATE’05. Munich, Germany : IEEE, 2005.https://doi.org/10.1109/DATE.2005.20 .

Schattkowsky, Tim, and Wolfgang Müller. “A UML Virtual Machine for Embedded Systems.” In Proceedings of ISNG 05. Las Vegas, NV, 2005.

Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines for Direct Execution.”https://doi.org/10.1109/VLHCC.2005.64__In Proceedings of VL/HCC 05. Dallas, TX, USA, 2005.https://doi.org/10.1109/VLHCC.2005.64 .

Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.”https://doi.org/10.1109/SEFM.2004.1347516__In Proceedings of SEFM´04. Beijing, China: IEEE, 2004.https://doi.org/10.1109/SEFM.2004.1347516 .

Müller, Wolfgang, Rainer Dömer, and Andreas Gerstlauer. “The Formal Execution Semantics of SpecC.”https://doi.org/10.1145/581199.581234 __In Proceedings of the ISS. Nagoya, Japan, 2002.https://doi.org/10.1145/581199.581234  .

Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.”https://doi.org/10.1109/HICSS.2002.994469__In Proceedings of HICSS-35. Big Island, HI, USA , 2002.https://doi.org/10.1109/HICSS.2002.994469 .

Goser, K., Ulrich Hilleringmann, U. Rueckert, and K. Schumacher. “VLSI Technologies for Artificial Neural Networks.”https://doi.org/10.1109/40.42985__IEEE Micro 9, no. 6 (2002): 28–44.https://doi.org/10.1109/40.42985 .

Goser, K., Ulrich Hilleringmann, U. Rueckert, and K. Schumacher. “VLSI Technologies for Artificial Neural Networks.”https://doi.org/10.1109/40.42985__IEEE Micro 9, no. 6 (2002): 28–44.https://doi.org/10.1109/40.42985 .