An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces. - David Navarre; Philippe A. Palanque; Jean-François Ladry; Sandra Basnyat (DSV-IS, 2008)

A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems. - Philippe A. Palanque; Marco Winckler; Jean-François Ladry; Maurice H. ter Beek; Giorgio P. Faconti; Mieke Massink (EICS, 2009)

High-Fidelity Prototyping of Interactive Systems Can Be Formal Too. - Philippe A. Palanque; Jean-François Ladry; David Navarre; Eric Barboni (HCI (1), 2009)

Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces. - Jean-François Ladry; David Navarre; Philippe A. Palanque (ICMI, 2009)

Fusion engines for multimodal input: a survey. - Denis Lalanne; Laurence Nigay; Philippe A. Palanque; Peter Robinson 001; Jean Vanderdonckt; Jean-François Ladry (ICMI, 2009)

Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs. - Philippe A. Palanque; Jean-François Ladry; Eric Barboni; David Navarre; Marco Winckler (IHM, 2009)

ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability. - David Navarre; Philippe A. Palanque; Jean-François Ladry; Eric Barboni (ACM Trans. Comput. Hum. Interact., 2009)

Beyond modelling: an integrated environment supporting co-execution of tasks and systems models. - Eric Barboni; Jean-François Ladry; David Navarre; Philippe A. Palanque; Marco Winckler (EICS, 2010)

Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction. - Jean-François Ladry; Philippe A. Palanque; David Navarre; Eric Barboni; Marco Winckler (IHM, 2010)

Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach. - David Navarre; Philippe A. Palanque; Eric Barboni; Jean-François Ladry; Célia Martinie (Reliab. Eng. Syst. Saf., 2011)