| 2008 |
|---|
| 5 | EE | David A. Basin,
Felix Klaedtke,
Samuel Müller,
Birgit Pfitzmann:
Runtime Monitoring of Metric First-order Temporal Properties.
FSTTCS 2008 |
| 2007 |
|---|
| 4 | EE | Samuel Müller,
Chonawee Supatgiat:
A quantitative optimization model for dynamic risk-based compliance management.
IBM Journal of Research and Development 51(3/4): 295-308 (2007) |
| 3 | EE | Carl E. Abrams,
Juerg von Känel,
Samuel Müller,
Birgit Pfitzmann,
Susanne Ruschka-Taylor:
Optimized enterprise risk management.
IBM Systems Journal 46(2): 219-234 (2007) |
| 2 | EE | Ying Liu,
Samuel Müller,
Ke Xu:
A static compliance-checking framework for business process models.
IBM Systems Journal 46(2): 335-362 (2007) |
| 2005 |
|---|
| 1 | | Christopher Giblin,
Alice Y. Liu,
Samuel Müller,
Birgit Pfitzmann,
Xin Zhou:
Regulations Expressed As Logical Models (REALM).
JURIX 2005: 37-48 |
