 | 2011 |
|---|
| 9 |       | 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 |
|---|
| 8 | | Idir Aït-Sadoune,
Yamine Aït Ameur:
A Proof Based Approach for Formal Verification of Transactional BPEL Web Services.
ASM 2010: 405-406 |
| 7 | | 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 |
|---|
| 6 | | Idir Aït-Sadoune,
Yamine Aït Ameur:
A Proof Based Approach for Modelling and VerifyingWeb Services Compositions.
ICECCS 2009: 1-10 |
| 2008 |
|---|
| 5 | | Idir Aït-Sadoune,
Yamine Aït Ameur:
Verification and Validation of Web Service Composition Using Event B Method.
ABZ 2008: 339-340 |
| 4 | | Idir Aït-Sadoune,
Yamine Aït Ameur:
Animating Event B Models by Formal Data Models.
ISoLA 2008: 37-55 |
| 3 | | Yamine Aït Ameur,
Nabil Belaid,
Mohammed Bennis,
Olivier Corby,
Rose Dieng-Kuntz,
Jérémie Doucy,
Priscille Durville,
Chimène Fankam,
Fabien L. Gandon,
Alain Giboin,
Patrick Giroux,
Sandrine Grataloup,
Bruno Grilheres,
Florian Husson,
Stéphane Jean,
Joel 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 |
| 2 | | 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'Information 13(2): 127-154 (2008) |
| 2006 |
|---|
| 1 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page