Tobias Amnell

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2003
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

2002
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

2000
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


  Loading...