David Navarre
TitleCited byYear
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), 18, 2009
1912009
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
1232000
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
942005
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
912010
A Tool-Supported Design Framework for Safety Critical Interactive Systems in Interacting with computers
D Navarre, P Palanque, R Bastide
Elsevier 15 (3), 309-328, 2003
87*2003
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
702001
A model-based approach for real-time embedded multimodal systems in military aircrafts
R Bastide, D Navarre, P Palanque, A Schyn, P Dragicevic
ICMI 4, 243-250, 2004
632004
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
582006
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
472011
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
452008
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
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
442002
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
432011
A Tool-Supported Design Framework for Safety Critical Interactive Systems in Interacting with computers
D Navarre, P Palanque, R Bastide
Elsevier 15 (3), 309-328, 2003
412003
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
34*2009
Exploitation of formal specification techniques for ARINC 661 interactive cockpit applications
E Barboni, D Navarre, P Palanque, S Basnyat
Proceedings of HCI aero conference,(HCI Aero 2006), Seatle, USA, p81-89, 2006
32*2006
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
32*2001
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
312008
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
292015
PetShop: a CASE tool for the Petri Net based specification and prototyping of CORBA systems
O Sy, R Bastide, P Palanque, D Le, D Navarre
Petri nets 2000, 78, 2000
292000
The system can't perform the operation now. Try again later.
Articles 1–20