Oliveira, M. F. S., Zabel, H., &; Müller, W. (2010). Assertion-Based Verification of RTOS Properties. Proceedings of DATE’10. 2010 Design, Automation &; Test in Europe Conference &; Exhibition (DATE 2010), Dresden.https://doi.org/10.1109/DATE.2010.5457130 
LibreCat: /record/37009
DOI: 10.1109/DATE.2010.5457130

Klobedanz, K., Kuznik, C., Thuy, A., &; Müller, W. (2010). Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. Proceedings of DATE’10, Dresden. 2010 Design, Automation &; Test in Europe Conference &; Exhibition (DATE 2010), Dresden.https://doi.org/10.1109/DATE.2010.5457125 
LibreCat: /record/37011
DOI: 10.1109/DATE.2010.5457125

Krupp, A., &; Müller, W. (2010). A Systematic Approach to Combined HW/SW System Test. Proceedings of DATE’10. Design, Automation &; Test in Europe Conference &; Exhibition (DATE 2010), Dresden.https://doi.org/10.1109/DATE.2010.5457186 
LibreCat: /record/37037
DOI: 10.1109/DATE.2010.5457186

Müller, W., da S. Oliveira, M. F., Zabel, H., &; Becker, M. (2010). Verification of Real-Time Properties for Hardware-Dependant Software. Proceedings of HLD. IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA.
LibreCat: /record/37053

Schmalenstroeer, J., &; Haeb-Umbach, R. (2010). Online Diarization of Streaming Audio-Visual Data for Smart Environments. IEEE Journal of Selected Topics in Signal Processing, 4(5), 845–856.https://doi.org/10.1109/JSTSP.2010.2050519 
LibreCat: /record/11892
DOI: 10.1109/JSTSP.2010.2050519

Schryen, G., &; Kadura, R. (2009). Open Source vs. Closed Source Software: Towards Measuring Security. In 24th Annual ACM Symposium on Applied Computing.
LibreCat: /record/5625

Schryen, G. (2009). Security of open source and closed source software: An empirical comparison of published vulnerabilities. In 15th Americas Conference on Information Systems.
LibreCat: /record/5647

Ecker, W., Müller, W., &; Dömer, R. (2009). Hardware-dependent Software - Introduction and Overview. In W. Ecker, W. Müller, &; R. Dömer (Eds.), Hardware Dependent Software - Principles and Practice (pp. 1–14). Springer Verlag.https://doi.org/10.1007/978-1-4020-9436-1_1 
LibreCat: /record/33814
DOI: 10.1007/978-1-4020-9436-1_1

Schattkowsky, T., Xie, T., &; Müller, W. (2009). A UML Frontend for IP-XACT-based IP Management. Proceedings of DATE’09. Design, Automation &; Test in Europe Conference &; Exhibition.https://doi.org/10.1109/DATE.2009.5090664 
LibreCat: /record/37067
DOI: 10.1109/DATE.2009.5090664

Zabel, H., &; Müller, W. (2009). Increased Accuracy through Noise Injection in Abstract RTOS Simulation. Proceedings of DATE’09. Design, Automation &; Test in Europe Conference &; Exhibition.https://doi.org/10.1109/DATE.2009.5090925 
LibreCat: /record/37066
DOI: 10.1109/DATE.2009.5090925

Vollmer, A.-L., Lohan, K. S., Fischer, K., Nagai, Y., Pitsch, K., Fritsch, J., Rohlfing, K., &; Wrede, B. (2009). People modify their tutoring behavior in robot-directed interaction for action learning. Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning, 1–6.https://doi.org/10.1109/DEVLRN.2009.5175516 
LibreCat: /record/17272
DOI: 10.1109/DEVLRN.2009.5175516

Großmann, J., &; Müller, W. (2006). A Formal Behavioral Semantics for TestML. Proc. of ISOLA 06.https://doi.org/10.1109/ISoLA.2006.37 
LibreCat: /record/38107
DOI: 10.1109/ISoLA.2006.37

Schattkowsky, T., Müller, W., &; Rettberg, A. (2005). A Model-Based Approach for Executable Specification on Reconfigurable Hardware. Proceedings of DATE’05.https://doi.org/10.1109/DATE.2005.20 
LibreCat: /record/39029
DOI: 10.1109/DATE.2005.20

Schattkowsky, T., &; Müller, W. (2005). A UML Virtual Machine for Embedded Systems. Proceedings of ISNG 05.
LibreCat: /record/39030

Schattkowsky, T., &; Müller, W. (2005). Transformation of UML State Machines for Direct Execution. Proceedings of VL/HCC 05.https://doi.org/10.1109/VLHCC.2005.64 
LibreCat: /record/39032
DOI: 10.1109/VLHCC.2005.64

Flake, S., &; Müller, W. (2004). Past- and Future-Oriented Time-Bound Temporal Properties with OCL. Proceedings of SEFM´04.https://doi.org/10.1109/SEFM.2004.1347516__Proceedings of the Second International Conference on Software Engineering and Formal Methods.https://doi.org/10.1109/SEFM.2004.1347516 
LibreCat: /record/39069
DOI: 10.1109/SEFM.2004.1347516

Müller, W., Dömer, R., &; Gerstlauer, A. (2002). The Formal Execution Semantics of SpecC. Proceedings of the ISS.https://doi.org/10.1145/581199.581234  
LibreCat: /record/39382
DOI: 10.1145/581199.581234 

Flake, S., &; Müller, W. (2002). Specification of Real-Time Properties for UML Models. Proceedings of HICSS-35. Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA .https://doi.org/10.1109/HICSS.2002.994469 
LibreCat: /record/39403
DOI: 10.1109/HICSS.2002.994469

Goser, K., Hilleringmann, U., Rueckert, U., &; Schumacher, K. (2002). VLSI technologies for artificial neural networks. IEEE Micro, 9(6), 28–44.https://doi.org/10.1109/40.42985 
LibreCat: /record/39925
DOI: 10.1109/40.42985

Goser, K., Hilleringmann, U., Rueckert, U., &; Schumacher, K. (2002). VLSI technologies for artificial neural networks. IEEE Micro, 9(6), 28–44.https://doi.org/10.1109/40.42985 
LibreCat: /record/39926
DOI: 10.1109/40.42985