Alexandre David Vis

*	2009
18	EE	Peter Bulychev, Thomas Chatain, Alexandre David, Kim Guldstrand Larsen: Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation. FORMATS 2009: 73-87
	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	Peter Bulychev	[18]
5	Franck Cassez	[10] [15]
6	Thomas Chatain	[18]
7	Agnès Cougnard	[14]
8	Pedro R. D'Argenio	[1]
9	Ansgar Fehnker	[1]
10	Emmanuel Fleury	[10] [14]
11	Sébastien Gérard (Sebastien Gerard)	[4]
12	John Håkansson	[11] [12]
13	Martijn Hendriks	[11]
14	Thomas Hune	[1]
15	Bertrand Jeannet	[1]
16	Jan Jakob Jessen	[13]
17	Kim Guldstrand Larsen	[1] [5] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18]
18	Shuhao Li	[16] [17]
19	Didier Lime	[10] [14] [15]
20	M. Oliver Möller	[1] [6]
21	Brian Nielsen	[16] [17]
22	Paul Pettersson	[1] [5] [11] [12]
23	Jean-François Raskin	[15]
24	Jacob Illum Rasmussen	[13]
25	François Terrier	[4]
26	Carsten Weise	[1]
27	Wang Yi	[1] [2] [3] [5] [6] [7] [8] [11]

Colors in the list of coauthors