The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Thomas Hune: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Thomas Hune, Anders Sandholm
    A Case Study on Using Automata in Control Synthesis. [Citation Graph (0, 0)][DBLP]
    FASE, 2000, pp:349-362 [Conf]
  4. 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]
  5. 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]
  6. Thomas Hune, Mogens Nielsen
    Timed Bisimulation and Open Maps. [Citation Graph (0, 0)][DBLP]
    MFCS, 1998, pp:378-387 [Conf]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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.002secs, Finished in 0.003secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002