MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Thomas Hune" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

13 documents found, showing 1 through 10. Next 10 →

ATOM

Modelling a Real-Time Language
by Thomas Hune — 1999 — In Proc. of the 4th Workshop on Formal Methods for Industrial Critical Systems
…Modelling a real-time language . Thomas Hune BRICS y , Department of Computer Science…
Cited by 9 (3 self) – Add To MetaCart

Analyzing Real-Time Systems: Theory and Tools
by Thomas S. Hune, Thomas S. Hune — 2001
…BRICS DS-01-3 T . S. Hune: Analyzing Real-Time Systems: Theory and Tools BRICS Basic Research…
Cited by 8 (0 self) – Add To MetaCart

A Case Study on using Automata in Control Synthesis
by Thomas Hune, Anders Sandholm — 2000 — FASE 2000
… Thomas Hune and Anders Sandholm BRICS ? , Department of Computer Science University of Aarhus, Denmark…
Cited by 5 (0 self) – Add To MetaCart

Timed Bisimulation and Open Maps
by Mogens Nielsen, Thomas S. Hune — 1998 — Proc. of MFCS'98, LNCS 1450:pages
…BRICS RS-98-4 Nielsen & Hune: Timed Bisimulation and Open Maps BRICS Basic Research in Computer…
Cited by 1 (1 self) – Add To MetaCart

Linear Parametric Model Checking of Timed Automata
by Thomas Hune, Judi Romijn, Mariëlle Stoelinga, Frits Vaandrager — 2002
…Linear Parametric Model Checking of Timed Automata ? Thomas Hune a Judi Romijn b Mari…
Cited by 29 (2 self) – Add To MetaCart

Distributing Timed Model Checking - How the Search Order Matters
by Gerd Behrmann, Thomas Hune, Frits Vaandrager, Frits Va — 2000
… Order Matters # Gerd Behrmann 1 , Thomas Hune 2 , and Frits Vaandrager 3 1 Basic Research…
Cited by 33 (5 self) – Add To MetaCart

Guided Synthesis of Control Programs Using UPPAAL
by Thomas Hune, Kim G. Larsen, Paul Pettersson — 2000
…Guided Synthesis of Control Programs Using UPPAAL Thomas Hune BRICS y , Department of Computer…
Cited by 47 (23 self) – Add To MetaCart

As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata
by Kim Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn — 2001
… , Gerd Behrmann 1 , Ed Brinksma 2 , Ansgar Fehnker 4 , Thomas Hune 3 , Paul Pettersson 5…
Cited by 20 (8 self) – Add To MetaCart

Efficient Guiding Towards Cost-Optimality in UPPAAL
by Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Larsen, Paul Pettersson, Judi Romijn — 2001
… , Thomas Hune 2 , Kim Larsen 4 , Paul Pettersson 5 , and Judi Romijn 3 1 Basic Research in Computer…
Cited by 23 (11 self) – Add To MetaCart

Guiding and Cost-Optimality in UPPAAL
by Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn — 2001
…Guiding and Cost-Optimality in UPPAAL Gerd Behrmann y Ansgar Fehnker z Thomas Hune x Kim G…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB