We introduce a unifying framework to provide the semantics of process algebras, including
their quantitative variants useful for modeling quantitative aspects of behaviors. The unifying …

We present a distance-agnostic approach to quantitative verification. Taking as input an
unspecified distance on system traces, or executions, we develop a game-based framework …

Simulation distances are essentially approximations of simulation which provide a measure
of the extent by which behaviors in systems are inequivalent. In this paper, we consider the …

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

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 …

Abstract Specification theories as a tool in the development process of component-based
software systems have recently attracted a considerable attention. Current specification …

In this paper we revisit the paradigm shift “From Boolean to Quantitative Notions of
Correctness” proposed by Henzinger more than 10 years ago. In particular, we present the …

This paper proposes a functional testing approach for safety properties formalized as hybrid
automata. We first propose a formalism inspired from the concept of operational profile to …

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 …

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 …