| Formal specification of CORBA services: experience and lessons learned R Bastide, P Palanque, O Sy, D Navarre Proceedings of the 15th ACM SIGPLAN conference on Object-oriented …, 2000 | 126 | 2000 |
| Petri net based design of user-driven interfaces using the interactive cooperative objects formalism PA Palanque, R Bastide Interactive Systems: Design, Specification, and Verification: 1st …, 1995 | 125 | 1995 |
| Validating interactive system design through the verification of formal task and system models P Palanque, R Bastide, V Sengès Engineering for Human-Computer Interaction: Proceedings of the IFIP TC2/WG2 …, 1996 | 115 | 1996 |
| Approaches in unifying Petri nets and the object-oriented approach R Bastide 1st Workshop on Object-Oriented Programming and Models of Concurrency …, 1995 | 109 | 1995 |
| A Petri net based environment for the design of event-driven interfaces R Bastide, P Palanque Application and Theory of Petri Nets 1995: 16th International Conference …, 1995 | 106 | 1995 |
| 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 |
| Petri net objects for the design, validation and prototyping of user-driven interfaces. R Bastide, PA Palanque Interact 90, 625-631, 1990 | 91 | 1990 |
| A framework for organizing web usability guidelines D Scapin, C Leulier, J Vanderdonckt, C Mariage, C Bastien, C Farenc, ... 6th Conference on Human Factors and the Web (HF Web 2000), 2000 | 87 | 2000 |
| Formal specification and prototyping of CORBA systems R Bastide, O Sy, P Palanque ECOOP’99—Object-Oriented Programming: 13th European Conference Lisbon …, 1999 | 85 | 1999 |
| 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 |
| Synergistic modelling of tasks, users and systems using formal specification techniques P Palanque, R Bastide Interacting with computers 9 (2), 129-153, 1997 | 84 | 1997 |
| 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 |
| Design of user-driven interfaces using petri nets and objects PA Palanque, R Bastide, L Dourte, C Sibertin-Blanc Advanced Information Systems Engineering: 5th International Conference …, 1993 | 73 | 1993 |
| 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 | 62 | 2002 |
| Contextual help for free with formal dialogue design P Palanque, R Bastide, L Dourte HCI (2), 615-620, 1993 | 62 | 1993 |
| Verification of an interactive software by analysis of its formal specification P Palanque, R Bastide Human—Computer Interaction: Interact’95, 191-196, 1995 | 61 | 1995 |
| Cooperative objects: A concurrent, petri-net based, object-oriented language R Bastide, C Sibertin-Blanc, P Palanque Proceedings of IEEE Systems Man and Cybernetics Conference-SMC 3, 286-291, 1993 | 61 | 1993 |
| Formal specification as a tool for objective assessment of safety-critical interactive systems P Palanque, R Bastide, F Paternò Human-Computer Interaction INTERACT’97: IFIP TC13 International Conference …, 1997 | 55 | 1997 |
| A visual and formal glue between application and interaction R Bastide, P Palanque Journal of Visual Languages & Computing 10 (5), 481-507, 1999 | 53 | 1999 |
| A tool-supported design framework for safety critical interactive systems R Bastide, D Navarre, P Palanque Interacting with computers 15 (3), 309-328, 2003 | 52 | 2003 |
Philippe PalanqueProfessor in Computer Science, ICS-IRIT, Université Paul Sabatier - Toulouse IIIVerified email at irit.fr
