Michael Balser

According to our database, Michael Balser authored at least 22 papers between 1998 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Interactive verification of concurrent systems using symbolic execution.

Simon Bäumler, Michael Balser, Florian Nafz, Wolfgang Reif, Gerhard Schellhorn

AI Commun., 2010

2008

Interactive Verification of Concurrent Systems using Symbolic Execution.

Michael Balser, Simon Bäumler, Wolfgang Reif, Gerhard Schellhorn

Proceedings of the LPAR 2008 Workshops, 2008

Compositional Proofs with Symbolic Execution.

Simon Bäumler, Florian Nafz, Michael Balser, Wolfgang Reif

Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, 2008

Verification of Medical Guidelines in KIV.

Jonathan Schmitt, Michael Balser, Wolfgang Reif

Proceedings of the Computer-based Medical Guidelines and Protocols: A Primer and Current Trends, 2008

Formal Methods for Verification of Clinical Practice Guidelines.

Arjen Hommersom, Perry Groot, Michael Balser, Peter J. F. Lucas

Proceedings of the Computer-based Medical Guidelines and Protocols: A Primer and Current Trends, 2008

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

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

2006

Verifying concurrent systems with symbolic execution: temporal reasoning is symbolic execution with a little induction.

Michael Balser

PhD thesis, 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

Verification of Medical Guidelines by Model Checking - A Case Study.

Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt

Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

Interactive Verification of Medical Guidelines.

Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos

Proceedings of the FM 2006: Formal Methods, 2006

Verification of Medical Guidelines Using Task Execution with Background Knowledge.

Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005

Tracing Cross-Cutting Requirements via Context-Based Constraints.

Felix Bübl, Michael Balser

Proceedings of the 9th European Conference on Software Maintenance and Reengineering (CSMR 2005), 2005

2004

Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving.

Arjen Hommersom, Peter J. F. Lucas, Michael Balser

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Interactive Verification of UML State Machines.

Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums

Proceedings of the Formal Methods and Software Engineering, 2004

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, Annette ten Teije

Proceedings of the Computer-based Support for Clinical Guidelines and Protocols, 2004

2003

Experiences in the Formalisation and Verification of Medical Protocols.

Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen, Christoph Duelli

Proceedings of the Artificial Intelligence in Medicine, 2003

2002

Verifying Concurrent Systems with Symbolic Execution.

Michael Balser, Christoph Duelli, Wolfgang Reif, Gerhard Schellhorn

J. Log. Comput., 2002

From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols.

Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen

Proceedings of the Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web, 2002

2000

Formal System Development with KIV.

Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums

Proceedings of the Fundamental Approaches to Software Engineering, 2000

1998

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

Proceedings of the Applied Formal Methods, 1998

KIV 3.0 for Provably Correct Systems.

Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel

Proceedings of the Applied Formal Methods, 1998