Author: Philippe A. Palanque

Publications

Co-authors

Marco Winckler

6

David Navarre

16

Remi Bastide

26

Productive Colleagues

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. https://dl.acm.org/doi/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. https://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. https://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. https://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. https://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. https://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.

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.

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. https://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1007/11555261_17

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. https://doi.acm.org/10.1145/1063669.1063690

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. https://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. https://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. https://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. https://dx.doi.org/10.1007/11431879_11

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.

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. https://link.springer.de/link/service/series/0558/bibs/2545/25450208.htm

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.

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 (eds.) DSV-IS 1995 - Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop June 7-9, 1995, Toulouse, France.

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. https://dx.doi.org/10.1007/11752707_5

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.

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.

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. https://link.springer.de/link/service/series/0558/bibs/2844/28440061.htm

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. https://link.springer.de/link/service/series/0558/bibs/1946/19460097.htm

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. https://link.springer.de/link/service/series/0558/bibs/2220/22200088.htm

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

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. https://dx.doi.org/10.1007/978-3-540-69554-7_22

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.

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. https://dx.doi.org/10.1007/978-3-540-69554-7_3

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. https://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. https://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. https://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. https://dx.doi.org/10.1007/978-3-540-74800-7_37

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.

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. https://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. https://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. https://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. https://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. https://dx.doi.org/10.1145/1979742.1979524

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