Thomas Hune

	2002
11		Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager: Linear parametric model checking of timed automata. J. Log. Algebr. Program. 52-53: 183-220 (2002)
	2001
10		Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn: As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. CAV 2001: 493-505
9		Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager: Minimum-Cost Reachability for Priced Timed Automata. HSCC 2001: 147-161
8		Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager: Linear Parametric Model Checking of Timed Automata. TACAS 2001: 189-203
7		Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson: Guided Synthesis of Control Programs Using UPPAAL. Nord. J. Comput. 8(1): 43-64 (2001)
	2000
6		Gerd Behrmann, Thomas Hune, Frits W. Vaandrager: Distributing Timed Model Checking - How the Search Order Matters. CAV 2000: 216-231
5		Thomas Hune, Anders Sandholm: A Case Study on Using Automata in Control Synthesis. FASE 2000: 349-362
4		Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson: Guided Synthesis of Control Programs Using UPPAAL. ICDCS Workshop on Distributed System Validation and Verification 2000: E15-E22
3		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
	1999
2		Mogens Nielsen, Thomas Hune: Bisimulation and Open Maps for Timed Transition Systems. Fundam. Inform. 38(1-2): 61-77 (1999)
	1998
1		Thomas Hune, Mogens Nielsen: Timed Bisimulation and Open Maps. MFCS 1998: 378-387

Coauthor Index

1	Tobias Amnell	[3]
2	Gerd Behrmann	[3] [6] [9] [10]
3	Johan Bengtsson	[3]
4	Ed Brinksma	[10]
5	Pedro R. D'Argenio	[3]
6	Alexandre David	[3]
7	Ansgar Fehnker	[3] [9] [10]
8	Bertrand Jeannet	[3]
9	Kim Guldstrand Larsen (Kim G. Larsen)	[3] [4] [7] [9] [10]
10	M. Oliver Möller	[3]
11	Mogens Nielsen	[1] [2]
12	Paul Pettersson	[3] [4] [7] [9] [10]
13	Judi Romijn	[8] [9] [10] [11]
14	Anders Sandholm	[5]
15	Mariëlle Stoelinga	[8] [11]
16	Frits W. Vaandrager	[6] [8] [9] [11]
17	Carsten Weise	[3]
18	Wang Yi	[3]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page