Παρακολούθηση
Valentina Castiglioni
Valentina Castiglioni
Eindhoven University of Technology, Department of Mathematics and Computer Science, FSA cluster
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα tue.nl - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Logical Characterization of Bisimulation Metrics
V Castiglioni, D Gebler, S Tini
QAPL 2016 227, 44--62, 2016
302016
The metric linear-time branching-time spectrum on nondeterministic probabilistic processes
V Castiglioni, M Loreti, S Tini
Theoretical Computer Science 813, 20-69, 2020
202020
Modal Decomposition on Nondeterministic Probabilistic Processes
V Castiglioni, D Gebler, S Tini
CONCUR 2016, 36:1-36:15, 2016
172016
Trace and Testing Metrics on Nondeterministic Probabilistic Processes
V Castiglioni
arXiv preprint arXiv:1808.08649, 2018
142018
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
12*2021
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
How Adaptive and Reliable is Your Program?
V Castiglioni, M Loreti, S Tini
International Conference on Formal Techniques for Distributed Objects …, 2021
112021
Raiders of the lost equivalence: Probabilistic branching bisimilarity
V Castiglioni, S Tini
Information Processing Letters 159, 105947, 2020
112020
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
92023
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
92023
Measuring adaptability and reliability of large scale systems
V Castiglioni, M Loreti, S Tini
Leveraging Applications of Formal Methods, Verification and Validation …, 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 Trace Metrics
V Castiglioni, S Tini
Quantitative Aspects of Programming Languages and Systems 2017, 36, 2017
92017
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
A logical characterization of differential privacy
V Castiglioni, K Chatzikokolakis, C Palamidessi
Science of Computer Programming 188, 102388, 2020
72020
Stark: A tool for the analysis of CPSs robustness
V Castiglioni, M Loreti, S Tini
Science of Computer Programming 236, 103134, 2024
62024
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
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20