23 citations · 67 across the 13 of their papers we have counts for
14 papers
RobTL: A Temporal Logic for the Robustness of Cyber-Physical Systems
Valentina Castiglioni, Michele Loreti, Simone Tini
We propose the Robustness Temporal Logic (RobTL), a novel temporal logic for the specification and analysis of distances between the behaviours of Cyber-Physical Systems (CPSs) ove…
Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics
Valentina Castiglioni, Claudio A. Mezzina
This volume contains the proceedings of EXPRESS/SOS 2022: the Combined 29th International Workshop on Expressiveness in Concurrency and the 19th Workshop on Structural Operational…
On the Axiomatisation of Branching Bisimulation Congruence over CCS
Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir +1
In this paper we investigate the equational theory of (the restriction, relabelling, and recursion free fragment of) CCS modulo rooted branching bisimilarity, which is a classic, b…
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…
A framework to measure the robustness of programs in the unpredictable environment
Valentina Castiglioni, Michele Loreti, Simone Tini
Due to the diffusion of IoT, modern software systems are often thought to control and coordinate smart devices in order to manage assets and resources, and to guarantee efficient b…
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…
On the Axiomatisability of Parallel Composition
Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir +2
This paper studies the existence of finite equational axiomatisations of the interleaving parallel composition operator modulo the behavioural equivalences in van Glabbeek's linear…
Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?
Luca Aceto, Valentina Castiglioni, Wan Fokkink +2
Bergstra and Klop have shown that bisimilarity has a finite equational axiomatisation over ACP/CCS extended with the binary left and communication merge operators. Moller proved th…
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…
SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes
Valentina Castiglioni, Daniel Gebler, Simone Tini
We propose a method for the decomposition of modal formulae on processes with nondeterminism and probability with respect to Structural Operational Semantics. The purpose is to red…
Logical Characterization of Bisimulation Metrics
Valentina Castiglioni, Daniel Gebler, Simone Tini
Bisimulation metrics provide a robust and accurate approach to study the behavior of nondeterministic probabilistic processes. In this paper, we propose a logical characterization…
A Semantic Theory of the Internet of Things
Valentina Castiglioni, Ruggero Lanotte, Massimo Merro
We propose a process calculus for modelling systems in the Internet of Things paradigm. Our systems interact both with the physical environment, via sensors and actuators, and with…