Statistics
Publications
3
Citations
95
H-Index
3
Active since
2000
Affiliations
Uppsala University(Current)
Tobias Amnell is an author at Uppsala University specializing in computing, real-time systems, and computer science.
Publications per year
2000–2002
3
3
Code synthesis for timed automata
Tobias Amnell, Elena Fersman, Paul Pettersson et al. · 2002 · 62 citations · Full text
UPPAAL - Now, Next, and Future
Tobias Amnell, G. Behrmann, Johan Bengtsson et al. · 2000 · 21 citations
Tools for Real-Time UML: Formal Verification and Code Synthesis
Tobias Amnell, Alexandre David, Elena Fersman et al. · 2001 · 12 citations
1–3 of 3