Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

8 résultats
Page :
triés par
Image document

É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
Image document

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
Image document

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

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

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
Image document

Semantic Hubs for Geological Projects

 Yamine Aït-Ameur , Nabil Belaid , Mohammed Bennis , Olivier Corby , Rose Dieng-Kuntz , et 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

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
Image document

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 Hacid , et 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
Page :