Tobias Amnell

According to our database, Tobias Amnell authored at least 5 papers between 2000 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems.

Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

2002

Code Synthesis for Timed Automata.

Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi

Nord. J. Comput., 2002

TIMES - A Tool for Modelling and Implementation of Embedded Systems.

Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

2000

UPPAAL - Now, Next, and Future.

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

Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000

A Real-Time Animator for Hybrid Systems.

Tobias Amnell, Alexandre David, Wang Yi

Proceedings of the Languages, 2000