- public version of the submission made to the 2017 ANR call.
Santinelli, Luca, et al. "Schedulability analysis for mixed critical cyber physical systems." 2018 IEEE Industrial Cyber-Physical Systems (ICPS). IEEE, 2018.
Santinelli, Luca, and Zhishan Guo. "A Sensitivity Analysis for Mixed Criticality: Trading Criticality with Computational Resource." 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA). Vol. 1. IEEE, 2018.
Ballabriga, Clement, et al. "Static Analysis Of Binary Code With Memory Indirections Using Polyhedra." 2019 20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI). To be published.