| 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 | 41 | 2009 |
| 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 | 28 | 2010 |
| 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 | 25 | 2009 |
| É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 | 24 | 2006 |
| 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 | 21 | 2018 |
| 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 | 18 | 2006 |
| 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 | 15 | 2017 |
| 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 | 15 | 2015 |
| 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 | 15 | 2014 |
| 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 | 15 | 2013 |
| Animating event b models by formal data models I Ait-Sadoune, Y Ait-Ameur Leveraging Applications of Formal Methods, Verification and Validation …, 2008 | 14 | 2008 |
| 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 | 12 | 2018 |
| 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 | 7 | 2019 |
| 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 | 7 | 2017 |
| 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 | 7 | 2005 |
| 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 | 6 | 2014 |
| OntoEventB: Un outil pour la modélisation des ontologies dans B Événementiel LM Oussaïd, I Ait-Sadoune AFADL 2017, 117-121, 2017 | 5 | 2017 |
| 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 | 5 | 2015 |
| 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 | 5 | 2008 |
| 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 | 5 | 2005 |
YAMINE AIT AMEURIRIT/INPT-ENSEEIHT, University of ToulouseVerified email at n7.fr
