Personensuche
X
?
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control ,
3
Quantitative Robustness Analysis of Sensor Attacks on Cyber..:
, In:
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
4
Stark: A Software Tool for the Analysis of Robustness in th..:
, In:
?
2021 IEEE 34th Computer Security Foundations Symposium (CSF) ,
5
Formal Impact Metrics for Cyber-physical Attacks:
, In:
?
Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science ,
7
How Adaptive and Reliable is Your Program?:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles; Lecture Notes in Computer Science ,
13