Philippe A. Palanque

Has also published under the name of:
"Philippe Palanque"

Publications by Philippe A. Palanque (bibliography)

-- Choose Citation Style -- Standard format APA format MLA formatBibTex formatEndNote/Refer format what's this?

» 2008 «

Graham, T. C. Nicholas and Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada.

Navarre, David, Palanque, Philippe A., Ladry, Jean-François and Basnyat, Sandra (2008): An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces. In: Graham, T. C. Nicholas and Palanque, Philippe A. (eds.) DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop July 16-18, 2008, Kingston, Canada. pp. 208-224. Available online

» 2007 «

Abascal, Julio, Baranauskas, Cecilia, Barbosa, Simone D. J., Junqueira, Diniz and Palanque, Philippe A. (eds.) Proc. of 11th IFIP TC 13 Int. Conf. on Human-Computer Interaction INTERACT2007 September 10-14, 2007, Rio de Janeiro.

Baranauskas, Cecilia, Palanque, Philippe A., Abascal, Julio and Barbosa, Simone Diniz Junqueira (eds.) Proceedings of the INTERACT 2007 2007, Rio de Janeiro, Brasil.

Palanque, Philippe A., Basnyat, Sandra and Navarre, David (2007): Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare. In: Holzinger, Andreas (ed.) USAB 2007 - Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society November, 22, 2007, Graz, Austria. pp. 21-40. Available online

Baranauskas, Maria Cecília Calani, Palanque, Philippe A., Abascal, Julio and Barbosa, Simone Diniz Junqueira (eds.) DEGAS 2007 - Proceedings of the 1st International Workshop on Design and Evaluation of e-Government Applications and Services September 11th, 2007, Rio de Janeiro, Brazil.

Lacaze, Xavier and Palanque, Philippe A. (2007): DREAM & TEAM: A Tool and a Notation Supporting Exploration of Options and Traceability of Choices for Safety Critical Interactive Systems. In: Baranauskas, Maria Cecília Calani, Palanque, Philippe A., Abascal, Julio and Barbosa, Simone Diniz Junqueira (eds.) DEGAS 2007 - Proceedings of the 1st International Workshop on Design and Evaluation of e-Government Applications and Services September 11th, 2007, Rio de Janeiro, Brazil. pp. 525-540. Available online

Bernhaupt, Regina, Palanque, Philippe A., Winckler, Marco and Navarre, David (2007): Usability Study of Multi-modal Interfaces Using Eye-Tracking. In: Baranauskas, Maria Cecília Calani, Palanque, Philippe A., Abascal, Julio and Barbosa, Simone Diniz Junqueira (eds.) DEGAS 2007 - Proceedings of the 1st International Workshop on Design and Evaluation of e-Government Applications and Services September 11th, 2007, Rio de Janeiro, Brazil. pp. 412-424. Available online

Baranauskas, Maria Cecília Calani, Palanque, Philippe A., Abascal, Julio and Barbosa, Simone Diniz Junqueira (eds.) Interact 2007 - Proceedings of the11th IFIP TC 13 International Conference September 10th-14th, 2007, Rio de Janeiro, Brazil.

Baranauskas, Maria Cecília Calani, Palanque, Philippe A., Abascal, Julio and Barbosa, Simone Diniz Junqueira (eds.) INTERACT 2007 - Proceedings of the 11th IFIP TC13 International Conference on Human-Computer Interaction September 7th, 2007, Rio de Janeiro, Brazil.

» 2006 «

Navarre, David, Palanque, Philippe A., Dragicevic, Pierre and Bastide, Remi (2006): An approach integrating two complementary model-based environments for the construction of multimodal interactive applications. In Interacting with Computers, 18 (5) pp. 910-941

Graham, T. C. Nicholas, Curzon, Paul, Doherty, Gavin, Palanque, Philippe A., Potter, Richard, Roast, Christopher and Smith, Shamus P. (2006): Usability and Computer Games: Working Group Report. In: Doherty, Gavin J. and Blandford, Ann (eds.) DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop July 26-28, 2006, Dublin, Ireland. pp. 265-268. Available online

Barboni, Eric, Conversy, Stephane, Navarre, David and Palanque, Philippe A. (2006): Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. In: Doherty, Gavin J. and Blandford, Ann (eds.) DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop July 26-28, 2006, Dublin, Ireland. pp. 25-38. Available online

» 2005 «

