2023
Conference papers
- auteur
- Achim Brucker, Idir Ait-Sadoune, Nicolas Méric, Burkhart Wolff
- titre
- Using Deep Ontologies in Formal Software Engineering
- article
- International Conference on Rigorous State-Based Methods, ABZ 2023, May 2023, Nancy, France. pp.15-32, ⟨10.1007/978-3-031-33163-3_2⟩
- Accès au bibtex
-
- auteur
- Idir Ait-Sadoune
- titre
- A Floating-Point Numbers Theory for Event-B
- article
- 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⟩
- Accès au bibtex
-
2021
Conference papers
- auteur
- Idir Ait-Sadoune
- titre
- OntoEventB: A Generator of Event-B contexts from Ontologies
- article
- 9th Rodin User and Developer Workshop, Jun 2021, Ulm, Germany
- Accès au texte intégral et bibtex
-
2019
Conference papers
- auteur
- Idir Ait-Sadoune, Linda Mohand Oussaid
- titre
- Building Formal Semantic Domain Model: An Event-B Based Approach
- article
- 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⟩
- Accès au bibtex
-
2018
Journal articles
- auteur
- Yamine Aït-Ameur, Idir Ait-Sadoune, Kahina Hacid, Linda Mohand Oussaid
- titre
- Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform
- article
- Electronic Proceedings in Theoretical Computer Science, 2018, Proceedings IMPEX 2017 and FM&MDD 2017, EPTCS 271, pp.24 - 33. ⟨10.4204/EPTCS.271.2⟩
- Accès au bibtex
-
- auteur
- Ilyes Boukhari, Stéphane Jean, Idir Ait-Sadoune, Ladjel Bellatreche
- titre
- The role of user requirements in data repository design
- article
- International Journal on Software Tools for Technology Transfer, 2018, 20 (1), pp.19--34. ⟨10.1007/s10009-016-0443-0⟩
- Accès au bibtex
-
Conference papers
- auteur
- Achim D. Brucker, Idir Ait-Sadoune, Paolo Crisafulli, Burkhart Wolff
- titre
- Using the Isabelle Ontology Framework. Linking the Formal with the Informal
- article
- International Conference on Intelligent Computer Mathematics (CICM), 2018, Hagenberg,, Austria. pp.23--38, ⟨10.1007/978-3-319-96812-4_3⟩
- Accès au texte intégral et bibtex
-
- auteur
- Yamine Aït-Ameur, Idir Ait-Sadoune, Pierre Castéran, John Paul Gibson, Kahina Hacid, Souad Kherroubi, Dominique Méry, Linda Mohand Oussaid, Neeraj Kumar Singh, Laurent Voisin
- titre
- On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B
- article
- 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⟩
- Accès au texte intégral et bibtex
-
2017
Conference papers
- auteur
- Linda Mohand Oussaïd, Idir Ait-Sadoune
- titre
- OntoEventB : Un outil pour la modélisation des ontologies dans B Événementiel
- article
- AFADL 2017, Jun 2017, Montpellier, France. pp.117-121
- Accès au bibtex
-
- auteur
- Yamine Aït-Ameur, Idir Ait-Sadoune, Kahina Hacid, Linda Mohand Oussaid
- titre
- Formal modelling of ontologies within Event-B
- article
- First International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development, Nov 2017, Xi’an, China
- Accès au texte intégral et bibtex
-
- auteur
- Linda Mohand Oussaïd, Idir Ait-Sadoune
- titre
- Formal Modelling of Domain Constraints in Event-B
- article
- Model and Data Engineering - 7th International Conference, MEDI 2017, Oct 2017, Barcelone, Spain. pp.153--166, ⟨10.1007/978-3-319-66854-3_12⟩
- Accès au bibtex
-
2016
Conference papers
- auteur
- Jean-Paul Gibson, Idir Ait-Sadoune, Marc Pantel
- titre
- Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction.
- article
- 7th International Symposium, ISoLA 2016, Oct 2016, Corfu, Greece
- Accès au bibtex
-
2015
Journal articles
- auteur
- Linda Mohand Oussaïd, Idir Ait-Sadoune, Yamine Aït-Ameur, Ahmed-Nacer Mohamed
- titre
- Modélisation formelle d’IHM multimodales en sortie avec B Événementiel : approche par généralisation et instanciation
- article
- 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⟩
- Accès au bibtex
-
- auteur
- Linda Mohand Oussaïd, Idir Ait-Sadoune, Yamine Aït-Ameur, Mohamed Ahmed-Nacer
- titre
- A formal model for output multimodal HCI - An Event-B formalization
- article
- 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⟩
- Accès au bibtex
-
Book sections
- auteur
- Idir Ait-Sadoune, Yamine Aït-Ameur
- titre
- Formal Modelling and Verification of Transactional Web Service Composition: A Refinement and Proof Approach with Event-B
- article
- Correct Software in Web Applications and Web Services, Springer, pp.1-27, 2015, Texts & Monographs in Symbolic Computation, 978-3-319-17112-8
- Accès au bibtex
-
2014
Journal articles
- auteur
- Yamine Aït-Ameur, Idir Aït-Sadoune, Mickael Baron, Jean-Marc Mota
- titre
- Vérification et validation formelles de systèmes interactifs fondées sur la preuve : application aux systèmes Multi-Modaux
- article
- Journal d'Interaction Personne-Système, 2014, Volume 1 (1), pp.1-30. ⟨10.46298/jips.59⟩
- Accès au texte intégral et bibtex
-
Conference papers
- auteur
- Linda Mohand-Oussaid, Idir Ait-Sadoune, Yamine Aït-Ameur, Mohamed Ahmed-Nacer
- titre
- Modélisation formelle d’IHM multi-modales en sortie avec B Événementiel
- article
- AFADL 2014, Jun 2014, Paris, France. pp.76-90
- Accès au bibtex
-
- auteur
- Fatma Siala, Idir Ait-Sadoune, Khaled Ghedira
- titre
- A Multi-Agent Based Approach for Composite Web Services Simulation
- article
- MEDI 2014, Sep 2014, Larnaca, Cyprus. pp.65-76, ⟨10.1007/978-3-319-11587-0_8⟩
- Accès au bibtex
-
- auteur
- Jean-Paul Gibson, Idir Ait-Sadoune
- titre
- Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction
- article
- ISoLA 2014, Oct 2014, Corfu, Greece. pp.570-572, ⟨10.1007/978-3-662-45231-8_47⟩
- Accès au bibtex
-
- auteur
- Idir Ait-Sadoune, Yamine Aït-Ameur
- titre
- Composition Operators for Event-B. CO4EB Rodin plugin
- article
- Rodin Workshop 2014, Jun 2014, Toulouse, France
- Accès au bibtex
-
- auteur
- Stéphane Jean, Idir Ait-Sadoune, Ladjel Bellatreche, Ilyes Boukhari
- titre
- On Using Requirements Throughout the Life Cycle of Data Repository
- article
- DEXA 2014, Sep 2014, Munich, Germany. pp.409-416, ⟨10.1007/978-3-319-10085-2_37⟩
- Accès au bibtex
-
2013
Journal articles
- auteur
- Idir Aït-Sadoune, Yamine Aït-Ameur
- titre
- Stepwise development of formal models for web services compositions. Modeling and property verification
- article
- Transactions on Large-Scale Data- and Knowledge-Centered Systems, 2013, 8220/2013, pp.1-33
- Accès au bibtex
-
2012
Conference papers
- auteur
- Yamine Aït-Ameur, Idir Aït-Sadoune
- titre
- Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification.
- article
- 23rd International Conference on Database and Expert Systems Applications (DEXA), Sep 2012, Vienna, Austria. pp.9
- Accès au bibtex
-
- auteur
- Idir Aït-Sadoune, Yamine Aït-Ameur, Mickael Baron
- titre
- Verification and validation of BPEL processes. A proof and animation based approach
- article
- Rodin User and Developer Workshop : Deploy Federated Event, Feb 2012, Fontainebleau, France
- Accès au bibtex
-
2011
Conference papers
- auteur
- Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït-Ameur
- titre
- Modelling information fission in output multi-modal interactive systems using Event B
- article
- 1st International Conference on Model & Data Engineering (MEDI 2011), Sep 2011, OBIDOS, Portugal. pp.200-213, ⟨10.1007/978-3-642-24443-8_22⟩
- Accès au bibtex
-
Book sections
- auteur
- Linda Mohand-Oussaïd, Kamel Nadjet, Idir Aït-Sadoune, Yamine Aït-Ameur, Mohamed Ahmed-Nacer
- titre
- A formal framework for design and validation of multimodal interactive systems in transport domain.
- article
- Christophe Kolski. Human-computer interaction in transport, ISTE Ltd and John Wiley & Sons, Inc, pp.93-128., 2011
- Accès au bibtex
-
2010
Conference papers
- auteur
- Idir Aït-Sadoune
- titre
- BPEL2B : Un outil d'aide à la vérification de la composition de services Web basé sur la preuve et le raffinement
- article
- 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
- Accès au bibtex
-
- auteur
- Idir Aït-Sadoune, Yamine Aït-Ameur
- titre
- Stepwise Design of BPEL Web Services Compositions, An Event B Refinement Based Approach
- article
- 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⟩
- Accès au bibtex
-
- auteur
- Idir Aït-Sadoune, Yamine Aït-Ameur
- titre
- A Proof Based Approach for Formal Verification of Transactional BPEL Web Services
- article
- Abstract State Machines, Alloy, B and Z (ABZ 2010), Feb 2010, Orford, Canada. pp.405-406, ⟨10.1007/978-3-642-11811-1_39⟩
- Accès au bibtex
-
- auteur
- Idir Ait-Sadoune
- titre
- Vérification et Validation de la composition de services Web, Approche basée sur la Preuve et le Raffinement
- article
- 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
- Accès au bibtex
-
Book sections
- auteur
- Linda Mohand-Oussaïd, Kamel Nadjet, Idir Aït-Sadoune, Yamine Aït-Ameur, Mohamed Ahmed-Nacer
- titre
- Un cadre formel pour la conception et la validation de systèmes interactifs multimodaux dans le secteur du transport.
- article
- Christophe Kolski. Interaction homme-machine dans les transports - Personnalisation, Assistance et Information du voyageur, Hermes Science Publications, pp.113-149, 2010
- Accès au bibtex
-
Theses
- auteur
- Idir Ait-Sadoune
- titre
- Modélisation et Vérification Formelles de Compositions de Services. Une Approche Fondée sur le Raffinement et la Preuve
- article
- Modélisation et simulation. Ecole Nationale Supérieure de Mécanique et d'Aérotechnique - Poitiers, 2010. Français. ⟨NNT : 2010ESMA0016⟩
- Accès au texte intégral et bibtex
-
2009
Conference papers
- auteur
- Idir Aït-Sadoune, Yamine Aït-Ameur
- titre
- From BPEL to Event-B
- article
- 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
- Accès au bibtex
-
- auteur
- Idir Aït-Sadoune, Yamine Aït-Ameur
- titre
- A Proof Based Approach for Modelling and Verifying Web Services Compositions
- article
- 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009), Jun 2009, Potsdam, Germany. pp.1-10
- Accès au bibtex
-
2008
Journal articles
- auteur
- Yamine Aït-Ameur, Idir Aït-Sadoune, Mickael Baron, Jean-Marc Mota
- titre
- Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement
- article
- Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2008, 13 (2), pp.127-154
- Accès au bibtex
-
Conference papers
- auteur
- Nabil Belaid, Idir Aït-Sadoune, Yamine Aït-Ameur, Jean-François Rainaud, Stéphane Jean
- titre
- Une architecture orientée services pour la gestion sémantique des données géologiques pour le stockage de CO2
- article
- Le XXVIème congrès INFORSID, May 2008, Fontainebleau, France. pp.67-76
- Accès au bibtex
-
- auteur
- Idir Aït-Sadoune, Yamine Aït-Ameur
- titre
- Animating Event B Models by Formal Data Models
- article
- 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⟩
- Accès au bibtex
-
- auteur
- Yamine Aït-Ameur, Nabil Belaid, Mohammed Bennis, Olivier Corby, Rose Dieng-Kuntz, Jérémie Doucy, Priscille Durville, Chimène Fankam, Fabien L. Gandon, Alain Giboin, Patrick Giroux, Sandrine Grataloup, Bruno Grilheres, Florian Husson, Stéphane Jean, Joel Langlois, Phuc-Hiep Luong, Laura Mastella, Olivier Morel, Michel Perrin, Guy Pierra, Jean-François Rainaud, Idir Aït-Sadoune, Eric Sardet, Francois Tertre, João Francisco Valiati
- titre
- Semantic Hubs for Geological Projects
- article
- Proc. Workshop on Semantic Metadata Management and Applications (SeMMA 2008), Jun 2008, Tenerife, Spain. pp.3-17
- Accès au texte intégral et bibtex
-
- auteur
- Idir Aït-Sadoune
- titre
- Vérification et Validation Formelles de la Composition de Services Web
- article
- Proc. École Jeune Chercheurs en Programmation (EJCP 2008), 2008, Rennes, France
- Accès au bibtex
-
- auteur
- Idir Aït-Sadoune
- titre
- Vérification et Validation Formelles de la Composition de Services Web
- article
- 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
- Accès au bibtex
-
- auteur
- Idir Aït-Sadoune, Yamine Aït-Ameur
- titre
- Verification and Validation of Web Service Composition Using Event B Method
- article
- Abstract State Machines, B and Z (ABZ 2008), Sep 2008, London, United Kingdom. pp.339-340, ⟨10.1007/978-3-540-87603-8_28⟩
- Accès au bibtex
-
2007
Conference papers
- auteur
- Idir Aït-Sadoune
- titre
- B2EXPRESS : Un animateur de modèles B événementiel.
- article
- 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
- Accès au bibtex
-
2006
Conference papers
- auteur
- Yamine Aït-Ameur, Idir Aït-Sadoune, Mickael Baron
- titre
- Étude et comparaison de scénarios de développements formels d'interfaces multi-modales fondés sur la preuve et le raffinement.
- article
- 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
- Accès au texte intégral et bibtex
-
- auteur
- Yamine Aït-Ameur, Idir Aït-Sadoune, Mickael Baron, Jean-Marc Mota
- titre
- Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve.
- article
- 18es Conférence Francophone sur l'Interaction Homme-Machine (IHM 2006)., Apr 2006, Montréal, Canada. pp.123-130, ⟨10.1145/1132736.1132752⟩
- Accès au texte intégral et bibtex
-
- auteur
- Idir Aït-Sadoune, Yamine Aït-Ameur
- titre
- Animation de modèles B par transformation de modèles
- article
- 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
- Accès au bibtex
-