2006 |
3 | EE | Annette ten Teije,
Mar Marcos,
Michael Balser,
Joyce van Croonenborg,
Christoph Duelli,
Frank van Harmelen,
Peter J. F. Lucas,
Silvia Miksch,
Wolfgang Reif,
Kitty Rosenbrand,
Andreas Seyfang:
Improving medical protocols by formal methods.
Artificial Intelligence in Medicine 36(3): 193-209 (2006) |
2003 |
2 | EE | Mar Marcos,
Michael Balser,
Annette ten Teije,
Frank van Harmelen,
Christoph Duelli:
Experiences in the Formalisation and Verification of Medical Protocols.
AIME 2003: 132-141 |
2002 |
1 | EE | Michael Balser,
Christoph Duelli,
Wolfgang Reif,
Gerhard Schellhorn:
Verifying Concurrent Systems with Symbolic Execution.
J. Log. Comput. 12(4): 549-560 (2002) |