David Navarre

	2009
25		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
24		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
23		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
22		David Navarre, Philippe A. Palanque, Sandra Basnyat: A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems. SAFECOMP 2008: 373-386
	2007
21		Regina Bernhaupt, Philippe A. Palanque, Marco Winckler, David Navarre: Usability Study of Multi-modal Interfaces Using Eye-Tracking. INTERACT (2) 2007: 412-424
20		Eric 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
19		David 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
18		Philippe A. Palanque, Sandra Basnyat, David Navarre: Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare. USAB 2007: 21-40
	2006
17		Eric 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
16		David 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
15		David 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
14		David 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
13		Ré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
12		Amé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
11		Ré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
9		Rémi Bastide, David Navarre, Philippe A. Palanque: A model-based tool for interactive prototyping of highly interactive applications. CHI Extended Abstracts 2002: 516-517
8		Xavier 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
7		Xavier 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
6		David 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
5		David 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
4		David 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
2		Rémi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre: Formal specification of CORBA services: experience and lessons learned. OOPSLA 2000: 105-117
	1999
1		Ré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

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