David Navarre

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Jean-François Ladry

> Home > Persons > David Navarre

Publications

2011
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/NavarrePBLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/NavarrePBLM11
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): 38-52 (2011)
2010
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/eics/BarboniLNPW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eics/BarboniLNPW10
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: 165-174
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/ihm/LadryPNBW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ihm/LadryPNBW10
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: 81-88
2009
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tochi/NavarrePLB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tochi/NavarrePLB09
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): 18:1-18:56 (2009)
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/hci/PalanqueLNB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hci/PalanqueLNB09
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
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/icmi/LadryNP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmi/LadryNP09
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
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/ihm/PalanqueLBNW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ihm/PalanqueLBNW09
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
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/dsvis/NavarrePLB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsvis/NavarrePLB08
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

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.