Skip to Main content
Number of documents

38

Publications de Idir AIT SADOUNE


Book sections3 documents

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

Journal articles7 documents

  • Ilyes Boukhari, Stéphane Jean, Idir Ait-Sadoune, Ladjel Bellatreche. The role of user requirements in data repository design. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2018, 20 (1), pp.19--34. ⟨10.1007/s10009-016-0443-0⟩. ⟨hal-01438130⟩
  • Yamine Aït-Ameur, Idir Ait-Sadoune, Kahina Hacid, Linda Mohand Oussaid. Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform. Electronic Proceedings in Theoretical Computer Science, EPTCS, 2018, Proceedings IMPEX 2017 and FM&MDD 2017, EPTCS 271, pp.24 - 33. ⟨10.4204/EPTCS.271.2⟩. ⟨hal-01797549⟩
  • Linda Mohand Oussaïd, Idir Ait-Sadoune, Yamine Aït-Ameur, Mohamed Ahmed-Nacer. A formal model for output multimodal HCI - An Event-B formalization. Computing, Springer Verlag, 2015, Special Issue on Contributions of computational intelligence in designing complex information systems, 97 (7), pp.713-740. ⟨10.1007/s00607-015-0460-y⟩. ⟨hal-01274680⟩
  • Linda Mohand Oussaïd, Idir Ait-Sadoune, Yamine Aït-Ameur, Ahmed-Nacer Mohamed. Modélisation formelle d’IHM multimodales en sortie avec B Événementiel : approche par généralisation et instanciation. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2015, 34 (5), pp.521-546. ⟨hal-01274714⟩
  • Idir Aït-Sadoune, Yamine Aït-Ameur. Stepwise development of formal models for web services compositions. Modeling and property verification. Transactions on Large-Scale Data- and Knowledge-Centered Systems, Springer Berlin / Heidelberg, 2013, 8220/2013, pp.1-33. ⟨hal-00831483⟩
  • Yamine Aït-Ameur, Idir Aït-Sadoune, Mickael Baron, Jean-Marc Mota. Vérification et validation formelles de systèmes interactifs fondées sur la preuve : application aux systèmes Multi-Modaux. Journal d'Interaction Personne-Système, Association Francophone d'Interaction Homme-Machine (AFIHM), 2010, 1 (1), pp.1-30. ⟨hal-00634186⟩
  • Yamine Aït-Ameur, Idir Aït-Sadoune, Mickael Baron, Jean-Marc Mota. Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement. Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2008, 13 (2), pp.127-154. ⟨hal-00634197⟩

