Follow
Valentina Castiglioni
Valentina Castiglioni
Eindhoven University of Technology, Department of Mathematics and Computer Science, FSA cluster
Verified email at tue.nl - Homepage
Title
Cited by
Cited by
Year
Logical Characterization of Bisimulation Metrics
V Castiglioni, D Gebler, S Tini
QAPL 2016 227, 44--62, 2016
292016
The metric linear-time branching-time spectrum on nondeterministic probabilistic processes
V Castiglioni, M Loreti, S Tini
Theoretical Computer Science 813, 20-69, 2020
182020
Modal Decomposition on Nondeterministic Probabilistic Processes
V Castiglioni, D Gebler, S Tini
CONCUR 2016, 36:1-36:15, 2016
162016
Trace and Testing Metrics on Nondeterministic Probabilistic Processes
V Castiglioni
arXiv preprint arXiv:1808.08649, 2018
132018
Probabilistic divide & congruence: Branching bisimilarity
V Castiglioni, S Tini
Theoretical Computer Science 802, 147-196, 2020
122020
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
122018
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
Raiders of the lost equivalence: Probabilistic branching bisimilarity
V Castiglioni, S Tini
Information Processing Letters 159, 105947, 2020
102020
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
92020
Logical characterization of branching metrics for nondeterministic probabilistic transition systems
V Castiglioni, S Tini
Information and Computation 268, 104432, 2019
82019
SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes
V Castiglioni, D Gebler, S Tini
Logical Methods in Computer Science 14, 2018
82018
How Adaptive and Reliable is Your Program?
V Castiglioni, M Loreti, S Tini
International Conference on Formal Techniques for Distributed Objects …, 2021
72021
Logical Characterization of Trace Metrics
V Castiglioni, S Tini
Quantitative Aspects of Programming Languages and Systems 2017, 36, 2017
72017
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
62021
A logical characterization of differential privacy
V Castiglioni, K Chatzikokolakis, C Palamidessi
Science of Computer Programming 188, 102388, 2020
62020
Measuring adaptability and reliability of large scale systems
V Castiglioni, M Loreti, S Tini
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
62020
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
62019
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
52023
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
52023
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
32020
The system can't perform the operation now. Try again later.
Articles 1–20