Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Tini, Simone
9  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Quantitative Robustness Analysis of Sensor Attacks on Cyber..:

, In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control,
Chong, Stephen ; Lanotte, Ruggero ; Merro, Massimo.. - p. 1-12 , 2023
Link: https://dl.acm.org/doi/1..
 
?
2

Stark: A Software Tool for the Analysis of Robustness in th..:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
Castiglioni, Valentina ; Loreti, Michele ; Tini, Simone - p. 115-132 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Formal Impact Metrics for Cyber-physical Attacks:

, In: 2021 IEEE 34th Computer Security Foundations Symposium (CSF),
Lanotte, Ruggero ; Merro, Massimo ; Munteanu, Andrei. - p. 1-16 , 2021
Link: https://doi.org/10.1109/..
 
?
4

How Adaptive and Reliable is Your Program?:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,
Castiglioni, Valentina ; Loreti, Michele ; Tini, Simone - p. 60-79 , 2021
Link: https://doi.org/10.1007/..
 
?
5

Measuring Adaptability and Reliability of Large Scale Syste..:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles; Lecture Notes in Computer Science,
Castiglioni, Valentina ; Loreti, Michele ; Tini, Simone - p. 380-396 , 2020
Link: https://doi.org/10.1007/..
 
?
6

Fully Syntactic Uniform Continuity Formats for Bisimulation..:

, In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy; Lecture Notes in Computer Science,
Castiglioni, Valentina ; Lanotte, Ruggero ; Tini, Simone - p. 293-312 , 2019
Link: https://doi.org/10.1007/..
 
?
7

Computing Bisimilarity Metrics for Probabilistic Timed Auto..:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
Lanotte, Ruggero ; Tini, Simone - p. 303-321 , 2019
Link: https://doi.org/10.1007/..
 
?
8

Towards a Formal Notion of Impact Metric for Cyber-Physical..:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
Lanotte, Ruggero ; Merro, Massimo ; Tini, Simone - p. 296-315 , 2018
Link: https://doi.org/10.1007/..
 
?
9

Weak Bisimulation Metrics in Models with Nondeterminism and..:

, In: Theoretical Aspects of Computing – ICTAC 2018; Lecture Notes in Computer Science,
Lanotte, Ruggero ; Tini, Simone - p. 292-312 , 2018
Link: https://doi.org/10.1007/..
 
1-9