Conference papers27 documents

  • Idir Ait-Sadoune, Linda Mohand Oussaid. Building Formal Semantic Domain Model: An Event-B Based Approach. 9th International Conference on Model and Data Engineering - MEDI 2019, Oct 2019, Toulouse, France. pp.140-155, ⟨10.1007/978-3-030-32065-2_10⟩. ⟨hal-02385378⟩
  • Yamine Aït-Ameur, Idir Ait-Sadoune, Pierre Castéran, J. Paul Gibson, Kahina Hacid, et al.. On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B. 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⟩. ⟨hal-01797538⟩
  • Achim D. Brucker, Idir Ait-Sadoune, Paolo Crisafulli, Burkhart Wolff. Using the Isabelle Ontology Framework. Linking the Formal with the Informal. Intelligent Computer Mathematics - 11th International Conference, CICM 2018, Aug 2018, Hagenberg, Austria. pp.23--38, ⟨10.1007/978-3-319-96812-4_3⟩. ⟨hal-01875734⟩
  • Linda Mohand Oussaïd, Idir Ait-Sadoune. OntoEventB : Un outil pour la modélisation des ontologies dans B Événementiel. AFADL 2017, Jun 2017, Montpellier, France. pp.117-121. ⟨hal-01546065⟩
  • Yamine Aït-Ameur, Idir Ait-Sadoune, Kahina Hacid, Linda Mohand Oussaid. Formal modelling of ontologies within Event-B. First International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development, Nov 2017, Xi’an, China. ⟨hal-01636944⟩
  • Linda Mohand Oussaïd, Idir Ait-Sadoune. Formal Modelling of Domain Constraints in Event-B. Model and Data Engineering - 7th International Conference, MEDI 2017, Oct 2017, Barcelone, Spain. pp.153--166, ⟨10.1007/978-3-319-66854-3_12⟩. ⟨hal-01614550⟩
  • Jean-Paul Gibson, Idir Ait-Sadoune, Marc Pantel. Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction.. 7th International Symposium, ISoLA 2016, Oct 2016, Corfu, Greece. ⟨hal-01430628⟩
  • Linda Mohand-Oussaid, Idir Ait-Sadoune, Yamine Aït-Ameur, Mohamed Ahmed-Nacer. Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation. AAAI Spring Symposium 2014, Mar 2014, Palo Alto, United States. pp.38-43. ⟨hal-01105356⟩
  • Linda Mohand-Oussaid, Idir Ait-Sadoune, Yamine Aït-Ameur, Mohamed Ahmed-Nacer. Modélisation formelle d’IHM multi-modales en sortie avec B Événementiel. AFADL 2014, Jun 2014, Paris, France. pp.76-90. ⟨hal-01103334⟩
  • Idir Ait-Sadoune, Yamine Aït-Ameur. Composition Operators for Event-B. CO4EB Rodin plugin. Rodin Workshop 2014, Jun 2014, Toulouse, France. ⟨hal-01103340⟩
  • Stéphane Jean, Idir Ait-Sadoune, Ladjel Bellatreche, Ilyes Boukhari. On Using Requirements Throughout the Life Cycle of Data Repository. DEXA 2014, Sep 2014, Munich, Germany. pp.409-416, ⟨10.1007/978-3-319-10085-2_37⟩. ⟨hal-01103274⟩
  • Jean-Paul Gibson, Idir Ait-Sadoune. Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. ISoLA 2014, Oct 2014, Corfu, Greece. pp.570-572, ⟨10.1007/978-3-662-45231-8_47⟩. ⟨hal-01103304⟩
  • Fatma Siala, Idir Ait-Sadoune, Khaled Ghedira. A Multi-Agent Based Approach for Composite Web Services Simulation. MEDI 2014, Sep 2014, Larnaca, Cyprus. pp.65-76, ⟨10.1007/978-3-319-11587-0_8⟩. ⟨hal-01103316⟩
  • Yamine Ait-Ameur, Idir Aït-Sadoune. Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification.. 23rd International Conference on Database and Expert Systems Applications (DEXA), Sep 2012, Vienna, Austria. pp.9. ⟨hal-00726919⟩
  • Idir Aït-Sadoune, Yamine Ait-Ameur, Mickael Baron. Verification and validation of BPEL processes. A proof and animation based approach. Rodin User and Developer Workshop : Deploy Federated Event, Feb 2012, Fontainebleau, France. ⟨hal-00695440⟩
  • Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït-Ameur. Modelling information fission in output multi-modal interactive systems using Event B. 1st International Conference on Model & Data Engineering (MEDI 2011), Sep 2011, OBIDOS, Portugal. pp.200-213. ⟨hal-00629308⟩
  • Idir Aït-Sadoune, Yamine Aït-Ameur. Stepwise Design of BPEL Web Services Compositions, An Event B Refinement Based Approach. 8th ACIS Conference on Software Engineering Research, Management and Applications (SERA 2010), May 2010, Montréal, Canada. pp.51-68. ⟨hal-00634202⟩
  • Idir Aït-Sadoune, Yamine Aït-Ameur. A Proof Based Approach for Formal Verification of Transactional BPEL Web Services. Abstract State Machines, Alloy, B and Z (ABZ 2010), Feb 2010, Orford, Canada. pp.405-406. ⟨hal-00634389⟩
  • Idir Aït-Sadoune. BPEL2B : Un outil d'aide à la vérification de la composition de services Web basé sur la preuve et le raffinement. 10es Journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2010), Jun 2010, Poitiers, France. pp.65-74. ⟨hal-00634391⟩
  • Idir Aït-Sadoune, Yamine Aït-Ameur. A Proof Based Approach for Modelling and Verifying Web Services Compositions. 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009), Jun 2009, Potsdam, Germany. pp.1-10. ⟨hal-00634395⟩
  • Idir Aït-Sadoune, Yamine Aït-Ameur. From BPEL to Event-B. 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. ⟨hal-00634398⟩
  • Idir Aït-Sadoune, Yamine Aït-Ameur. Animating Event B Models by Formal Data Models. International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2008), Oct 2008, Kassandra, Greece. pp.37-55. ⟨hal-00634402⟩
  • Idir Aït-Sadoune, Yamine Aït-Ameur. Verification and Validation of Web Service Composition Using Event B Method. Abstract State Machines, B and Z (ABZ 2008), Sep 2008, London, United Kingdom. pp.339-340. ⟨hal-00634407⟩
  • Nabil Belaid, Idir Aït-Sadoune, Yamine Aït-Ameur, Jean-François Rainaud, Stéphane Jean. Une architecture orientée services pour la gestion sémantique des données géologiques pour le stockage de CO2. Le XXVIème congrès INFORSID, May 2008, Fontainebleau, France. pp.67-76. ⟨hal-00634498⟩
  • Idir Aït-Sadoune. B2EXPRESS : Un animateur de modèles B événementiel.. 8es Journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2007), Jun 2007, Namur, Belgique. pp.295-296. ⟨hal-00633916⟩
  • Yamine Ait-Ameur, Idir Aït-Sadoune, Mickael Baron, Jean-Marc Mota. Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve.. 18es Conférence Francophone sur l'Interaction Homme-Machine (IHM 2006)., Apr 2006, Montréal, Canada. pp.123-130, ⟨10.1145/1132736.1132752⟩. ⟨hal-00633908⟩
  • Yamine Aït-Ameur, Idir Aït-Sadoune, Mickael Baron. Étude et comparaison de scénarios de développements formels d'interfaces multi-modales fondés sur la preuve et le raffinement.. 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. ⟨hal-00633903⟩

Theses1 document

  • Idir Ait-Sadoune. Modélisation et Vérification Formelles de Compositions de Services. Une Approche Fondée sur le Raffinement et la Preuve. Modélisation et simulation. Ecole Nationale Supérieure de Mécanique et d'Aérotechnique - Poitiers, 2010. Français. ⟨NNT : 2010ESMA0016⟩. ⟨tel-01819499⟩