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

David Navarre Vis

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

*2009
25EEPhilippe 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
24EEPhilippe 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
23EEDavid 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
22EEDavid Navarre, Philippe A. Palanque, Sandra Basnyat: A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems. SAFECOMP 2008: 373-386
2007
21EERegina Bernhaupt, Philippe A. Palanque, Marco Winckler, David Navarre: Usability Study of Multi-modal Interfaces Using Eye-Tracking. INTERACT (2) 2007: 412-424
20EEEric Barboni, David Navarre, Philippe A. Palanque, Sandra Basnyat: A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661. SIES 2007: 250-257
19EEDavid Navarre, Philippe A. Palanque, Eric Barboni, Tomasz Mistrzyk: On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing. TAMODIA 2007: 140-154
18EEPhilippe A. Palanque, Sandra Basnyat, David Navarre: Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare. USAB 2007: 21-40
2006
17EEEric Barboni, Stéphane Conversy, David Navarre, Philippe A. Palanque: Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. DSV-IS 2006: 25-38
16EEDavid Navarre, Philippe A. Palanque, Pierre Dragicevic, Rémi Bastide: An approach integrating two complementary model-based environments for the construction of multimodal interactive applications. Interacting with Computers 18(5): 910-941 (2006)
2005
15EEDavid Navarre, Philippe A. Palanque, Rémi Bastide, Amélie Schyn, Marco Winckler, Luciana Porcher Nedel, Carla Maria Dal Sasso Freitas: A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications. INTERACT 2005: 170-183
2004
14EEDavid Navarre, Pierre Dragicevic, Philippe A. Palanque, Rémi Bastide, Amélie Schyn: Very-High-Fidelity Prototyping for Both Presentation and Dialogue Parts of Multimodal Interactive Systems. EHCI/DS-VIS 2004: 179-199
13EERémi Bastide, David Navarre, Philippe A. Palanque, Amélie Schyn, Pierre Dragicevic: A model-based approach for real-time embedded multimodal systems in military aircrafts. ICMI 2004: 243-250
2003
12EEAmélie Schyn, David Navarre, Philippe A. Palanque, Luciana Porcher Nedel: Formal description of a multimodal interaction technique in an immersive virtual reality application. IHM 2003: 150-157
11EERémi Bastide, David Navarre, Philippe A. Palanque: A tool-supported design framework for safety critical interactive systems. Interacting with Computers 15(3): 309-328 (2003)
2002
10 David Navarre, Philippe A. Palanque, Rémi Bastide: Model-Based Interactive Prototyping of Highly Interactive Applications. CADUI 2002: 205-216
9EERémi Bastide, David Navarre, Philippe A. Palanque: A model-based tool for interactive prototyping of highly interactive applications. CHI Extended Abstracts 2002: 516-517
8EEXavier Lacaze, Philippe A. Palanque, David Navarre, Rémi Bastide: Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems. DSV-IS 2002: 208-222
7EEXavier Lacaze, Philippe A. Palanque, David Navarre: Analyse de performance et modéles de Tâches comme support â la conception rationnelle des systèmes interactifs. IHM 2002: 17-24
2001
6EEDavid Navarre, Philippe A. Palanque, Fabio Paternò, Carmen Santoro, Rémi Bastide: A Tool Suite for Integrating Task and System Models through Scenarios. DSV-IS 2001: 88-113
5EEDavid Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy: A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications. IEEE International Workshop on Rapid System Prototyping 2001: 136-141
2000
4EEDavid Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy: Structuring Interactive Systems Specifications for Executability and Prototypability. DSV-IS 2000: 97-119
3 Rémi Bastide, Ousmane Sy, David Navarre, Philippe A. Palanque: A Formal Specification of the CORBA Event Service. FMOODS 2000: 371-396
2EERémi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre: Formal specification of CORBA services: experience and lessons learned. OOPSLA 2000: 105-117
1999
1EERémi Bastide, Philippe A. Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre: Petri Net Based Behavioural Specification of CORBA Systems. ICATPN 1999: 66-85

Coauthor Index

1Eric Barboni [17] [19] [20] [24] [25]
2Sandra Basnyat [18] [20] [22] [23]
3Rémi Bastide [1] [2] [3] [4] [5] [6] [8] [9] [10] [11] [13] [14] [15] [16]
4Regina Bernhaupt [21]
5Stéphane Conversy [17]
6Pierre Dragicevic [13] [14] [16]
7Carla Maria Dal Sasso Freitas (Carla M. D. S. Freitas) [15]
8Xavier Lacaze [7] [8]
9Jean-François Ladry [23] [24] [25]
10Duc-Hoa Le [1]
11Tomasz Mistrzyk [19]
12Luciana Porcher Nedel [12] [15]
13Philippe A. Palanque [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25]
14Fabio Paternò [6]
15Carmen Santoro [6]
16Amélie Schyn [12] [13] [14] [15]
17Ousmane Sy [1] [2] [3] [4] [5]
18Marco Winckler [15] [21] [24]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)