Production year

Export Publications

Export the displayed publications:
Number of documents

6

Publications de Idir AIT SADOUNE


2010   

Book sections1 document

  • 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.. Christophe Kolski. Interaction homme-machine dans les transports - Personnalisation, Assistance et Information du voyageur, Hermes Science Publications, pp.113-149, 2010. ⟨hal-00634193⟩

Journal articles1 document

  • 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. Journal d'Interaction Personne-Système, Association Francophone d'Interaction Homme-Machine (AFIHM), 2010, 1 (1), pp.1-30. ⟨hal-00634186⟩

Conference papers3 documents

  • Idir Aït-Sadoune, Yamine Aït-Ameur. Stepwise Design of BPEL Web Services Compositions, An Event B Refinement Based Approach. 8th ACIS Conference on Software Engineering Research, Management and Applications (SERA 2010), May 2010, Montréal, Canada. pp.51-68. ⟨hal-00634202⟩
  • Idir Aït-Sadoune, 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), Feb 2010, Orford, Canada. pp.405-406. ⟨hal-00634389⟩
  • 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. 10es Journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2010), Jun 2010, Poitiers, France. pp.65-74. ⟨hal-00634391⟩

Theses1 document

  • Idir Ait-Sadoune. Modélisation et Vérification Formelles de Compositions de Services. Une Approche Fondée sur le Raffinement et la Preuve. Modélisation et simulation. Ecole Nationale Supérieure de Mécanique et d'Aérotechnique - Poitiers, 2010. Français. ⟨NNT : 2010ESMA0016⟩. ⟨tel-01819499⟩