Non Finite Axiomatisability of Weak Bisimulation-Based Congruences, Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir, and Bas Luttik. Theoretical Computer Science, vol. 1054, https://doi.org/10.1016/j.tcs.2025.115453, 2025.
DT-STARK: a Tool for the Evaluation the Effectiveness of Digital Twins through Feedback and Perturbations, Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, and Simone TIni. International Journal on Software Tools for Technology Transfer, 2025. To appear.
Axiomatising weak bisimulation congruences over CCS with left merge and communication merge, Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir, and Bas Luttik. Theoretical Computer Science, vol. 1047, https://doi.org/10.1016/j.tcs.2025.115325 , 2025.
Robustness for biochemical networks: Step-by-step approach, Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, Desiree Manicardi, and Simone Tini. Theoretical Computer Science, vol. 1022, https://doi.org/10.1016/j.tcs.2024.114934, 2024.
STARK: a tool for the analysis of CPSs robustness, Valentina Castiglioni, Michele Loreti and Simone Tini. Science of Computer Programming, vol. 236, pages 103134, https://doi.org/10.1016/j.scico.2024.103134, 2024.
Back to the Format: A Survey on SOS for probabilistic processes, Valentina Castiglioni, Ruggero Lanotte and Simone Tini. Journal of Logical and Algebraic Methods in Computer Science, vol. 137, https://doi.org/10.1016/j.jlamp.2023.100929 , 2024.
A framework to measure the robustness of programs in the unpredictable environment, Valentina Castiglioni, Michele Loreti and Simone Tini. Logical Methods in Computer Science, vol. 19(3), https://doi.org/10.46298/lmcs-19(3:2)2023, 2023.
Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?, Luca Aceto, Valentina Castiglioni, Wan Fokkink, Anna Ingolfsdottir, and Bas Luttik. ACM Transactions on Computational Logic, https://doi.org/10.1145/3529535, 2022.
On the axiomatisability of parallel composition, Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir, Bas Luttik, and Mathias R. Perdersen, Logical Methods in Computer Science, vol. 18(1), https://doi.org/10.46298/lmcs-18(1:15)2022, 2022.
On the Axiomatisability of Priority III: Priority Strikes Again, Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingolsfdottir, Bas Luttik and Mathias R. Perdersen, Theoretical Computer Science, vol. 837, pages: 223.246, https://doi.org/10.1016/j.tcs.2020.07.044, 2020.
Raiders of the Lost Equivalence: Probabilistic Branching Bisimilarity, Valentina Castiglioni and Simone Tini, Information Processing Letters, vol. 159-160, pages: 105947, https://doi.org/10.1016/j.ipl.2020.105947, 2020.
The Metric Linear Time - Branching Time Spectrum on Nondeterministic Probabilistic Processes, Valentina Castiglioni, Michele Loreti and Simone Tini, Theoretical Computer Science, https://doi.org/10.1016/j.tcs.2019.09.019, 2020.
A Logical Characterization of Differential Privacy, Valentina Castiglioni, Konstantinos Chatzikokolakis and Catuscia Palamidessi, Science of Computer Programming, vol. 188, https://doi.org/10.1016/j.scico.2019.102388, 2020.
Probabilistic Divide & Congruence: Branching Bisimilarity, Valentina Castiglioni and Simone Tini, Theoretical Computer Science, vol. 802, pages: 147--196, https://doi.org/10.1016/j.tcs.2019.09.037, 2020.
Logical Characterization of Branching Metrics for Nondeterministic Probabilistic Transition Systems, Valentina Castiglioni and Simone Tini, Information & Computation, vol. 268, https://doi.org/10.1016/j.ic.2019.06.001, 2019.
SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes, Valentina Castiglioni, Daniel Gebler and Simone Tini, Logical Methods in Computer Science, vol. 14(2), https://doi.org/10.23638/LMCS-14(2:18)2018 , 2018.
A Function Elimination Method for Checking Satisfiability of Arithmetical Logic, Valentina Castiglioni, Ruggero Lanotte and Simone Tini, Fundamenta Informaticae, vol. 135(4), pages: 51--71, http://dx.doi.org/10.3233/FI-2016-1303, 2016.
A Specification Format for Rooted Branching Bisimulation, Valentina Castiglioni, Ruggero Lanotte and Simone Tini, Fundamenta Informaticae, vol. 143(1-2), pages: 355--369, http://dx.doi.org/10.3233/FI-2014-1128, 2014.
From Bisimulation to Traces: The Impact of Parallel Composition on Finite Bases, Rowin Versteeg, Valentina Castiglioni and Bas Luttik. Proceedings of CONCUR 2025, LIPIcs vol. 348, pages 35:1-35:18, https://doi.org/10.4230/LIPIcs.CONCUR.2025.35, 2025.
On The Road Again (Safely): Modelling and Analysis of Autonomous Driving with STARK, Sebastian Betancourt and Valentina Castiglioni. Proceedings of ABZ 2025. To appear.
Bio-STARK: A Tool for the Time-Point Robustness Analysis of Biological Systems, Valentina Castiglioni, Michele Loreti and Simone Tini. Proceedings of CMSB 2024, Lecture Notes in Computer Science vol. 14971, pages 62-70, https://doi.org/10.1007/978-3-031-71671-3_5, 2024.
RobTL: Robustness Temporal Logic for CPS, Valentina Castiglioni, Michele Loreti and Simone Tini. Proceedings of CONCUR 2024, LIPIcs vol. 311, pages 15:1-15:23, https://doi.org/10.4230/LIPIcs.CONCUR.2024.15, 2024.
Evaluating the Effectiveness of Digital Twins through Statistical Model Checking with Feedback and Perturbations, Valentina Castiglioni, Ruggero Lanotte, Michele Loreti and Simone Tini. Proceedings of FMICS 2024, Lecture Notes in Computer Science vol. 14952, pages 21-39, https://doi.org/10.1007/978-3-031-68150-9_2, 2024.
DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems, Valentina Castiglioni, Michele Loreti and Simone Tini. Proceedings of ICTCS 2023, CEUR Workshop Proceedings vol. 3587, pages 15-30, https://ceur-ws.org/Vol-3587/4168.pdf, 2023.
STARK: A Software Tool for the Analysis of Robustness in the unKnown environment, Valentina Castiglioni, Michele Loreti and Simone Tini, Proceedings of COORDINATION 2023, Lecture Notes in Computer Science vol. 13908, pages 115-132, https://doi.org/10.1007/978-3-031-35361-1_6, 2023.
On the Axiomatisation of Branching Bisimulation Congruence over CCS, Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir and Bas Luttik, Proceedings of CONCUR 2022, LIPIcs vol. 243, pages 6:1-6:18, https://doi.org/10.4230/LIPIcs.CONCUR.2022.6, 2022.
In search of lost time: Axiomatising parallel composition in process algebras (invited paper), Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna ingolfsdottir and Bas Luttik, Proceedings of LICS 2021, IEEE, pages 1-14, https://doi.org/10.1109/LICS52264.2021.9470526, 2021.
How Adaptive and Reliable is your Program?, Valentina Castiglioni, Michele Loreti and Simone Tini, Proceedings of FORTE 2021, Lecture Notes in Computer Science vol. 12719, pages 60-79, https://doi.org/10.1007/978-3-030-78089-0_4 , 2021.
Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition?, Luca Aceto, Valentina Castiglioni, Wan Fokkink, Anna Ingolfsdottir and Bas Luttik, Proceedings of CSL 2021, LIPIcs vol. 183, pages: 8:1-8:17, https://doi.org/10.4230/LIPIcs.CSL.2021.8, 2021.
Measuring Adaptability and Reliability of Large Scale Systems, Valentina Castiglioni, Michele Loreti and Simone Tini, Proceedings of ISoLA 2020, part 2, Lecture Notes in Computer Science vol. 12477, pages: 380-396, https://doi.org/10.1007/978-3-030-61470-6_23, 2020.
On the Axiomatisability of Parallel Composition: A Journey in the Spectrum, Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir, Bas Luttik and Mathias R. Pedersen, Proceedings of CONCUR 2020, LIPIcs vol. 171, pages: 18:1-18:22, https://doi.org/10.4230/LIPIcs.CONCUR.2020.18, 2020.
On the Axiomatizability of Priority III: The Return of Sequential Composition, Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingolfsdottir and Mathias Ruggaard Pedersen, Proceedings of ICTCS 2019, CEUR Workshop Proceedings, vol. 2504, pages: 145-157, https://ceur-ws.org/Vol-2504/paper18.pdf, 2019.
A Logical Characterization of Differential Privacy via Behavioral Metrics, Valentina Castiglioni, Kostantinos Chatzikokolakis and Catuscia Palamidessi, Proceedings of FACS 2018, LNCS vol. 11222, pages 75-96, https://doi.org/10.1007/978-3-030-02146-7_4 , 2018.
Trace and Testing Metrics for Nondeterministic Probabilistic Processes, Valentina Castiglioni, Proceedings of EXPRESS/SOS 2018, EPTCS vol. 276, pages 19-36, https://doi.org/10.4204/EPTCS.276.4, 2018.
Logical Characterization of Trace Metrics, Valentina Castiglioni and Simone Tini, Proceedings of QAPL@ETAPS 2017, EPTCS vol. 250, pages 39-74, https://doi.org/10.4204/EPTCS.250.4, 2017.
Modal Decomposition on Nondeterministic Probabilistic Processes, Valentina Castiglioni, Daniel Gebler and Simone Tini, Proceedings of CONCUR 2016, LIPIcs vol. 59, pages: 36:1--36:15, http://dx.doi.org/10.4230/LIPIcs.CONCUR.2016.36, 2016.
Logical Characterization of Bisimulation Metrics, Valentina Castiglioni, Daniel Gebler and Simone Tini, Proceedings QAPL 2016, EPTCS vol. 227, pages: 44--62, http://dx.doi.org/10.4204/EPTCS.227.4, 2016.
A Function Elimination Method for Checking Satisfiability of Arithmetical Logic, Valentina Castiglioni, Ruggero Lanotte and Simone Tini, Proceedings of CS&P 2014, pages: 46--57, http://ceur-ws.org/Vol-1269/paper46.pdf, 2014.
A Rule Format for Rooted Branching Bisimulation, Valentina Castiglioni, Ruggero Lanotte and Simone Tini, Proceedings CS&P 2013, pages: 49--60, http://ceur-ws.org/Vol-1032/paper-05.pdf, 2013.
Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction. Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, and Anna Ingolfsdottir. A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, Lecture Notes in Computer Science vol. 13560, pp. 1-26,. https://doi.org/10.1007/978-3-031-15629-8_1, 2022.
Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics, Valentina Castiglioni, Ruggero Lanotte and Simone Tini. The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, Lecture Notes in Computer Science vol. 11760, pages: 293--312, https://doi.org/10.1007/978-3-030-31175-9_17, 2019.
Selected papers from EXPRESS/SOS 2021 and 2022. Valentina Castiglioni, Ornela Dardha and Claudio Antares Mezzina, Information and Computation, virtual volume (2025), avaliable at https://www.sciencedirect.com/special-issue/10K5Q031MWR
Formal Techniques for Distributed Objects, Components, and Systems - 44th {IFIP} {WG} 6.1 International Conference, {FORTE} 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings, Valentina Castiglioni and Adrian Francalanza, Lecture Notes in Computer Science vol. 14678, available at https://doi.org/10.1007/978-3-031-62645-6, 2024.
Proceedings of the Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, Valentina Castiglioni and Claudio A. Mezzina, EPTCS vol. 368, available at https://doi.org/10.4204/EPTCS.368, 2022.
Proceedings of the Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics, Ornela Dardha and Valentina Castiglioni, EPTCS vol. 339, available at https://doi.org/10.4204/EPTCS.339, 2021.