Nombre de documents

33

Publications de Idir AIT SADOUNE


Professeur Assistant au département informatique de CentraleSupelec depuis Juin 2011 (campus de Gif-Sur-Yvette, France), et en même temps membre de l’équipe MODHEL (Modélisation Hétérogène) du Laboratoire de recherche en informatique (LRI).

Vous pouvez accèder à ma page web en suivant ce lien.


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 revue6 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, 2016, 18, pp.1-16. 〈https://link.springer.com/journal/10009〉. 〈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ès24 documents

  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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. 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, 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. 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. 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. 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〉
  • 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. 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〉
  • 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 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.. 6ème Conférence Francophone de Modélisation et Simulation. Modélisation, Optimisation et Simulation des Systèmes (MOSIM 2006) : Défis et Opportunités, Apr 2006, Rabat, Maroc. Lavoisier, pp.578-588, 2006. 〈hal-00633903〉
  • 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. 〈hal-00633908〉