Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Tobias Amnell

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2003
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/formats/AmnellFMPY03
- ask others
Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi: TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems. FORMATS 2003: 60-72
2002
[j1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/njc/AmnellFPSY02
- ask others
Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi: Code Synthesis for Timed Automata. Nord. J. Comput. 9(4): 269-300 (2002)
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/AmnellFMPY02
- ask others
Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi: TIMES - A Tool for Modelling and Implementation of Embedded Systems. TACAS 2002: 460-464
2000
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lctrts/AmnellDY00
- ask others
Tobias Amnell, Alexandre David, Wang Yi: A Real-Time Animator for Hybrid Systems. LCTES 2000: 134-145
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/movep/AmnellBBDDFHJLMPWY00
- ask others
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: UPPAAL - Now, Next, and Future. MOVEP 2000: 99-124