Idir Ait Sadoune
45
Documents
Présentation
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
- 4
- 3
- 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
Chapitre d'ouvrage
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
Chapitre d'ouvrage
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
Chapitre d'ouvrage
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⟩
Article dans une revue
hal-01438130v1
|
|
Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin PlatformElectronic Proceedings in Theoretical Computer Science, 2018, Proceedings IMPEX 2017 and FM&MDD 2017, EPTCS 271, pp.24 - 33. ⟨10.4204/EPTCS.271.2⟩
Article dans une revue
hal-01797549v1
|
|
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⟩
Article dans une revue
hal-01274680v1
|
|
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⟩
Article dans une revue
hal-01274714v1
|
|
|
|
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⟩
Article dans une revue
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
Article dans une revue
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
Article dans une revue
hal-00634197v1
|
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⟩
Communication dans un congrès
hal-04425554v1
|
|
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⟩
Communication dans un congrès
hal-04425573v1
|
|
|
|
OntoEventB: A Generator of Event-B contexts from Ontologies9th 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 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⟩
Communication dans un congrès
hal-02385378v1
|
|
|
|
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⟩
Communication dans un congrès
hal-01875734v1
|
|
|
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⟩
Communication dans un congrès
hal-01797538v1
|
OntoEventB : Un outil pour la modélisation des ontologies dans B ÉvénementielAFADL 2017, Jun 2017, Montpellier, France. pp.117-121
Communication dans un congrès
hal-01546065v1
|
|
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⟩
Communication dans un congrès
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
Communication dans un congrès
hal-01636944v1
|
Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction.7th International Symposium, ISoLA 2016, Oct 2016, Corfu, Greece
Communication dans un congrès
hal-01430628v1
|
|
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⟩
Communication dans un congrès
hal-01103316v1
|
|
Modélisation formelle d’IHM multi-modales en sortie avec B ÉvénementielAFADL 2014, Jun 2014, Paris, France. pp.76-90
Communication dans un congrès
hal-01103334v1
|
|
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⟩
Communication dans un congrès
hal-01103274v1
|
|
Composition Operators for Event-B. CO4EB Rodin pluginRodin Workshop 2014, Jun 2014, Toulouse, France
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01103304v1
|
|
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
Communication dans un congrès
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
Communication dans un congrès
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⟩
Communication dans un congrès
hal-00629308v1
|
|
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⟩
Communication dans un congrès
hal-00634389v1
|
|
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
Communication dans un congrès
hal-04161854v1
|
|
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⟩
Communication dans un congrès
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
Communication dans un congrès
hal-00634391v1
|
|
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
Communication dans un congrès
hal-00634395v1
|
|
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
Communication dans un congrès
hal-00634398v1
|
|
Vérification et Validation Formelles de la Composition de Services WebProc. École Jeune Chercheurs en Programmation (EJCP 2008), 2008, Rennes, France
Communication dans un congrès
hal-04107785v1
|
|
|
|
Semantic Hubs for Geological ProjectsProc. 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 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⟩
Communication dans un congrès
hal-00634402v1
|
|
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
Communication dans un congrès
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⟩
Communication dans un congrès
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
Communication dans un congrès
hal-04107784v1
|
|
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
Communication dans un congrès
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
Communication dans un congrès
hal-04071950v1
|
|
|
|
É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
Communication dans un congrès
hal-00633903v1
|
|
|
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⟩
Communication dans un congrès
hal-00633908v1
|
|
|
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⟩
Thèse
tel-01819499v1
|