Publications

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, Interaction homme-machine dans les transports - information voyageur, personnalisation et assistance, Kolski, C, Paris, Hermes Science Publications, 2010, pp. 113-149

Yamine Aït-Ameur, Idir Aït-Sadoune, Mickaël Baron and Jean-Marc Mota, Vérification et validation formelles de systèmes interactifs fondées sur la preuve : application aux systèmes Multi-Modaux, Journal d'Interaction Personne-Système (JIPS) - (à~paraitre), 2010

Yamine Aït-Ameur, Idir Aït-Sadoune, Mickaël Baron and Jean-Marc Mota, Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement, RSTI série ISI Ingérnierie des Systèmes d'Information, Modélisation multiple, Formalisme et Modèles, vol. 13 (2), 2008, pp. 127-154

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, Actes des 10es Journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2010), Poitiers, France, Juin, 2010, pp. 65--74

Idir Ait-Sadoune, Vérification et Validation de la composition de services Web, Approche basée sur la Preuve et le Raffinement, Assemblée générale du Pôle Régional de Recherche en Images, Données et Systèmes (PRIDES), La Rochelle, Mai, 2010

Idir Aït-Sadoune and Yamine Aït-Ameur, A Proof Based Approach for Formal Verification of Transactional BPEL Web Services, Abstract State Machines, Alloy, B and Z (ABZ'2010), vol. 5977/2010, Lecture Notes in Computer Science, edited by Springer Berlin / Heidelberg, Orford, Quebec, Canada, February, 2010, pp. 405-406

Idir Aït-Sadoune and Yamine Aït-Ameur, Stepwise Design of BPEL Web Services Compositions, An Event B Refinement Based Approach, Software Engineering Research, Management and Applications (SERA 2010), vol. 296/2010, Studies in Computational Intelligence, edited by Springer Berlin / Heidelberg, Montreal, Canada, May, 2010, pp. 51-68

Idir Ait-Sadoune and Yamine Ait-Ameur, From BPEL to Event-B, International Workshop on Integration of Model-based Methods and Tools IM FMT'09 at IFM'09 Conference, Düsseldorf Germany, Fevruary , 2009

Idir Ait-Sadoune and Yamine Ait-Ameur, A Proof Based Approach for Modelling and Verifying Web Services Compositions, Proceedings of the 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, edited by IEEE Computer Society, Potsdam Germany, June, 2009, pp. 1-10

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 Silveira Mastella, Olivier Morel, Michel Perrin, Guy Pierra, Jean-François Rainaud, Idir Aït-Sadoune, Eric Sardet, Francois Tertre and João Francisco Valiati, Semantic Hubs for Geological Projects, Workshop on Semantic Metadata Management and Applications (SeMMA 2008), June, 2008, pp. 3-17

Idir Ait-Sadoune, Vérification et Validation Formelles de la Composition de Services Web, Assemblée générale du Pôle Régional de Recherche en Images, Données et Systèmes (PRIDES), La Rochelle , Juillet, 2008

Idir Ait-Sadoune, Verification and Validation of Web Service Compositions Using the Event B Method, MOdelling and VErifying parallel Process (MOVEP), Orléans, June, 2008

Idir Ait-Sadoune, Vérification et Validation Formelles de la Composition de Services Web, École Jeune Chercheurs en Programmation (EJCP), Guidel, Rennes , Mai, 2008

Idir Aït-Sadoune and Yamine Aït-Ameur, Animating Event B Models by Formal Data Models , Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2008), vol. 17, Communications in Computer and Information Science, edited by Springer Berlin Heidelberg , Kassandra Greece, October, 2008, pp. 37-55

Idir Ait-Sadoune and Yamine Ait-Ameur, Verification and Validation of Web Service Composition Using Event B Method , Abstract State Machines, B and Z (ABZ 2008), vol. 5238, Lecture Notes in Computer Science, edited by Springer Berlin / Heidelberg, London UK, September, 2008, pp. 339-340

Nabil Belaid, Idir Aït-Sadoune, Yamine Aït-Ameur, Jean-François Rainaud and Stéphane Jean, Une architecture orientée services pour la gestion sémantique des données géologiques pour le stockage de CO2, Actes de l’atelier Systèmes d’Information et de Décision pour l’Environnement du Congrès INFORSID 2008, 2008, pp. 67-76

Idir Ait-Sadoune and Yamine Ait-Ameur, B2EXPRESS : Un animateur de modèles B événementiel, Dans les actes des journées AFADL 2007 (Approches Formelles dans l'Assistance au Développement de Logiciel), Université de Namur, Belgique, Juin, 2007, pp. 295-296

Yamine Ait-Ameur, Idir Ait-Sadoune and Mickael Baron, Etude et comparaison de scénarios de développements formels d'interfaces multi-modales fondés sur la preuve et le raffinement, MOSIM 2006 - 6ème Conférence Francophone de Modélisation et Simulation. Modélisation, Optimisation et Simulation des Systèmes : Défis et Opportunités, edited by Lavoisier, Rabat, Maroc, Avril, 2006, pp. 578-588

Yamine Aït-Ameur, Idir Ait-Sadoune, Mickael Baron and Jean-Marc Mota, Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve, 18° Conférence Francophone sur l'Interaction Homme-Machine (IHM), vol. 133, edited by ACM International Conference Proceeding Series, Montréal, avril, 2006, pp. 123-130

Idir Aït-Sadoune and Yamine Aït-Ameur, Animation de modèles B par transformation de modèles, Assemblée générale du Pôle Régional de Recherche en Images, Données et Systèmes (PRIDES), La Rochelle , Juillet, 2006

Yamine Ait-Ameur, Idir Ait-Sadoune, Mickael Baron, Chimène Fankam, Stéphane Jean, Guy Pierra and Eric Sardet, Rapport Evaluation - Lot 1 (Tache 1.3) - Projet E-Wok-Hub, LISI / ENSMA, 2009

Yamine Aït-Ameur, Idir Aït-Sadoune, Mickaël Baron, Nadjet Kamel and Jean-Marc Mota., Démarche de Modélisation d'IHM avec B : LOT 2 (LISI/ENSMA), Projet RNRT VERBATIM, 2006

Yamine Aït-Ameur, Idir Aït-Sadoune, Mickaël Baron and Jean-Marc Mota, Démarche de Modélisation d'IHM3 avec B et CTT : LOT 3 (LISI/ENSMA), Projet RNRT VERBATIM, 2006

Yamine Aït-Ameur, Idir Aït-Sadoune, Jean-Marc Mota and Lionel Van-Aertryck, Validation d'IHM3 par animation de modèles B : LOT 4 (LISI/ENSMA)(SILICOMP/AQL), Projet RNRT VERBATIM, 2006

Yamine Aït-Ameur, Idir Aït-Sadoune and Mickaël Baron, Modélisation et Validation formelles d'IHM : LOT 1 (LISI/ENSMA), LISI/ENSMA, 2005