- Chapitres de livre

2009 Linda Mohand-Oussaïd, Nadjet Kamel, Idir Aït-Sadoune, Yamine Aït-Ameur and Mohamed Ahmed-Nacer, « Un cadre formel pour la conception et la validation de systèmes interactifs multimodaux dans le secteur du transport », Dans «IHM et Transports terrestres: prospectives», Kolski, C. (Editeur), Editions Hermes, Paris.

- Revues

2008 Yamine Aït-Ameur, Idir Aït-Sadoune, Mickaël Baron et Jean-Marc Mota, « Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement », Revue RSTI série ISI (Ingénierie des Systèmes d'Informations), Modélisation multiple, Formalismes et modèles. Volume 13 n 2/2008. Pages 127-154, Edition Lavoisier.

- Conférences internationales avec comité de lecture

2009 Idir Aït-Sadoune and Yamine Aït-Ameur, « A Proof Based Approach for Modelling and Verifying Web Services Compositions », In 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009), Potsdam Germany, June 2-4 2009.

2008 Idir Aït-Sadoune and Yamine Aït-Ameur, « Animating Event B Models by Formal Data Models », In proocedings of the 3rd International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'08), Series: CCIS, Vol 17, Springer Edition, pages 37-55, Porto Sani Resort, Kassandra (Greece), 13-16 October 2008.

2008 Idir Ait-Sadoune and Yamine Ait-Ameur, « Verification and Validation of Web Service Composition Using Event B Method », In LNCS Proceedings of First International Conference ABZ'08, Volume 5238/2008, LNCS Springer Edition , Pages 339-340, BCS London Offices, Covent Garden, London, UK, September 16-18, 2008.

2006 Yamine Aït-Ameur, Idir Aït-Sadoune, Mickaël Baron et Jean-Marc Mota, « Validation et Vérification Formelles de Systèmes Interactifs Multimodaux Fondées sur la Preuve », in Proceedings of the 18th International Conference of the Association Francophone d'Interaction Homme-Machine (IHM’06 ), Pages 123-131. ACM International Conference Proceeding Series Vol 133, Montréal, Canada, 17-20 avril 2006.

- Autres publications internationales avec comité de lecture

2009 Idir Ait-Sadoune and Yamine Ait-Ameur, « From BPEL to Event-B », In Workshop on Integration of Model-based Methods and Tools IM FMT at IFM'2009 Conférence, Düsseldorf, Germany, 16 february 2009.

2008 e-Wok_Hub Consortium, « Semantic Hubs for Geological Projects », In Proceedings of the First International Workshop on Semantic Metadata Management and Applications (SeMMA2008) Located at the Fifth European Semantic Web Conference (ESWC 2008), CEUR Workshop Proceedings Vol 346 , June 1, 2008, Teneriffe, Spain.

- Autres publications internationales sans comité de lecture

2008 Idir Ait-Sadoune and Yamine Ait-Ameur, « Verification and Validation of Web Services Composition Using the Event B Method », in Proceedings of the International Summer School about MOdeling and VErifying parallel Processes (MOVEP’08), pages 317-322, Orleans, France, 23-27 June 2008.

- Conférences nationales avec comité de lecture

2007 Idir Aït-Sadoune et Yamine Aït-Ameur, « B2EXPRESS : Un animateur de modèles B événementiels », Dans les actes de la 8ème Conférence Francophone sur les Approches Formelles dans l'Assistance au Développement de Logiciel (AFADL'07 ), Pages 295-296, Université de Namur, Belgique, 13-15 Juin 2007.

2006 Yamine Aït-Ameur, Idir Aït-Sadoune et Mickaël Baron, « Etude et comparaison de scénarios de développements formels d'interfaces mutlimodales fondés sur la preuve et le raffinement », Dans les actes de la 6ème Conférence Francophone de MOdélisation et SIMulation (MOSIM’06), "Modélisation, Optimisation et Simulation des Systèmes : Défis et Opportunités", Éditions Lavoisier . Pages 578-588, Rabat, Maroc, 03-06 Avril 2006.

- Autres publications nationales avec comité de lecture

2008 Nabil Belaid, Idir Ait-Sadoune, Stéphane Jean, Yamine Ait-Ameur, Jean-François Rainaud, « Une Architecture Orientée Services pour la Gestion Sémantique des Données Géologiques pour le Stockage de CO2 », Dans les actes de l'Atelier « Systèmes d'Information et de Décision pour l'Environnement » (SIDE) du XXVIème Congrès INFORSID'08, pages 67-76, 27-30 mai 2008, Fontainebleau, France.

- Rapports et livrables de projets

2006 Yamine Aït-Ameur, Idir Aït-Sadoune, Jean-Marc Mota et Lionel Van-Aertryck, « Validation d'IHM3 par animation de modèles B», Rapport du Projet RNRT VERBATIM, 39p, LOT4 (LISI/ENSMA)(SILICOMP/AQL), 2006.

2006 Yamine Aït-Ameur, Idir Aït-Sadoune, Mickaël Baron et Jean-Marc Mota, « Démarche de Modélisation d'IHM3 avec B et CTT», Rapport du Projet RNRT VERBATIM, 39p, LOT3 (LISI/ENSMA), 2006.

2006 Yamine Aït-Ameur, Idir Aït-Sadoune, Mickaël Baron, Nadjet Kamel et Jean-Marc Mota, « Démarche de Modélisation d'IHM avec B », Rapport du Projet RNRT VERBATIM, 59p, LOT2 (LISI/ENSMA), 2006.

2005 Yamine Aït-Ameur, Idir Aït-Sadoune et Mickaël Baron, « Modélisation et Validation formelles d’IHM », Rapport du Projet RNRT VERBATIM, 73p, LOT1 (LISI/ENSMA), 2005.