Alexandre David

2008
17	EE	Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen: A Game-Theoretic Approach to Real-Time System Testing. DATE 2008: 486-491
16	EE	Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen: Cooperative Testing of Timed Systems. Electr. Notes Theor. Comput. Sci. 220(1): 79-92 (2008)
2007
15	EE	Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin: Timed Control with Observation Based and Stuttering Invariant Strategies. ATVA 2007: 192-206
14	EE	Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime: UPPAAL-Tiga: Time for Playing Games! CAV 2007: 121-125
13	EE	Jan Jakob Jessen, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Alexandre David: Guided Controller Synthesis for Climate Controller Using Uppaal Tiga. FORMATS 2007: 227-240
2006
12	EE	Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson: Model Checking Timed Automata with Priorities Using DBM Subtraction. FORMATS 2006: 128-142
11	EE	Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks: UPPAAL 4.0. QEST 2006: 125-126
2005
10	EE	Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime: Efficient On-the-Fly Algorithms for the Analysis of Timed Games. CONCUR 2005: 66-80
2004
9	EE	Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen: A Tutorial on Uppaal. SFM 2004: 200-236
2003
8	EE	Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi: Unification & Sharing in Timed Automata Verification. SPIN 2003: 225-229
2002
7	EE	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
6	EE	Alexandre David, M. Oliver Möller, Wang Yi: Formal Verification of UML Statecharts with Real-Time Extensions. FASE 2002: 218-232
5	EE	Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: UPPAAL Implementation Secrets. FTRTFT 2002: 3-22
2001
4	EE	Sébastien Gérard, Alexandre David, François Terrier: Specification, Implementation, and Validation of Object-Oriented Embedded Systems. ECOOP Workshops 2001: 72-85
2000
3	EE	Alexandre David, Wang Yi: Modelling and analysis of a commercial field bus protocol. ECRTS 2000: 165-172
2	EE	Tobias Amnell, Alexandre David, Wang Yi: A Real-Time Animator for Hybrid Systems. LCTES 2000: 134-145
1	EE	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

Coauthor Index

1	Tobias Amnell	[1] [2]
2	Gerd Behrmann	[1] [5] [7] [8] [9] [11] [14]
3	Johan Bengtsson	[1] [5]
4	Franck Cassez	[10] [15]
5	Agnès Cougnard	[14]
6	Pedro R. D'Argenio	[1]
7	Ansgar Fehnker	[1]
8	Emmanuel Fleury	[10] [14]
9	Sébastien Gérard (Sebastien Gerard)	[4]
10	John Håkansson	[11] [12]
11	Martijn Hendriks	[11]
12	Thomas Hune	[1]
13	Bertrand Jeannet	[1]
14	Jan Jakob Jessen	[13]
15	Kim Guldstrand Larsen	[1] [5] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17]
16	Shuhao Li	[16] [17]
17	Didier Lime	[10] [14] [15]
18	M. Oliver Möller	[1] [6]
19	Brian Nielsen	[16] [17]
20	Paul Pettersson	[1] [5] [11] [12]
21	Jean-François Raskin	[15]
22	Jacob Illum Rasmussen	[13]
23	François Terrier	[4]
24	Carsten Weise	[1]
25	Wang Yi	[1] [2] [3] [5] [6] [7] [8] [11]

Colors in the list of coauthors