Documentation
Français (FR)

Anglais (EN)

Idir Ait Sadoune

27

Documents

Présentation

Publications

yamine-ait-ameur

	Formal Modelling and Verification of Transactional Web Service Composition: A Refinement and Proof Approach with Event-B Idir Ait-Sadoune , Yamine Aït-Ameur Correct Software in Web Applications and Web Services, Springer, pp.1-27, 2015, Texts & Monographs in Symbolic Computation, 978-3-319-17112-8 Chapitre d'ouvrage hal-01274690v1
	A formal framework for design and validation of multimodal interactive systems in transport domain. Linda Mohand-Oussaïd , Kamel Nadjet , Idir Aït-Sadoune , Yamine Aït-Ameur , Mohamed Ahmed-Nacer Christophe Kolski. Human-computer interaction in transport, ISTE Ltd and John Wiley & Sons, Inc, pp.93-128., 2011 Chapitre d'ouvrage hal-00634174v1
	Un cadre formel pour la conception et la validation de systèmes interactifs multimodaux dans le secteur du transport. Linda Mohand-Oussaïd , Kamel Nadjet , Idir Aït-Sadoune , Yamine Aït-Ameur , Mohamed Ahmed-Nacer Christophe Kolski. Interaction homme-machine dans les transports - Personnalisation, Assistance et Information du voyageur, Hermes Science Publications, pp.113-149, 2010 Chapitre d'ouvrage hal-00634193v1

	Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform Yamine Aït-Ameur , Idir Ait-Sadoune , Kahina Hacid , Linda Mohand Oussaid Electronic Proceedings in Theoretical Computer Science, 2018, Proceedings IMPEX 2017 and FM&MDD 2017, EPTCS 271, pp.24 - 33. ⟨10.4204/EPTCS.271.2⟩ Article dans une revue hal-01797549v1
	A formal model for output multimodal HCI - An Event-B formalization Linda Mohand Oussaïd , Idir Ait-Sadoune , Yamine Aït-Ameur , Mohamed Ahmed-Nacer Computing, 2015, Special Issue on Contributions of computational intelligence in designing complex information systems, 97 (7), pp.713-740. ⟨10.1007/s00607-015-0460-y⟩ Article dans une revue hal-01274680v1
	Modélisation formelle d’IHM multimodales en sortie avec B Événementiel : approche par généralisation et instanciation Linda Mohand Oussaïd , Idir Ait-Sadoune , Yamine Aït-Ameur , Ahmed-Nacer Mohamed Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015, 34 (5), pp.521-546. ⟨10.3166/TSI.34.523-548⟩ Article dans une revue hal-01274714v1
	Vérification et validation formelles de systèmes interactifs fondées sur la preuve : application aux systèmes Multi-Modaux Yamine Aït-Ameur , Idir Aït-Sadoune , Mickael Baron , Jean-Marc Mota Journal d'Interaction Personne-Système, 2014, Volume 1 (1), pp.1-30. ⟨10.46298/jips.59⟩ Article dans une revue hal-00634186v1
	Stepwise development of formal models for web services compositions. Modeling and property verification Idir Aït-Sadoune , Yamine Aït-Ameur Transactions on Large-Scale Data- and Knowledge-Centered Systems, 2013, 8220/2013, pp.1-33 Article dans une revue hal-00831483v1
	Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement Yamine Aït-Ameur , Idir Aït-Sadoune , Mickael Baron , Jean-Marc Mota Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2008, 13 (2), pp.127-154 Article dans une revue hal-00634197v1

	On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B Yamine Aït-Ameur , Idir Ait-Sadoune , Pierre Castéran , John Paul Gibson , Kahina Hacid 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), Jun 2018, Southampton, United Kingdom. pp.425--430, ⟨10.1007/978-3-319-91271-4_35⟩ Communication dans un congrès hal-01797538v1
	Formal modelling of ontologies within Event-B Yamine Aït-Ameur , Idir Ait-Sadoune , Kahina Hacid , Linda Mohand Oussaid First International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development, Nov 2017, Xi’an, China Communication dans un congrès hal-01636944v1
	Composition Operators for Event-B. CO4EB Rodin plugin Idir Ait-Sadoune , Yamine Aït-Ameur Rodin Workshop 2014, Jun 2014, Toulouse, France Communication dans un congrès hal-01103340v1
	Modélisation formelle d’IHM multi-modales en sortie avec B Événementiel Linda Mohand-Oussaid , Idir Ait-Sadoune , Yamine Aït-Ameur , Mohamed Ahmed-Nacer AFADL 2014, Jun 2014, Paris, France. pp.76-90 Communication dans un congrès hal-01103334v1
	Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification. Yamine Aït-Ameur , Idir Aït-Sadoune 23rd International Conference on Database and Expert Systems Applications (DEXA), Sep 2012, Vienna, Austria. pp.9 Communication dans un congrès hal-00726919v1
	Verification and validation of BPEL processes. A proof and animation based approach Idir Aït-Sadoune , Yamine Aït-Ameur , Mickael Baron Rodin User and Developer Workshop : Deploy Federated Event, Feb 2012, Fontainebleau, France Communication dans un congrès hal-00695440v1
	Modelling information fission in output multi-modal interactive systems using Event B Linda Mohand-Oussaïd , Idir Aït-Sadoune , Yamine Aït-Ameur 1st International Conference on Model & Data Engineering (MEDI 2011), Sep 2011, OBIDOS, Portugal. pp.200-213, ⟨10.1007/978-3-642-24443-8_22⟩ Communication dans un congrès hal-00629308v1
	A Proof Based Approach for Formal Verification of Transactional BPEL Web Services Idir Aït-Sadoune , Yamine Aït-Ameur Abstract State Machines, Alloy, B and Z (ABZ 2010), Feb 2010, Orford, Canada. pp.405-406, ⟨10.1007/978-3-642-11811-1_39⟩ Communication dans un congrès hal-00634389v1
	Stepwise Design of BPEL Web Services Compositions, An Event B Refinement Based Approach Idir Aït-Sadoune , Yamine Aït-Ameur 8th ACIS Conference on Software Engineering Research, Management and Applications (SERA 2010), May 2010, Montréal, Canada. pp.51-68., ⟨10.1007/978-3-642-13273-5_4⟩ Communication dans un congrès hal-00634202v1
	A Proof Based Approach for Modelling and Verifying Web Services Compositions Idir Aït-Sadoune , Yamine Aït-Ameur 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009), Jun 2009, Potsdam, Germany. pp.1-10 Communication dans un congrès hal-00634395v1
	From BPEL to Event-B Idir Aït-Sadoune , Yamine Aït-Ameur International Workshop on Integration of Model-based Methods and Tools (IM FMT 2009) at 7th International Conference on integrated Formal Methods (IFM 2009)., Feb 2009, Düsseldorf, Germany Communication dans un congrès hal-00634398v1
	Une architecture orientée services pour la gestion sémantique des données géologiques pour le stockage de CO2 Nabil Belaid , Idir Aït-Sadoune , Yamine Aït-Ameur , Jean-François Rainaud , Stéphane Jean Le XXVIème congrès INFORSID, May 2008, Fontainebleau, France. pp.67-76 Communication dans un congrès hal-00634498v1
	Verification and Validation of Web Service Composition Using Event B Method Idir Aït-Sadoune , Yamine Aït-Ameur Abstract State Machines, B and Z (ABZ 2008), Sep 2008, London, United Kingdom. pp.339-340, ⟨10.1007/978-3-540-87603-8_28⟩ Communication dans un congrès hal-00634407v1
	Animating Event B Models by Formal Data Models Idir Aït-Sadoune , Yamine Aït-Ameur International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2008), Oct 2008, Kassandra, Greece. pp.37-55, ⟨10.1007/978-3-540-88479-8_4⟩ Communication dans un congrès hal-00634402v1
	Semantic Hubs for Geological Projects Yamine Aït-Ameur , Nabil Belaid , Mohammed Bennis , Olivier Corby , Rose Dieng-Kuntz Proc. Workshop on Semantic Metadata Management and Applications (SeMMA 2008), Jun 2008, Tenerife, Spain. pp.3-17 Communication dans un congrès hal-04107779v1
	Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve. Yamine Aït-Ameur , Idir Aït-Sadoune , Mickael Baron , Jean-Marc Mota 18es Conférence Francophone sur l'Interaction Homme-Machine (IHM 2006)., Apr 2006, Montréal, Canada. pp.123-130, ⟨10.1145/1132736.1132752⟩ Communication dans un congrès hal-00633908v1
	Animation de modèles B par transformation de modèles Idir Aït-Sadoune , Yamine Aït-Ameur Proc. Assemblée générale du Pôle Régional de Recherche en Images, Données et Systèmes (PRIDES 2006), 2006, La Rochelle, France Communication dans un congrès hal-04071950v1
	Étude et comparaison de scénarios de développements formels d'interfaces multi-modales fondés sur la preuve et le raffinement. Yamine Aït-Ameur , Idir Aït-Sadoune , Mickael Baron MOSIM 2006 - 6ème Conférence Francophone de Modélisation et Simulation. Modélisation, Optimisation et Simulation des Systèmes, Apr 2006, Rabat, Maroc. pp.578-588 Communication dans un congrès hal-00633903v1