According to our database1, Tobias Amnell authored at least 5 papers between 2000 and 2003.
Legend:Book In proceedings Article PhD thesis Other
TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003
Code Synthesis for Timed Automata.
Nord. J. Comput., 2002
TIMES - A Tool for Modelling and Implementation of Embedded Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002
UPPAAL - Now, Next, and Future.
Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000
A Real-Time Animator for Hybrid Systems.
Proceedings of the Languages, 2000