Tobias Amnell, Ph.D. student
I am a member of the Design and Analysis of
Real-Time Systems (DARTS) group. Currently I am working with
code synthesis of embedded software code from design models
described in the modelling language used in UPPAAL (a model-checking tool developed in the DARTS
I am also interested in animation of Hybrid
Code Synthesis for Timed Automata, Tobias Amnell,
Lic Thesis, ISSN 1404-5117, number 2003-011, Department of Information
Technology, Uppsala University, Oct. 2003.
- TIMES: a Tool for Schedulability Analysis and Code Generation of
Real-Time Systems. Tobias Amnell, Elena
Fersman, Leonid Mokrushin, Paul Pettersson,
and Wang Yi. In Proceedings of FORMATS03 (to
appear in LNCS). 2003.
- Code Synthesis for Timed Automata, Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi. In Nordic Journal of Computing (NJC), Vol 9, no 4, 2003. (PS.GZ,PDF)
A Tools for Modelling and Implementation of Embedded Systems,
Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, and
Accepted for presentation at the
8th International Conference on Tools and Algorithms for
the Construction and Analysis of Systems
Grenoble, France, April 6-14, 2002.
Modeling of a Central Lock System, Tobias Amnell and Pontus
Jansson. In Proceedings of Workshop on Real-Time Tools, Aalborg
University, Denmark, August 20, 2001. Paul Pettersson and Sergio
- UPPAAL - Now, Next, and Future,
Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio,
Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet,
Kim G. Larsen, M. Oliver Möller, Paul Pettersson,
Carsten Weise, and Wang Yi.
In Proceedings of
Modelling and Verification of Parallel Processes
Nantes, France, June 19 to 23, 2000.
LNCS Tutorial 2067, pages 100-125, F. Cassez, C. Jard, B. Rozoy, and
M. Ryan (Eds.), 2001.
- A Real Time Animator for Hybrid Systems Tobias
Amnell, Alexandre David, and Wang Yi. In
Proceedings of the 6th ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES'2000). Vancouver, Canada, June 18, 2000.
I am assisting on the following
Earlier, I have been involved in these:
Fall 2003 (HT 2003)
Fall 2002 (HT 2002)
Fall 2001 (HT 2001)
Fall 2000 (HT 2000)
Fall 1999 (HT 1999)
Spring 1999 (VT 1999)
Building 1, Room 1216
Phone +46 18 471 71 22
Fax +46 18 55 02 25
Department of Computer Systems
S-751 05 Uppsala