Michael Balser

Publication Activity (10 Years)

Years Active: 1998-2010
Publications (10 Years): 0

University of Augsburg, Germany (PHD)

Education History

University of Augsburg, Germany

PHD

Publications

Simon Bäumler, Michael Balser, Florian Nafz, Wolfgang Reif, Gerhard Schellhorn
Interactive verification of concurrent systems using symbolic execution. AI Commun. 23 (2-3) (2010)
Simon Bäumler, Florian Nafz, Michael Balser, Wolfgang Reif
Compositional Proofs with Symbolic Execution. VERIFY (2008)
Michael Balser, Simon Bäumler, Wolfgang Reif, Gerhard Schellhorn
Interactive Verification of Concurrent Systems using Symbolic Execution. LPAR Workshops (2008)
Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt
Verification of Medical Guidelines Using Background Knowledge in Task Networks. IEEE Trans. Knowl. Data Eng. 19 (6) (2007)
Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt
Combining task execution and background knowledge for the verification of medical guidelines. Knowl. Based Syst. 20 (2) (2007)
Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos
Interactive Verification of Medical Guidelines. FM (2006)
Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt
Verification of Medical Guidelines Using Task Execution with Background Knowledge. ECAI (2006)
Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt
Verification of Medical Guidelines by Model Checking - A Case Study. SPIN (2006)
Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt
Combining Task Execution and Background Knowledge for the Verification of Medical Guidelines. SGAI Conf. (2006)
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. Artif. Intell. Medicine 36 (3) (2006)
Felix Bübl, Michael Balser
Tracing Cross-Cutting Requirements via Context-Based Constraints. CSMR (2005)
Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums
Interactive Verification of UML State Machines. ICFEM (2004)
Michael Balser, Óscar Coltell, Joyce van Croonenborg, Christoph Duelli, Frank van Harmelen, Albert Jovell, Peter J. F. Lucas, Mar Marcos, Silvia Miksch, Wolfgang Reif, Kitty Rosenbrand, Andreas Seyfang, Annette ten Teije
Protocure: Supporting the Development of Medical Protocols through Formal Methods. CGP (2004)
Arjen Hommersom, Peter J. F. Lucas, Michael Balser
Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving. JELIA (2004)
Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen, Christoph Duelli
Experiences in the Formalisation and Verification of Medical Protocols. AIME (2003)
Michael Balser, Christoph Duelli, Wolfgang Reif, Gerhard Schellhorn
Verifying Concurrent Systems with Symbolic Execution. J. Log. Comput. 12 (4) (2002)
Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen
From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols. EKAW (2002)
Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums
Formal System Development with KIV. FASE (2000)
Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
KIV 3.0 for Provably Correct Systems. FM-Trends (1998)
Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
VSE: Controlling the Complexity in Formal Software Developments. FM-Trends (1998)

Michael Balser.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Michael Balser