Introducing robust reachability
Girol, Guillaume, Farinier, Benjamin, Bardin, Sébastien
Published in Formal methods in system design (2024)
Published in Formal methods in system design (2024)
Get full text
Journal Article
Quantitative Robustness for Vulnerability Assessment
Girol, Guillaume, Lacombe, Guilhem, Bardin, Sébastien
Published in Proceedings of ACM on programming languages (20.06.2024)
Published in Proceedings of ACM on programming languages (20.06.2024)
Get full text
Journal Article
Inference of Robust Reachability Constraints
Sellami, Yanis, Girol, Guillaume, Recoules, Frédéric, Couroussé, Damien, Bardin, Sébastien
Published in Proceedings of ACM on programming languages (05.01.2024)
Published in Proceedings of ACM on programming languages (05.01.2024)
Get full text
Journal Article