Publications

[A1] Achim D. Brucker, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff: Parametric ontologies in formal software engineering. Sci. Comput. Program. 241: 103231 (2025)

[A2] Ilyès Boukhari, Stéphane Jean, Idir Aït-Sadoune, Ladjel Bellatreche: The role of user requirements in data repository design. Int. J. Softw. Tools Technol. Transf. 20(1): 19-34 (2018)

[A3] Yamine Ait Ameur, Idir Aït-Sadoune, Kahina Hacid, Linda Mohand Oussaid: Formal Modelling of Ontologies: An Event-B based Approach Using the Rodin Platform. Electronic Proceedings in Theoretical Computer Science (EPTCS) 271: 24-33 (2018)

[A4] Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur, Mohamed Ahmed-Nacer: A formal model for output multimodal HCI - An Event-B formalization. Computing 97(7): 713-740 (2015)

[A5] Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur, Mohamed Ahmed-Nacer: Modélisation formelle d'IHM multimodales en sortie avec B Événementiel. Tech. Sci. Informatiques 34(5): 523-548 (2015)

[A6] Yamine Aït-Ameur, Idir Aït-Sadoune, Mickael Baron, Jean-Marc Mota: Vérification et validation formelles de systèmes interactifs fondées sur la preuve. Journal d'Interaction Personne-Système 1(1): 1-30 (2014)

[A7] Idir Aït-Sadoune, Yamine Aït Ameur: Stepwise Development of Formal Models for Web Services Compositions. Trans. Large Scale Data Knowl. Centered Syst. 10: 1-33 (2013)

[A8] Yamine Aït Ameur, Idir Aït-Sadoune, Mickaël Baron, Jean-Marc Mota: Développements formels d'interfaces multimodales fondés sur la preuve. Ingénierie des Systèmes d’Information 13(2): 127-154 (2008)

[B1] 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)

[C1] Idir Aït-Sadoune, Yamine Aït Ameur: Formal Modelling and Verification of Transactional Web Service Composition. Correct Software in Web Applications and Web Services: 1-27 (2015)

[C2] Linda Mohand-Oussaïd et al.: A Formal Framework for Design and Validation of Multimodal Interactive Systems. Human-Computer Interaction in Transport: 93-128 (2011)

[C3] Linda Mohand-Oussaïd et al.: Un cadre formel pour la conception et la validation de systèmes interactifs multimodaux. Interaction Homme-Machine dans les Transports: 113-149 (2010)

[D1] 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). To appear (2025)

[D2] 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)

[D3] 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)

[D4] Idir Aït-Sadoune, Linda Mohand Oussaid: Building Formal Semantic Domain Model: An Event-B Based Approach. 9th International Conference on Model and Data Engineering (MEDI 2019), LNCS 11815: 140-155 (2019)

[D5] Achim D. Brucker, Idir Aït-Sadoune, Paolo Crisafulli, Burkhart Wolff: Using the Isabelle Ontology Framework. Linking the Formal with the Informal. 11th International Conference on Intelligent Computer Mathematics (CICM 2018), LNCS 11006: 23-38 (2018)

[D6] Yamine Aït Ameur et al.: On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. 6th International Conference on Rigorous State-Based Methods (ABZ 2018), LNCS 10817: 425-430 (2018)

[D7] Yamine Aït-Ameur, Idir Aït-Sadoune, Kahina Hacid, Linda Mohand Oussaid: Formal modelling of ontologies within Event-B. Workshop on Handling Implicit and Explicit Knowledge in Formal System Development (IMPEX), EPTCS 271: 24-33 (2017)

[D8] Linda Mohand Oussaïd, Idir Aït-Sadoune: Formal Modelling of Domain Constraints in Event-B. 7th International Conference on Model and Data Engineering (MEDI 2017), LNCS 10563: 153-166 (2017)

[D9] Stéphane Jean, Idir Aït-Sadoune, Ladjel Bellatreche, Ilyes Boukhari: On Using Requirements Throughout the Life Cycle of Data Repository. 25th International Conference on Database and Expert Systems Applications (DEXA 2014), LNCS 8645: 409-416 (2014)

[D10] Fatma Siala, Idir Aït-Sadoune, Khaled Ghedira: A Multi-Agent Based Approach for Composite Web Services Simulation. 4th International Conference on Model and Data Engineering (MEDI 2014), LNCS 8748: 65-76 (2014)

[D11] Yamine Aït-Ameur, Idir Aït-Sadoune: Stepwise Development of Formal Models for Web Services Compositions. 23rd International Conference on Database and Expert Systems Applications (DEXA 2012), LNCS 7446 (2012)

[D12] Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït-Ameur: Modelling information fission in output multi-modal interactive systems using Event-B. 1st International Conference on Model and Data Engineering (MEDI 2011), LNCS 6918: 200-213 (2011)

