KIV 3.0 for Provably Correct Systems. - Michael Balser; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel (FM-Trends, 1998)

VSE: Controlling the Complexity in Formal Software Developments. - Dieter Hutter; Heiko Mantel; Georg Rock; Werner Stephan 001; Andreas Wolpers; Michael Balser; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel (FM-Trends, 1998)

Formal System Development with KIV. - Michael Balser; Wolfgang Reif; Gerhard Schellhorn; Kurt Stenzel; Andreas Thums (FASE, 2000)

From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols. - Mar Marcos; Michael Balser; Annette ten Teije; Frank van Harmelen (EKAW, 2002)

Verifying Concurrent Systems with Symbolic Execution. - Michael Balser; Christoph Duelli; Wolfgang Reif; Gerhard Schellhorn (J. Log. Comput., 2002)

Experiences in the Formalisation and Verification of Medical Protocols. - Mar Marcos; Michael Balser; Annette ten Teije; Frank van Harmelen; Christoph Duelli (AIME, 2003)

Protocure: Supporting the Development of Medical Protocols through Formal Methods. - 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; et al. (CGP, 2004)

Interactive Verification of UML State Machines. - Michael Balser; Simon Bäumler; Alexander Knapp; Wolfgang Reif; Andreas Thums (ICFEM, 2004)

Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving. - Arjen Hommersom; Peter J. F. Lucas; Michael Balser (JELIA, 2004)

Tracing Cross-Cutting Requirements via Context-Based Constraints. - Felix Bübl; Michael Balser (CSMR, 2005)

Verification of Medical Guidelines Using Task Execution with Background Knowledge. - Arjen Hommersom; Perry Groot; Peter J. F. Lucas; Michael Balser; Jonathan Schmitt (ECAI, 2006)

Interactive Verification of Medical Guidelines. - Jonathan Schmitt; Alwin Hoffmann; Michael Balser; Wolfgang Reif; Mar Marcos (FM, 2006)

Verification of Medical Guidelines by Model Checking - A Case Study. - Simon Bäumler; Michael Balser; Andriy Dunets; Wolfgang Reif; Jonathan Schmitt (SPIN, 2006)

Improving medical protocols by formal methods. - 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 (Artif. Intell. Medicine, 2006)

Verifying concurrent systems with symbolic execution: temporal reasoning is symbolic execution with a little induction. - Michael Balser (Shaker, 2006)

Combining task execution and background knowledge for the verification of medical guidelines. - Arjen Hommersom; Perry Groot; Peter J. F. Lucas; Michael Balser; Jonathan Schmitt (Knowl. Based Syst., 2007)

Verification of Medical Guidelines Using Background Knowledge in Task Networks. - Arjen Hommersom; Perry Groot; Peter J. F. Lucas; Michael Balser; Jonathan Schmitt (IEEE Trans. Knowl. Data Eng., 2007)

Formal Methods for Verification of Clinical Practice Guidelines. - Arjen Hommersom; Perry Groot; Michael Balser; Peter J. F. Lucas (Computer-based Medical Guidelines and Protocols, 2008)

Verification of Medical Guidelines in KIV. - Jonathan Schmitt; Michael Balser; Wolfgang Reif (Computer-based Medical Guidelines and Protocols, 2008)

Compositional Proofs with Symbolic Execution. - Simon Bäumler; Florian Nafz; Michael Balser; Wolfgang Reif (VERIFY, 2008)

Interactive Verification of Concurrent Systems using Symbolic Execution. - Michael Balser; Simon Bäumler; Wolfgang Reif; Gerhard Schellhorn (LPAR Workshops, 2008)

Interactive verification of concurrent systems using symbolic execution. - Simon Bäumler; Michael Balser; Florian Nafz; Wolfgang Reif; Gerhard Schellhorn (AI Commun., 2010)