Search the dblp DataBase
Thomas Hune: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Gerd Behrmann, Thomas Hune, Frits W. Vaandrager
Distributing Timed Model Checking - How the Search Order Matters. [Citation Graph (0, 0)][DBLP]
CAV, 2000, pp:216-231 [Conf] - 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. [Citation Graph (0, 0)][DBLP]
CAV, 2001, pp:493-505 [Conf] - Thomas Hune, Anders Sandholm
A Case Study on Using Automata in Control Synthesis. [Citation Graph (0, 0)][DBLP]
FASE, 2000, pp:349-362 [Conf] - Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager
Minimum-Cost Reachability for Priced Timed Automata. [Citation Graph (0, 0)][DBLP]
HSCC, 2001, pp:147-161 [Conf] - Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson
Guided Synthesis of Control Programs Using UPPAAL. [Citation Graph (0, 0)][DBLP]
ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf] - Thomas Hune, Mogens Nielsen
Timed Bisimulation and Open Maps. [Citation Graph (0, 0)][DBLP]
MFCS, 1998, pp:378-387 [Conf] - 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. [Citation Graph (0, 0)][DBLP]
MOVEP, 2000, pp:99-124 [Conf] - Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager
Linear Parametric Model Checking of Timed Automata. [Citation Graph (0, 0)][DBLP]
TACAS, 2001, pp:189-203 [Conf] - Mogens Nielsen, Thomas Hune
Bisimulation and Open Maps for Timed Transition Systems. [Citation Graph (0, 0)][DBLP]
Fundam. Inform., 1999, v:38, n:1-2, pp:61-77 [Journal] - Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits W. Vaandrager
Linear parametric model checking of timed automata. [Citation Graph (0, 0)][DBLP]
J. Log. Algebr. Program., 2002, v:52, n:, pp:183-220 [Journal] - Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson
Guided Synthesis of Control Programs Using UPPAAL. [Citation Graph (0, 0)][DBLP]
Nord. J. Comput., 2001, v:8, n:1, pp:43-64 [Journal]
Search in 0.017secs, Finished in 0.018secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002