Idir Aït-Sadoune

According to our database, Idir Aït-Sadoune authored at least 28 papers between 2006 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Parametric ontologies in formal software engineering.

Achim D. Brucker, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff

Sci. Comput. Program., 2025

2023

Using Deep Ontologies in Formal Software Engineering.

Achim D. Brucker, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

A Floating-Point Numbers Theory for Event-B.

Idir Aït-Sadoune

Proceedings of the Model and Data Engineering - 12th International Conference, 2023

2019

Building Formal Semantic Domain Model: An Event-B Based Approach.

Idir Aït-Sadoune, Linda Mohand-Oussaïd

Proceedings of the Model and Data Engineering - 9th International Conference, 2019

2018

The role of user requirements in data repository design.

Ilyès Boukhari, Stéphane Jean, Idir Aït-Sadoune, Ladjel Bellatreche

Int. J. Softw. Tools Technol. Transf., 2018

Using the Isabelle Ontology Framework - Linking the Formal with the Informal.

Achim D. Brucker, Idir Aït-Sadoune, Paolo Crisafulli, Burkhart Wolff

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018

On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B.

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

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform.

Yamine Aït Ameur, Idir Aït-Sadoune, Kahina Hacid, Linda Mohand-Oussaïd

Proceedings of the Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), 2017

Formal Modelling of Domain Constraints in Event-B.

Linda Mohand-Oussaïd, Idir Aït-Sadoune

Proceedings of the Model and Data Engineering - 7th International Conference, 2017

2016

Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction.

J. Paul Gibson, Idir Aït-Sadoune, Marc Pantel

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015

Modélisation formelle d'IHM multimodales en sortie avec B Événementiel. Approche par généralisation et instanciation.

Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur, Mohamed Ahmed-Nacer

Tech. Sci. Informatiques, 2015

A formal model for output multimodal HCI - An Event-B formalization.

Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur, Mohamed Ahmed-Nacer

Computing, 2015

Formal Modelling and Verification of Transactional Web Service Composition: A Refinement and Proof Approach with Event-B.

Idir Aït-Sadoune, Yamine Aït Ameur

Proceedings of the Correct Software in Web Applications and Web Services, 2015

2014

A Multi-Agent Based Approach for Composite Web Services Simulation.

Fatma Siala, Idir Aït-Sadoune, Khaled Ghédira

Proceedings of the Model and Data Engineering - 4th International Conference, 2014

Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction.

J. Paul Gibson, Idir Aït-Sadoune

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

On Using Requirements Throughout the Life Cycle of Data Repository.

Stéphane Jean, Idir Aït-Sadoune, Ladjel Bellatreche, Ilyès Boukhari

Proceedings of the Database and Expert Systems Applications, 2014

Formal Modelling of Output Multi-Modal HCI in Event-B: Modalities and Media Allocation.

Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur, Mohamed Ahmed-Nacer

Proceedings of the 2014 AAAI Spring Symposia, 2014

2012

Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification.

Yamine Aït Ameur, Idir Aït-Sadoune

Proceedings of the Database and Expert Systems Applications, 2012

2011

Modelling Information Fission in Output Multi-modal Interactive Systems Using Event-B.

Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur

Proceedings of the Model and Data Engineering - First International Conference, 2011

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

PhD thesis, 2010

Stepwise Design of BPEL Web Services Compositions: An Event_B Refinement Based Approach.

Idir Aït-Sadoune, Yamine Aït Ameur

Proceedings of the Software Engineering Research, 2010

A Proof Based Approach for Formal Verification of Transactional BPEL Web Services.

Idir Aït-Sadoune, Yamine Aït Ameur

Proceedings of the Abstract State Machines, 2010

2009

A Proof Based Approach for Modelling and VerifyingWeb Services Compositions.

Idir Aït-Sadoune, Yamine Aït Ameur

Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

2008

Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement.

Yamine Aït Ameur, Idir Aït-Sadoune, Mickaël Baron, Jean-Marc Mota

Ingénierie des Systèmes d Inf., 2008

Animating Event B Models by Formal Data Models.

Idir Aït-Sadoune, Yamine Aït Ameur

Proceedings of the Leveraging Applications of Formal Methods, 2008

Semantic Hubs for Geological Projects.

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

Proceedings of the First International Workshop on Semantic Metadata Management and Applications, 2008

Verification and Validation of Web Service Composition Using Event B Method.

Idir Aït-Sadoune, Yamine Aït Ameur

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2006

Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve.

Yamine Aït Ameur, Idir Aït-Sadoune, Jean-Marc Mota, Mickaël Baron

Proceedings of the 18th International Conference of the Association Francophone d'Interaction Homme-Machine, 2006