Concepedia

Thomas Hune

TH

10

Publications

433

Citations

10

H-Index

1999

Active since

Affiliations

Aarhus University(Current)

Aalborg University

Uppsala University

Information Technology University

University of Copenhagen

Thomas Hune is an author at Aarhus University specializing in formal methods, engineering, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationSystems EngineeringProcess ControlAutomated ReasoningProgram AnalysisAutomation

Publications per year

1999–2002

10

Publications

10

Linear parametric model checking of timed automata

Thomas Hune, Judi Romijn, Mariëlle Stoelinga et al. · The Journal of Logic and Algebraic Programming · 2002 · 173 citations · Full text

Logical Automaton, Engineering, Automated Reasoning +7

Minimum-Cost Reachability for Priced Timed Automata

Gerd Behrmann, Ansgar Fehnker, Thomas Hune et al. · BRICS Report Series · 2001 · 65 citations · Full text

Engineering, Reachability Problem, Verification +17

Guided Synthesis of Control Programs Using UPPAAL

Thomas Hune, Kim G. Larsen, Paul Pettersson · VBN Forskningsportal (Aalborg Universitet) · 2000 · 61 citations · Full text

Efficient Guiding Towards Cost-Optimality in UPPAAL

Gerd Behrmann, Ansgar Fehnker, Thomas Hune et al. · BRICS Report Series · 2001 · 38 citations · Full text

Mathematical Programming, Engineering, Reachability Problem +24

Linear Parametric Model Checking of Timed Automata

Thomas Hune, Judi Romijn, Mariëlle Stoelinga et al. · BRICS Report Series · 2001 · 24 citations · Full text

Engineering, Verification, Computational Complexity +16

Rows per page

1–5 of 10