Folgen
David Navarre
David Navarre
Université Toulouse 1 Capitole ; IRIT
Bestätigte E-Mail-Adresse bei irit.fr - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
2332009
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
1242000
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
1162010
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
1002005
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
932003
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
792004
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
772001
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
672006
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
652011
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
582011
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
582002
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
482015
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
472000
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
42*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
422008
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
402008
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
382014
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
37*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
352011
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
322016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20