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, IHM et transports (à~paraitre), Kolski, C, Paris, Hermes, 2010

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 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

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

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

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

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