| 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 | 217 | 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 | 124 | 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 | 106 | 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, ... IFIP Conference on Human-Computer Interaction, 170-183, 2005 | 99 | 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 | 93 | 2003 |
| 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 | 73 | 2004 |
| 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 | 71 | 2001 |
| 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 | 62 | 2006 |
| 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 | 55 | 2011 |
| 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 | 52 | 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 | 48 | 2011 |
| 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 | 44 | 2000 |
| 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 | 40 | 2015 |
| 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 | 40* | 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 | 40 | 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 | 34 | 2014 |
| 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 | 34 | 2008 |
| 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 | 34* | 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 | 32 | 2011 |
| 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 | 31 | 2006 |
Philippe PalanqueProfessor in Computer Science, ICS-IRIT, Université Paul Sabatier - Toulouse IIIVerified email at irit.fr
