| 2026 | FORTE | Robustness Against Time Distortions in Stark. | Julian de Jong, Valentina Castiglioni, Simone Tini |
| 2025 | CONCUR | From Bisimulation to Traces: The Impact of Parallel Composition on Finite Bases. | Rowin Versteeg, Valentina Castiglioni, Bas Luttik |
| 2024 | CONCUR | RobTL: Robustness Temporal Logic for CPS. | Valentina Castiglioni, Michele Loreti, Simone Tini |
| 2024 | FMICS | Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations. | Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, Simone Tini |
| 2023 | Coordination | Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment. | Valentina Castiglioni, Michele Loreti, Simone Tini |
| 2022 | CONCUR | On the Axiomatisation of Branching Bisimulation Congruence over CCS. | Luca Aceto, Valentina Castiglioni, Anna Inglfsdttir, Bas Luttik |
| 2021 | CSL | Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition? | Luca Aceto, Valentina Castiglioni, Wan J. Fokkink, Anna Inglfsdttir, Bas Luttik |
| 2021 | FORTE | How Adaptive and Reliable is Your Program? | Valentina Castiglioni, Michele Loreti, Simone Tini |
| 2021 | LICS | In search of lost time: Axiomatising parallel composition in process algebras. | Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Inglfsdttir, Bas Luttik |
| 2020 | CONCUR | On the Axiomatisability of Parallel Composition: A Journey in the Spectrum. | Luca Aceto, Valentina Castiglioni, Anna Inglfsdttir, Bas Luttik, Mathias Ruggaard Pedersen |
| 2020 | ISoLA | Measuring Adaptability and Reliability of Large Scale Systems. | Valentina Castiglioni, Michele Loreti, Simone Tini |
| 2016 | CONCUR | Modal Decomposition on Nondeterministic Probabilistic Processes. | Valentina Castiglioni, Daniel Gebler, Simone Tini |