Gerd Behrmann

	2007
31		Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime: UPPAAL-Tiga: Time for Playing Games! CAV 2007: 121-125
30		Jacob Illum Rasmussen, Gerd Behrmann, Kim Guldstrand Larsen: Complexity in Simplicity: Flexible Agent-Based State Space Exploration. TACAS 2007: 231-245
29		Sebastian Kupferschmid, Klaus Dräger, Jörg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann: Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking. TACAS 2007: 679-682
	2006
28		Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks: UPPAAL 4.0. QEST 2006: 125-126
27		Sebastian Kupferschmid, Jörg Hoffmann, Henning Dierks, Gerd Behrmann: Adapting an AI Planning Heuristic for Directed Model Checking. SPIN 2006: 35-52
26		Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek: Lower and upper bounds in zone-based abstractions of timed automata. STTT 8(3): 204-215 (2006)
	2005
25		Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen: Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness. FORMATS 2005: 81-94
24		Gerd Behrmann, Ed Brinksma, Martijn Hendriks, Angelika Mader: Production Scheduling by Reachability Analysis - A Case Study. IPDPS 2005
23		Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen: Optimal scheduling using priced timed automata. SIGMETRICS Performance Evaluation Review 32(4): 34-40 (2005)
22		Gerd Behrmann: Distributed reachability analysis in timed automata. STTT 7(1): 19-30 (2005)
	2004
21		Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen: Priced Timed Automata: Algorithms and Applications. FMCO 2004: 162-182
20		Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen: A Tutorial on Uppaal. SFM 2004: 200-236
19		Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek: Lower and Upper Bounds in Zone Based Abstractions of Timed Automata. TACAS 2004: 312-326
	2003
18		Gerd Behrmann, Kim Guldstrand Larsen, Radek Pelánek: To Store or Not to Store. CAV 2003: 433-445
17		Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager: Adding Symmetry Reduction to Uppaal. FORMATS 2003: 46-59
16		Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi: Unification & Sharing in Timed Automata Verification. SPIN 2003: 225-229
15		Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen: Static Guard Analysis in Timed Automata Verification. TACAS 2003: 254-277
	2002
14		Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi: A Tool Architecture for the Next Generation of Uppaal. 10th Anniversary Colloquium of UNU/IIST 2002: 352-366
13		Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: UPPAAL Implementation Secrets. FTRTFT 2002: 3-22
12		Gerd Behrmann: A Performance Study of Distributed Timed Automata Reachability Analysis. Electr. Notes Theor. Comput. Sci. 68(4): (2002)
11		Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen: Verification of Hierarchical State/Event Systems using Reusability and Compositionality. Formal Methods in System Design 21(2): 225-244 (2002)
	2001
10		Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn: As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. CAV 2001: 493-505
9		Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager: Minimum-Cost Reachability for Priced Timed Automata. HSCC 2001: 147-161
8		Gerd Behrmann, Ansgar Fehnker: Efficient Guiding Towards Cost-Optimality in UPPAAL. TACAS 2001: 174-188
7		Jørn Lind-Nielsen, Henrik Reif Andersen, Henrik Hulgaard, Gerd Behrmann, Kåre J. Kristoffersen, Kim Guldstrand Larsen: Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. Formal Methods in System Design 18(1): 5-23 (2001)
	2000
6		Gerd Behrmann, Thomas Hune, Frits W. Vaandrager: Distributing Timed Model Checking - How the Search Order Matters. CAV 2000: 216-231
5		Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi: UPPAAL - Now, Next, and Future. MOVEP 2000: 99-124
4		Jørgen Staunstrup, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen, Kim Guldstrand Larsen, Gerd Behrmann, Kåre J. Kristoffersen, Arne Skou, Henrik Leerberg, Niels Bo Theilgaard: Practical Verification of Embedded Software. IEEE Computer 33(5): 68-75 (2000)
	1999
3		Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi: Efficient Timed Reachability Analysis Using Clock Difference Diagrams. CAV 1999: 341-353
2		Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen: Verification of Hierarchical State/Event Systems Using Reusability and Compositionality. TACAS 1999: 163-177
	1998
1		Jørn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, Kåre J. Kristoffersen, Kim Guldstrand Larsen: Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. TACAS 1998: 201-216

Coauthor Index

1	Tobias Amnell	[5]
2	Henrik Reif Andersen	[1] [2] [4] [7] [11]
3	Johan Bengtsson	[5] [13]
4	Patricia Bouyer	[15] [19] [26]
5	Ed Brinksma	[10] [24]
6	Agnès Cougnard	[31]
7	Pedro R. D'Argenio	[5]
8	Alexandre David	[5] [13] [14] [16] [20] [28] [31]
9	Henning Dierks	[27] [29]
10	Klaus Dräger	[29]
11	Ansgar Fehnker	[5] [8] [9] [10]
12	Bernd Finkbeiner	[29]
13	Emmanuel Fleury	[15] [31]
14	John Håkansson	[28]
15	Martijn Hendriks	[17] [24] [28]
16	Jörg Hoffmann	[27] [29]
17	Henrik Hulgaard	[1] [2] [4] [7] [11]
18	Thomas Hune	[5] [6] [9] [10]
19	Bertrand Jeannet	[5]
20	Kåre J. Kristoffersen	[1] [4] [7]
21	Sebastian Kupferschmid	[27] [29]
22	Kim Guldstrand Larsen	[1] [2] [3] [4] [5] [7] [9] [10] [11] [13] [14] [15] [16] [17] [18] [19] [20] [21] [23] [25] [26] [28] [30] [31]
23	Henrik Leerberg	[4]
24	Didier Lime	[31]
25	Jørn Lind-Nielsen	[1] [2] [4] [7] [11]
26	Angelika Mader	[24]
27	M. Oliver Möller	[5]
28	Peter Niebert	[17]
29	Justin Pearson	[3]
30	Radek Pelánek	[18] [19] [26]
31	Paul Pettersson	[5] [9] [10] [13] [28]
32	Andreas Podelski	[29]
33	Jacob Illum Rasmussen	[21] [23] [25] [30]
34	Judi Romijn	[9] [10]
35	Arne Skou	[4]
36	Jørgen Staunstrup	[4]
37	Niels Bo Theilgaard	[4]
38	Frits W. Vaandrager	[6] [9] [17]
39	Carsten Weise	[3] [5]
40	Wang Yi	[3] [5] [13] [14] [16] [28]