Publications HAL

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
https://hal.archives-ouvertes.fr/hal-03265730/file/IAS_Rodin_Workshop_2021.pdf 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
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, EPTCS, 2018, Proceedings IMPEX 2017 and FM&MDD 2017, EPTCS 271, pp.24 - 33. ⟨10.4204/EPTCS.271.2⟩
Accès au bibtex
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, Springer Verlag, 2018, 20 (1), pp.19--34. ⟨10.1007/s10009-016-0443-0⟩
Accès au bibtex
BibTex

Conference papers

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
https://hal.archives-ouvertes.fr/hal-01797538/file/AmeurACGHKMMSV18-1.pdf BibTex
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
https://hal.archives-ouvertes.fr/hal-01875734/file/brucker.ea-isabelle-ontologies-2018.pdf 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
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
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
https://hal.archives-ouvertes.fr/hal-01636944/file/IMPEX_2017_paper_3.pdf 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
BibTex

2015

Journal articles

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, 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⟩
Accès au bibtex
BibTex
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, Lavoisier, 2015, 34 (5), pp.521-546
Accès au bibtex
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
BibTex

2014

Conference papers

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
BibTex
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
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
BibTex
auteur
Linda Mohand-Oussaid, Idir Ait-Sadoune, Yamine Aït-Ameur, Mohamed Ahmed-Nacer
titre
Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation
article
AAAI Spring Symposium 2014, Mar 2014, Palo Alto, United States. pp.38-43
Accès au bibtex
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
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
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, Springer Berlin / Heidelberg, 2013, 8220/2013, pp.1-33
Accès au bibtex
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
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
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
Accès au bibtex
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
BibTex

2010

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, Association Francophone d'Interaction Homme-Machine (AFIHM), 2010, 1 (1), pp.1-30
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00634186/file/3-aitameur_1_.pdf BibTex

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
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
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
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
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
https://hal.archives-ouvertes.fr/tel-01819499/file/Ma%20these.pdf BibTex

2009

Conference papers

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
BibTex
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
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, Lavoisier, 2008, 13 (2), pp.127-154
Accès au bibtex
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
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
Accès au bibtex
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
Accès au bibtex
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
BibTex

2006

Conference papers

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
https://hal.archives-ouvertes.fr/hal-00633908/file/2006-ihm06-yaiambjm.pdf BibTex
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
https://hal.archives-ouvertes.fr/hal-00633903/file/2006-mosim06-yaiabm.pdf BibTex