 | 2009 |
|---|
| 12 |       | Yamine Aït Ameur,
Mickaël Baron,
Nadjet Kamel,
Jean-Marc Mota:
Encoding a process algebra using the Event B method.
STTT 11(3): 239-253 (2009) |
| 2008 |
|---|
| 11 | | 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 |
|---|
| 10 | | 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 |
| 9 | | Yamine Aït Ameur,
Mickaël Baron:
Formal and experimental validation approaches in HCI systems design based on a shared event B model.
STTT 8(6): 547-563 (2006) |
| 2004 |
|---|
| 8 |  | Yamine Aït Ameur,
Mickaël Baron:
Bridging the gap between formal and experimental validation approaches in HCI systems design: use of the event B proof based technique.
ISoLA (Preliminary proceedings) 2004: 74-80 |
| 7 | | Mickaël Baron,
Patrick Girard:
SUIDT: safe user interface design tool.
IUI 2004: 350-351 |
| 2003 |
|---|
| 6 | | Mickaël Baron,
Patrick Girard:
SUIDT: a user interface builder for secure user interfaces.
IHM 2003: 198-201 |
| 5 | | Yamine Aït Ameur,
Mickaël Baron,
Patrick Girard:
Formal Validation of HCI User Tasks.
Software Engineering Research and Practice 2003: 732-738 |
| 2002 |
|---|
| 4 | | Mickaël Baron:
De la conception â la construction d'application sûre.
IHM 2002: 285-286 |
| 3 | | Mickaël Baron:
Intégration d'un modèle de tâche dans une démarche sûre de construction d'interface.
IHM 2002: 73-80 |
| 2 | | Mickaël Baron,
Patrick Girard:
SUIDT: A task model based GUI-Builder.
TAMODIA 2002: 64-71 |
| 2001 |
|---|
| 1 | | Mickaël Baron,
Patrick Girard:
Bringing Robustness to End-User Programming.
HCC 2001: 142- |
