Folgen
Valentina Castiglioni
Valentina Castiglioni
Eindhoven University of Technology, Department of Mathematics and Computer Science, FSA cluster
Bestätigte E-Mail-Adresse bei tue.nl - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Logical Characterization of Bisimulation Metrics
V Castiglioni, D Gebler, S Tini
QAPL 2016 227, 44--62, 2016
282016
The metric linear-time branching-time spectrum on nondeterministic probabilistic processes
V Castiglioni, M Loreti, S Tini
Theoretical Computer Science 813, 20-69, 2020
172020
Modal Decomposition on Nondeterministic Probabilistic Processes
V Castiglioni, D Gebler, S Tini
CONCUR 2016, 36:1-36:15, 2016
152016
Trace and Testing Metrics on Nondeterministic Probabilistic Processes
V Castiglioni
arXiv preprint arXiv:1808.08649, 2018
132018
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
10*2021
Probabilistic divide & congruence: Branching bisimilarity
V Castiglioni, S Tini
Theoretical Computer Science 802, 147-196, 2020
102020
Raiders of the lost equivalence: Probabilistic branching bisimilarity
V Castiglioni, S Tini
Information Processing Letters 159, 105947, 2020
92020
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
72019
SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes
V Castiglioni, D Gebler, S Tini
Logical Methods in Computer Science 14, 2018
72018
Logical Characterization of Trace Metrics
V Castiglioni, S Tini
Quantitative Aspects of Programming Languages and Systems 2017, 36, 2017
72017
A logical characterization of differential privacy
V Castiglioni, K Chatzikokolakis, C Palamidessi
Science of Computer Programming 188, 102388, 2020
62020
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
52021
How Adaptive and Reliable is Your Program?
V Castiglioni, M Loreti, S Tini
International Conference on Formal Techniques for Distributed Objects …, 2021
52021
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
52019
Measuring adaptability and reliability of large scale systems
V Castiglioni, M Loreti, S Tini
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
42020
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
32023
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
On the axiomatizability of priority III: The return of sequential composition⋆
L Aceto, E Anastasiadi, V Castiglioni, A Ingólfsdóttir, MR Pedersen
ICTCS 2019, 2019
32019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20