U
Ulrik Nyman
Researcher at Aalborg University
Publications - 60
Citations - 1609
Ulrik Nyman is an academic researcher from Aalborg University. The author has contributed to research in topics: Model checking & Modal. The author has an hindex of 15, co-authored 58 publications receiving 1491 citations.
Papers
More filters
Book ChapterDOI
Modal I/O automata for interface and product line theories
TL;DR: In this article, the authors define modal I/O automata, an extension of interface automata with modality that can express liveness properties, disallowing trivial implementations of interfaces, a problem that exists for theories build around simulation preorders.
Book ChapterDOI
On modal refinement and consistency
TL;DR: The incompleteness of the standard modal refinement is demonstrated using a counterexmnple due to Huttel, and four forms of consistency are considered, each operationally, giving algorithms for deciding, and for synthesizing implementations, together with their complexities.
Proceedings ArticleDOI
Timed I/O automata: a complete specification theory for real-time systems
TL;DR: This work develops a complete specifification framework for real-time systems using Timed I/O Automata as the specification formalism, with the semantics expressed in terms of TimedI/O Transition Systems.
Book ChapterDOI
Moving from specifications to contracts in component-based design
Sebastian S. Bauer,Alexandre David,Rolf Hennicker,Kim Guldstrand Larsen,Axel Legay,Ulrik Nyman,Andrzej Wąsowski +6 more
TL;DR: This work shows how a contract framework can be built in a generic way on top of any specification theory which supports composition and specification refinement and proposes a notion of contract composition on the basis of dominating contracts.