9 citations · 10 across the 3 of their papers we have counts for
5 papers
EvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical Systems
Valentina Castiglioni, Michele Loreti, Simone Tini
The behaviour of systems characterised by a closed interaction of software components with the environment is inevitably subject to perturbations and uncertainties. In this paper w…
Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics
Ornela Dardha, Valentina Castiglioni
This volume contains the proceedings of EXPRESS/SOS 2021: the Combined 28th International Workshop on Expressiveness in Concurrency and the 18th Workshop on Structural Operational…
In search of lost time: Axiomatising parallel composition in process algebras
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni +2
This survey reviews some of the most recent achievements in the saga of the axiomatisation of parallel composition, along with some classic results. We focus on the recursion, rela…
Trace and Testing Metrics on Nondeterministic Probabilistic Processes
Valentina Castiglioni
The combination of nondeterminism and probability in concurrent systems lead to the development of several interpretations of process behavior. If we restrict our attention to line…
Logical Characterization of Trace Metrics
Valentina Castiglioni, Simone Tini
In this paper we continue our research line on logical characterizations of behavioral metrics obtained from the definition of a metric over the set of logical properties of intere…