Journal Articles
◼ [J7] 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)
https://doi.org/10.1007/s10009-016-0443-0
◼ [J6] 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)
https://doi.org/10.4204/EPTCS.271.2
◼ [J5] 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)
https://doi.org/10.1007/s00607-015-0460-y
◼ [J4] 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)
https://doi.org/10.3166/TSI.34.523-548
◼ [J3] 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)
https://doi.org/10.46298/jips.59
◼ [J2] 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)
https://doi.org/10.1007/978-3-642-41221-9_1
◼ [J1] 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)
https://doi.org/10.3166/isi.13.2.127-154
Proceedings (Editor)
◼ [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
Book Chapters
◼ [B3] 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)
https://doi.org/10.1007/978-3-319-17112-8_1
◼ [B2] Linda Mohand-Oussaid, Kamel Nadjet,
Idir Aït-Sadoune, Yamine Aït-Ameur, M. Ahmed-Nacer:
A Formal Framework for Design and Validation of Multimodal Interactive Systems. Human-Computer Interaction in Transport: 93-128 (2011)
https://doi.org/10.1002/9781118601907.ch4
◼ [B1] Linda Mohand-Oussaid, Kamel Nadjet,
Idir Aït-Sadoune, Yamine Aït-Ameur, M. Ahmed-Nacer:
Un cadre formel pour la conception et la validation de systèmes interactifs multimodaux. Interaction Homme-Machine dans les Transports: 113-149 (2010)
https://hal.science/hal-00634193
Conference Proceedings (with Review)
◼ [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
◼ [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
◼ [C20] 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)
https://doi.org/10.1007/978-3-030-32065-2_10
◼ [C19] 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)
https://doi.org/10.1007/978-3-319-96812-4_3
◼ [C18] Yamine Aït Ameur,
Idir Aït-Sadoune, P. Casteran, J. Paul Gibson, Kahina Hacid, Souad Kherroubi, Dominique Méry, Linda Mohand-Oussaïd, Neeraj Kumar Singh, Laurent Voisin:
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)
https://doi.org/10.1007/978-3-319-91271-4_35
◼ [C17] 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)
https://hal.science/hal-01636944
◼ [C16] 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)
https://doi.org/10.1007/978-3-319-66854-3_12
◼ [C15] J. Paul Gibson,
Idir Aït-Sadoune, Marc Pantel:
Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction.
7th International Symposium on Leveraging Applications of Formal Methods ISoLA 2016: 321-324 (2016)
https://doi.org/10.1007/978-3-319-47166-2_22
◼ [C13] 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)
https://doi.org/10.1007/978-3-319-10085-2_37
◼ [C12] J. Paul Gibson,
Idir Aït-Sadoune:
Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction.
6th International Symposium on Leveraging Applications of Formal Methods ISoLA 2014: 570-572 (2014)
https://doi.org/10.1007/978-3-662-45231-8_47
◼ [C11] 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)
https://doi.org/10.1007/978-3-319-11587-0_8
◼ [C10] 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)
https://doi.org/10.1007/978-3-642-32600-4_2
◼ [C9] 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)
https://doi.org/10.1007/978-3-642-24443-8_22
◼ [C8] 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)
https://doi.org/10.1007/978-3-642-13273-5_4
◼ [C7] 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)
https://doi.org/10.1007/978-3-642-11811-1_39
◼ [C6] 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)
https://doi.org/10.1109/ICECCS.2009.48
◼ [C5] 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)
https://doi.org/10.1007/978-3-540-88479-8_4
◼ [C4] Yamine Aït Ameur,
Idir Aït-Sadoune, Nabil Belaid, Mohammed Bennis, Olivier Corby, Rose Dieng-Kuntz, Jérémie Doucy, Priscille Durville, Chimène Fankam, Fabien Gandon, Alain Giboin, Patrick Giroux, Sandrine Grataloup, Bruno Grilhères, Florian Husson, Stéphane Jean, Joël Langlois, Phuc-Hiep Luong, Laura S. Mastella, Olivier Morel, Michel Perrin, Guy Pierra, Jean-François Rainaud, Eric Sardet, Francois Tertre, João Francisco Valiati:
Semantic Hubs for Geological Projects.
First International Workshop on Semantic Metadata Management and Applications (SeMMA 2008), CEUR 346: 3-17 (2008)
https://ceur-ws.org/Vol-346/1.pdf
◼ [C3] 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)
https://doi.org/10.1007/978-3-540-87603-8_28
◼ [C2] 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)
https://doi.org/10.1145/1132736.1132752
◼ [C1] 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)
https://hal.science/hal-00633903/
Other Proceedings
◼ [W7] Linda Mohand Oussaïd,
Idir Aït-Sadoune:
OntoEventB : Un outil pour la modélisation des ontologies dans B Événementiel.
Approches Formelles pour l'Assistance au Développement de Logiciels (AFADL 2017) : 117-121 (2017)
https://afadl2017.imag.fr/
◼ [W6] 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.
Approches Formelles pour l'Assistance au Développement de Logiciels (AFADL 2014) : 76-90 (2014)
http://gdr-gpl2014.cnam.fr/?page=programme
◼ [W3] 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)
https://www.lias-lab.fr/afadl2010/program.html
◼ [W2] 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 7th International Conference on integrated Formal Methods IFM 2009 (2009)
https://hal.science/hal-00634398v1
◼ [W1] Idir Aït-Sadoune:
B2EXPRESS : Un animateur de modèles B événementiel.
8es Journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2007) : 295-296 (2007)
https://hal.science/hal-00633916v1