Studying the Co-Construction of Interaction Protocols in Collaborative Tasks with Humans
A.-L. Vollmer, J. Grizou, M. Lopes, K. Rohlfing, P.-Y. Oudeyer, in: 2014 Joint IEEE International Conference on Development and Learning and on Epigenetic Robotics, IEEE, 2014, pp. 208–215.

An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems
K. Klobedanz, W. Müller, A. Rettberg, in: IEEE, Shenzhen, China , 2012.

A Reconfiguration Approach for Faul-Tolerant FlexRay Networks
K. Klobedanz, A. König, W. Müller, in: Proceedings of DATE’11, IEEE, Grenoble, France, 2011.

Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks
K. Klobedanz, G.B. Defo, W. Müller, T. Kerstan, in: Proceedings of SIES 2010, Trento, Italien, 2010.

Verification of Real-Time Properties for Hardware-Dependant Software
W. Müller, M.F. da S. Oliveira, H. Zabel, M. Becker, in: Proceedings of HLD, IEEE, 2010.

A Formal Behavioral Semantics for TestML
J. Großmann, W. Müller, in: Proc. of ISOLA 06, Paphos, Cyprus, 2006.

Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks
T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of AIN04, IEEE, Fukuoka, Japan , 2004.

Specification of Real-Time Properties for UML Models
S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA , 2002.

Transforming SDL Diagrams Into a Complete Visual Representation
G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings of Symposium on Visual Languages,  Darmstadt, Germany , 1995.

Complete Visual Specification and Animations of Protocols
W. Müller, G. Lehrenfeld, C. Tahedl, in: Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair, Chiba, Japan , 1995.