Follow
Idir AIT SADOUNE
Idir AIT SADOUNE
LMF - CentraleSupelec - Paris Saclay University
Verified email at centralesupelec.fr - Homepage
Title
Cited by
Cited by
Year
A proof based approach for modelling and verifyingweb services compositions
I Ait-Sadoune, Y Ait-Ameur
2009 14th IEEE International Conference on Engineering of Complex Computer …, 2009
412009
Stepwise design of BPEL web services compositions: an event_b refinement based approach
I Ait-Sadoune, Y Ait-Ameur
Software Engineering Research, Management and Applications 2010, 51-68, 2010
282010
From bpel to event-b
I Aït-Sadoune, Y Aït-Ameur
International Workshop on Integration of Model-based Methods and Tools (IM …, 2009
252009
Étude et comparaison de scénarios de développements formels d'interfaces multi-modales fondés sur la preuve et le raffinement.
Y Aït-Ameur, I Ait-Sadoune, M Baron
MOSIM 2006-6ème Conférence Francophone de Modélisation et Simulation …, 2006
252006
Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve
Y Aït-Ameur, I Aït-Sadoune, JM Mota, M Baron
Proceedings of the 18th Conference on l'Interaction Homme-Machine, 123-130, 2006
182006
Using the Isabelle ontology framework: Linking the formal with the informal
AD Brucker, I Ait-Sadoune, P Crisafulli, B Wolff
Intelligent Computer Mathematics: 11th International Conference, CICM 2018 …, 2018
162018
Stepwise development of formal models for web services compositions: Modelling and property verification
I Aït-Sadoune, Y Ait-Ameur
Transactions on Large-Scale Data-and Knowledge-Centered Systems X: Special …, 2013
152013
Formal modelling of domain constraints in Event-B
L Mohand-Oussaïd, I Aït-Sadoune
Model and Data Engineering: 7th International Conference, MEDI 2017 …, 2017
132017
Vérification et validation formelles de systèmes interactifs fondées sur la preuve: application aux systèmes Multi-Modaux
JM Mota, M Baron, I Aït-Sadoune, Y Aït-Ameur
Journal d'Interaction Personne-Système 1, 2014
132014
Animating event b models by formal data models
I Ait-Sadoune, Y Ait-Ameur
Leveraging Applications of Formal Methods, Verification and Validation …, 2008
132008
Formal modelling and verification of transactional web service composition: A refinement and proof approach with event-b
I Ait-Sadoune, Y Ait-Ameur
Correct software in web applications and web services, 1-27, 2015
122015
The role of user requirements in data repository design
I Boukhari, S Jean, I Ait-Sadoune, L Bellatreche
International journal on software tools for technology transfer 20, 19-34, 2018
112018
Modélisation et Validation formelles d'IHM: LOT 1 (LISI/ENSMA)
Y Aït-Ameur, I Aït-Sadoune, M Baron
Délivrable pour le projet RNRT-VERBATIM 73, 2005
72005
A formal model for output multimodal HCI: An Event-B formalization
L Mohand-Oussaid, I Ait-Sadoune, Y Ait-Ameur, M Ahmed-Nacer
Computing 97, 713-740, 2015
62015
On using requirements throughout the life cycle of data repository
S Jean, I Ait-Sadoune, L Bellatreche, I Boukhari
Database and Expert Systems Applications: 25th International Conference …, 2014
62014
OntoEventB: Un outil pour la modélisation des ontologies dans B Événementiel
LM Oussaïd, I Ait-Sadoune
AFADL 2017, 117-121, 2017
52017
Vérification et validation formelle d’IHM Multimodales fondées sur la preuve. Utilisation de la Méthode B
I Ait-Sadoune
Mémoire d’ingénieur d’état en informatique, INI, Alger, 2005
52005
On the importance of explicit domain modelling in refinement-based modelling design. Experiments with Event-B
Y Aït-Ameur, I Ait-Sadoune, P Castéran, P Gibson, K Hacid, S Kherroubi, ...
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018
42018
Formal modelling of ontologies within Event-B
Y Aït-Ameur, I Ait-Sadoune, K Hacid, LM Oussaid
First International Workshop on Handling IMPlicit and EXplicit knowledge in …, 2017
42017
Modelling information fission in output multi-modal interactive systems using event-B
L Mohand-Oussaïd, I Aït-Sadoune, Y Aït-Ameur
Model and Data Engineering: First International Conference, MEDI 2011 …, 2011
42011
The system can't perform the operation now. Try again later.
Articles 1–20