Idir Aït-Sadoune

30 papers B 1C 10Journal 6Unranked 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
Parametric ontologies in formal software engineering.
Sci. Comput. Program.
Achim D. Brucker, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff
2023 C conf
A Floating-Point Numbers Theory for Event-B.
MEDI
Idir Aït-Sadoune
2023 C conf
Using Deep Ontologies in Formal Software Engineering.
ABZ
Achim D. Brucker, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff
2022 — ed.
Advances in Model and Data Engineering in the Digitalization Era - MEDI 2022 Short Papers and DETECT 2022 Workshop Papers, Cairo, Egypt, November 21-24, 2022, Proceedings
MEDI Workshops
Philippe Fournier-Viger, Ahmed Hassan Yousef, Ladjel Bellatreche, Ahmed Awad, Abderrahim Ait Wakrime, Yassine Ouhammou, Idir Aït-Sadoune
2019 C conf
Building Formal Semantic Domain Model: An Event-B Based Approach.
MEDI
Idir Aït-Sadoune, Linda Mohand-Oussaïd
2018 C conf
On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B.
ABZ
Yamine Aït Ameur, Idir Aït-Sadoune, P. Casteran, J. Paul Gibson, Kahina Hacid, Souad Kherroubi, Dominique Méry, Linda Mohand-Oussaïd, Neeraj Kumar Singh, Laurent Voisin
2018 J jnl
The role of user requirements in data repository design.
Int. J. Softw. Tools Technol. Transf.
Ilyès Boukhari, Stéphane Jean, Idir Aït-Sadoune, Ladjel Bellatreche
2018 C conf
Using the Isabelle Ontology Framework - Linking the Formal with the Informal.
CICM
Achim D. Brucker, Idir Aït-Sadoune, Paolo Crisafulli, Burkhart Wolff
2017 C conf
Formal Modelling of Domain Constraints in Event-B.
MEDI
Linda Mohand-Oussaïd, Idir Aït-Sadoune
2017 — conf
Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform.
IMPEX/FM&MDD
Yamine Aït Ameur, Idir Aït-Sadoune, Kahina Hacid, Linda Mohand-Oussaïd
2016 — conf
Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction.
ISoLA (1)
J. Paul Gibson, Idir Aït-Sadoune, Marc Pantel
2015 J jnl
A formal model for output multimodal HCI - An Event-B formalization.
Computing
Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur, Mohamed Ahmed-Nacer
2015 — ch.
Formal Modelling and Verification of Transactional Web Service Composition: A Refinement and Proof Approach with Event-B.
Correct Software in Web Applications and Web Services
Idir Aït-Sadoune, Yamine Aït Ameur
2015 J jnl
Modélisation formelle d'IHM multimodales en sortie avec B Événementiel. Approche par généralisation et instanciation.
Tech. Sci. Informatiques
Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur, Mohamed Ahmed-Nacer
2014 C conf
A Multi-Agent Based Approach for Composite Web Services Simulation.
MEDI
Fatma Siala, Idir Aït-Sadoune, Khaled Ghédira
2014 — conf
Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation.
AAAI Spring Symposia
Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur, Mohamed Ahmed-Nacer
2014 — conf
On Using Requirements Throughout the Life Cycle of Data Repository.
DEXA (2)
Stéphane Jean, Idir Aït-Sadoune, Ladjel Bellatreche, Ilyès Boukhari
2014 — conf
Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction.
ISoLA (2)
J. Paul Gibson, Idir Aït-Sadoune
2013 J jnl
Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification.
Trans. Large Scale Data Knowl. Centered Syst.
Idir Aït-Sadoune, Yamine Aït Ameur
2012 — conf
Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification.
DEXA (1)
Yamine Aït Ameur, Idir Aït-Sadoune
2011 C conf
Modelling Information Fission in Output Multi-modal Interactive Systems Using Event-B.
MEDI
Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur
2010 — conf
A Proof Based Approach for Formal Verification of Transactional BPEL Web Services.
ASM
Idir Aït-Sadoune, Yamine Aït Ameur
2010 — —
Modélisation et Vérification Formelles de Compositions de Services. Une Approche Fondée sur le Raffinement et la Preuve. (Modelling and verifying services compositions).
Idir Aït-Sadoune
2010 — conf
Stepwise Design of BPEL Web Services Compositions: An Event_B Refinement Based Approach.
SERA (selected papers)
Idir Aït-Sadoune, Yamine Aït Ameur
2009 B conf
A Proof Based Approach for Modelling and VerifyingWeb Services Compositions.
ICECCS
Idir Aït-Sadoune, Yamine Aït Ameur
2008 C conf
Animating Event B Models by Formal Data Models.
ISoLA
Idir Aït-Sadoune, Yamine Aït Ameur
2008 J jnl
Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement.
Ingénierie des Systèmes d Inf.
Yamine Aït Ameur, Idir Aït-Sadoune, Mickaël Baron, Jean-Marc Mota
2008 — conf
Semantic Hubs for Geological Projects.
SeMMA
Yamine Aït Ameur, Nabil Belaid, Mohammed Bennis, Olivier Corby, Rose Dieng-Kuntz, Jérémie Doucy, Priscille Durville, Chimène Fankam, Fabien Gandon, Alain Giboin, Patrick Giroux, Sandrine Grataloup, Bruno Grilhères, Florian Husson, Stéphane Jean, Joël Langlois, Phuc-Hiep Luong, Laura S. Mastella, Olivier Morel, Michel Perrin, Guy Pierra, Jean-François Rainaud, Idir Aït-Sadoune, Eric Sardet, Francois Tertre, João Francisco Valiati
2008 C conf
Verification and Validation of Web Service Composition Using Event B Method.
ABZ
Idir Aït-Sadoune, Yamine Aït Ameur
2006 — conf
Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve.
IHM
Yamine Aït Ameur, Idir Aït-Sadoune, Jean-Marc Mota, Mickaël Baron