• Mousavi H, Ebnenasir A and Mahmoudzadeh E. (2023). Formal Specification, Verification and Repair of Contiki’s Scheduler. ACM Transactions on Cyber-Physical Systems. 7:4. (1-28). Online publication date: 31-Oct-2023.

    https://doi.org/10.1145/3605948

  • Blanchard A, Kosmatov N and Loulergue F. Logic against ghosts. Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing. (2186-2195).

    https://doi.org/10.1145/3297280.3297495