Regulations Expressed As Logical Models (REALM). - Christopher Giblin; Alice Y. Liu; Samuel Müller 002; Birgit Pfitzmann; Xin Zhou (JURIX, 2005)

A quantitative optimization model for dynamic risk-based compliance management. - Samuel Müller 002; Chonawee Supatgiat (IBM J. Res. Dev., 2007)

Optimized enterprise risk management. - Carl E. Abrams; Juerg von Känel; Samuel Müller 002; Birgit Pfitzmann; Susanne Ruschka-Taylor (IBM Syst. J., 2007)

A static compliance-checking framework for business process models. - Ying Liu 045; Samuel Müller 002; Ke Xu (IBM Syst. J., 2007)

Runtime Monitoring of Metric First-order Temporal Properties. - David A. Basin; Felix Klaedtke; Samuel Müller 002; Birgit Pfitzmann (FSTTCS, 2008)

Security and Trust through Electronic Social Network-Based Interactions. - Patrik Bichsel; Samuel Müller 002; Franz-Stefan Preiss; Dieter Sommer; Mario Verdicchio (CSE (4), 2009)

Theory and applications of runtime monitoring metric first-order temporal logic. - Samuel Müller 002 (2009)

Policy Monitoring in First-Order Temporal Logic. - David A. Basin; Felix Klaedtke; Samuel Müller 002 (CAV, 2010)

Monitoring security policies with metric first-order temporal logic. - David A. Basin; Felix Klaedtke; Samuel Müller 002 (SACMAT, 2010)

Robotic calligraphy - Learning how to write single strokes of Chinese and Japanese characters. - Samuel Müller 002; Nico Huebel; Markus Waibel; Raffaello D'Andrea (IROS, 2013)

Monitoring Metric First-Order Temporal Properties. - David A. Basin; Felix Klaedtke; Samuel Müller 002; Eugen Zalinescu (J. ACM, 2015)