Michael Balser

2007
15	EE	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	EE	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	EE	Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos: Interactive Verification of Medical Guidelines. FM 2006: 32-47
11	EE	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	EE	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	EE	Felix Bübl, Michael Balser: Tracing Cross-Cutting Requirements via Context-Based Constraints. CSMR 2005: 80-90
2004
8	EE	Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums: Interactive Verification of UML State Machines. ICFEM 2004: 434-448
7	EE	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	EE	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	EE	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	EE	Michael Balser, Christoph Duelli, Wolfgang Reif, Gerhard Schellhorn: Verifying Concurrent Systems with Symbolic Execution. J. Log. Comput. 12(4): 549-560 (2002)
2000
3	EE	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]
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	Wolfgang Reif	[1] [2] [3] [4] [8] [10] [11] [12]
17	Georg Rock	[1]
18	Kitty Rosenbrand	[10]
19	Gerhard Schellhorn	[1] [2] [3] [4]
20	Jonathan Schmitt	[11] [12] [13] [14] [15]
21	Andreas Seyfang	[10]
22	Kurt Stenzel	[1] [2] [3]
23	Werner Stephan	[1]
24	Annette ten Teije	[5] [6] [10]
25	Andreas Thums	[3] [8]
26	Andreas Wolpers	[1]

Colors in the list of coauthors