| Logical Characterization of Bisimulation Metrics V Castiglioni, D Gebler, S Tini QAPL 2016 227, 44--62, 2016 | 30 | 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 | 20 | 2020 |
| Modal Decomposition on Nondeterministic Probabilistic Processes V Castiglioni, D Gebler, S Tini CONCUR 2016, 36:1-36:15, 2016 | 16 | 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 | 13 | 2018 |
| How Adaptive and Reliable is Your Program? V Castiglioni, M Loreti, S Tini International Conference on Formal Techniques for Distributed Objects …, 2021 | 11 | 2021 |
| 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 | 11* | 2021 |
| Probabilistic divide & congruence: Branching bisimilarity V Castiglioni, S Tini Theoretical Computer Science 802, 147-196, 2020 | 11 | 2020 |
| Raiders of the lost equivalence: Probabilistic branching bisimilarity V Castiglioni, S Tini Information Processing Letters 159, 105947, 2020 | 10 | 2020 |
| 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 | 9 | 2023 |
| 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 | 9 | 2023 |
| Measuring adaptability and reliability of large scale systems V Castiglioni, M Loreti, S Tini Leveraging Applications of Formal Methods, Verification and Validation …, 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 Trace Metrics V Castiglioni, S Tini Quantitative Aspects of Programming Languages and Systems 2017, 36, 2017 | 9 | 2017 |
| Logical characterization of branching metrics for nondeterministic probabilistic transition systems V Castiglioni, S Tini Information and Computation 268, 104432, 2019 | 8 | 2019 |
| SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes V Castiglioni, D Gebler, S Tini Logical Methods in Computer Science 14, 2018 | 8 | 2018 |
| A logical characterization of differential privacy V Castiglioni, K Chatzikokolakis, C Palamidessi Science of Computer Programming 188, 102388, 2020 | 7 | 2020 |
| Stark: A tool for the analysis of CPSs robustness V Castiglioni, M Loreti, S Tini Science of Computer Programming 236, 103134, 2024 | 6 | 2024 |
| 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 |
| 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 |
simone tiniUniversità dell'InsubriaVerified email at uninsubria.it
