Skip to Main content
Number of documents

5

Publications de Idir AIT SADOUNE


Mickaël Baron    Yamine Aït-Ameur   

Journal articles2 documents

  • 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⟩
  • Yamine Aït-Ameur, Idir Aït-Sadoune, Mickael Baron, Jean-Marc Mota. Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement. Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2008, 13 (2), pp.127-154. ⟨hal-00634197⟩

Conference papers3 documents

  • Idir Aït-Sadoune, Yamine Aït-Ameur, Mickael Baron. Verification and validation of BPEL processes. A proof and animation based approach. Rodin User and Developer Workshop : Deploy Federated Event, Feb 2012, Fontainebleau, France. ⟨hal-00695440⟩
  • Yamine Aït-Ameur, Idir Aït-Sadoune, Mickael Baron, Jean-Marc Mota. Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve.. 18es Conférence Francophone sur l'Interaction Homme-Machine (IHM 2006)., Apr 2006, Montréal, Canada. pp.123-130, ⟨10.1145/1132736.1132752⟩. ⟨hal-00633908⟩
  • Yamine Aït-Ameur, Idir Aït-Sadoune, Mickael Baron. Étude 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, Apr 2006, Rabat, Maroc. pp.578-588. ⟨hal-00633903⟩