 | 2009 |
| 6 |  | Philippe A. Palanque,
Marco Winckler,
Jean-François Ladry,
Maurice H. ter Beek,
Giorgio P. Faconti,
Mieke Massink:
A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems.
EICS 2009: 211-220 |
| 5 |  | Philippe A. Palanque,
Jean-François Ladry,
David Navarre,
Eric Barboni:
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too.
HCI (1) 2009: 667-676 |
| 4 |  | Denis Lalanne,
Laurence Nigay,
Philippe A. Palanque,
Peter Robinson,
Jean Vanderdonckt,
Jean-François Ladry:
Fusion engines for multimodal input: a survey.
ICMI 2009: 153-160 |
| 3 |  | Jean-François Ladry,
David Navarre,
Philippe A. Palanque:
Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces.
ICMI 2009: 185-192 |
| 2 |  | Philippe A. Palanque,
Jean-François Ladry,
Eric Barboni,
David Navarre,
Marco Winckler:
Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs.
IHM 2009: 141-150 |
| 2008 |
| 1 |  | David Navarre,
Philippe A. Palanque,
Jean-François Ladry,
Sandra Basnyat:
An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces.
DSV-IS 2008: 208-224 |