Idir Ait Sadoune

Laboratoire Laboratoire Méthodes Formelles

idir.aitsadoune [at] centralesupelec.fr

Résumé :

  • Je suis Enseignant-Chercheur au département informatique de CentraleSupelec (Paris-Saclay, France) depuis Juin 2011, et membre du Laboratoire Méthodes Formelles (LMF).
  • Mes activités de recherche abordent le thème de l'utilisation des méthodes formelles pour la modélisation et la vérification des systèmes, essentiellement l'utilisation des approches basées sur le raffinement et sur la preuve.
  • Mes activités d'enseignement sont essentiellement dans le domaine de l'informatique et interviennent en formation initiale sur les trois années du cursus Ingénieur de CentraleSupelec. Parallèlement, je corrige l'épreuve d'informatique du concours CentraleSupelec et j'interviens comme enseignant vacataire à l'IUT d'Orsay.

Mots clés :

  • Méthodes formelles, Modélisation, Vérification, Raffinement, Preuve de théorème, Systèmes interactifs, Systèmes composés, Méthode Event-B

En savoir plus sur Idir Ait Sadoune

Publications :

  • Communication on a congress - 35 documents
    • Idir Ait-Sadoune. A Floating-Point Numbers Theory for Event-B, 2023-11-02. (https://hal.science/hal-04425554v1)
    • Achim Brucker, Idir Ait-Sadoune, Nicolas Méric, Burkhart Wolff. Using Deep Ontologies in Formal Software Engineering, 2023-05-30. (https://hal.science/hal-04425573v1)
    • Idir Ait-Sadoune. OntoEventB: A Generator of Event-B contexts from Ontologies, 2021-06. (https://hal.science/hal-03265730v1)
    • Idir Ait-Sadoune, Linda Mohand Oussaid. Building Formal Semantic Domain Model: An Event-B Based Approach, 2019-10-28. (https://hal.science/hal-02385378v1)
    • Yamine Aït-Ameur, Idir Ait-Sadoune, Pierre Castéran, John Paul Gibson, Kahina Hacid, Souad Kherroubi, Dominique Méry, Linda Mohand Oussaid, Neeraj Kumar Singh, Laurent Voisin. On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B, 2018-06-05. (https://hal.science/hal-01797538v1)
    • Achim D. Brucker, Idir Ait-Sadoune, Paolo Crisafulli, Burkhart Wolff. Using the Isabelle Ontology Framework. Linking the Formal with the Informal, 2018. (https://hal.science/hal-01875734v1)
    • Yamine Aït-Ameur, Idir Ait-Sadoune, Kahina Hacid, Linda Mohand Oussaid. Formal modelling of ontologies within Event-B, 2017-11-17. (https://hal.science/hal-01636944v1)
    • Yamine Aït-Ameur, Idir Ait-Sadoune, Kahina Hacid, Linda Mohand Oussaid. Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform, 2017-11-16. (https://hal.science/hal-01797549v1)
    • Linda Mohand Oussaïd, Idir Ait-Sadoune. Formal Modelling of Domain Constraints in Event-B, 2017-10-04. (https://hal.science/hal-01614550v1)
    • Linda Mohand Oussaïd, Idir Ait-Sadoune. OntoEventB : Un outil pour la modélisation des ontologies dans B Événementiel, 2017-06-14. (https://hal.science/hal-01546065v1)
    • Jean-Paul Gibson, Idir Ait-Sadoune, Marc Pantel. Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction., 2016-10-10. (https://hal.science/hal-01430628v1)
    • Jean-Paul Gibson, Idir Ait-Sadoune. Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction, 2014-10-08. (https://centralesupelec.hal.science/hal-01103304v1)
    • Fatma Siala, Idir Ait-Sadoune, Khaled Ghedira. A Multi-Agent Based Approach for Composite Web Services Simulation, 2014-09-24. (https://centralesupelec.hal.science/hal-01103316v1)
    • Stéphane Jean, Idir Ait-Sadoune, Ladjel Bellatreche, Ilyes Boukhari. On Using Requirements Throughout the Life Cycle of Data Repository, 2014-09-01. (https://centralesupelec.hal.science/hal-01103274v1)
    • Linda Mohand-Oussaid, Idir Ait-Sadoune, Yamine Aït-Ameur, Mohamed Ahmed-Nacer. Modélisation formelle d’IHM multi-modales en sortie avec B Événementiel, 2014-06-11. (https://centralesupelec.hal.science/hal-01103334v1)
    • Idir Ait-Sadoune, Yamine Aït-Ameur. Composition Operators for Event-B. CO4EB Rodin plugin, 2014-06-02. (https://centralesupelec.hal.science/hal-01103340v1)
    • Yamine Aït-Ameur, Idir Aït-Sadoune. Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification., 2012-09-03. (https://hal.science/hal-00726919v1)
    • Idir Aït-Sadoune, Yamine Aït-Ameur, Mickael Baron. Verification and validation of BPEL processes. A proof and animation based approach, 2012-02. (https://hal.science/hal-00695440v1)
    • Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït-Ameur. Modelling information fission in output multi-modal interactive systems using Event B, 2011-09-28. (https://centralesupelec.hal.science/hal-00629308v1)
    • 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, 2010-06-09. (https://hal.science/hal-00634391v1)
    • Idir Ait-Sadoune. Vérification et Validation de la composition de services Web, Approche basée sur la Preuve et le Raffinement, 2010-05-27. (https://hal.science/hal-04161854v1)
    • Idir Aït-Sadoune, Yamine Aït-Ameur. Stepwise Design of BPEL Web Services Compositions, An Event B Refinement Based Approach, 2010-05-24. (https://hal.science/hal-00634202v1)
    • Idir Aït-Sadoune, Yamine Aït-Ameur. A Proof Based Approach for Formal Verification of Transactional BPEL Web Services, 2010-02-22. (https://hal.science/hal-00634389v1)
    • Idir Aït-Sadoune, Yamine Aït-Ameur. A Proof Based Approach for Modelling and Verifying Web Services Compositions, 2009-06-02. (https://hal.science/hal-00634395v1)
    • Idir Aït-Sadoune, Yamine Aït-Ameur. From BPEL to Event-B, 2009-02-16. (https://hal.science/hal-00634398v1)
    • Idir Aït-Sadoune, Yamine Aït-Ameur. Animating Event B Models by Formal Data Models, 2008-10-13. (https://hal.science/hal-00634402v1)
    • Idir Aït-Sadoune, Yamine Aït-Ameur. Verification and Validation of Web Service Composition Using Event B Method, 2008-09-16. (https://hal.science/hal-00634407v1)
    • Yamine Aït-Ameur, Nabil Belaid, Mohammed Bennis, Olivier Corby, Rose Dieng-Kuntz, Jérémie Doucy, Priscille Durville, Chimène Fankam, Fabien L. Gandon, Alain Giboin, Patrick Giroux, Sandrine Grataloup, Bruno Grilheres, Florian Husson, Stéphane Jean, Joel Langlois, Phuc-Hiep Luong, Laura Mastella, Olivier Morel, Michel Perrin, Guy Pierra, Jean-François Rainaud, Idir Aït-Sadoune, Eric Sardet, Francois Tertre, João Francisco Valiati. Semantic Hubs for Geological Projects, 2008-06-02. (https://hal.science/hal-04107779v1)
    • 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, 2008-05-27. (https://hal.science/hal-00634498v1)
    • Idir Aït-Sadoune. Vérification et Validation Formelles de la Composition de Services Web, 2008. (https://hal.science/hal-04107785v1)
    • Idir Aït-Sadoune. Vérification et Validation Formelles de la Composition de Services Web, 2008. (https://hal.science/hal-04107784v1)
    • Idir Aït-Sadoune. B2EXPRESS : Un animateur de modèles B événementiel., 2007-06-13. (https://hal.science/hal-00633916v1)
    • 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., 2006-04-18. (https://hal.science/hal-00633908v1)
    • Yamine Aït-Ameur, Idir Aït-Sadoune, Mickael Baron. Étude et comparaison de scénarios de développements formels d'interfaces multi-modales fondés sur la preuve et le raffinement., 2006-04-03. (https://hal.science/hal-00633903v1)
    • Idir Aït-Sadoune, Yamine Aït-Ameur. Animation de modèles B par transformation de modèles, 2006. (https://hal.science/hal-04071950v1)
  • Article in a review - 6 documents
    • Ilyes Boukhari, Stéphane Jean, Idir Ait-Sadoune, Ladjel Bellatreche. The role of user requirements in data repository design, 2018. (https://hal.science/hal-01438130v1)
    • Linda Mohand Oussaïd, Idir Ait-Sadoune, Yamine Aït-Ameur, Mohamed Ahmed-Nacer. A formal model for output multimodal HCI - An Event-B formalization, 2015-07. (https://hal.science/hal-01274680v1)
    • Linda Mohand Oussaïd, Idir Ait-Sadoune, Yamine Aït-Ameur, Ahmed-Nacer Mohamed. Modélisation formelle d’IHM multimodales en sortie avec B Événementiel : approche par généralisation et instanciation, 2015. (https://hal.science/hal-01274714v1)
    • 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 : application aux systèmes Multi-Modaux, 2014-10-06. (https://hal.science/hal-00634186v1)
    • Idir Aït-Sadoune, Yamine Aït-Ameur. Stepwise development of formal models for web services compositions. Modeling and property verification, 2013-10. (https://centralesupelec.hal.science/hal-00831483v1)
    • Yamine Aït-Ameur, Idir Aït-Sadoune, Mickael Baron, Jean-Marc Mota. Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement, 2008. (https://hal.science/hal-00634197v1)
  • Work chapter - 3 documents
    • Idir Ait-Sadoune, Yamine Aït-Ameur. Formal Modelling and Verification of Transactional Web Service Composition: A Refinement and Proof Approach with Event-B, 2015. (https://hal.science/hal-01274690v1)
    • Linda Mohand-Oussaïd, Kamel Nadjet, Idir Aït-Sadoune, Yamine Aït-Ameur, Mohamed Ahmed-Nacer. A formal framework for design and validation of multimodal interactive systems in transport domain., 2011. (https://hal.science/hal-00634174v1)
    • Linda Mohand-Oussaïd, Kamel Nadjet, Idir Aït-Sadoune, Yamine Aït-Ameur, Mohamed Ahmed-Nacer. Un cadre formel pour la conception et la validation de systèmes interactifs multimodaux dans le secteur du transport., 2010. (https://hal.science/hal-00634193v1)
  • Dissertation - 1 document
    • Idir Ait-Sadoune. Modélisation et Vérification Formelles de Compositions de Services. Une Approche Fondée sur le Raffinement et la Preuve, 2010-12-01. (https://hal.science/tel-01819499v1)