Oliveira, Marcio F. S., et al. “Assertion-Based Verification of RTOS Properties.”10.1109/DATE.2010.5457130__Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5457130.
LibreCat: /record/37009
DOI: 10.1109/DATE.2010.5457130

Klobedanz, Kay, et al. “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.”10.1109/DATE.2010.5457125__Proceedings of DATE’10, Dresden, IEEE, 2010, doi:10.1109/DATE.2010.5457125.
LibreCat: /record/37011
DOI: 10.1109/DATE.2010.5457125

Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined HW/SW System Test.”10.1109/DATE.2010.5457186__Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5457186.
LibreCat: /record/37037
DOI: 10.1109/DATE.2010.5457186

Müller, Wolfgang, et al. “Verification of Real-Time Properties for Hardware-Dependant Software.” Proceedings of HLD, IEEE, 2010.
LibreCat: /record/37053

Schmalenstroeer, Joerg, and Reinhold 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, 2010, pp. 845–56, doi:10.1109/JSTSP.2010.2050519.
LibreCat: /record/11892
DOI: 10.1109/JSTSP.2010.2050519

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

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

Ecker, Wolfgang, et al. “Hardware-Dependent Software - Introduction and Overview.”10.1007/978-1-4020-9436-1_1__Hardware Dependent Software - Principles and Practice, edited by Wolfgang Ecker et al., Springer Verlag, 2009, pp. 1–14, doi:10.1007/978-1-4020-9436-1_1.
LibreCat: /record/33814
DOI: 10.1007/978-1-4020-9436-1_1

Schattkowsky, Tim, et al. “A UML Frontend for IP-XACT-Based IP Management.”10.1109/DATE.2009.5090664__Proceedings of DATE’09, IEEE, 2009, doi:10.1109/DATE.2009.5090664.
LibreCat: /record/37067
DOI: 10.1109/DATE.2009.5090664

Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise Injection in Abstract RTOS Simulation.”10.1109/DATE.2009.5090925__Proceedings of DATE’09, 2009, doi:10.1109/DATE.2009.5090925.
LibreCat: /record/37066
DOI: 10.1109/DATE.2009.5090925

Vollmer, Anna-Lisa, et al. “People Modify Their Tutoring Behavior in Robot-Directed Interaction for Action Learning.”10.1109/DEVLRN.2009.5175516__Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning, IEEE, 2009, pp. 1–6, doi:10.1109/DEVLRN.2009.5175516.
LibreCat: /record/17272
DOI: 10.1109/DEVLRN.2009.5175516

Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for TestML.”10.1109/ISoLA.2006.37__Proc. of ISOLA 06, 2006, doi:10.1109/ISoLA.2006.37.
LibreCat: /record/38107
DOI: 10.1109/ISoLA.2006.37

Schattkowsky, Tim, et al. “A Model-Based Approach for Executable Specification on Reconfigurable Hardware.”10.1109/DATE.2005.20__Proceedings of DATE’05, IEEE, 2005, doi:10.1109/DATE.2005.20.
LibreCat: /record/39029
DOI: 10.1109/DATE.2005.20

Schattkowsky, Tim, and Wolfgang Müller. “A UML Virtual Machine for Embedded Systems.” Proceedings of ISNG 05, 2005.
LibreCat: /record/39030

Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines for Direct Execution.”10.1109/VLHCC.2005.64__Proceedings of VL/HCC 05, 2005, doi:10.1109/VLHCC.2005.64.
LibreCat: /record/39032
DOI: 10.1109/VLHCC.2005.64

Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.”10.1109/SEFM.2004.1347516__Proceedings of SEFM´04, IEEE, 2004, doi:10.1109/SEFM.2004.1347516.
LibreCat: /record/39069
DOI: 10.1109/SEFM.2004.1347516

Müller, Wolfgang, et al. “The Formal Execution Semantics of SpecC.”10.1145/581199.581234 __Proceedings of the ISS, 2002, doi:10.1145/581199.581234 .
LibreCat: /record/39382
DOI: 10.1145/581199.581234 

Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.”10.1109/HICSS.2002.994469__Proceedings of HICSS-35, 2002, doi:10.1109/HICSS.2002.994469.
LibreCat: /record/39403
DOI: 10.1109/HICSS.2002.994469

Goser, K., et al. “VLSI Technologies for Artificial Neural Networks.”10.1109/40.42985__IEEE Micro, vol. 9, no. 6, Institute of Electrical and Electronics Engineers (IEEE), 2002, pp. 28–44, doi:10.1109/40.42985.
LibreCat: /record/39925
DOI: 10.1109/40.42985

Goser, K., et al. “VLSI Technologies for Artificial Neural Networks.”10.1109/40.42985__IEEE Micro, vol. 9, no. 6, Institute of Electrical and Electronics Engineers (IEEE), 2002, pp. 28–44, doi:10.1109/40.42985.
LibreCat: /record/39926
DOI: 10.1109/40.42985