Follow
David Navarre
Title
Cited by
Cited by
Year
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
2512009
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
1262000
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
1242010
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
1032005
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
922003
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
842001
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
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
732011
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
682007
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 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
602015
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
602011
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
48*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
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
432014
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
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
372016
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
The system can't perform the operation now. Try again later.
Articles 1–20