Navarre, D., Palanque, Philippe A., Bastide, Remi, Schyn, A., Winckler, M., Nedel, L. P. and Freitas, C. M. D. S. (2005): A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications. In: Proceedings of IFIP INTERACT05: Human-Computer Interaction 2005. pp. 170-183. Available online

Bastide, Remi, Palanque, Philippe A. and Roth, Jörg (eds.) Engineering Human Computer Interaction and Interactive Systems, Joint Working Conferences EHCI-DSVIS 2004 July 11-13, 2005, Hamburg, Germany.

Navarre, David, Dragicevic, Pierre, Palanque, Philippe A., Bastide, Remi and Schyn, Amelie (2005): Very-High-Fidelity Prototyping for Both Presentation and Dialogue Parts of Multimodal Interactive Systems. In: Bastide, Remi, Palanque, Philippe A. and Roth, Jörg (eds.) Engineering Human Computer Interaction and Interactive Systems, Joint Working Conferences EHCI-DSVIS 2004 July 11-13, 2005, Hamburg, Germany. pp. 179-199. Available online

Basnyat, Sandra, Chozos, Nick, Johnson, Chris and Palanque, Philippe A. (2005): Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems. In: Gilroy, Stephen W. and Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 51-66. Available online

» 2004 «

Bastide, Remi, Navarre, David, Palanque, Philippe A., Schyn, Amelie and Dragicevic, Pierre (2004): A model-based approach for real-time embedded multimodal systems in military aircrafts. In: Sharma, Rajeev, Darrell, Trevor, Harper, Mary P., Lazzari, Gianni and Turk, Matthew (eds.) Proceedings of the 6th International Conference on Multimodal Interfaces - ICMI 2004 October 13-15, 2004, State College, PA, USA. pp. 243-250. Available online

» 2003 «

Bastide, Remi, Navarre, David and Palanque, Philippe A. (2003): A tool-supported design framework for safety critical interactive systems. In Interacting with Computers, 15 (3) pp. 309-328

Palanque, Philippe A., Bastide, Remi and Winckler, M. (2003): Automatic Generation of Interactive Systems: Why A Task Model is not Enough. In: Proceedings of the Tenth International Conference on Human-Computer Interaction 2003. pp. 198-202.

Freitas, C., Cava, R., Winckler, M. and Palanque, Philippe A. (2003): Synergistic Use of Visualisation Technique and Web Navigation Model for Information Space Exploration. In: Proceedings of the Tenth International Conference on Human-Computer Interaction 2003. pp. 1091-1095.

Palanque, Philippe A. and Bastide, Remi (2003): User-Centered Point of View to End-User Development. In: Proceedings of the Tenth International Conference on Human-Computer Interaction 2003. pp. 577-581.

Winckler, M., Palanque, Philippe A., Farenc, C. and Pimenta, M. S. (2003): Who does what with whom in Web Development?. In: Proceedings of the Tenth International Conference on Human-Computer Interaction 2003. pp. 1549-1554.

Palanque, Philippe A. and Schyn, Amelie (2003): A Model-Based Approach for Engineering Multimodal Interactive Systems. In: Proceedings of IFIP INTERACT03: Human-Computer Interaction 2003, Zurich, Switzerland. p. 543.

Schyn, Amelie, Navarre, David, Palanque, Philippe A. and Nedel, Luciana Porcher (2003): Formal description of a multimodal interaction technique in an immersive virtual reality application. In: Proceedings of the 2003 Conference of the Association Francophone dInteraction Homme-Machine 2003. pp. 150-157. Available online

O'Neill, Eamonn, Palanque, Philippe A. and Johnson, Peter (eds.) People and Computers XVII – Proceedings of HCI 2003 Designing for Society September 8–12, 2003, Bath, UK.

Winckler, Marco and Palanque, Philippe A. (2003): StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications. In: Jorge, Joaquim A., Nunes, Nuno Jardim and Cunha, Joao Falcao e (eds.) DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop June 11-13, 2003, Funchal, Madeira Island, Portugal. pp. 61-76. Available online

» 2002 «

Lacaze, Xavier, Palanque, Philippe A. and Navarre, David (2002): Analyse de performance et modéles de Tâches comme support à la conception rationnelle des systèmes interactifs. In: Proceedings of the 2002 Conference of the Association Francophone dInteraction Homme-Machine 2002. pp. 17-24. Available online