[D13] Idir Aït-Sadoune, Yamine Aït-Ameur: Stepwise Design of BPEL Web Services Compositions. 8th International Conference on Software Engineering Research, Management and Applications (SERA 2010), Studies in Computational Intelligence 296: 51-68 (2010)

[D14] Idir Aït-Sadoune, Yamine Aït-Ameur: A Proof Based Approach for Formal Verification of Transactional BPEL Web Services. 2nd International Conference on Rigorous State-Based Methods (ABZ 2010), LNCS 5977: 405-406 (2010)

[D15] Idir Aït-Sadoune, Yamine Aït-Ameur: A Proof Based Approach for Modelling and Verifying Web Services Compositions. 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009), IEEE Computer Society: 1-10 (2009)

[D16] Idir Aït-Sadoune, Yamine Aït-Ameur: Animating Event B Models by Formal Data Models. Third International Symposium on Leveraging Applications of Formal Methods (ISoLA 2008), CCIS 17: 37-55 (2008)

[D17] Yamine Aït-Ameur et al.: Semantic Hubs for Geological Projects. First International Workshop on Semantic Metadata Management and Applications (SeMMA 2008), CEUR 346: 3-17 (2008)

[D18] Idir Aït-Sadoune, Yamine Aït-Ameur: Verification and Validation of Web Service Composition Using Event B Method. 1st International Conference on Rigorous State-Based Methods (ABZ 2008), LNCS 5238: 339-340 (2008)

[D19] Yamine Aït-Ameur, Idir Aït-Sadoune, Mickael Baron, Jean-Marc Mota: Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve. 8e Conférence Francophone sur l'Interaction Homme-Machine (IHM 2006), ACM ICPS 133: 123-130 (2006)

[D20] Yamine Aït-Ameur, Idir Aït-Sadoune, Mickael Baron: Étude et comparaison de scénarios de développements formels d'interfaces multi-modales. 6ème Conférence Francophone de Modélisation et Simulation (MOSIM 2006): 578-588 (2006)

[E1] Guillaume Verdier, Laurent Voisin, Idir Aït-Sadoune: Rodin 3.10 and its plug-ins. 12th Rodin User and Developer Workshop (Rodin 2025) (2025)

[E2] 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)

[E3] Achim D. Brucker, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff: Isabelle/DOF: Extended Abstract and Tool Demonstration. Isabelle Workshop (2024)

[E4] Guillaume Verdier, Laurent Voisin, Idir Aït-Sadoune: Rodin: two years of updates. 10th Rodin User and Developer Workshop (Rodin 2023) (2023)

[E5] Idir Aït-Sadoune: OntoEventB: A Generator of Event-B contexts from Ontologies. 9th Rodin User and Developer Workshop (Rodin 2021) (2021)

[E6] Linda Mohand Oussaïd, Idir Aït-Sadoune: OntoEventB : Un outil pour la modélisation des ontologies dans B Événementiel. AFADL 2017 – Approches Formelles pour l'Assistance au Développement de Logiciels: 117-121 (2017)

[E7] Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït-Ameur, Mohamed Ahmed-Nacer: Modélisation formelle d’IHM multi-modales en sortie avec B Événementiel. AFADL 2014 – Approches Formelles pour l'Assistance au Développement de Logiciels: 76-90 (2014)

[E8] Idir Aït-Sadoune, Yamine Aït-Ameur: Composition Operators for Event-B. CO4EB Rodin plugin. 5th Rodin User and Developer Workshop (Rodin 2014) (2014)

[E9] Idir Aït-Sadoune, Yamine Aït-Ameur, Mickael Baron: Verification and validation of BPEL processes. A proof and animation based approach. 4th Rodin User and Developer Workshop (Rodin 2012) (2012)

[E10] Idir Aït-Sadoune: BPEL2B : Un outil d'aide à la vérification de la composition de services Web basé sur la preuve et le raffinement. AFADL 2010 – Approches Formelles pour l'Assistance au Développement de Logiciels: 65-74 (2010)

[E11] Idir Aït-Sadoune: Vérification et Validation de la composition de services Web, Approche basée sur la Preuve et le Raffinement. Assemblée Générale PRIDES 2010, La Rochelle, France (2010)

[E12] Idir Aït-Sadoune, Yamine Aït-Ameur: From BPEL to Event-B. International Workshop on Integration of Model-based Methods and Tools (IM FMT 2009) at IFM 2009 (2009)

[E13] Nabil Belaid, Idir Aït-Sadoune, Yamine Aït-Ameur, Jean-François Rainaud, Stéphane Jean: Une architecture orientée services pour la gestion sémantique des données géologiques pour le stockage de CO2. XXVIème Congrès INFORSID: 67-76 (2008)

[E14] Idir Aït-Sadoune: B2EXPRESS : Un animateur de modèles B événementiel. AFADL 2007 – Approches Formelles pour l'Assistance au Développement de Logiciels: 295-296 (2007)