Philippe A. Palanque

Personal Homepage
http://www.irit.fr/~Philippe.Palanque/
Employer
()
Email
palanque@irit.fr

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

Publication Statistics

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

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

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

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

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

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., 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

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., 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

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

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

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

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

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

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

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

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

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

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.

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.

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 (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.

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.

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

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.

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

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

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

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.

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

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.

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

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

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.

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.

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.

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.

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.

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

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, 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.

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

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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

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.

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.

Benyon, David, Palanque, Philippe A. (1996): Critical Issues in User Interface Systems Engineering, Springer-Verlag,

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, .

Law, Effie Lai-Chong, Hvanberg, Ebba, Cockton, Gilbert, Palanque, Philippe A., Scapin, Dominique L., Springett, Mark, Stary, Christian, Vanderdonckt, Jean M. (2005): Towards the maturation of IT usability evaluation (MAUSE). In: "Human-computer interaction: INTERACT 2005: IFIP TC13 international conference: proceedings. Lecture Notes in Computer Science. (3585)" .