Folgen
Idir AIT SADOUNE
Idir AIT SADOUNE
LMF - CentraleSupelec - Paris Saclay University
Bestätigte E-Mail-Adresse bei centralesupelec.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
242006
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
202018
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
172006
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
152017
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
152015
Stepwise development of formal models for web services compositions: Modelling and property verification
I Aït-Sadoune, Y Aït-Ameur
Transactions on Large-Scale Data-and Knowledge-Centered Systems X: Special …, 2013
152013
Vérification et validation formelles de systèmes interactifs fondées sur la preuve: application aux systèmes Multi-Modaux
Y Aït-Ameur, I Aït-Sadoune, M Baron, JM Mota
Journal d'Interaction Personne-Système, 2014
142014
Animating event b models by formal data models
I Ait-Sadoune, Y Ait-Ameur
Leveraging Applications of Formal Methods, Verification and Validation …, 2008
142008
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 (1), 19-34, 2018
122018
Building formal semantic domain model: an Event-B based approach
I Ait-Sadoune, L Mohand-Oussaid
International Conference on Model and Data Engineering, 140-155, 2019
72019
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
72017
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
On using requirements throughout the life cycle of data repository
S Jean, I Ait-Sadoune, L Bellatreche, I Boukhari
International Conference on Database and Expert Systems Applications, 409-416, 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
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
52015
Semantic hubs for geological projects
Y Aït-Ameur, N Belaid, M Bennis, O Corby, R Dieng-Kuntz, J Doucy, ...
Proc. Workshop on Semantic Metadata Management and Applications (SeMMA 2008 …, 2008
52008
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20