Idir Ait Sadoune

Paris-Saclay

Laboratoire Laboratoire de Recherche en Informatique

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 dans un congrès - 31 documents
  • Article dans une revue - 7 documents
    • 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, 2018-05-12. (https://hal.science/hal-01797549)
    • Ilyes Boukhari, Stéphane Jean, Idir Ait-Sadoune, Ladjel Ladjel.Bellatreche@ensma.Fr Bellatreche. The role of user requirements in data repository design, 2018. (https://hal.science/hal-01438130)
    • 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-01274680)
    • 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-01274714)
    • 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.archives-ouvertes.fr/hal-00634186)
    • Idir Aït-Sadoune, Yamine Aït-Ameur. Stepwise development of formal models for web services compositions. Modeling and property verification, 2013-10. (https://hal-centralesupelec.archives-ouvertes.fr/hal-00831483)
    • 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.archives-ouvertes.fr/hal-00634197)
  • Chapitre d'ouvrage - 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-01274690)
    • 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-00634174)
    • 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.archives-ouvertes.fr/hal-00634193)
  • Thèse - 1 document