L
Line Juhl
Researcher at Aalborg University
Publications - 11
Citations - 289
Line Juhl is an academic researcher from Aalborg University. The author has contributed to research in topics: Modal & Automata theory. The author has an hindex of 8, co-authored 11 publications receiving 278 citations.
Papers
More filters
Book ChapterDOI
Energy games in multiweighted automata
TL;DR: This work extends energy games to a multiweighted and parameterized setting, allowing them to model systems with multiple quantitative aspects and investigates the tractability of an extension of multi Weighted energy games in the setting of timed automata.
Book ChapterDOI
Optimal bounds for multiweighted and parametrised energy games
TL;DR: The set of vectors of upper bounds that allow an infinite run to exist and how to construct this set is calculated by employing results from previous works, including an algorithm given by Valk and Jantzen for finding the set of minimal elements of an upward closed set.
Book ChapterDOI
Quantitative refinement for weighted modal transition systems
TL;DR: This work proposes the first specification theory which allows to capture quantitative aspects during the refinement and implementation process of component-based software systems.
Journal ArticleDOI
Extending modal transition systems with structured labels
TL;DR: A novel formalism of label-structured modal transition systems that combines the classical may/must modalities on transitions with structured labels that represent quantitative aspects of the model is introduced.
Journal ArticleDOI
Modal Transition Systems with Weight Intervals
TL;DR: This work studies the question of existence/finding the largest common refinement for a number of finite deterministic specifications and shows PSPACE-completeness of this problem and allows for a stepwise and iterative construction of a common implementation of a modal transition system.