Alexandre David

2007
14	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
13	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
12	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
11	EE	Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson: Model Checking Timed Automata with Priorities Using DBM Subtraction. FORMATS 2006: 128-142
10	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
9	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
8	EE	Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen: A Tutorial on Uppaal. SFM 2004: 200-236
2003
7	EE	Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi: Unification & Sharing in Timed Automata Verification. SPIN 2003: 225-229
2002
6	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
5	EE	Alexandre David, M. Oliver Möller, Wang Yi: Formal Verification of UML Statecharts with Real-Time Extensions. FASE 2002: 218-232
4	EE	Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: UPPAAL Implementation Secrets. FTRTFT 2002: 3-22
2001
3	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
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] [4] [6] [7] [8] [10] [13]
3	Johan Bengtsson	[1] [4]
4	Franck Cassez	[9] [14]
5	Agnès Cougnard	[13]
6	Pedro R. D'Argenio	[1]
7	Ansgar Fehnker	[1]
8	Emmanuel Fleury	[9] [13]
9	Sébastien Gérard (Sebastien Gerard)	[3]
10	John Håkansson	[10] [11]
11	Martijn Hendriks	[10]
12	Thomas Hune	[1]
13	Bertrand Jeannet	[1]
14	Jan Jakob Jessen	[12]
15	Kim Guldstrand Larsen	[1] [4] [6] [7] [8] [9] [10] [11] [12] [13] [14]
16	Didier Lime	[9] [13] [14]
17	M. Oliver Möller	[1] [5]
18	Paul Pettersson	[1] [4] [10] [11]
19	Jean-François Raskin	[14]
20	Jacob Illum Rasmussen	[12]
21	François Terrier	[3]
22	Carsten Weise	[1]
23	Wang Yi	[1] [2] [4] [5] [6] [7] [10]

Colors in the list of coauthors