Publications

◼ [J8] Achim D. Brucker, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff:
Parametric ontologies in formal software engineering. Sci. Comput. Program. 241: 103231 (2025)
https://doi.org/10.1016/j.scico.2024.103231

◼ [C23] Idir Aït-Sadoune:
A Generic Event-B Theory for the Formalisation of the International System of Units. 18th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2025). LNCS 16263: 1–15, (2025)
https://doi.org/10.1007/978-3-032-20440-0_8 - To appear

◼ [W12] Guillaume Verdier, Laurent Voisin, Idir Aït-Sadoune:
Rodin 3.10 and its plug-ins. 12th Rodin User and Developer Workshop (Rodin 2025) (2025)
https://wiki.event-b.org/index.php/Rodin_Workshop_2025

◼ [W11] Guillaume Verdier, Laurent Voisin, Idir Aït-Sadoune:
What’s new in Rodin 3.9 and the Theory plug-in. 11th Rodin User and Developer Workshop (Rodin 2024) (2024)
https://wiki.event-b.org/index.php/Rodin_Workshop_2024

◼ [W10] Achim D. Brucker, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff:
Isabelle/DOF: Extended Abstract and Tool Demonstration. Isabelle Workshop, Hybrid event, associated with ITP 2024. (2024)
https://sketis.net/isabelle/isabelle-workshop-2024

◼ [C22] Idir Aït-Sadoune:
A floating-point numbers theory for Event-B. 12th International Conference on Model and Data Engineering (MEDI 2023), LNCS 14396: 30-43 (2023)
https://doi.org/10.1007/978-3-031-49333-1_3

◼ [C21] Achim D. Brucker, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff:
Using Deep Ontologies in Formal Software Engineering. 9th International Conference on Rigorous State-Based Methods (ABZ 2023), LNCS 14010: 15-32 (2023)
https://doi.org/10.1007/978-3-031-33163-3_2

◼ [W9] Guillaume Verdier, Laurent Voisin, Idir Aït-Sadoune:
Rodin: two years of updates. 10th Rodin User and Developer Workshop (Rodin 2023) (2023)
https://wiki.event-b.org/index.php/Rodin_Workshop_2023

◼ [P1] Philippe Fournier-Viger, Ahmed Hassan Yousef, Ladjel Bellatreche, Ahmed Awad, Abderrahim Ait Wakrime, Yassine Ouhammou, Idir Aït-Sadoune:
Advances in Model and Data Engineering in the Digitalization Era - MEDI 2022. Communications in Computer and Information Science 1751, Springer (2022)
https://doi.org/10.1007/978-3-031-23119-3