Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve. - Yamine Aït Ameur; Idir Aït-Sadoune; Jean-Marc Mota; Mickaël Baron (IHM, 2006)

Verification and Validation of Web Service Composition Using Event B Method. - Idir Aït-Sadoune; Yamine Aït Ameur (ABZ, 2008)

Semantic Hubs for Geological Projects. - Yamine Aït Ameur; 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; et al. (SeMMA, 2008)

Animating Event B Models by Formal Data Models. - Idir Aït-Sadoune; Yamine Aït Ameur (ISoLA, 2008)

Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement. - Yamine Aït Ameur; Idir Aït-Sadoune; Mickaël Baron; Jean-Marc Mota (Ingénierie des Systèmes d Inf., 2008)

A Proof Based Approach for Modelling and VerifyingWeb Services Compositions. - Idir Aït-Sadoune; Yamine Aït Ameur (ICECCS, 2009)

A Proof Based Approach for Formal Verification of Transactional BPEL Web Services. - Idir Aït-Sadoune; Yamine Aït Ameur (ASM, 2010)

Stepwise Design of BPEL Web Services Compositions: An Event_B Refinement Based Approach. - Idir Aït-Sadoune; Yamine Aït Ameur (SERA (selected papers), 2010)

Modélisation et Vérification Formelles de Compositions de Services. Une Approche Fondée sur le Raffinement et la Preuve. (Modelling and verifying services compositions). - Idir Aït-Sadoune (2010)

Modelling Information Fission in Output Multi-modal Interactive Systems Using Event-B. - Linda Mohand-Oussaïd; Idir Aït-Sadoune; Yamine Aït Ameur (MEDI, 2011)

Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification. - Idir Aït-Sadoune; Yamine Aït Ameur (Trans. Large Scale Data Knowl. Centered Syst., 2013)

Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation. - Linda Mohand-Oussaïd; Idir Aït-Sadoune; Yamine Aït Ameur; Mohamed Ahmed-Nacer (AAAI Spring Symposia, 2014)

On Using Requirements Throughout the Life Cycle of Data Repository. - Stéphane Jean; Idir Aït-Sadoune; Ladjel Bellatreche; Ilyès Boukhari (DEXA (2), 2014)

Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. - J. Paul Gibson; Idir Aït-Sadoune (ISoLA (2), 2014)

A Multi-Agent Based Approach for Composite Web Services Simulation. - Fatma Siala; Idir Aït-Sadoune; Khaled Ghédira (MEDI, 2014)

Formal Modelling and Verification of Transactional Web Service Composition: A Refinement and Proof Approach with Event-B. - Idir Aït-Sadoune; Yamine Aït Ameur (Correct Software in Web Applications and Web Services, 2015)

A formal model for output multimodal HCI - An Event-B formalization. - Linda Mohand-Oussaïd; Idir Aït-Sadoune; Yamine Aït Ameur; Mohamed Ahmed-Nacer (Computing, 2015)

Modélisation formelle d'IHM multimodales en sortie avec B Événementiel. Approche par généralisation et instanciation. - Linda Mohand-Oussaïd; Idir Aït-Sadoune; Yamine Aït Ameur; Mohamed Ahmed-Nacer (Tech. Sci. Informatiques, 2015)

Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. - J. Paul Gibson; Idir Aït-Sadoune; Marc Pantel (ISoLA (1), 2016)

Formal Modelling of Domain Constraints in Event-B. - Linda Mohand-Oussaïd; Idir Aït-Sadoune (MEDI, 2017)

Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform. - Yamine Aït Ameur; Idir Aït-Sadoune; Kahina Hacid; Linda Mohand-Oussaïd (IMPEX/FM&MDD, 2017)

On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. - 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 001; Laurent Voisin (ABZ, 2018)

Using the Isabelle Ontology Framework - Linking the Formal with the Informal. - Achim D. Brucker; Idir Aït-Sadoune; Paolo Crisafulli; Burkhart Wolff (CICM, 2018)

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

Building Formal Semantic Domain Model: An Event-B Based Approach. - Idir Aït-Sadoune; Linda Mohand-Oussaïd (MEDI, 2019)

A Floating-Point Numbers Theory for Event-B. - Idir Aït-Sadoune (MEDI, 2023)

Using Deep Ontologies in Formal Software Engineering. - Achim D. Brucker; Idir Aït-Sadoune; Nicolas Méric; Burkhart Wolff (ABZ, 2023)

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