| 2003 |
|---|
| 5 | EE | Tobias Amnell,
Elena Fersman,
Leonid Mokrushin,
Paul Pettersson,
Wang Yi:
TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems.
FORMATS 2003: 60-72 |
| 2002 |
|---|
| 4 | EE | Tobias Amnell,
Elena Fersman,
Leonid Mokrushin,
Paul Pettersson,
Wang Yi:
TIMES - A Tool for Modelling and Implementation of Embedded Systems.
TACAS 2002: 460-464 |
| 3 | | Tobias Amnell,
Elena Fersman,
Paul Pettersson,
Hongyan Sun,
Wang Yi:
Code Synthesis for Timed Automata.
Nord. J. Comput. 9(4): 269-300 (2002) |
| 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 |
