Idir Aït-Sadoune

ORCID

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 9

Top Venues

MEDI

ABZ

Int. J. Softw. Tools Technol. Transf.

CICM

École nationale supérieure de mécanique et d'aérotechnique, Chasseneuil-du-Poitou, Poitiers, France (PHD)

Education History

École nationale supérieure de mécanique et d'aérotechnique, Chasseneuil-du-Poitou, Poitiers, France

PHD

Publications

Achim D. Brucker, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff
Using Deep Ontologies in Formal Software Engineering. ABZ (2023)
Idir Aït-Sadoune
A Floating-Point Numbers Theory for Event-B. MEDI (2023)
Idir Aït-Sadoune, Linda Mohand-Oussaïd
Building Formal Semantic Domain Model: An Event-B Based Approach. MEDI (2019)
Achim D. Brucker, Idir Aït-Sadoune, Paolo Crisafulli, Burkhart Wolff
Using the Isabelle Ontology Framework - Linking the Formal with the Informal. CICM (2018)
Ilyès Boukhari, Stéphane Jean, Idir Aït-Sadoune, Ladjel Bellatreche
The role of user requirements in data repository design. Int. J. Softw. Tools Technol. Transf. 20 (1) (2018)
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
On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. ABZ (2018)
Linda Mohand-Oussaïd, Idir Aït-Sadoune
Formal Modelling of Domain Constraints in Event-B. MEDI (2017)
Yamine Aït Ameur, Idir Aït-Sadoune, Kahina Hacid, Linda Mohand-Oussaïd
Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform. IMPEX/FM&MDD (2017)
J. Paul Gibson, Idir Aït-Sadoune, Marc Pantel
Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. ISoLA (1) (2016)
Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur, Mohamed Ahmed-Nacer
A formal model for output multimodal HCI - An Event-B formalization. Computing 97 (7) (2015)
Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur, Mohamed Ahmed-Nacer
Modélisation formelle d'IHM multimodales en sortie avec B Événementiel. Approche par généralisation et instanciation. Tech. Sci. Informatiques 34 (5) (2015)
J. Paul Gibson, Idir Aït-Sadoune
Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. ISoLA (2) (2014)
Stéphane Jean, Idir Aït-Sadoune, Ladjel Bellatreche, Ilyès Boukhari
On Using Requirements Throughout the Life Cycle of Data Repository. DEXA (2) (2014)
Fatma Siala, Idir Aït-Sadoune, Khaled Ghédira
A Multi-Agent Based Approach for Composite Web Services Simulation. MEDI (2014)
Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur, Mohamed Ahmed-Nacer
Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation. AAAI Spring Symposia (2014)
Idir Aït-Sadoune, Yamine Aït Ameur
Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification. Trans. Large Scale Data Knowl. Centered Syst. 10 (2013)
Yamine Aït Ameur, Idir Aït-Sadoune
Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification. DEXA (1) (2012)
Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur
Modelling Information Fission in Output Multi-modal Interactive Systems Using Event-B. MEDI (2011)
Idir Aït-Sadoune, Yamine Aït Ameur
A Proof Based Approach for Formal Verification of Transactional BPEL Web Services. ASM (2010)
Idir Aït-Sadoune, Yamine Aït Ameur
Stepwise Design of BPEL Web Services Compositions: An Event_B Refinement Based Approach. SERA (selected papers) (2010)
Idir Aït-Sadoune, Yamine Aït Ameur
A Proof Based Approach for Modelling and VerifyingWeb Services Compositions. ICECCS (2009)
Idir Aït-Sadoune, Yamine Aït Ameur
Animating Event B Models by Formal Data Models. ISoLA (2008)
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
Semantic Hubs for Geological Projects. SeMMA (2008)
Idir Aït-Sadoune, Yamine Aït Ameur
Verification and Validation of Web Service Composition Using Event B Method. ABZ (2008)
Yamine Aït Ameur, Idir Aït-Sadoune, Mickaël Baron, Jean-Marc Mota
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. 13 (2) (2008)
Yamine Aït Ameur, Idir Aït-Sadoune, Jean-Marc Mota, Mickaël Baron
Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve. IHM (2006)

Idir Aït-Sadoune.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Idir Aït-Sadoune