Documents

• public version of the submission made to the 2017 ANR call.

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). (hal)

• Fort, Fréderic and Forget, Julien, "Code generation for multi-phase tasks on multicore with distributed memory", Junior Researcher Workshop on Real-Time Computing, Oct 2018, Poitiers, France. (hal)

• Clément Ballabriga, Julien Forget, Giuseppe Lipari. Symbolic WCET Computation. ACM Transactions on Embedded Computing Systems (TECS), ACM, 2017, 17 (2), pp.1 - 26. ⟨10.1145/3147413⟩. (hal)