Michael Balser

	2008
17		Michael Balser, Simon Bäumler, Wolfgang Reif, Gerhard Schellhorn: Interactive Verification of Concurrent Systems using Symbolic Execution. LPAR Workshops 2008
16		Simon Bäumler, Florian Nafz, Michael Balser, Wolfgang Reif: Compositional Proofs with Symbolic Execution. VERIFY 2008
	2007
15		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): 832-846 (2007)
14		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): 113-119 (2007)
	2006
13		Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt: Verification of Medical Guidelines Using Task Execution with Background Knowledge. ECAI 2006: 835-836
12		Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos: Interactive Verification of Medical Guidelines. FM 2006: 32-47
11		Simon Bäumler, Michael Balser, Andriy Dunets, Wolfgang Reif, Jonathan Schmitt: Verification of Medical Guidelines by Model Checking - A Case Study. SPIN 2006: 219-233
10		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. Artificial Intelligence in Medicine 36(3): 193-209 (2006)
	2005
9		Felix Bübl, Michael Balser: Tracing Cross-Cutting Requirements via Context-Based Constraints. CSMR 2005: 80-90
	2004
8		Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums: Interactive Verification of UML State Machines. ICFEM 2004: 434-448
7		Arjen Hommersom, Peter J. F. Lucas, Michael Balser: Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving. JELIA 2004: 654-666
	2003
6		Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen, Christoph Duelli: Experiences in the Formalisation and Verification of Medical Protocols. AIME 2003: 132-141
	2002
5		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: 49-64
4		Michael Balser, Christoph Duelli, Wolfgang Reif, Gerhard Schellhorn: Verifying Concurrent Systems with Symbolic Execution. J. Log. Comput. 12(4): 549-560 (2002)
	2000
3		Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums: Formal System Development with KIV. FASE 2000: 363-366
	1998
2		Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: KIV 3.0 for Provably Correct Systems. FM-Trends 1998: 330-337
1		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: 351-358

Coauthor Index

1	Simon Bäumler	[8] [11] [16] [17]
2	Felix Bübl	[9]
3	Joyce van Croonenborg	[10]
4	Christoph Duelli	[4] [6] [10]
5	Andriy Dunets	[11]
6	Perry Groot	[13] [14] [15]
7	Frank van Harmelen	[5] [6] [10]
8	Alwin Hoffmann	[12]
9	Arjen Hommersom	[7] [13] [14] [15]
10	Dieter Hutter	[1]
11	Alexander Knapp	[8]
12	Peter J. F. Lucas	[7] [10] [13] [14] [15]
13	Heiko Mantel	[1]
14	Mar Marcos	[5] [6] [10] [12]
15	Silvia Miksch	[10]
16	Florian Nafz	[16]
17	Wolfgang Reif	[1] [2] [3] [4] [8] [10] [11] [12] [16] [17]
18	Georg Rock	[1]
19	Kitty Rosenbrand	[10]
20	Gerhard Schellhorn	[1] [2] [3] [4] [17]
21	Jonathan Schmitt	[11] [12] [13] [14] [15]
22	Andreas Seyfang	[10]
23	Kurt Stenzel	[1] [2] [3]
24	Werner Stephan	[1]
25	Annette ten Teije	[5] [6] [10]
26	Andreas Thums	[3] [8]
27	Andreas Wolpers	[1]

Colors in the list of coauthors