We survey the specification formalism of modal transition systems (MTS). We discuss
various extensions of MTS, their relationships and modelling capabilities. The extensions …

De Alfaro and Henzinger's Interface Automata (IA) and Nyman et al.'s recent combination
IOMTS of IA and Larsen's Modal Transition Systems (MTS) are established frameworks for …

We aim at measuring the influence of the nondeterministic choices of a part of a system on
its ability to satisfy a specification. For this purpose, we apply the concept of Shapley values …

There are two fundamentally different approaches to specifying and verifying properties of
systems. The logical approach makes use of specifications given as formulae of temporal or …

We extend the theory of input-output conformance with operators for merge and quotient.
The former is useful when testing against multiple requirements or views. The latter can be …

Abstract Specification theories as a tool in model-driven development processes of
component-based software systems have recently attracted a considerable attention …

Modal transition systems (MTSs) and their variants such as Disjunctive MTSs (DMTSs) have
been extensively studied as a formalism for partial behaviour model specification. Their …

This thesis is concerned with quantitative verification, that is, the verification of quantitative
properties of quantitative systems. These systems are found in numerous applications, and …

We present a tool for modal transition systems (MTS), disjunctive MTS and further
extensions of MTS supporting also nondeterministic systems. We provide the operations …

Modal transition systems are a popular semantic underpinning of interface theories, such as
Nyman et al.'s IOMTS and Bauer et al.'s MIO, which facilitate component-based reasoning …