Winckler, Marco, Farenc, Christelle and Palanque, Philippe A. (2002): Une démarche structurée pour la conception et l'évaluation d'applications Web par l'exploitation synergique des modèles de tâche et de navigation. In: Proceedings of the 2002 Conference of the Association Francophone dInteraction Homme-Machine 2002. pp. 153-160. Available online

Lacaze, Xavier, Palanque, Philippe A., Navarre, David and Bastide, Remi (2002): Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems. In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo and Vanderdonckt, Jean M. (eds.) DSV-IS 2002 - Interactive Systems. Design, Specification, and Verification, 9th International Workshop June 12-14, 2002, Rostock, Germany. pp. 208-222. Available online

» 2001 «

Tabary, D., Bastide, Remi, Palanque, Philippe A. and Abed, M. (2001): Towards an Interactive Systems Design Based on the User Task with Petri Nets. In: Proceedings of the Ninth International Conference on Human-Computer Interaction 2001. pp. 61-65.

Winckler, M., Pimenta, M., Palanque, Philippe A. and Farenc, C. (2001): Usability Evaluation Methods: What is Still Missing for the Web?. In: Proceedings of the Ninth International Conference on Human-Computer Interaction 2001. pp. 883-887.

Farenc, Christelle, Palanque, Philippe A., Bastien, J. M. Christian, Scapin, Dominique L. and Winckler, Marco (2001): Towards a general guidance and support tool for usability optimization. In: Stephanidis, Constantine (ed.) HCI International 2001 - Proceedings of the 9th International Conference on Human-Computer Interaction August 5-10, 2001, New Orleans, USA. pp. 160-164.

Navarre, David, Palanque, Philippe A., Paterno, Fabio, Santoro, Carmen and Bastide, Remi (2001): A Tool Suite for Integrating Task and System Models through Scenarios. In: Johnson, Chris (ed.) DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop June 13-15, 2001, Glasgow, Scotland, UK. pp. 88-113. Available online

» 2000 «

Navarre, David, Palanque, Philippe A., Bastide, Remi and Sy, Ousmane (2000): Structuring Interactive Systems Specifications for Executability and Prototypability. In: DSV-IS 2000 2000. pp. 97-119. Available online

» 1999 «

Gray, Wayne D., Palanque, Philippe A. and Paterno, Fabio (1999): Introduction to the Special Issue on Interface Issues and Designs for Safety-Critical Interactive Systems: When There is No Room for User Error. In ACM Computing Surveys (CSUR), 6 (4) pp. 309-310

Farenc, Christelle and Palanque, Philippe A. (1999): An Extensible Architecture to Support the Structuring and the efficient Exploitation of Ergonomic Rules. In: Bullinger, Hans-Jörg (ed.) HCI International 1999 - Proceedings of the 8th International Conference on Human-Computer Interaction August 22-26, 1999, Munich, Germany. pp. 1038-1042.

» 1998 «

Palanque, Philippe A., Paterno, Fabio and Fields, Bob (1998): Designing User Interfaces for Safety Critical Systems. In ACM SIGCHI Bulletin, 30 (4) pp. 37-39

Bastide, Remi, Palanque, Philippe A., Le, Duc-Hoa and Munoz, Jaime (1998): Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems. In: Markopoulos, Panos and Johnson, Peter (eds.) DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop June 3-5, 1998, Abingdon, United Kingdom. pp. 171-190.

» 1997 «

Jacomi, Michelle, Chatty, Stephane and Palanque, Philippe A. (1997): A Making-Movies Metaphor for Structuring Software Components in Highly Interactive Applications. In: Thimbleby, Harold, O'Conaill, Brid and Thomas, Peter J. (eds.) Proceedings of the Twelfth Conference of the British Computer Society Human Computer Interaction Specialist Group - People and Computers XII August, 1997, Bristol, England, UK. pp. 155-173.

Palanque, Philippe A. and Bastide, Remi (1997): Synergistic Modelling of Tasks, Users and Systems using Formal Specification Techniques. In Interacting with Computers, 9 (2) pp. 129-153

Accot, Johnny, Chatty, Stephane, Maury, Sébastien and Palanque, Philippe A. (1997): Formal transducers: Models of devices and building bricks for the design of highly interactive systems. In: Harrison, Michael D. and Torres, Juan Carlos (eds.) DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop June 4-6, 1997, Granada, Spain. pp. 143-159.

» 1996 «

