Michael Balser
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
10
Active years
1998–2008
Best venue rank
B
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | CADE | Compositional Proofs with Symbolic Execution. | Simon Bumler, Florian Nafz, Michael Balser, Wolfgang Reif |
| 2008 | LPAR | Interactive Verification of Concurrent Systems using Symbolic Execution. | Michael Balser, Simon Bumler, Wolfgang Reif, Gerhard Schellhorn |
| 2006 | ECAI | Verification of Medical Guidelines Using Task Execution with Background Knowledge. | Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt |
| 2006 | FM | Interactive Verification of Medical Guidelines. | Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos |
| 2006 | SGAI | Combining Task Execution and Background Knowledge for the Verification of Medical Guidelines. | Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt |
| 2004 | ICFEM | Interactive Verification of UML State Machines. | Michael Balser, Simon Bumler, Alexander Knapp, Wolfgang Reif, Andreas Thums |
| 2004 | JELIA | Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving. | Arjen Hommersom, Peter J. F. Lucas, Michael Balser |
| 2003 | AIME | Experiences in the Formalisation and Verification of Medical Protocols. | Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen, Christoph Duelli |
| 2002 | EKAW | From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols. | Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen |
| 2000 | FASE | Formal System Development with KIV. | Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums |
| 1998 | FM | KIV 3.0 for Provably Correct Systems. | Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |
| 1998 | FM | VSE: Controlling the Complexity in Formal Software Developments. | Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel |