The SCEAS System
Navigation Menu

Search the dblp DataBase


Alexandre David: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.006secs, Finished in 0.006secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002