Palanque, Philippe A. and Bastide, Remi (1996): Time Modelling in Petri Nets for the Design of Interactive Systems. In ACM SIGCHI Bulletin, 28 (2) pp. 43-46

Paterno', Fabio and Palanque, Philippe A. (1996): Formal Methods in Computer Human Interaction: Comparison, Benefits, Open Questions. In ACM SIGCHI Bulletin, 28 (4) pp. 46-48

Benyon, David and Palanque, Philippe A. (1996): Critical Issues in User Interface Systems Engineering. Springer-Verlag
 View info on Amazon.com or .co.uk  

Palanque, Philippe A., Bastide, Remi and Senges, V. (1996): Validating interactive system design through the verification of formal task and system models. In: Bass, Leonard J. and Unger, Claus (eds.) Engineering for Human-Computer Interaction, Proceedings of the IFIP TC2/WG2.7 Working Conference on Engineering for Human-Computer Interaction August, 1996, Yellowstone Park, USA. pp. 189-212.

Accot, Johnny, Chatty, Stephane and Palanque, Philippe A. (1996): A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems. In: Bodart, Francois and Vanderdonckt, Jean M. (eds.) DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop June 5-7, 1996, Namur, Belgium. pp. 92-104.

Moher, Tom, Dirda, Victor, Bastide, Remi and Palanque, Philippe A. (1996): Monolingual, Articulated Modeling of Users, Devices, and Interfaces. In: Bodart, Francois and Vanderdonckt, Jean M. (eds.) DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop June 5-7, 1996, Namur, Belgium. pp. 312-329.

Palanque, Philippe A., Paterno, Fabio, Bastide, Remi and Mezzanotte, M. (1996): Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO. In: Bodart, Francois and Vanderdonckt, Jean M. (eds.) DSV-IS 1996 - Design, Specification and Verification of Interactive Systems96, Proceedings of the Third International Eurographics Workshop June 5-7, 1996, Namur, Belgium. pp. 162-187.

» 1995 «

Palanque, Philippe A. and Bastide, Remi (1995): Formal Specification and Verification of CSCW using the Interactive Cooperative Object Formalism. In: Kirby, M. A. R., Dix, Alan J. and Finlay, Janet E. (eds.) Proceedings of the Tenth Conference of the British Computer Society Human Computer Interaction Specialist Group - People and Computers X August, 1995, Huddersfield, UK. pp. 213-231.

Esteban, Olivier, Chatty, Stephane and Palanque, Philippe A. (1995): Different Approaches in Visual Interactive Software Construction. In: Proceedings of the Sixth International Conference on Human-Computer Interaction July 9-14, 1995, Tokyo, Japan. pp. 27-32.

Farenc, Christelle, Palanque, Philippe A. and Vanderdonckt, Jean M. (1995): User Interface Evaluation: Is It Ever Usable?. In: Proceedings of the Sixth International Conference on Human-Computer Interaction July 9-14, 1995, Tokyo, Japan. pp. 329-334.

Palanque, Philippe A., Bastide, Remi and Senges, V. (1995): Task Model -- System Model: Towards an Unifying Formalism. In: Proceedings of the Sixth International Conference on Human-Computer Interaction July 9-14, 1995, Tokyo, Japan. pp. 489-494.

Palanque, Philippe A. and Bastide, Remi (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France.

» 1994 «

Palanque, Philippe A. and Bastide, Remi (1994): Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects Formalism. In: Paterno, Fabio (ed.) DSV-IS 1994 - Design, Specification and Verification of Interactive Systems94, Proceedings of the First International Eurographics Workshop June 8-10, 1994, Bocca di Magra, Italy. pp. 383-400.

» 1993 «

Palanque, Philippe A., Bastide, Remi and Dourte, L. (1993): Contextual Help for Free with Formal Dialogue Design. In: Proceedings of the Fifth International Conference on Human-Computer Interaction 1993. pp. 615-620.

» 1990 «

Bastide, Remi and Palanque, Philippe A. (1990): Petri Net Objects for the Design, Validation and Prototyping of User-Driven Interfaces. In: Diaper, Dan, Gilmore, David J., Cockton, Gilbert and Shackel, Brian (eds.) INTERACT 90 - 3rd IFIP International Conference on Human-Computer Interaction August 27-31, 1990, Cambridge, UK. pp. 625-631.

Changes to this page (author)

14 Feb 2010: Enabled abstracts to be shown on Philippe A. Palanque's author page.
05 Feb 2010: Author was edited (approved by an editor)