Samuel Müller

According to our database, Samuel Müller authored at least 11 papers between 2005 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Monitoring Metric First-Order Temporal Properties.

David A. Basin, Felix Klaedtke, Samuel Müller, Eugen Zalinescu

J. ACM, 2015

2013

Robotic calligraphy - Learning how to write single strokes of Chinese and Japanese characters.

Samuel Müller, Nico Huebel, Markus Waibel, Raffaello D'Andrea

Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

2010

Monitoring security policies with metric first-order temporal logic.

David A. Basin, Felix Klaedtke, Samuel Müller

Proceedings of the 15th ACM Symposium on Access Control Models and Technologies, 2010

Policy Monitoring in First-Order Temporal Logic.

David A. Basin, Felix Klaedtke, Samuel Müller

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Theory and applications of runtime monitoring metric first-order temporal logic.

Samuel Müller

PhD thesis, 2009

Security and Trust through Electronic Social Network-Based Interactions.

Patrik Bichsel, Samuel Müller, Franz-Stefan Preiss, Dieter Sommer, Mario Verdicchio

Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

2008

Runtime Monitoring of Metric First-order Temporal Properties.

David A. Basin, Felix Klaedtke, Samuel Müller, Birgit Pfitzmann

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008

2007

A static compliance-checking framework for business process models.

Ying Liu, Samuel Müller, Ke Xu

IBM Syst. J., 2007

Optimized enterprise risk management.

Carl E. Abrams, Juerg von Känel, Samuel Müller, Birgit Pfitzmann, Susanne Ruschka-Taylor

IBM Syst. J., 2007

A quantitative optimization model for dynamic risk-based compliance management.

Samuel Müller, Chonawee Supatgiat

IBM J. Res. Dev., 2007

2005

Regulations Expressed As Logical Models (REALM).

Christopher Giblin, Alice Y. Liu, Samuel Müller, Birgit Pfitzmann, Xin Zhou

Proceedings of the Legal Knowledge and Information Systems, 2005