Author: David Navarre
Publication Overview
Publication period start: 2011
Number of co-authors: 18
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Navarre,
David,
Palanque,
Philippe A.,
Ladry,
Jean-François,
Barboni,
Eric
(2009):
ICOs: A model-based user interface description technique dedicated to interactive systems .
In
ACM Transactions on Computer-Human Interaction,
16
(4)
pp. 18.
https://dl.acm.org/doi/10.1145/1614390.1614393
Navarre,
David,
Palanque,
Philippe A.,
Dragicevic,
Pierre,
Bastide,
Remi
(2006):
An approach integrating two complementary model-based environments for the construction of.
In
Interacting with Computers,
18
(5)
pp. 910-941.
https://dx.doi.org/10.1016/j.intcom.2006.03.002
Bastide,
Remi,
Navarre,
David,
Palanque,
Philippe A.
(2003):
A tool-supported design framework for safety critical interactive systems.
In
Interacting with Computers,
15
(3)
pp. 309-328.
Schyn,
Amelie,
Navarre,
David,
Palanque,
Philippe A.,
Nedel,
Luciana Porcher
(2003):
Formal description of a multimodal interaction technique in an immersive virtual reality a.
In:
Proceedings of the 2003 Conference of the Association Francophone dInteraction Homme-Machine
,
2003,
.
pp. 150-157.
https://doi.acm.org/10.1145/1063669.1063690
Lacaze,
Xavier,
Palanque,
Philippe A.,
Navarre,
David
(2002):
Analyse de performance et modéles de Tâches comme support à la conception rat.
In:
Proceedings of the 2002 Conference of the Association Francophone dInteraction Homme-Machine
,
2002,
.
pp. 17-24.
https://doi.acm.org/10.1145/777005.777009
Bastide,
Remi,
Navarre,
David,
Palanque,
Philippe A.,
Schyn,
Amelie,
Dragicevic,
Pierre
(2004):
A model-based approach for real-time embedded multimodal systems in military aircrafts.
In:
Sharma,
Rajeev,
Darrell,
Trevor,
Harper,
Mary P.,
Lazzari,
Gianni,
Turk,
Matthew
(eds.)
Proceedings of the 6th International Conference on Multimodal Interfaces - ICMI 2004
October 13-15,
2004,
State College, PA, USA.
pp. 243-250.
https://doi.acm.org/10.1145/1027933.1027974
Navarre,
David,
Dragicevic,
Pierre,
Palanque,
Philippe A.,
Bastide,
Remi,
Schyn,
Amelie
(2005):
Very-High-Fidelity Prototyping for Both Presentation and Dialogue Parts of Multimodal Inte.
In:
Bastide,
Remi,
Palanque,
Philippe A.,
Roth,
Jorg
(eds.)
Engineering Human Computer Interaction and Interactive Systems, Joint Working Conferences EHCI-DSVIS 2004
July 11-13,
2005,
Hamburg, Germany.
pp. 179-199.
https://dx.doi.org/10.1007/11431879_11
Lacaze,
Xavier,
Palanque,
Philippe A.,
Navarre,
David,
Bastide,
Remi
(2002):
Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive .
In:
Forbrig,
Peter,
Limbourg,
Quentin,
Urban,
Bodo,
Vanderdonckt,
Jean M.
(eds.)
DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop
June 12-14,
2002,
Rostock, Germany.
pp. 208-222.
https://link.springer.de/link/service/series/0558/bibs/2545/25450208.htm
Navarre,
David,
Palanque,
Philippe A.,
Bastide,
Remi,
Sy,
Ousmane
(2000):
Structuring Interactive Systems Specifications for Executability and Prototypability.
In:
DSV-IS 2000
,
2000,
.
pp. 97-119.
https://link.springer.de/link/service/series/0558/bibs/1946/19460097.htm
Navarre,
David,
Palanque,
Philippe A.,
Paterno,
Fabio,
Santoro,
Carmen,
Bastide,
Remi
(2001):
A Tool Suite for Integrating Task and System Models through Scenarios.
In:
Johnson,
Chris
(eds.)
DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop
June 13-15,
2001,
Glasgow, Scotland, UK.
pp. 88-113.
https://link.springer.de/link/service/series/0558/bibs/2220/22200088.htm
Barboni,
Eric,
Conversy,
Stephane,
Navarre,
David,
Palanque,
Philippe A.
(2006):
Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661.
In:
Doherty,
Gavin,
Blandford,
Ann
(eds.)
DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop
July 26-28,
2006,
Dublin, Ireland.
pp. 25-38.
https://dx.doi.org/10.1007/978-3-540-69554-7_3
Navarre,
David,
Palanque,
Philippe A.,
Ladry,
Jean-François,
Basnyat,
Sandra
(2008):
An Architecture and a Formal Description Technique for the Design and Implementation of Re.
In:
Graham,
T. C. Nicholas,
Palanque,
Philippe A.
(eds.)
DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop
July 16-18,
2008,
Kingston, Canada.
pp. 208-224.
https://dx.doi.org/10.1007/978-3-540-70569-7_20
Palanque,
Philippe A.,
Basnyat,
Sandra,
Navarre,
David
(2007):
Improving Interactive Systems Usability Using Formal Description Techniques: Application t.
In:
Holzinger,
Andreas
(eds.)
USAB 2007 - Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society
November, 22,
2007,
Graz, Austria.
pp. 21-40.
https://dx.doi.org/10.1007/978-3-540-76805-0_2
Bernhaupt,
Regina,
Palanque,
Philippe A.,
Winckler,
Marco,
Navarre,
David
(2007):
Usability Study of Multi-modal Interfaces Using Eye-Tracking.
In:
Baranauskas,
Maria Cecília Calani,
Palanque,
Philippe A.,
Abascal,
Julio,
Barbosa,
Simone Diniz Junqueira
(eds.)
DEGAS 2007 - Proceedings of the 1st International Workshop on Design and Evaluation of e-Government Applications and Services
September 11th,
2007,
Rio de Janeiro, Brazil.
pp. 412-424.
https://dx.doi.org/10.1007/978-3-540-74800-7_37
Bastide,
Remi,
Navarre,
David,
Palanque,
Philippe A.,
Schyn,
Amelie,
Dragicevic,
Pierre
(2004):
A model-based approach for real-time embedded multimodal systems in military aircrafts.
In:
Proceedings of the 2004 International Conference on Multimodal Interfaces
,
2004,
.
pp. 243-250.
https://doi.acm.org/10.1145/1027933.1027974
Ladry,
Jean-François,
Navarre,
David,
Palanque,
Philippe A.
(2009):
Formal description techniques to support the design, construction and evaluation of fusion.
In:
Proceedings of the 2009 International Conference on Multimodal Interfaces
,
2009,
.
pp. 185-192.
https://doi.acm.org/10.1145/1647314.1647347
Palanque,
Philippe,
Barboni,
Eric,
Martinie,
Célia,
Navarre,
David,
Winckler,
Marco
(2011):
A model-based approach for supporting engineering usability evaluation of interaction tech.
In:
ACM SIGCHI 2011 Symposium on Engineering Interactive Computing Systems
,
2011,
.
pp. 21-30.
https://dx.doi.org/10.1145/1996461.1996490
Martinie,
Célia,
Palanque,
Philippe,
Navarre,
David,
Winckler,
Marco,
Poupart,
Erwann
(2011):
Model-based training: an approach supporting operability of critical interactive systems.
In:
ACM SIGCHI 2011 Symposium on Engineering Interactive Computing Systems
,
2011,
.
pp. 53-62.
https://dx.doi.org/10.1145/1996461.1996495