Samuel Müller

Publication Activity (10 Years)

Years Active: 2005-2015
Publications (10 Years): 0

Top Topics

Chinese Language

Possibility Theory

Temporal Properties

Top Venues

Publications

David A. Basin, Felix Klaedtke, Samuel Müller, Eugen Zalinescu
Monitoring Metric First-Order Temporal Properties. J. ACM 62 (2) (2015)
Samuel Müller, Nico Huebel, Markus Waibel, Raffaello D'Andrea
Robotic calligraphy - Learning how to write single strokes of Chinese and Japanese characters. IROS (2013)
David A. Basin, Felix Klaedtke, Samuel Müller
Monitoring security policies with metric first-order temporal logic. SACMAT (2010)
David A. Basin, Felix Klaedtke, Samuel Müller
Policy Monitoring in First-Order Temporal Logic. CAV (2010)
Patrik Bichsel, Samuel Müller, Franz-Stefan Preiss, Dieter Sommer, Mario Verdicchio
Security and Trust through Electronic Social Network-Based Interactions. CSE (4) (2009)
David A. Basin, Felix Klaedtke, Samuel Müller, Birgit Pfitzmann
Runtime Monitoring of Metric First-order Temporal Properties. FSTTCS (2008)
Samuel Müller, Chonawee Supatgiat
A quantitative optimization model for dynamic risk-based compliance management. IBM J. Res. Dev. 51 (3/4) (2007)
Carl E. Abrams, Juerg von Känel, Samuel Müller, Birgit Pfitzmann, Susanne Ruschka-Taylor
Optimized enterprise risk management. IBM Syst. J. 46 (2) (2007)
Ying Liu, Samuel Müller, Ke Xu
A static compliance-checking framework for business process models. IBM Syst. J. 46 (2) (2007)
Christopher Giblin, Alice Y. Liu, Samuel Müller, Birgit Pfitzmann, Xin Zhou
Regulations Expressed As Logical Models (REALM). JURIX (2005)