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
Privacy Settings
By using this site, you accept our Cookie Policy and Terms of Use.
Customize
Accept all

Feel Stuck? Want Freedom?

Get one powerful email each week, like 326,021 others.

Learn to design a life you love.

Next email in
6
days
1
hrs
38
mins
46
secs