Publications par années

2011

[IHM, 2011]. A formal framework for design and validation of multimodal interactive systems in transport domain. Linda Mohand-Oussaïd, Nadjet Kamel, Idir Ait-Sadoune, Yamine Ait-Ameur and Mohamed Ahmed-Nacer. Human–computer interaction in transport, pp. 93-128. Christophe Kolski Editor, ISTE Ltd and John Wiley & Sons, Inc. 2011.

[MEDI, 2011], Modeling information fission in output multi-modal interactive systems using Event B. Linda Mohand-Oussaïd, Idir Ait-Sadoune and Yamine Ait-Ameur. 1st International Conference on Model & Data Engineering (MEDI). Lecture Notes in Computer Science (LNCS), vol. 6918/2011, pp 200-213. Edited by Springer Berlin/Heidelberg. Óbidos, Portugal. September, 2011.

2010

[JISP, 2010]. Vérification et validation formelles de systèmes interactifs fondées sur la preuve : application aux systèmes Multi-Modaux. Yamine Ait-Ameur, Idir Ait-Sadoune, Mickaël Baron and Jean-Marc Mota. Journal d'Interaction Personne-Système (JIPS), vol. 1, pp. 1-30. AFIHM. 2010.

[IHM, 2010]. Un cadre formel pour la conception et la validation de systèmes interactifs multimodaux dans le secteur du transport. Linda Mohand-Oussaïd, Nadjet Kamel, Idir Ait-Sadoune, Yamine Ait-Ameur and Mohamed Ahmed-Nacer. Interaction homme-machine dans les transports - Personnalisation, Assistance et Information du voyageur, pp. 113-149. Christophe Kolski Editor, Hermes Science Publications. 2010.

[AFADL, 2010]. BPEL2B : Un outil d’aide à la vérification de la composition de services Web basé sur la preuve et le raffinement. Idir Ait-Sadoune. Actes des 10es Journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), pp. 65-74. Poitiers, France. Juin, 2010.

[SERA, 2010]. Stepwise Design of BPEL Web Services Compositions, An Event B Refinement Based Approach. Idir Ait-Sadoune and Yamine Ait-Ameur. 8^thACIS conference on Software Engineering Research, Management and Applications (SERA). Studies in Computational Intelligence (SCI), vol. 296/2010, pp. 51-68. Edited by Springer Berlin/Heidelberg. Montreal, Canada. May, 2010.

[ABZ, 2010].  A Proof Based Approach for Formal Verification of Transactional BPEL Web Services. Idir Ait-Sadoune and Yamine Ait-Ameur. 2^nd International Conference on Abstract State Machines, Alloy, B and Z (ABZ). Lecture Notes in Computer Science (LNCS), vol. 5977/2010, pp. 405-406. Edited by Springer Berlin/Heidelberg. Orford, Quebec, Canada. February, 2010.

2009

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

[IM_FMT, 2009]. From BPEL to Event-B. Idir Ait-Sadoune and Yamine Ait-Ameur. International Workshop on Integration of Model-based Formal Methods and Tools (IM FMT) at 7th International Conference on Integrated Formal Methods (IFM). Düsseldorf Germany, February, 2009.

2008

[ISI, 2008]. Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement. Yamine Ait-Ameur, Idir Ait-Sadoune, Mickaël Baron and Jean-Marc Mota. Revue des Sciences et Technologies de l'Information (RSTI), série Ingénierie des Systèmes d'Information (ISI), Modélisation multiple, Formalisme et Modèles, vol. 13 N° 2, pp. 127-154. Edité par Lavoisier. 2008.

[ISOLA, 2008]. Animating Event B Models by Formal Data Models. Idir Ait-Sadoune and Yamine Ait-Ameur. 3^rd International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA). Communications in Computer and Information Science (CCIS), vol. 17, part 3, pp. 37-55. Edited by Springer Berlin/Heidelberg. Kassandra, Greece. October, 2008.

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

[SEMMA, 2008]. Semantic Hubs for Geological Projects. Yamine Ait-Ameur, Idir Ait-Sadoune, 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, Eric Sardet, Francois Tertre and João Francisco Valiati. 1^st International Workshop on Semantic Metadata Management and Applications (SeMMA) at the 5^th European Semantic Web Conference (ESWC).  CEUR Workshop Proceedings,  vol 346, pp. 3-17. Teneriffe, Spain. June, 2008.

[INFORSID, 2008]. Une architecture orientée services pour la gestion sémantique des données géologiques pour le stockage de CO2. Nabil Belaid, Idir Ait-Sadoune, Yamine Ait-Ameur, Jean-François Rainaud and Stéphane Jean. Actes de l’atelier Systèmes d’Information et de Décision pour l’Environnement (ASIDE) du XXVI^ème Congrès INFORSID, pp. 67-76. Fontainebleau (Seine-et-Marne), France. Mai, 2008.

2007

[AFADL, 2007].  B2EXPRESS : Un animateur de modèles B événementiel. Idir Ait-Sadoune. Actes des 8es Journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), pp. 295-296. Namur, Belgique. Juin, 2007.

2006

[IHM, 2006].  Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve. Yamine Ait-Ameur, Idir Ait-Sadoune, Mickael Baron and Jean-Marc Mota. Actes de la 18e Conférence Francophone sur l'Interaction Homme-Machine (IHM), pp. 123-130. Edited by ACM International Conference Proceeding Series. Montréal, Canada. Avril, 2006.

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