Publications

5 results for Samuel Müller

Security and trust through electronic social network-based interactions
- - Patrik Bichsel
  - Samuel Müller
  - et al.
- 2009
- CSE 2009
Runtime monitoring of metric first-order temporal properties
- - David Basin
  - Felix Klaedtke
  - et al.
- 2008
- FSTTCS 2008
A quantitative optimization model for dynamic risk-based compliance management
- - Samuel Müller
  - Chonawee Supatgiat
- 2007
- IBM J. Res. Dev
Optimized enterprise risk management
- - Carl E. Abrams
  - Juerg von Känel
  - et al.
- 2007
- IBM Systems Journal
A static compliance-checking framework for business process models
- - Ying Liu
  - Samuel Müller
  - et al.
- 2007
- IBM Systems Journal