• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 30 matches

• 2025
• 
  Achim D. Brucker, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff:
  Parametric ontologies in formal software engineering. Sci. Comput. Program. 241: 103231 (2025)
• 2023
• 
  Idir Aït-Sadoune:
  A Floating-Point Numbers Theory for Event-B. MEDI 2023: 30-43
• 
  Achim D. Brucker, Idir Aït-Sadoune, Nicolas Méric, Burkhart Wolff:
  Using Deep Ontologies in Formal Software Engineering. ABZ 2023: 15-32
• 2022
• 
  Philippe Fournier-Viger, Ahmed Hassan Yousef, Ladjel Bellatreche, Ahmed Awad, Abderrahim Ait Wakrime, Yassine Ouhammou, Idir Aït-Sadoune:
  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. Communications in Computer and Information Science 1751, Springer 2022, ISBN 978-3-031-23118-6 [contents]
• 2019
• 
  Idir Aït-Sadoune, Linda Mohand-Oussaïd:
  Building Formal Semantic Domain Model: An Event-B Based Approach. MEDI 2019: 140-155
• 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): 19-34 (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: 425-430
• 
  Achim D. Brucker, Idir Aït-Sadoune, Paolo Crisafulli, Burkhart Wolff:
  Using the Isabelle Ontology Framework - Linking the Formal with the Informal. CICM 2018: 23-38
• 2017
• 
  Linda Mohand-Oussaïd, Idir Aït-Sadoune:
  Formal Modelling of Domain Constraints in Event-B. MEDI 2017: 153-166
• 
  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: 24-33
• 2016
• 
  J. Paul Gibson, Idir Aït-Sadoune, Marc Pantel:
  Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. ISoLA (1) 2016: 321-324
• 2015
• 
  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): 713-740 (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): 523-548 (2015)
• 
  Idir Aït-Sadoune, Yamine Aït Ameur:
  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 2015: 1-27
• 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
• 
  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: 409-416
• 
  J. Paul Gibson, Idir Aït-Sadoune:
  Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction. ISoLA (2) 2014: 570-572
• 
  Fatma Siala, Idir Aït-Sadoune, Khaled Ghédira:
  A Multi-Agent Based Approach for Composite Web Services Simulation. MEDI 2014: 65-76
• 2013
• 
  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: 1-33 (2013)
• 2012
• 
  Yamine Aït Ameur, Idir Aït-Sadoune:
  Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification. DEXA (1) 2012: 9
• 2011
• 
  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: 200-213
• 2010
• 
  Idir Aït-Sadoune:
  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). École nationale supérieure de mécanique et d'aérotechnique, Chasseneuil-du-Poitou, Poitiers, France, 2010
• 
  Idir Aït-Sadoune, Yamine Aït Ameur:
  A Proof Based Approach for Formal Verification of Transactional BPEL Web Services. ASM 2010: 405-406
• 
  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: 51-68
• 2009
• 
  Idir Aït-Sadoune, Yamine Aït Ameur:
  A Proof Based Approach for Modelling and VerifyingWeb Services Compositions. ICECCS 2009: 1-10
• 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): 127-154 (2008)
• 
  Idir Aït-Sadoune, Yamine Aït Ameur:
  Verification and Validation of Web Service Composition Using Event B Method. ABZ 2008: 339-340
• 
  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: 3-17
• 
  Idir Aït-Sadoune, Yamine Aït Ameur:
  Animating Event B Models by Formal Data Models. ISoLA 2008: 37-55
• 2006
• 
  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: 123-130