Idir Ait Sadoune

Présentation

Publications

Chapitre d'ouvrage (3)

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

Article dans une revue (6)

The role of user requirements in data repository design Ilyes Boukhari,Stéphane Jean,Idir Ait-Sadoune,Ladjel Bellatreche International Journal on Software Tools for Technology Transfer, 2018, 20 (1), pp.19--34. ⟨10.1007/s10009-016-0443-0⟩ Article dans une revue hal-01438130v1
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
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
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

Communication dans un congrès (35)

A Floating-Point Numbers Theory for Event-B Idir Ait-Sadoune International Conference on Model and Data Engineering - MEDI 2023, Nov 2023, Sousse, TUNISIA, Tunisia. pp.30-43, ⟨10.1007/978-3-031-49333-1_3⟩ Communication dans un congrès hal-04425554v1
Using Deep Ontologies in Formal Software Engineering Achim Brucker,Idir Ait-Sadoune,Nicolas Méric,Burkhart Wolff International Conference on Rigorous State-Based Methods, ABZ 2023, May 2023, Nancy, France. pp.15-32, ⟨10.1007/978-3-031-33163-3_2⟩ Communication dans un congrès hal-04425573v1
OntoEventB: A Generator of Event-B contexts from Ontologies Idir Ait-Sadoune 9th Rodin User and Developer Workshop, Jun 2021, Ulm, Germany Communication dans un congrès hal-03265730v1
Building Formal Semantic Domain Model: An Event-B Based Approach Idir Ait-Sadoune,Linda Mohand Oussaid 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⟩ Communication dans un congrès hal-02385378v1
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 IMPEX 2017, Nov 2017, Xi'An, China. pp.24 - 33, ⟨10.4204/EPTCS.271.2⟩ Communication dans un congrès hal-01797549v1
Using the Isabelle Ontology Framework. Linking the Formal with the Informal Achim D. Brucker,Idir Ait-Sadoune,Paolo Crisafulli,Burkhart Wolff International Conference on Intelligent Computer Mathematics (CICM), 2018, Hagenberg, Austria. pp.23--38, ⟨10.1007/978-3-319-96812-4_3⟩ Communication dans un congrès hal-01875734v1
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 Hacidet al. 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
OntoEventB : Un outil pour la modélisation des ontologies dans B Événementiel Linda Mohand Oussaïd,Idir Ait-Sadoune AFADL 2017, Jun 2017, Montpellier, France. pp.117-121 Communication dans un congrès hal-01546065v1
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
Formal Modelling of Domain Constraints in Event-B Linda Mohand Oussaïd,Idir Ait-Sadoune Model and Data Engineering - 7th International Conference, MEDI 2017, Oct 2017, Barcelone, Spain. pp.153--166, ⟨10.1007/978-3-319-66854-3_12⟩ Communication dans un congrès hal-01614550v1
Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. Jean-Paul Gibson,Idir Ait-Sadoune,Marc Pantel 7th International Symposium, ISoLA 2016, Oct 2016, Corfu, Greece Communication dans un congrès hal-01430628v1
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
A Multi-Agent Based Approach for Composite Web Services Simulation Fatma Siala,Idir Ait-Sadoune,Khaled Ghedira MEDI 2014, Sep 2014, Larnaca, Cyprus. pp.65-76, ⟨10.1007/978-3-319-11587-0_8⟩ Communication dans un congrès hal-01103316v1
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
Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction Jean-Paul Gibson,Idir Ait-Sadoune ISoLA 2014, Oct 2014, Corfu, Greece. pp.570-572, ⟨10.1007/978-3-662-45231-8_47⟩ Communication dans un congrès hal-01103304v1
On Using Requirements Throughout the Life Cycle of Data Repository Stéphane Jean,Idir Ait-Sadoune,Ladjel Bellatreche,Ilyes Boukhari DEXA 2014, Sep 2014, Munich, Germany. pp.409-416, ⟨10.1007/978-3-319-10085-2_37⟩ Communication dans un congrès hal-01103274v1
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
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
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 istex hal-00629308v1
BPEL2B : Un outil d'aide à la vérification de la composition de services Web basé sur la preuve et le raffinement Idir Aït-Sadoune 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 Communication dans un congrès hal-00634391v1
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 istex hal-00634202v1
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 istex hal-00634389v1
Vérification et Validation de la composition de services Web, Approche basée sur la Preuve et le Raffinement Idir Ait-Sadoune Proc. Assemblée générale du Pôle Régional de Recherche en Images, Données et Systèmes (PRIDES 2010), May 2010, La Rochelle, France Communication dans un congrès hal-04161854v1
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
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
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
Semantic Hubs for Geological Projects Yamine Aït-Ameur,Nabil Belaid,Mohammed Bennis,Olivier Corby,Rose Dieng-Kuntzet al. Proc. Workshop on Semantic Metadata Management and Applications (SeMMA 2008), Jun 2008, Tenerife, Spain. pp.3-17 Communication dans un congrès hal-04107779v1
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
Vérification et Validation Formelles de la Composition de Services Web Idir Aït-Sadoune Proc. École Jeune Chercheurs en Programmation (EJCP 2008), 2008, Rennes, France Communication dans un congrès hal-04107785v1
Vérification et Validation Formelles de la Composition de Services Web Idir Aït-Sadoune Proc. Assemblée générale du Pôle Régional de Recherche en Images, Données et Systèmes (PRIDES 2008), 2008, La Rochelle, France Communication dans un congrès hal-04107784v1
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 istex hal-00634407v1
B2EXPRESS : Un animateur de modèles B événementiel. Idir Aït-Sadoune 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 Communication dans un congrès hal-00633916v1
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
É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
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

Thèse (1)

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