Michael Balser

23 papers A 1B 5C 1Journal 5Unranked 8
YearRankTypeTitle / Venue / Authors
2010 J jnl
Interactive verification of concurrent systems using symbolic execution.
AI Commun.
Simon Bäumler, Michael Balser, Florian Nafz, Wolfgang Reif, Gerhard Schellhorn
2008 — conf
Compositional Proofs with Symbolic Execution.
VERIFY
Simon Bäumler, Florian Nafz, Michael Balser, Wolfgang Reif
2008 — ch.
Formal Methods for Verification of Clinical Practice Guidelines.
Computer-based Medical Guidelines and Protocols
Arjen Hommersom, Perry Groot, Michael Balser, Peter J. F. Lucas
2008 — conf
Interactive Verification of Concurrent Systems using Symbolic Execution.
LPAR Workshops
Michael Balser, Simon Bäumler, Wolfgang Reif, Gerhard Schellhorn
2008 — ch.
Verification of Medical Guidelines in KIV.
Computer-based Medical Guidelines and Protocols
Jonathan Schmitt, Michael Balser, Wolfgang Reif
2007 J jnl
Combining task execution and background knowledge for the verification of medical guidelines.
Knowl. Based Syst.
Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt
2007 J jnl
Verification of Medical Guidelines Using Background Knowledge in Task Networks.
IEEE Trans. Knowl. Data Eng.
Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt
2006 — conf
Combining Task Execution and Background Knowledge for the Verification of Medical Guidelines.
SGAI Conf.
Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt
2006 J jnl
Improving medical protocols by formal methods.
Artif. Intell. Medicine
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
2006 B conf
Interactive Verification of Medical Guidelines.
FM
Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos
2006 A conf
Verification of Medical Guidelines Using Task Execution with Background Knowledge.
ECAI
Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt
2006 — conf
Verification of Medical Guidelines by Model Checking - A Case Study.
SPIN
Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt
2006 — —
Verifying concurrent systems with symbolic execution: temporal reasoning is symbolic execution with a little induction.
Michael Balser
2005 — conf
Tracing Cross-Cutting Requirements via Context-Based Constraints.
CSMR
Felix Bübl, Michael Balser
2004 C conf
Interactive Verification of UML State Machines.
ICFEM
Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums
2004 B conf
Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving.
JELIA
Arjen Hommersom, Peter J. F. Lucas, Michael Balser
2004 — conf
Protocure: Supporting the Development of Medical Protocols through Formal Methods.
CGP
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
2003 B conf
Experiences in the Formalisation and Verification of Medical Protocols.
AIME
Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen, Christoph Duelli
2002 B conf
From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols.
EKAW
Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen
2002 J jnl
Verifying Concurrent Systems with Symbolic Execution.
J. Log. Comput.
Michael Balser, Christoph Duelli, Wolfgang Reif, Gerhard Schellhorn
2000 B conf
Formal System Development with KIV.
FASE
Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums
1998 — conf
KIV 3.0 for Provably Correct Systems.
FM-Trends
Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
1998 — conf
VSE: Controlling the Complexity in Formal Software Developments.
FM-Trends
Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel