Documents

Publications

  • 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.