Search the dblp DataBase

Publications of Author

1. Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime
   Efficient On-the-Fly Algorithms for the Analysis of Timed Games. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2005, pp:66-80 [Conf]
   
2. Sébastien Gérard, Alexandre David, François Terrier
   Specification, Implementation, and Validation of Object-Oriented Embedded Systems. [Citation Graph (0, 0)][DBLP]
   ECOOP Workshops, 2001, pp:72-85 [Conf]
   
3. Alexandre David, M. Oliver Möller, Wang Yi
   Formal Verification of UML Statecharts with Real-Time Extensions. [Citation Graph (0, 0)][DBLP]
   FASE, 2002, pp:218-232 [Conf]
   
4. Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson
   Model Checking Timed Automata with Priorities Using DBM Subtraction. [Citation Graph (0, 0)][DBLP]
   FORMATS, 2006, pp:128-142 [Conf]
   
5. Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
   UPPAAL Implementation Secrets. [Citation Graph (0, 0)][DBLP]
   FTRTFT, 2002, pp:3-22 [Conf]
   
6. Tobias Amnell, Alexandre David, Wang Yi
   A Real-Time Animator for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
   LCTES, 2000, pp:134-145 [Conf]
   
7. 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. [Citation Graph (0, 0)][DBLP]
   MOVEP, 2000, pp:99-124 [Conf]
   
8. Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks
   UPPAAL 4.0. [Citation Graph (0, 0)][DBLP]
   QEST, 2006, pp:125-126 [Conf]
   
9. Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen
   A Tutorial on Uppaal. [Citation Graph (0, 0)][DBLP]
   SFM, 2004, pp:200-236 [Conf]
   
10. Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi
    Unification & Sharing in Timed Automata Verification. [Citation Graph (0, 0)][DBLP]
    SPIN, 2003, pp:225-229 [Conf]
    
11. Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi
    A Tool Architecture for the Next Generation of Uppaal. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:352-366 [Conf]
    
12. Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin
    Timed Control with Observation Based and Stuttering Invariant Strategies. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:192-206 [Conf]
    
13. Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime
    UPPAAL-Tiga: Time for Playing Games! [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:121-125 [Conf]
    
14. Jan Jakob Jessen, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Alexandre David
    Guided Controller Synthesis for Climate Controller Using Uppaal Tiga. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2007, pp:227-240 [Conf]
    
15. 
    ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. [Citation Graph (, )][DBLP]
    
    
16. 
    A Game-Theoretic Approach to Real-Time System Testing. [Citation Graph (, )][DBLP]
    
    
17. 
    Modelling and analysis of a commercial field bus protocol. [Citation Graph (, )][DBLP]
    
    
18. 
    Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation. [Citation Graph (, )][DBLP]
    
    
19. 
    Timed I/O automata: a complete specification theory for real-time systems. [Citation Graph (, )][DBLP]
    
    
20. 
    Timed Testing under Partial Observability. [Citation Graph (, )][DBLP]
    
    
21. 
    Cooperative Testing of Timed Systems. [Citation Graph (, )][DBLP]