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 | 251 | 2009 |
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 | 126 | 2000 |
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 | 123 | 2010 |
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 | 103 | 2005 |
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 | 92 | 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 | 84 | 2001 |
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 | 83 | 2004 |
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 | 72 | 2011 |
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 | 68 | 2007 |
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 | 61 | 2002 |
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 | 59 | 2011 |
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 | 58 | 2015 |
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 | 50 | 2000 |
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 | 46* | 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 | 44 | 2008 |
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 | 43 | 2008 |
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 | 42 | 2014 |
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 | 37 | 2016 |
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 | 36 | 2014 |
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 | 36 | 2011 |