Author: Philippe A. Palanque

Philippe A. Palanque

Philippe A. Palanque

Professor of Computer Science and Head of ICS research team at IRIT

http://www.irit.fr/~Philippe.Palanque/

Publications

Publication period start: 1990
Publication period end: 2011
Number of co-authors: 81

Co-authors

Number of publications with favourite co-authors
Marco Winckler
6
David Navarre
16
Remi Bastide
26

Productive Colleagues

Most productive colleagues in number of publications
Gilbert Cockton
72
Jean M. Vanderdonckt
93
Fabio Paterno
126

Publications

Navarre, David, Palanque, Philippe A., Ladry, Jean-François, Barboni, Eric (2009): ICOs: A model-based user interface description technique dedicated to interactive systems . In ACM Transactions on Computer-Human Interaction, 16 (4) pp. 18. http://doi.acm.org/10.1145/1614390.1614393

Navarre, David, Palanque, Philippe A., Dragicevic, Pierre, Bastide, Remi (2006): An approach integrating two complementary model-based environments for the construction of. In Interacting with Computers, 18 (5) pp. 910-941. http://dx.doi.org/10.1016/j.intcom.2006.03.002

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

Gray, Wayne D., Palanque, Philippe A., Paterno, Fabio (1999): Introduction to the Special Issue on Interface Issues and Designs for Safety-Critical Inte. In ACM Computing Surveys (CSUR), 6 (4) pp. 309-310. http://www.acm.org/pubs/articles/journals/tochi/1999-6-4/p309-gray/p309-gray.pdf

Bastide, Remi, Palanque, Philippe A. (1999): A Visual and Formal Glue between Application and Interaction. In J. Vis. Lang. Comput., 10 (4) pp. 481-507.

Palanque, Philippe A., Paterno, Fabio, Fields, Bob (1998): Designing User Interfaces for Safety Critical Systems. In ACM SIGCHI Bulletin, 30 (4) pp. 37-39. http://www.acm.org/sigchi/bulletin/1998.4/palanque.html

Jacomi, Michelle, Chatty, Stephane, Palanque, Philippe A. (1997): A Making-Movies Metaphor for Structuring Software Components in Highly Interactive Applica. In: Thimbleby, Harold, O'Conaill, Brid, 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., Bastide, Remi (1997): Synergistic Modelling of Tasks, Users and Systems using Formal Specification Techniques. In Interacting with Computers, 9 (2) pp. 129-153.

Palanque, Philippe A., Bastide, Remi (1996): Time Modelling in Petri Nets for the Design of Interactive Systems. In ACM SIGCHI Bulletin, 28 (2) pp. 43-46. http://www.acm.org/sigchi/bulletin/1996.2/Philippe-Palanque.html

Paterno\', Fabio, Palanque, Philippe A. (1996): Formal Methods in Computer Human Interaction: Comparison, Benefits, Open Questions. In ACM SIGCHI Bulletin, 28 (4) pp. 46-48. http://www.acm.org/sigchi/bulletin/1996.4/paterno.html

Palanque, Philippe A., Bastide, Remi (1995): Formal Specification and Verification of CSCW using the Interactive Cooperative Object For. In: Kirby, M. A. R., Dix, Alan J., 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.

Bastide, Remi, 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, Shackel, Brian (eds.) INTERACT 90 - 3rd IFIP International Conference on Human-Computer Interaction August 27-31, 1990, Cambridge, UK. pp. 625-631.

Graham, T. C. Nicholas, Curzon, Paul, Doherty, Gavin, Palanque, Philippe A., Potter, Richard, Roast, Christopher, Smith, Shamus P. (2006): Usability and Computer Games: Working Group Report. In: Doherty, Gavin, Blandford, Ann (eds.) DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop July 26-28, 2006, Dublin, Ireland. pp. 265-268. http://dx.doi.org/10.1007/978-3-540-69554-7_22

Palanque, Philippe A., Paterno, Fabio, Bastide, Remi, Mezzanotte, M. (1996): Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO. In: Bodart, Francois, 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.

Palanque, Philippe A., Bastide, Remi (1994): Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects. In: Paterno, Fabio (eds.) 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.

Navarre, David, Palanque, Philippe A., Paterno, Fabio, Santoro, Carmen, Bastide, Remi (2001): A Tool Suite for Integrating Task and System Models through Scenarios. In: Johnson, Chris (eds.) DSV-IS 2001 - Interactive Systems Design, Specification, and Verification, 8th International Workshop June 13-15, 2001, Glasgow, Scotland, UK. pp. 88-113. http://link.springer.de/link/service/series/0558/bibs/2220/22200088.htm

