Seguir
David Navarre
David Navarre
Université Toulouse Capitole ; IRIT
Dirección de correo verificada de irit.fr - Página principal
Título
Citado por
Citado por
Año
ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability
D Navarre, P Palanque, JF Ladry, E Barboni
ACM Transactions on Computer-Human Interaction (TOCHI) 16 (4), 1-56, 2009
2462009
Formal specification of CORBA services: experience and lessons learned
R Bastide, P Palanque, O Sy, D Navarre
ACM SIGPLAN Notices 35 (10), 105-117, 2000
1252000
Beyond modelling: an integrated environment supporting co-execution of tasks and systems models
E Barboni, JF Ladry, D Navarre, P Palanque, M Winckler
Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive …, 2010
1202010
A formal description of multimodal interaction techniques for immersive virtual reality applications
D Navarre, P Palanque, R Bastide, A Schyn, M Winckler, LP Nedel, ...
Human-Computer Interaction-INTERACT 2005: IFIP TC13 International Conference …, 2005
1062005
A Tool-Supported Design Framework for Safety Critical Interactive Systems in Interacting with computers
D Navarre, P Palanque, R Bastide
Interacting with Computers 15 (3), 309-328, 2003
942003
A model-based approach for real-time embedded multimodal systems in military aircrafts
R Bastide, D Navarre, P Palanque, A Schyn, P Dragicevic
Proceedings of the 6th international conference on Multimodal interfaces …, 2004
832004
A tool suite for integrating task and system models through scenarios
D Navarre, P Palanque, F Paternò, C Santoro, R Bastide
International Workshop on Design, Specification, and Verification of …, 2001
822001
Model-based training: an approach supporting operability of critical interactive systems
C Martinie, P Palanque, D Navarre, M Winckler, E Poupart
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive …, 2011
722011
Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specification
E Barboni, S Conversy, D Navarre, P Palanque
Interactive Systems. Design, Specification, and Verification: 13th …, 2007
672007
A model-based tool for interactive prototyping of highly interactive applications
R Bastide, D Navarre, P Palanque
CHI'02 extended abstracts on Human factors in Computing Systems, 516-517, 2002
622002
A model-based approach for supporting engineering usability evaluation of interaction techniques
P Palanque, E Barboni, C Martinie, D Navarre, M Winckler
Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive …, 2011
592011
A generic tool-supported framework for coupling task models and interactive applications
C Martinie, D Navarre, P Palanque, C Fayollas
Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive …, 2015
572015
Structuring interactive systems specifications for executability and prototypability
D Navarre, P Palanque, R Bastide, O Sy
International Workshop on Design, Specification, and Verification of …, 2000
502000
High-fidelity prototyping of interactive systems can be formal too
P Palanque, JF Ladry, D Navarre, E Barboni
International Conference on Human-Computer Interaction, 667-676, 2009
45*2009
A formal approach for user interaction reconfiguration of safety critical interactive systems
D Navarre, P Palanque, S Basnyat
International Conference on Computer Safety, Reliability, and Security, 373-386, 2008
442008
Model-based evaluation: A new way to support usability evaluation of multimodal interactive applications
R Bernhaupt, D Navarre, P Palanque, M Winckler
Maturing usability: Quality in software, interaction and value, 96-119, 2008
432008
An approach for assessing the impact of dependability on usability: application to interactive cockpits
C Fayollas, C Martinie, P Palanque, Y Deleris, JC Fabre, D Navarre
2014 Tenth European Dependable Computing Conference, 198-209, 2014
422014
Multi-models-based engineering of collaborative systems: application to collision avoidance operations for spacecraft
C Martinie, E Barboni, D Navarre, P Palanque, R Fahssi, E Poupart, ...
Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive …, 2014
362014
Self-checking components for dependable interactive cockpits using formal description techniques
A Tankeu-Choitat, D Navarre, P Palanque, Y Deleris, JC Fabre, ...
2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing …, 2011
362011
Systematic automation of scenario-based testing of user interfaces
JC Campos, C Fayollas, C Martinie, D Navarre, P Palanque, M Pinto
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive …, 2016
342016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20