ask others

Thomas Hune

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2000 – 2009

see FAQ

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

2002
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jlp/HuneRSV02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jlp/HuneRSV02
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
[j2]
- no documents available
- export record
  dblp key:
  - journals/njc/HuneLP01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/njc/HuneLP01
Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson:
Guided Synthesis of Control Programs Using UPPAAL. Nord. J. Comput. 8(1): 43-64 (2001)
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/LarsenBBFHPR01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/LarsenBBFHPR01
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
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/hybrid/BehrmannFHLPRV01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/hybrid/BehrmannFHLPRV01
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
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/HuneRSV01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/HuneRSV01
Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager:
Linear Parametric Model Checking of Timed Automata. TACAS 2001: 189-203
2000
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/BehrmannHV00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/BehrmannHV00
Gerd Behrmann, Thomas Hune, Frits W. Vaandrager:
Distributing Timed Model Checking - How the Search Order Matters. CAV 2000: 216-231
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fase/HuneS00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fase/HuneS00
Thomas Hune, Anders Sandholm:
A Case Study on Using Automata in Control Synthesis. FASE 2000: 349-362
[c3]
- no documents available
- export record
  dblp key:
  - conf/icdcsw/HuneLP00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icdcsw/HuneLP00
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
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/movep/AmnellBBDDFHJLMPWY00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/movep/AmnellBBDDFHJLMPWY00
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

1990 – 1999

see FAQ

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

1999
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/NielsenH99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/NielsenH99
Mogens Nielsen, Thomas Hune:
Bisimulation and Open Maps for Timed Transition Systems. Fundam. Inform. 38(1-2): 61-77 (1999)
1998
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/HuneN98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/HuneN98
Thomas Hune, Mogens Nielsen:
Timed Bisimulation and Open Maps. MFCS 1998: 378-387

Coauthor Index

see FAQ

maintained by

, founded at