Idir Ait Sadoune
45
Documents
Presentation
Publications
- 27
- 12
- 5
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 3
- 4
- 1
- 3
- 6
- 1
- 2
- 2
- 6
- 2
- 7
- 1
- 3
Formal Modelling and Verification of Transactional Web Service Composition: A Refinement and Proof Approach with Event-BCorrect Software in Web Applications and Web Services, Springer, pp.1-27, 2015, Texts & Monographs in Symbolic Computation, 978-3-319-17112-8
Book sections
hal-01274690v1
|
|
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
Book sections
hal-00634174v1
|
|
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
Book sections
hal-00634193v1
|
The role of user requirements in data repository designInternational Journal on Software Tools for Technology Transfer, 2018, 20 (1), pp.19--34. ⟨10.1007/s10009-016-0443-0⟩
Journal articles
hal-01438130v1
|
|
Modélisation formelle d’IHM multimodales en sortie avec B Événementiel : approche par généralisation et instanciationRevue 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⟩
Journal articles
hal-01274714v1
|
|
A formal model for output multimodal HCI - An Event-B formalizationComputing, 2015, Special Issue on Contributions of computational intelligence in designing complex information systems, 97 (7), pp.713-740. ⟨10.1007/s00607-015-0460-y⟩
Journal articles
hal-01274680v1
|
|
|
|
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, 2014, Volume 1 (1), pp.1-30. ⟨10.46298/jips.59⟩
Journal articles
hal-00634186v1
|
Stepwise development of formal models for web services compositions. Modeling and property verificationTransactions on Large-Scale Data- and Knowledge-Centered Systems, 2013, 8220/2013, pp.1-33
Journal articles
hal-00831483v1
|
|
Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développementRevue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2008, 13 (2), pp.127-154
Journal articles
hal-00634197v1
|
Using Deep Ontologies in Formal Software EngineeringInternational Conference on Rigorous State-Based Methods, ABZ 2023, May 2023, Nancy, France. pp.15-32, ⟨10.1007/978-3-031-33163-3_2⟩
Conference papers
hal-04425573v1
|
|
A Floating-Point Numbers Theory for Event-BInternational Conference on Model and Data Engineering - MEDI 2023, Nov 2023, Sousse, TUNISIA, Tunisia. pp.30-43, ⟨10.1007/978-3-031-49333-1_3⟩
Conference papers
hal-04425554v1
|
|
|
|
OntoEventB: A Generator of Event-B contexts from Ontologies9th Rodin User and Developer Workshop, Jun 2021, Ulm, Germany
Conference papers
hal-03265730v1
|
Building Formal Semantic Domain Model: An Event-B Based Approach9th International Conference on Model and Data Engineering - MEDI 2019, Oct 2019, Toulouse, France. pp.140-155, ⟨10.1007/978-3-030-32065-2_10⟩
Conference papers
hal-02385378v1
|
|
|
|
On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B6th 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⟩
Conference papers
hal-01797538v1
|
|
|
Using the Isabelle Ontology Framework. Linking the Formal with the InformalInternational Conference on Intelligent Computer Mathematics (CICM), 2018, Hagenberg,, Austria. pp.23--38, ⟨10.1007/978-3-319-96812-4_3⟩
Conference papers
hal-01875734v1
|
OntoEventB : Un outil pour la modélisation des ontologies dans B ÉvénementielAFADL 2017, Jun 2017, Montpellier, France. pp.117-121
Conference papers
hal-01546065v1
|
|
Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin PlatformIMPEX 2017, Nov 2017, Xi'An, China. pp.24 - 33, ⟨10.4204/EPTCS.271.2⟩
Conference papers
hal-01797549v1
|
|
Formal Modelling of Domain Constraints in Event-BModel and Data Engineering - 7th International Conference, MEDI 2017, Oct 2017, Barcelone, Spain. pp.153--166, ⟨10.1007/978-3-319-66854-3_12⟩
Conference papers
hal-01614550v1
|
|
|
|
Formal modelling of ontologies within Event-BFirst International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development, Nov 2017, Xi’an, China
Conference papers
hal-01636944v1
|
Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction.7th International Symposium, ISoLA 2016, Oct 2016, Corfu, Greece
Conference papers
hal-01430628v1
|
|
On Using Requirements Throughout the Life Cycle of Data RepositoryDEXA 2014, Sep 2014, Munich, Germany. pp.409-416, ⟨10.1007/978-3-319-10085-2_37⟩
Conference papers
hal-01103274v1
|
|
Composition Operators for Event-B. CO4EB Rodin pluginRodin Workshop 2014, Jun 2014, Toulouse, France
Conference papers
hal-01103340v1
|
|
Semantic Heterogeneity in the Formal Development of Complex Systems: An IntroductionISoLA 2014, Oct 2014, Corfu, Greece. pp.570-572, ⟨10.1007/978-3-662-45231-8_47⟩
Conference papers
hal-01103304v1
|
|
Modélisation formelle d’IHM multi-modales en sortie avec B ÉvénementielAFADL 2014, Jun 2014, Paris, France. pp.76-90
Conference papers
hal-01103334v1
|
|
A Multi-Agent Based Approach for Composite Web Services SimulationMEDI 2014, Sep 2014, Larnaca, Cyprus. pp.65-76, ⟨10.1007/978-3-319-11587-0_8⟩
Conference papers
hal-01103316v1
|
|
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. pp.9
Conference papers
hal-00726919v1
|
|
Verification and validation of BPEL processes. A proof and animation based approachRodin User and Developer Workshop : Deploy Federated Event, Feb 2012, Fontainebleau, France
Conference papers
hal-00695440v1
|
|
Modelling information fission in output multi-modal interactive systems using Event B1st International Conference on Model & Data Engineering (MEDI 2011), Sep 2011, OBIDOS, Portugal. pp.200-213, ⟨10.1007/978-3-642-24443-8_22⟩
Conference papers
hal-00629308v1
|
|
Stepwise Design of BPEL Web Services Compositions, An Event B Refinement Based Approach8th 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⟩
Conference papers
hal-00634202v1
|
|
BPEL2B : Un outil d'aide à la vérification de la composition de services Web basé sur la preuve et le raffinement10es Journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2010), Jun 2010, Poitiers, France. pp.65-74
Conference papers
hal-00634391v1
|
|
Vérification et Validation de la composition de services Web, Approche basée sur la Preuve et le RaffinementProc. 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
Conference papers
hal-04161854v1
|
|
A Proof Based Approach for Formal Verification of Transactional BPEL Web ServicesAbstract State Machines, Alloy, B and Z (ABZ 2010), Feb 2010, Orford, Canada. pp.405-406, ⟨10.1007/978-3-642-11811-1_39⟩
Conference papers
hal-00634389v1
|
|
From BPEL to Event-BInternational 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
Conference papers
hal-00634398v1
|
|
A Proof Based Approach for Modelling and Verifying Web Services Compositions14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009), Jun 2009, Potsdam, Germany. pp.1-10
Conference papers
hal-00634395v1
|
|
Une architecture orientée services pour la gestion sémantique des données géologiques pour le stockage de CO2Le XXVIème congrès INFORSID, May 2008, Fontainebleau, France. pp.67-76
Conference papers
hal-00634498v1
|
|
Verification and Validation of Web Service Composition Using Event B MethodAbstract State Machines, B and Z (ABZ 2008), Sep 2008, London, United Kingdom. pp.339-340, ⟨10.1007/978-3-540-87603-8_28⟩
Conference papers
hal-00634407v1
|
|
Vérification et Validation Formelles de la Composition de Services WebProc. 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
Conference papers
hal-04107784v1
|
|
|
|
Semantic Hubs for Geological ProjectsProc. Workshop on Semantic Metadata Management and Applications (SeMMA 2008), Jun 2008, Tenerife, Spain. pp.3-17
Conference papers
hal-04107779v1
|
Animating Event B Models by Formal Data ModelsInternational 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⟩
Conference papers
hal-00634402v1
|
|
Vérification et Validation Formelles de la Composition de Services WebProc. École Jeune Chercheurs en Programmation (EJCP 2008), 2008, Rennes, France
Conference papers
hal-04107785v1
|
|
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
Conference papers
hal-00633916v1
|
|
Animation de modèles B par transformation de modèlesProc. 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
Conference papers
hal-04071950v1
|
|
|
|
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. pp.123-130, ⟨10.1145/1132736.1132752⟩
Conference papers
hal-00633908v1
|
|
|
É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. pp.578-588
Conference papers
hal-00633903v1
|
|
|
Modélisation et Vérification Formelles de Compositions de Services. Une Approche Fondée sur le Raffinement et la PreuveModélisation et simulation. Ecole Nationale Supérieure de Mécanique et d'Aérotechnique - Poitiers, 2010. Français. ⟨NNT : 2010ESMA0016⟩
Theses
tel-01819499v1
|