| 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 | 25 | 2006 |
| 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 |
| 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 | 16 | 2018 |
| 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 | 15 | 2013 |
| 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 | 13 | 2017 |
| 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 | 13 | 2014 |
| Animating event b models by formal data models I Ait-Sadoune, Y Ait-Ameur Leveraging Applications of Formal Methods, Verification and Validation …, 2008 | 13 | 2008 |
| 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 | 12 | 2015 |
| 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 | 11 | 2018 |
| 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 |
| 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 | 6 | 2015 |
| 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 | 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 |
| 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 |
| 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 | 4 | 2018 |
| 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 | 4 | 2017 |
| 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 | 4 | 2011 |
YAMINE AIT AMEURIRIT/INPT-ENSEEIHT, University of ToulouseVerified email at n7.fr
