Logical Characterization of Bisimulation Metrics V Castiglioni, D Gebler, S Tini QAPL 2016 227, 44--62, 2016 | 28 | 2016 |
The metric linear-time branching-time spectrum on nondeterministic probabilistic processes V Castiglioni, M Loreti, S Tini Theoretical Computer Science 813, 20-69, 2020 | 17 | 2020 |
Modal Decomposition on Nondeterministic Probabilistic Processes V Castiglioni, D Gebler, S Tini CONCUR 2016, 36:1-36:15, 2016 | 15 | 2016 |
Trace and Testing Metrics on Nondeterministic Probabilistic Processes V Castiglioni arXiv preprint arXiv:1808.08649, 2018 | 13 | 2018 |
A logical characterization of differential privacy via behavioral metrics V Castiglioni, K Chatzikokolakis, C Palamidessi Formal Aspects of Component Software: 15th International Conference, FACS …, 2018 | 12 | 2018 |
Are two binary operators necessary to finitely axiomatise parallel composition? L Aceto, V Castiglioni, W Fokkink, A Ingólfsdóttir, B Luttik 29th EACSL Annual Conference on Computer Science Logic (CSL 2021), 2021 | 10* | 2021 |
Probabilistic divide & congruence: Branching bisimilarity V Castiglioni, S Tini Theoretical Computer Science 802, 147-196, 2020 | 10 | 2020 |
Raiders of the lost equivalence: Probabilistic branching bisimilarity V Castiglioni, S Tini Information Processing Letters 159, 105947, 2020 | 9 | 2020 |
On the axiomatisability of parallel composition: A journey in the spectrum L Aceto, V Castiglioni, A Ingólfsdóttir, B Luttik, MR Pedersen LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 171, 2020 | 9 | 2020 |
Logical characterization of branching metrics for nondeterministic probabilistic transition systems V Castiglioni, S Tini Information and Computation 268, 104432, 2019 | 7 | 2019 |
SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes V Castiglioni, D Gebler, S Tini Logical Methods in Computer Science 14, 2018 | 7 | 2018 |
Logical Characterization of Trace Metrics V Castiglioni, S Tini Quantitative Aspects of Programming Languages and Systems 2017, 36, 2017 | 7 | 2017 |
How Adaptive and Reliable is Your Program? V Castiglioni, M Loreti, S Tini International Conference on Formal Techniques for Distributed Objects …, 2021 | 6 | 2021 |
A logical characterization of differential privacy V Castiglioni, K Chatzikokolakis, C Palamidessi Science of Computer Programming 188, 102388, 2020 | 6 | 2020 |
In search of lost time: Axiomatising parallel composition in process algebras L Aceto, E Anastasiadi, V Castiglioni, A Ingólfsdóttir, B Luttik 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2021 | 5 | 2021 |
Measuring adaptability and reliability of large scale systems V Castiglioni, M Loreti, S Tini Leveraging Applications of Formal Methods, Verification and Validation …, 2020 | 5 | 2020 |
Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics V Castiglioni, R Lanotte, S Tini The Art of Modelling Computational Systems: A Journey from Logic and …, 2019 | 5 | 2019 |
Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment V Castiglioni, M Loreti, S Tini International Conference on Coordination Languages and Models, 115-132, 2023 | 4 | 2023 |
A framework to measure the robustness of programs in the unpredictable environment V Castiglioni, M Loreti, S Tini Logical Methods in Computer Science 19, 2023 | 3 | 2023 |
On the axiomatisability of priority III: Priority strikes again L Aceto, E Anastasiadi, V Castiglioni, A Ingólfsdóttir, B Luttik, ... Theoretical Computer Science 837, 223-246, 2020 | 3 | 2020 |