Security and trust through electronic social network-based interactions
- Patrik Bichsel
- Samuel Müller
- et al.
- 2009
- CSE 2009
Publications
5 results for Samuel Müller
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