dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Jean-François Ladry (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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. Rel. Eng. & Sys. Safety 96(1): 38-52 (2011)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric 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: 165-174
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-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: 81-88
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-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
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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)
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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

Selection of 8 from 10 records - Jean-François Ladry has 13 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page