Nombre de documents

36

Publications de Idir AIT SADOUNE


Chapitre d'ouvrage3 documents

  • Idir Ait-Sadoune, Yamine Ait 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〉

Article dans une revue7 documents

  • Yamine Ait 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, 271, pp.24 - 33. 〈10.4204/EPTCS.271.2〉. 〈hal-01797549〉
  • 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. 〈https://link.springer.com/article/10.1007%2Fs10009-016-0443-0〉. 〈10.1007/s10009-016-0443-0〉. 〈hal-01438130〉
  • Linda Mohand Oussaïd, Idir Ait-Sadoune, Yamine Ait 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. 〈hal-01274680〉
  • Linda Mohand Oussaïd, Idir Ait-Sadoune, Yamine Ait 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 (JIPS), 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〉

Communication dans un congrès25 documents

  • Yamine Ait 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. Michael Butler; Alexander Raschke; Thai Son Hoang; Klaus Reichl. ABZ 2018 - 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Jun 2018, Southampton, United Kingdom. Springer, 10817, pp.425--430, 2018, Lecture Notes in Computer Science. 〈https://link.springer.com/chapter/10.1007/978-3-319-91271-4_35〉. 〈10.1007/978-3-319-91271-4_35〉. 〈hal-01797538〉
  • 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. 16es Journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels, pp.117-121, 2017, 〈http://afadl2017.imag.fr/〉. 〈hal-01546065〉
  • Yamine Ait 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. 2017. 〈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. Springer, 10563, pp.153--166, 2017, Lecture Notes in Computer Science. 〈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. Lecture Notes in Computer Science, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 〈http://www.springer.com/us/book/9783319471655〉. 〈hal-01430628〉
  • Fatma Siala, Idir Ait-Sadoune, Khaled Ghedira. A Multi-Agent Based Approach for Composite Web Services Simulation. MEDI 2014, Sep 2014, Larnaca, Cyprus. Proceedings of the 4th International Conference, MEDI 2014, pp.65-76, 2014, Model and Data Engineering. 〈10.1007/978-3-319-11587-0_8〉. 〈hal-01103316〉
  • Idir Ait-Sadoune, Yamine Ait Ameur. Composition Operators for Event-B. CO4EB Rodin plugin. Rodin Workshop 2014, Jun 2014, Toulouse, France. Proceedings of the 5th Rodin User and Developer Workshop, 2014. 〈hal-01103340〉
  • Linda Mohand-Oussaid, Idir Ait-Sadoune, Yamine Ait 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. Proceedings of the AAAI Spring Symposium: Formal Verification and Modeling in Human-Machine Systems, pp.38-43, 2014. 〈hal-01105356〉
  • 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. Proceedings of the 25th International Conference, DEXA 2014, pp.409-416, 2014, Database and Expert Systems Applications. 〈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. Proceedings of the 6th International Symposium, ISoLA 2014, pp.570-572, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications. 〈10.1007/978-3-662-45231-8_47〉. 〈hal-01103304〉
  • Linda Mohand-Oussaid, Idir Ait-Sadoune, Yamine Ait Ameur, Mohamed Ahmed-Nacer. Modélisation formelle d’IHM multi-modales en sortie avec B Événementiel. AFADL 2014, Jun 2014, Paris, France. Actes des 13es Journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels, pp.76-90, 2014. 〈hal-01103334〉
  • 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〉
  • 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. Springer Berlin/Heidelberg, 7446/2012, pp.9, 2012. 〈hal-00726919〉
  • 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. Springer Berlin/Heidelberg, 6918/2011, pp.200-213, 2011, Lecture Notes in Computer Science (LNCS). 〈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. Springer Berlin/Heidelberg, 296/2010, pp.51-68., 2010. 〈hal-00634202〉
  • 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, 2010. 〈hal-00634391〉
  • 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. Springer Berlin/Heidelberg, 5977/2010, pp.405-406, 2010, Lecture Notes in Computer Science. 〈hal-00634389〉
  • 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. IEEE Computer Society, pp.1-10, 2009. 〈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. Springer Berlin/Heidelberg, 17 (3), pp.37-55, 2008, Communications in Computer and Information Science. 〈hal-00634402〉
  • 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., 2008. 〈hal-00634498〉
  • 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. Springer Berlin/Heidelberg, 5238/2008, pp.339-340, 2008. 〈hal-00634407〉
  • 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, 2007. 〈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. 133, pp.123-130, 2006, ACM International Conference Proceeding. 〈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. Lavoisier, pp.578-588, 2006, MOSIM 2006 : Modélisation, optimisation et simulation des systèmes : défis et opportunités (Actes de la 6è conférence francophone ..). 〈hal-00633903〉

Thèse1 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〉