Publications
We will list here our project related publications. We will try to keep the list up to date and to add all the preprints. Of course, please refer to the DOI for the official publisher version of all papers.
Getting started
The following are the seminal works on which the project is based:
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
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.
Journal papers
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 Ingólfsdóttir, and Bas Luttik. ACM Transactions on Computational Logic, vol. 23(4), pages 22:1-22:56, https://doi.org/10.1145/3529535, 2022.
Conference papers
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, Lecture Notes in Computer Science, to appear, 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 Ingólfsdóttir, 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.
Book chapters
Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction. Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, and Anna Ingólfsdóttir. A Journey from Process Algebra via Timed Automata to Model Learning, Lecture Notes in Computer Science, vol. 13560, pages 1-26, https://doi.org/10.1007/978-3-031-15629-8_1, 2022.
Papers under review
RobTL: A Temporal Logic for the Robustness of Cyber-Physical Systems, Valentina Castiglioni, Michele Loreti, and Simone Tini, submitted to ACM Transactions on Cyber-Physical Systems.
Non Finite Axiomatisability of Weak Bisimulation-Based Congruences. Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir and Bas Luttik, submitted to Theoretical Computer Science.
Axiomatising Weak Bisimulation Congruences over CCS with Left Merge and Communication Merge. Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir and Bas Luttik, submitted to Theoretical Computer Science.
Back to the Format: A Survey on SOS for Probabilistic Processes. Valentina Castiglioni, Ruggero Lanotte and Simone Tini, submitted to Journal of Logical and Algebraic Methods in Computer Science.
ArXiv
EvTL: A Temporal Logic for the Transient Analysis of Cyber-Physical Systems, Valentina Castiglioni, Michele Loreti, and Simone Tini, 2022.