| 2008 |
|---|
| 5 | EE | Idir Aït-Sadoune,
Yamine Aït Ameur:
Verification and Validation of Web Service Composition Using Event B Method.
ABZ 2008: 339-340 |
| 4 | EE | Idir Aït-Sadoune,
Yamine Aït Ameur:
Animating Event B Models by Formal Data Models.
ISoLA 2008: 37-55 |
| 3 | EE | 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 | EE | 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 | EE | 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 |
