Author: David Navarre
Publications
Co-authors
Productive Colleagues
- Carmen Santoro
- Philippe A. Palanque
- Fabio Paterno
- 33
- 66
- 126
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