Tobias Amnell

Publication Activity (10 Years)

Years Active: 2000-2003
Publications (10 Years): 0

Publications

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)
Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi
TIMES - A Tool for Modelling and Implementation of Embedded Systems. TACAS (2002)
Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi
Code Synthesis for Timed Automata. Nord. J. Comput. 9 (4) (2002)
Tobias Amnell, Alexandre David, Wang Yi
A Real-Time Animator for Hybrid Systems. LCTES (2000)
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)