Tobias Amnell

	2003
5		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
4		Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi: TIMES - A Tool for Modelling and Implementation of Embedded Systems. TACAS 2002: 460-464
3		Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi: Code Synthesis for Timed Automata. Nord. J. Comput. 9(4): 269-300 (2002)
	2000
2		Tobias Amnell, Alexandre David, Wang Yi: A Real-Time Animator for Hybrid Systems. LCTES 2000: 134-145
1		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

Coauthor Index

1	Gerd Behrmann	[1]
2	Johan Bengtsson	[1]
3	Pedro R. D'Argenio	[1]
4	Alexandre David	[1] [2]
5	Ansgar Fehnker	[1]
6	Elena Fersman	[3] [4] [5]
7	Thomas Hune	[1]
8	Bertrand Jeannet	[1]
9	Kim Guldstrand Larsen (Kim G. Larsen)	[1]
10	Leonid Mokrushin	[4] [5]
11	M. Oliver Möller	[1]
12	Paul Pettersson	[1] [3] [4] [5]
13	Hongyan Sun	[3]
14	Carsten Weise	[1]
15	Wang Yi	[1] [2] [3] [4] [5]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page