David Navarre

2007
19	EE	Regina Bernhaupt, Philippe A. Palanque, Marco Winckler, David Navarre: Usability Study of Multi-modal Interfaces Using Eye-Tracking. INTERACT (2) 2007: 412-424
18	EE	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
17	EE	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
16	EE	Philippe A. Palanque, Sandra Basnyat, David Navarre: Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare. USAB 2007: 21-40
2006
15	EE	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
14	EE	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
13	EE	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
12	EE	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
11	EE	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
10	EE	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
9		David Navarre, Philippe A. Palanque, Rémi Bastide: Model-Based Interactive Prototyping of Highly Interactive Applications. CADUI 2002: 205-216
8	EE	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
7	EE	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
2001
6	EE	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	EE	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	EE	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	EE	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	EE	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	[15] [17] [18]
2	Sandra Basnyat	[16] [18]
3	Rémi Bastide	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14]
4	Regina Bernhaupt	[19]
5	Stéphane Conversy	[15]
6	Pierre Dragicevic	[11] [12] [14]
7	Carla Maria Dal Sasso Freitas (Carla M. D. S. Freitas)	[13]
8	Xavier Lacaze	[7]
9	Duc-Hoa Le	[1]
10	Tomasz Mistrzyk	[17]
11	Luciana Porcher Nedel	[13]
12	Philippe A. Palanque	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19]
13	Fabio Paternò	[6]
14	Carmen Santoro	[6]
15	Amélie Schyn	[11] [12] [13]
16	Ousmane Sy	[1] [2] [3] [4] [5]
17	Marco Winckler	[13] [19]