Concepedia

Michael Balser

MB

7

Publications

135

Citations

7

H-Index

2002

Active since

Affiliations

University of Augsburg(Current)

Radboud University Nijmegen

Augsburg University

Michael Balser is an author at University of Augsburg specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceMedicineVerificationFormal MethodsPatient SafetyProgram AnalysisOutcomes ResearchSoftware AnalysisFormal Verification

Publications per year

2002–2010

7

Publications

7

Verification of Medical Guidelines Using Background Knowledge in Task Networks

Arjen Hommersom, P. Groot, Peter Lucas et al. · IEEE Transactions on Knowledge and Data Engineering · 2007 · 31 citations

Artificial Intelligence, Engineering, System Medicine +19

Verifying Concurrent Systems with Symbolic Execution

Michael Balser · Journal of Logic and Computation · 2002 · 25 citations

Engineering, Verification, Automated Proof +17

Protocure: Supporting the Development of Medical Protocols through Formal Methods

Michael Balser, Óscar Coltell, Joyce van Croonenborg et al. · Studies in health technology and informatics · 2004 · 23 citations

Interactive verification of concurrent systems using symbolic execution

Simon Bäumler, Michael Balser, Florian Nafz et al. · AI Communications · 2010 · 22 citations

The user interface of the KIV verification system: a system description

Dominik Haneberg, Simon Bäumler, Michael Balser et al. · 2005 · 14 citations

Rows per page

1–5 of 7