A Rule Format for Rooted Branching Bisimulation. - Valentina Castiglioni; Ruggero Lanotte; Simone Tini (CS&P, 2013)

A Specification Format for Rooted Branching Bisimulation. - Valentina Castiglioni; Ruggero Lanotte; Simone Tini (Fundam. Informaticae, 2014)

A Semantic Theory for the Internet of Things. - Valentina Castiglioni; Ruggero Lanotte; Massimo Merro (CoRR, 2015)

Modal Decomposition on Nondeterministic Probabilistic Processes. - Valentina Castiglioni; Daniel Gebler; Simone Tini (CONCUR, 2016)

Logical Characterization of Bisimulation Metrics. - Valentina Castiglioni; Daniel Gebler; Simone Tini (QAPL, 2016)

A Function Elimination Method for Checking Satisfiability of Arithmetical Logics. - Valentina Castiglioni; Ruggero Lanotte; Simone Tini (Fundam. Informaticae, 2016)

Logical Characterization of Trace Metrics. - Valentina Castiglioni; Simone Tini (QAPL@ETAPS, 2017)

Probabilistic Semantics: Metric and Logical Character¨ations for Nondeterministic Probabilistic Processes. - Valentina Castiglioni (2017)

A Logical Characterization of Differential Privacy via Behavioral Metrics. - Valentina Castiglioni; Konstantinos Chatzikokolakis 001; Catuscia Palamidessi (FACS, 2018)

Trace and Testing Metrics on Nondeterministic Probabilistic Processes. - Valentina Castiglioni (EXPRESS/SOS, 2018)

SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes. - Valentina Castiglioni; Daniel Gebler; Simone Tini (Log. Methods Comput. Sci., 2018)

Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics. - Valentina Castiglioni; Ruggero Lanotte; Simone Tini (The Art of Modelling Computational Systems, 2019)

On the Axiomatizability of Priority III: The Return of Sequential Composition. - Luca Aceto; Elli Anastasiadi; Valentina Castiglioni; Anna Ingólfsdóttir; Mathias Ruggaard Pedersen (ICTCS, 2019)

Logical characterization of branching metrics for nondeterministic probabilistic transition systems. - Valentina Castiglioni; Simone Tini (Inf. Comput., 2019)

On the Axiomatisability of Parallel Composition: A Journey in the Spectrum. - Luca Aceto; Valentina Castiglioni; Anna Ingólfsdóttir; Bas Luttik; Mathias Ruggaard Pedersen (CONCUR, 2020)

Measuring Adaptability and Reliability of Large Scale Systems. - Valentina Castiglioni; Michele Loreti; Simone Tini (ISoLA (2), 2020)

Raiders of the lost equivalence: Probabilistic branching bisimilarity. - Valentina Castiglioni; Simone Tini (Inf. Process. Lett., 2020)

A logical characterization of differential privacy. - Valentina Castiglioni; Konstantinos Chatzikokolakis 001; Catuscia Palamidessi (Sci. Comput. Program., 2020)

On the axiomatisability of priority III: Priority strikes again. - Luca Aceto; Elli Anastasiadi; Valentina Castiglioni; Anna Ingólfsdóttir; Bas Luttik; Mathias Ruggaard Pedersen (Theor. Comput. Sci., 2020)

The metric linear-time branching-time spectrum on nondeterministic probabilistic processes. - Valentina Castiglioni; Michele Loreti; Simone Tini (Theor. Comput. Sci., 2020)

Probabilistic divide & congruence: Branching bisimilarity. - Valentina Castiglioni; Simone Tini (Theor. Comput. Sci., 2020)

Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition? - Luca Aceto; Valentina Castiglioni; Wan J. Fokkink; Anna Ingólfsdóttir; Bas Luttik (CSL, 2021)

How Adaptive and Reliable is Your Program? - Valentina Castiglioni; Michele Loreti; Simone Tini (FORTE, 2021)

In search of lost time: Axiomatising parallel composition in process algebras. - Luca Aceto; Elli Anastasiadi; Valentina Castiglioni; Anna Ingólfsdóttir; Bas Luttik (LICS, 2021)

Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction. - Luca Aceto; Elli Anastasiadi; Valentina Castiglioni; Anna Ingólfsdóttir (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

On the Axiomatisation of Branching Bisimulation Congruence over CCS. - Luca Aceto; Valentina Castiglioni; Anna Ingólfsdóttir; Bas Luttik (CONCUR, 2022)

EvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical Systems. - Valentina Castiglioni; Michele Loreti; Simone Tini (CoRR, 2022)

RobTL: A Temporal Logic for the Robustness of Cyber-Physical Systems. - Valentina Castiglioni; Michele Loreti; Simone Tini (CoRR, 2022)

On the Axiomatisability of Parallel Composition. - Luca Aceto; Valentina Castiglioni; Anna Ingólfsdóttir; Bas Luttik; Mathias Ruggaard Pedersen (Log. Methods Comput. Sci., 2022)

Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? - Luca Aceto; Valentina Castiglioni; Wan J. Fokkink; Anna Ingólfsdóttir; Bas Luttik (ACM Trans. Comput. Log., 2022)

Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment. - Valentina Castiglioni; Michele Loreti; Simone Tini (COORDINATION, 2023)

DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems. - Valentina Castiglioni; Michele Loreti; Simone Tini (ICTCS, 2023)

A framework to measure the robustness of programs in the unpredictable environment. - Valentina Castiglioni; Michele Loreti; Simone Tini (Log. Methods Comput. Sci., 2023)

Bio-Stark: A Tool for the Time-Point Robustness Analysis of Biological Systems. - Valentina Castiglioni; Michele Loreti; Simone Tini (CMSB, 2024)

RobTL: Robustness Temporal Logic for CPS. - Valentina Castiglioni; Michele Loreti; Simone Tini (CONCUR, 2024)

Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations. - Valentina Castiglioni; Ruggero Lanotte; Michele Loreti; Simone Tini (FMICS, 2024)

Stark: A tool for the analysis of CPSs robustness. - Valentina Castiglioni; Michele Loreti; Simone Tini (Sci. Comput. Program., 2024)

Robustness for biochemical networks: Step-by-step approach. - Valentina Castiglioni; Ruggero Lanotte; Michele Loreti; Desiree Manicardi; Simone Tini (Theor. Comput. Sci., 2024)

Back to the format: A survey on SOS for probabilistic processes. - Valentina Castiglioni; Ruggero Lanotte; Simone Tini (J. Log. Algebraic Methods Program., 2024)

STARK: A Software Tool for the Analysis of Robustness in the unKnown environment. - Valentina Castiglioni; Michele Loreti; Simone Tini (DROPS Artifacts, 2024)

From Bisimulation to Traces: The Impact of Parallel Composition on Finite Bases. - Rowin Versteeg; Valentina Castiglioni; Bas Luttik (CONCUR, 2025)

On The Road Again (Safely): Modelling and Analysis of Autonomous Driving with Stark. - Sebastián Betancourt; Valentina Castiglioni (ABZ, 2025)

Preface. - Valentina Castiglioni; Ornela Dardha; Claudio Antares Mezzina (Inf. Comput., 2025)

Axiomatising weak bisimulation congruences over CCS with left merge and communication merge. - Luca Aceto; Valentina Castiglioni; Anna Ingólfsdóttir; Bas Luttik (Theor. Comput. Sci., 2025)

Non finite axiomatisability of weak bisimulation-based congruences. - Luca Aceto; Valentina Castiglioni; Anna Ingólfsdóttir; Bas Luttik (Theor. Comput. Sci., 2025)