| 2009 |
|---|
| 12 | EE | Francis Jambon,
Brigitte Meillon:
User experience evaluation in the wild.
CHI Extended Abstracts 2009: 4069-4074 |
| 2006 |
|---|
| 11 | EE | Francis Jambon,
Caroline Golanski,
Pierre-Jacques Pommier:
Évaluation des dispositifs mobiles: sur le terrain ou en laboratoire ?
IHM 2006: 35-42 |
| 2004 |
|---|
| 10 | | Yamine Aït Ameur,
Benoit Breholée,
Patrick Girard,
Laurent Guittet,
Francis Jambon:
Formal Verification and Validation of Interactive Systems Specifications.
Human Error, Safety and Systems Development 2004: 61-76 |
| 9 | EE | Jean Caelen,
Francis Jambon:
Conception participative par "moments".
IHM 2004: 29-36 |
| 2003 |
|---|
| 8 | EE | Francis Jambon:
First steps in the retro-engineering of a GUI toolkit in the B language.
IHM 2003: 118-125 |
| 2002 |
|---|
| 7 | | Francis Jambon:
From Formal Specifications to Secure Implementations.
CADUI 2002: 51-62 |
| 6 | EE | Vincent Lucquiaud,
Dominique L. Scapin,
Francis Jambon:
Outils de modélisation des tâches utilisateurs: exigences du point de vue utilisation.
IHM 2002: 243-246 |
| 2001 |
|---|
| 5 | EE | Francis Jambon,
Patrick Girard,
Yamine Aït Ameur:
Interactive System Safety and Usability Enforced with the Development Process.
EHCI 2001: 39-56 |
| 1999 |
|---|
| 4 | | Francis Jambon,
Patrick Girard,
Yohann Boisdron:
Dialogue Validation from Task Analysis.
DSV-IS 1999: 205-224 |
| 1998 |
|---|
| 3 | | Yamine Aït Ameur,
Patrick Girard,
Francis Jambon:
A Uniform Approach for Specification and Design of Interactive Systems: the B Method.
DSV-IS (2) 1998: 51-67 |
| 2 | | Yamine Aït Ameur,
Patrick Girard,
Francis Jambon:
Using the B Formal Approach for Incremental Specification Design of Interactiv Systems.
EHCI 1998: 91-109 |
| 1996 |
|---|
| 1 | EE | Francis Jambon:
Formal Modelling of Task Interruptions.
CHI Conference Companion 1996: 45-46 |
