Nombre de documents trouvés : 16 documents

1 - 2

A formal framework for design and validation of multimodal interactive systems in transport domain. Mohand-Oussaïd L., Nadjet K., Aït-Sadoune I., Aït-Ameur Y., Ahmed-Nacer M. Dans Human-computer interaction in transport (2011) 93-128. [hal-00634174 - version 1]

Modeling information fission in output multi-modal interactive systems using Event B Mohand-Oussaïd L., Aït-Sadoune I., Aït-Ameur Y. Dans Proceedings of 1st International Conference on Model & Data Engineering (MEDI 2011) - 1st International Conference on Model & Data Engineering (MEDI 2011), Portugal (2011) [hal-00629308 - version 1]

Vérification et validation formelles de systèmes interactifs fondées sur la preuve : application aux systèmes Multi-Modaux Aït-Ameur Y., Aït-Sadoune I., Baron M., Mota J.-M. Journal d'Interaction Personne-Système (JIPS) 1, 1 (2010) 1-30 [hal-00634186 - version 1]

Stepwise Design of BPEL Web Services Compositions, An Event B Refinement Based Approach Aït-Sadoune I., Aït-Ameur Y. Dans Studies in Computational Intelligence - 8th ACIS Conference on Software Engineering Research, Management and Applications (SERA 2010), Canada (2010) [hal-00634202 - version 1]

BPEL2B : Un outil d'aide à la vérification de la composition de services Web basé sur la preuve et le raffinement Aït-Sadoune I. Dans Actes des 10es Journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2010) - 10es Journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2010), France (2010) [hal-00634391 - version 1]

A Proof Based Approach for Formal Verification of Transactional BPEL Web Services Aït-Sadoune I., Aït-Ameur Y. Dans Lecture Notes in Computer Science - Abstract State Machines, Alloy, B and Z (ABZ 2010), Canada (2010) [hal-00634389 - version 1]

Un cadre formel pour la conception et la validation de systèmes interactifs multimodaux dans le secteur du transport. Mohand-Oussaïd L., Nadjet K., Aït-Sadoune I., Aït-Ameur Y., Ahmed-Nacer M. Dans Interaction homme-machine dans les transports - Personnalisation, Assistance et Information du voyageur (2010) 113-149 [hal-00634193 - version 1]

From BPEL to Event-B Aït-Sadoune I., Aït-Ameur Y. International Workshop on Integration of Model-based Methods and Tools (IM FMT 2009) at 7th International Conference on integrated Formal Methods (IFM 2009)., Allemagne (2009) [hal-00634398 - version 1]

A Proof Based Approach for Modelling and Verifying Web Services Compositions Aït-Sadoune I., Aït-Ameur Y. Dans Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009) - 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009), Allemagne (2009) [hal-00634395 - version 1]

Une architecture orientée services pour la gestion sémantique des données géologiques pour le stockage de CO2 Belaid N., Aït-Sadoune I., Aït-Ameur Y., Rainaud J.-F., Jean S. Dans Actes de l'atelier Systèmes d'Information et de Décision pour l'Environnement (ASIDE) - Le XXVIème congrès INFORSID, France (2008) [hal-00634498 - version 1]

1 - 2

L'URL de cette page est : http://hal.archives-ouvertes.fr/aut/Idir Ait-Sadoune/