30 years of modal transition systems: survey of extensions and analysis
J Křetínský - Models, Algorithms, Logics and Tools: Essays …, 2017 - Springer
We survey the specification formalism of modal transition systems (MTS). We discuss
various extensions of MTS, their relationships and modelling capabilities. The extensions …
various extensions of MTS, their relationships and modelling capabilities. The extensions …
A generic approach to quantitative verification
U Fahrenberg - arXiv preprint arXiv:2204.11302, 2022 - arxiv.org
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 …
properties of quantitative systems. These systems are found in numerous applications, and …
General quantitative specification theories with modal transition systems
U Fahrenberg, A Legay - Acta informatica, 2014 - Springer
This paper proposes a new theory of quantitative specifications. It generalizes the notions of
step-wise refinement and compositional design operations from the Boolean to an arbitrary …
step-wise refinement and compositional design operations from the Boolean to an arbitrary …
Compositionality for quantitative specifications
We provide a framework for compositional and iterative design and verification of systems
with quantitative information, such as rewards, time or energy. It is based on disjunctive …
with quantitative information, such as rewards, time or energy. It is based on disjunctive …
Structural refinement for the modal nu-calculus
We introduce a new notion of structural refinement, a sound abstraction of logical
implication, for the modal nu-calculus. Using new translations between the modal nu …
implication, for the modal nu-calculus. Using new translations between the modal nu …
A robust specification theory for modal event-clock automata
U Fahrenberg, A Legay - arXiv preprint arXiv:1207.4268, 2012 - arxiv.org
A Robust Specification Theory for Modal Event-Clock Automata Page 1 S. Bauer, J.-B. Raclet
(Eds.): 4th International Workshop on Foundations of Interface Technologies (FIT 2012) EPTCS …
(Eds.): 4th International Workshop on Foundations of Interface Technologies (FIT 2012) EPTCS …
Generalized quantitative analysis of metric transition systems
U Fahrenberg, A Legay - Asian Symposium on Programming Languages …, 2013 - Springer
The formalism of metric transition systems, as introduced by de Alfaro, Faella and Stoelinga,
is convenient for modeling systems and properties with quantitative information, such as …
is convenient for modeling systems and properties with quantitative information, such as …
Specification theories for probabilistic and real-time systems
LNCS 8415 - Specification Theories for Probabilistic and Real-Time Systems Page 1
Specification Theories for Probabilistic and Real-Time Systems Uli Fahrenberg, Axel Legay, and …
Specification Theories for Probabilistic and Real-Time Systems Uli Fahrenberg, Axel Legay, and …
Une approche générique à la vérification quantitative
U Fahrenberg, A Fahrenberg - 2023 - hal.science
Ceci est une traduction française de l'introduction du mémoire d'habilitation à diriger des
recherches (HDR) rédigé par Uli Fahrenberg. Elle a été produite par Aline Fahrenberg en …
recherches (HDR) rédigé par Uli Fahrenberg. Elle a été produite par Aline Fahrenberg en …
Computing branching distances with quantitative games
U Fahrenberg, A Legay, K Quaas - Theoretical Computer Science, 2020 - Elsevier
We lay out a general method for computing branching distances between labeled transition
systems. We translate the quantitative games used for defining these distances to other, path …
systems. We translate the quantitative games used for defining these distances to other, path …