Moher, Tom, Dirda, Victor, Bastide, Remi, Palanque, Philippe A. (1996): Monolingual, Articulated Modeling of Users, Devices, and Interfaces. In: Bodart, Francois, 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.

Navarre, David, Palanque, Philippe A., Bastide, Remi, Sy, Ousmane (2000): Structuring Interactive Systems Specifications for Executability and Prototypability. In: DSV-IS 2000 , 2000, . pp. 97-119. http://link.springer.de/link/service/series/0558/bibs/1946/19460097.htm

Winckler, Marco, Palanque, Philippe A. (2003): StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Ap. In: Jorge, Joaquim A., Nunes, Nuno Jardim, 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. http://link.springer.de/link/service/series/0558/bibs/2844/28440061.htm

Barboni, Eric, Conversy, Stephane, Navarre, David, Palanque, Philippe A. (2006): Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661. In: Doherty, Gavin, Blandford, Ann (eds.) DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop July 26-28, 2006, Dublin, Ireland. pp. 25-38. http://dx.doi.org/10.1007/978-3-540-69554-7_3

Bastide, Remi, Palanque, Philippe A., Le, Duc-Hoa, Munoz, Jaime (1998): Integrating Rendering Specifications into a Formalism for the Design of Interactive System. In: Markopoulos, Panos, 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.

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

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

Navarre, David, Palanque, Philippe A., Ladry, Jean-François, Basnyat, Sandra (2008): An Architecture and a Formal Description Technique for the Design and Implementation of Re. In: Graham, T. C. Nicholas, 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. http://dx.doi.org/10.1007/978-3-540-70569-7_20

Palanque, Philippe A., Basnyat, Sandra, Navarre, David (2007): Improving Interactive Systems Usability Using Formal Description Techniques: Application t. In: Holzinger, Andreas (eds.) 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. http://dx.doi.org/10.1007/978-3-540-76805-0_2

Baranauskas, Maria Cecília Calani, Palanque, Philippe A., Abascal, Julio, 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, Palanque, Philippe A. (2007): DREAM & TEAM: A Tool and a Notation Supporting Exploration of Options and Traceability of . In: Baranauskas, Maria Cecília Calani, Palanque, Philippe A., Abascal, Julio, 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. http://dx.doi.org/10.1007/978-3-540-74800-7_48

Bernhaupt, Regina, Palanque, Philippe A., Winckler, Marco, Navarre, David (2007): Usability Study of Multi-modal Interfaces Using Eye-Tracking. In: Baranauskas, Maria Cecília Calani, Palanque, Philippe A., Abascal, Julio, 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. http://dx.doi.org/10.1007/978-3-540-74800-7_37

Palanque, Philippe A., 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.

Baranauskas, Maria Cecília Calani, Palanque, Philippe A., Abascal, Julio, 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.

Martinie, Célia, Palanque, Philippe A., Winckler, Marco, Conversy, Stephane (2010): DREAMER: a design rationale environment for argumentation, modeling and engineering requir. In: ACM 28th International Conference on Design of Communication , 2010, . pp. 73-80. http://dx.doi.org/10.1145/1878450.1878463

Bastide, Remi, Navarre, David, Palanque, Philippe A., Schyn, Amelie, Dragicevic, Pierre (2004): A model-based approach for real-time embedded multimodal systems in military aircrafts. In: Proceedings of the 2004 International Conference on Multimodal Interfaces , 2004, . pp. 243-250. http://doi.acm.org/10.1145/1027933.1027974

Lalanne, Denis, Nigay, Laurence, Palanque, Philippe A., Robinson, Peter, Vanderdonckt, Jean, Ladry, Jean-François (2009): Fusion engines for multimodal input: a survey. In: Proceedings of the 2009 International Conference on Multimodal Interfaces , 2009, . pp. 153-160. http://doi.acm.org/10.1145/1647314.1647343

Ladry, Jean-François, Navarre, David, Palanque, Philippe A. (2009): Formal description techniques to support the design, construction and evaluation of fusion. In: Proceedings of the 2009 International Conference on Multimodal Interfaces , 2009, . pp. 185-192. http://doi.acm.org/10.1145/1647314.1647347

Bernhaupt, Regina, Boy, Guy, Feary, Michael, Palanque, Philippe A. (2011): Engineering automation in interactive critical systems. In: Proceedings of ACM CHI 2011 Conference on Human Factors in Computing Systems , 2011, . pp. 69-72. http://dx.doi.org/10.1145/1979742.1979524

Basnyat, Sandra, Chozos, Nick, Johnson, Chris, Palanque, Philippe A. (2005): Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Crit. In: Gilroy, Stephen W., 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. http://dx.doi.org/10.1007/11752707_5

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

Accot, Johnny, Chatty, Stephane, Palanque, Philippe A. (1996): A Formal Description of Low Level Interaction and its Application to Multimodal Interactiv. In: Bodart, Francois, 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.

Navarre, D., Palanque, Philippe A., Bastide, Remi, Schyn, A., Winckler, M., Nedel, L. P., Freitas, C. M. D. S. (2005): A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Ap. In: Proceedings of IFIP INTERACT05: Human-Computer Interaction , 2005, . pp. 170-183. http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1007/11555261_17

Tabary, D., Bastide, Remi, Palanque, Philippe A., 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., 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.

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

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

Palanque, Philippe A., Bastide, Remi (2003): User-Centered Point of View to End-User Development. In: Stephanidis, Constantine (eds.) Proceedings of the Tenth International Conference on Human-Computer Interaction June 22-27, 2003, Crete, Greece. pp. 577-581.

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

Palanque, Philippe A., Bastide, Remi, 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.

Esteban, Olivier, Chatty, Stephane, 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., 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, 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., Schyn, Amelie (2003): A Model-Based Approach for Engineering Multimodal Interactive Systems. In: Proceedings of IFIP INTERACT03: Human-Computer Interaction , 2003, Zurich, Switzerland. pp. 543.

Schyn, Amelie, Navarre, David, Palanque, Philippe A., Nedel, Luciana Porcher (2003): Formal description of a multimodal interaction technique in an immersive virtual reality a. In: Proceedings of the 2003 Conference of the Association Francophone dInteraction Homme-Machine , 2003, . pp. 150-157. http://doi.acm.org/10.1145/1063669.1063690

Accot, Johnny, Chatty, Stephane, Maury, Sébastien, Palanque, Philippe A. (1997): Formal transducers: Models of devices and building bricks for the design of highly interac. In: Harrison, Michael D., 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.

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

Lacaze, Xavier, Palanque, Philippe A., Navarre, David (2002): Analyse de performance et modéles de Tâches comme support à la conception rat. In: Proceedings of the 2002 Conference of the Association Francophone dInteraction Homme-Machine , 2002, . pp. 17-24. http://doi.acm.org/10.1145/777005.777009

Winckler, Marco, Farenc, Christelle, Palanque, Philippe A. (2002): Une démarche structurée pour la conception et l\'évaluation d\'applications . In: Proceedings of the 2002 Conference of the Association Francophone dInteraction Homme-Machine , 2002, . pp. 153-160. http://doi.acm.org/10.1145/777005.777026

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

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

Bastide, Remi, Navarre, David, Palanque, Philippe A., Schyn, Amelie, 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, 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. http://doi.acm.org/10.1145/1027933.1027974

Palanque, Philippe A., Bastide, Remi, Senges, V. (1996): Validating interactive system design through the verification of formal task and system mo. In: Bass, Leonard J., 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.

Bastide, Remi, Palanque, Philippe A., Roth, Jorg (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, Schyn, Amelie (2005): Very-High-Fidelity Prototyping for Both Presentation and Dialogue Parts of Multimodal Inte. In: Bastide, Remi, Palanque, Philippe A., Roth, Jorg (eds.) Engineering Human Computer Interaction and Interactive Systems, Joint Working Conferences EHCI-DSVIS 2004 July 11-13, 2005, Hamburg, Germany. pp. 179-199. http://dx.doi.org/10.1007/11431879_11

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

Lacaze, Xavier, Palanque, Philippe A., Navarre, David, Bastide, Remi (2002): Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive . In: Forbrig, Peter, Limbourg, Quentin, Urban, Bodo, 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. http://link.springer.de/link/service/series/0558/bibs/2545/25450208.htm

Gross, Tom, Gulliksen, Jan, Kotze, Paula, Oestreicher, Lars, Palanque, Philippe A., Prates, Raquel Oliveira, Winckler, Marco (eds.) Human-Computer Interaction - INTERACT 2009, 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part II , 2009, .