| 94 |       | Gerd Behrmann,
Alexandre David,
Kim Guldstrand Larsen,
Paul Pettersson,
Wang Yi:
Developing UPPAAL over 15 years.
Softw., Pract. Exper. 41(2): 133-142 (2011) |
| 66 | | Gerd Behrmann,
Alexandre David,
Kim Guldstrand Larsen,
John Håkansson,
Paul Pettersson,
Wang Yi,
Martijn Hendriks:
UPPAAL 4.0.
QEST 2006: 125-126 |
| 51 | | Alexandre David,
Gerd Behrmann,
Kim Guldstrand Larsen,
Wang Yi:
Unification & Sharing in Timed Automata Verification.
SPIN 2003: 225-229 |
| 47 | | 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 |
| 46 | | Alexandre David,
M. Oliver Möller,
Wang Yi:
Formal Verification of UML Statecharts with Real-Time Extensions.
FASE 2002: 218-232 |
| 45 | | Gerd Behrmann,
Johan Bengtsson,
Alexandre David,
Kim Guldstrand Larsen,
Paul Pettersson,
Wang Yi:
UPPAAL Implementation Secrets.
FTRTFT 2002: 3-22 |
| 35 | | Alexandre David,
Wang Yi:
Modelling and analysis of a commercial field bus protocol.
ECRTS 2000: 165-172 |
| 32 | | Tobias Amnell,
Alexandre David,
Wang Yi:
A Real-Time Animator for Hybrid Systems.
LCTES 2000: 134-145 |
| 31 | | 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 |
- CSB - MetaPress - Google - Bing - Yahoo
Content released under the ODC-BY 1.0 license — See also our legal information page