David Navarre
David Navarre
Université Toulouse 1 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
2102009
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
1022010
A formal description of multimodal interaction techniques for immersive virtual reality applications
D Navarre, P Palanque, R Bastide, A Schyn, M Winckler, LP Nedel, ...
IFIP Conference on Human-Computer Interaction, 170-183, 2005
982005
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
902003
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
742001
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
712004
Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specification
E Barboni, S Conversy, D Navarre, P Palanque
International Workshop on Design, Specification, and Verification of …, 2006
652006
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
542011
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
512002
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
482008
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
462011
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
452000
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
44*2009
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
372015
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
332014
A model-based tool for interactive prototyping of highly interactive applications
D Navarre, P Palanque, R Bastide, O Sy
Proceedings 12th International Workshop on Rapid System Prototyping. RSP …, 2001
33*2001
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
322011
Model-based evaluation: A new way to support usability evaluation of multimodal interactive applications
R Bernhaupt, D Navarre, P Palanque, M Winckler
Maturing usability, 96-119, 2008
322008
Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri nets Based Formal Specification
P Palanque, R Bernhaupt, D Navarre, M Ould, M Winckler
SpaceOps 2006 Conference, 5657, 2006
312006
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20