Jean-François Ladry

Publication Activity (10 Years)

Years Active: 2008-2011
Publications (10 Years): 0

Publications

David Navarre, Philippe A. Palanque, Eric Barboni, Jean-François Ladry, Célia Martinie
Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach. Reliab. Eng. Syst. Saf. 96 (1) (2011)
Jean-François Ladry, Philippe A. Palanque, David Navarre, Eric Barboni, Marco Winckler
Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction. IHM (2010)
Eric Barboni, Jean-François Ladry, David Navarre, Philippe A. Palanque, Marco Winckler
Beyond modelling: an integrated environment supporting co-execution of tasks and systems models. EICS (2010)
Philippe A. Palanque, Jean-François Ladry, David Navarre, Eric Barboni
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too. HCI (1) (2009)
David Navarre, Philippe A. Palanque, Jean-François Ladry, Eric Barboni
ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability. ACM Trans. Comput. Hum. Interact. 16 (4) (2009)
Denis Lalanne, Laurence Nigay, Philippe A. Palanque, Peter Robinson, Jean Vanderdonckt, Jean-François Ladry
Fusion engines for multimodal input: a survey. ICMI (2009)
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)
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)
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)
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)