Interacting Humans with Computing Systems

Publications > Journal papers / Edited Books / Selected Publications (2009) / (2008) / (2007) / (2006) / (2005) /...

Publications

Journal Publications

• Basnyat, S, Palanque, P, Schupp, B, Wright, P (2007) Formal socio-technical barrier modelling for safety-critical interactive systems design (2007) Safety Science, Vol 45, Issue 5, June 2007, ISSN: 0925-7535. PDF

• Marco Winckler, Eric Barboni, Philippe Palanque & Christelle Farenc. (2006). What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications? 1st Int. Workshop on Automated Specification and Verification of Web Sites. Valencia, Spain. Electronic Notes Theoretical Computer Science 157(2): 207-211

• David Navarre, Philippe Palanque, Pierre Dragicevic & Rémi Bastide. An Approach Integrating two Complementary Model-based Environments for the Construction of Multimodal Interactive Applications. Interacting with Computers, vol. 18, n°5, 2006, pp. 910-941.

• S. Basnyat, N. Chozos and P. Palanque. Multidisciplinary perspective on accident investigation. Reliability Engineering & System Safety Volume 91, Issue 12 , December 2006, Pages 1502-1520. PDF

• Rémi Bastide, David Navarre &Philippe Palanque. A Tool-Supported Design Framework for Safety Critical Interactive Systems in Interacting with computers, Elsevier, Vol. 15/3, pp 309-328, 2003.

• Palanque, P. and Paternò, F. 2001. Design, specification, and verification of interactive systems. SIGSOFT Softw. Eng. Notes 26, 1 (Jan. 2001), 74-75.

• Rémi Bastide, Ousmane Sy & Philippe Palanque. A formal notation and tool for the engineering of CORBA systems. Concurrency: practice and experience (Wiley) Special issue "Selected papers from ECOOP'99" Vol. 12, n° 14,  pp. 1379-1403, 2000.

• Bastide, R., Palanque, P., Sy, O., and Navarre, D. 2000. Formal specification of CORBA services: experience and lessons learned. SIGPLAN Not. 35, 10 (Oct. 2000), 105-117.

• Rémi Bastide & Philippe Palanque. A Visual and Formal Glue between Application and Interaction. International Journal of Visual Language and Computing, Academic Press Vol. 10, No. 4, 1999, pp. 481-507. 

• Wayne D. Gray, Philippe A. Palanque, Fabio Paternò: Introduction to the special issue on interface issues and designs for safety-critical interactive systems: when there is no room for user error. ACM Trans. Comput.-Hum. Interact. 6(4): 309-310 (1999)

• Isabelle Attali, Rémi Bastide, Mireille Blay, Anne-Marie Dery & Philippe Palanque. Spécifications formelles et approches objets pour les applications Workflow. Revue Technique et Sciences Informatiques Vol. 17, n. 2, 1998.

• Philippe Palanque & Rémi Bastide. Synergistic modelling of tasks, system and users using formal specification techniques Interacting With Computers, Academic Press, 9, 12, pp. 129-153, 1997.

• Philippe Palanque & Rémi Bastide. Time modelling in Petri nets for the design of interactive systems. Revue SIGCHI bulletin, ACM Vol. 28, n°2, p. 43-47, 1996.

• Philippe Palanque & Rémi Bastide. Spécification formelle dans l'ingénierie des interfaces homme-machine Revue Technique et Sciences Informatiques Vol. 14, n. 4, p. 473-500 , 1995.

Edited Books and Conference Proceedings

Recent and selected publications (including journal papers above)

2009

The postscript or pdf files are not available yet please contact me if you want a copy

• Marco Antonio Winckler, Regina Bernhaupt, Philippe Palanque, David Lundin, Kieran Leach, Peter Ryan, Eugenio Alberdi, Lorenzo Strigini. Assessing the usability of open verifiable e-voting systems: a trial with the system Prêt à Voter. International Conference on eGovernment & eGovernance, p. 281-296. (ICE-GOVE 2009) Ankara - Turkey, 2009

• Sandra Steere, Erwann Poupart, Philippe Palanque. An operator-centered, model-based framework for ground segment design, supporting training and operations. Ground System Architectures Workshop (GSAW 2009) (GSAW 2009) Torrance, California, USA

• Philippe Palanque, Jean-François Ladry, David Navarre & Eric Barboni. High-Fidelity Prototyping of Interactive Systems can be Formal too 13th International Conference on Human-Computer Interaction (HCI International 2009) San Diego, CA, USA

• Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink, Philippe Palanque & Marco Winckler Resilience of Interaction Techniques to Interrupts: A Formal Model-based Approach 12th IFIP TC 13 Conference on Human-Computer Interaction (INTERACT 2009) Uppsala, Sweeden

• Philippe Palanque, Marco Winckler, Jean-François Ladry, Maurice H. ter Beek, Giorgio P. Faconti & Mieke Massink, A Formal Approach Supporting the Comparative Predic-tive Assessment of the Interruption-Tolerance of Interactive Systems ACM SIGCHI EICS conference (Engineering Interactive Computing Systems (EICS 2009) Pittsburgh, USA

• David Navarre, Philippe Palanque, Marco Antonio Winckler. Task Models and System Models as a Bridge. In : Human-Centered Software Engineering Software Engineering Models, Patterns and Architectures for HCI. Ahmed Seffah, Jean Vanderdonckt, Michel C. Desmarais (Eds.), Springer, Human-Computer Interaction Series, 2009 (à paraître).

• Denis Lalanne, Laurence Nigay, Philippe Palanque, Peter Robinson, J. Vanderdonckt & J.F. Ladry. Fusion Engines for Multimodal Interfaces: a survey. In : International Conference on Multimodal Interfaces and Workshop on Machine Learning for Multi-modal Interaction (ICMI-MLMI 2009), Cambridge, Massachusetts, USA, 02/11/2009-06/11/2009, ACM, p. 111-118, 2009

• Eugenio Alberdi, Lorenzo Strigini, Kieran Leach, Peter Ryan, Philippe Palanque, Marco Antonio Winckler. Gaining assurance in a voter-verifiable voting system. In International Conference on Dependability (DEPEND 2009), Athens/Vouliagmeni, Greece, 18/06/2009-23/06/2009, IEEE Computer Society, p. 121-128, 2009.

• Jean-François Ladry, David Navarre, Philippe Palanque. Formal Description Techniques to Support the Design, Construction and Evaluation of Fusion Engines for SURE (Safe Usable, Reliable and Evolvable) Multimodal Interfaces. In : International Conference on Multimodal Interfaces and Workshop on Machine Learning for Multi-modal Interaction (ICMI-MLMI 2009), Cambridge, Massachusetts, USA, 02/11/2009-06/11/2009, ACM, p. 135-142, 2009.

2008

The postscript or pdf files are not available yet please contact me if you want a copy

• Faconti, G., Harrison, M., Massink, M., Palanque., P. (2008). The FAERUS Project: Formal Analysis of Evolving Resilient Usable Systems. Fast Abstract Track. The 7th European Dependable Computing Conference (EDCC7). Kaunaas, Lithuania. May 7-9 2008

• Palanque, P., Winckler, M., Bernhaupt, R. (2008) AROVE-v: Assessing the resilience of open verifiable E-voting systems. Fast Abstract Track. The 7th European Dependable Computing Conference (EDCC7). Kaunaas, Lithuania. May 7-9 2008

• Navarre, D., Palanque, P., Basnyat, S., (2008) Usability Service Continuation through Reconfiguration of Input and Output Devices in Safety Critical Interactive Systems. The 27th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2008),  M.D. Harrison and M.-A. Sujan (Eds.): SAFECOMP 2008, LNCS 5219, pp. 373–386, 2008. © Springer-Verlag Berlin Heidelberg 2008.  22-25 September 2008, Newcastle upon Tyne, UK. PDF

• Navarre, D., Palanque, P., Ladry, J.F., Basnyat, S. (2008). An Architecture and a Formal Description Technique for User Interaction Reconfiguration of Safety Critical Interactive Systems. The XVth International Workshop on the Design, Verification and Specification of Interactive Systems (DSVIS 2008). Kingston, Ontario, Canada. July 16-18 2008. PDF

• Palanque, P., Basnyat, S., Poupart, P. (2008) A Model-Based Approach Centred on Operational Procedures for the Development of Reliable and Usable Ground Segment Systems. SpaceOps 2008 12-16 May 2008, Heidelberg, Germany. PDF

• Basnyat, S., Palanque, P., Bernhaupt, R. Poupart, E. Formal Modelling of Incidents and Accidents as a Means for Enriching Training Material for Satellite Control Operations. Joint ESREL 2008 and 17th SRA-Europe Conference. 22 - 25 September, Valencia, Spain. PDF

• Ladry, JF., Palanque, P., Basnyat, S., Barboni, E., Navarre, D., (2008) Dealing with Reliability and Evolvability in Description Techniques for Next Generation User Interfaces. CHI 2008 Workshop on UIDLs for Next Generation User Interfaces, Florence, Italy. April 5-10 2008 PDF

2007

The postscript or pdf files are not available yet please contact me if you want a copy

• Palanque, P., Basnyat, S., Blandford, A., Bernhaupt, R., Boring, R., Johnson, C., & Johnson, P. (2007). Beyond usability for safety critical systems: How to be SURE (safe, usable, reliable, and evolvable)? CHI 2007 Conference Proceedings, Extended Abstracts, 2133-2136.  PDF

• Eric Barboni, David Navarre, Philippe Palanque & Sandra Basnyat. A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661. In proceedings of SIES 2007 - IEEE 2th International Symposium on Industrial Embedded Systems July 4-6, 2007, Lisbon, Portugal. PDF

• Philippe Palanque, Sandra Basnyat & David Navarre. Improving Interactive Systems Usability using Formal Description Techniques: Application to HealthCare. Proceedings of the Symposium on Usability for Healthcare USAB 2007. Graz, Austria, Lecture Notes in Computer Science. *BEST PAPER AWARD* PDF

• David Navarre, Philippe Palanque, Eric Barboni, Tomasz Mistrzyk. On the Benefit of Synergistic Model-based Approach for Safety Critical Interactive System Testing. Proceedings of TAMODIA 2007. Task Models and Diagrams for User Interface Design 2007, Lecture Notes in Computer Science, Toulouse, France, November 7-9, 2007. 

• David Navarre, Philippe Palanque, Jean-François Ladry. Model-based Framework for Addressing Diversity, Usability and Reliability for Safety Critical Interactive Systems. Proceedings of 2nd IET International Conference on System Safety, 22-24 October 2007, Savoy Place, London UK,

• Basnyat, S, Palanque, P, Schupp, B, Wright, P (2007) Formal socio-technical barrier modelling for safety-critical interactive systems design (2007) Safety Science, Vol 45, Issue 5, June 2007, ISSN: 0925-7535.PDF

• Philippe Palanque & Xavier Lacaze. DREAM-TEAM: A Tool and a Notation Supporting Exploration of Options and Traceability of Choices for Safety Critical Interactive Systems. In Proceedings of INTERACT 2007, Rio, Brazil, September 2007, Lecture Notes in Computer Science, Springer Verlag.

• Regina Bernhaupt, Philippe Palanque, Marco Winckler, David Navarre. Usability Study of Multi-Modal Interfaces using Eye-Tracking. Proceedings of INTERACT 2007, Rio, Brazil, September 2007, Lecture Notes in Computer Science, Springer Verlag. 

• Stéphane Conversy, Barboni Eric, Navarre David & Palanque Philippe. Improving modularity of interactive software with the MDPC architecture. Proceedings of EIS (Engineering Interactive Systems) conference 2007, joint HCSE 2007, EHCI 2007 and DSVIS 2007 conferences, Salamanca, Spain, March2007, Lecture Notes in Computer Science, Springer Verlag. 

• Regina Bernhaupt, David Navarre, Philippe Palanque, Marco Winckler. Model-Based Evaluation: A New Way to Support Usability Evaluation of Multimodal Interactive Applications. Accepted for publication to appear in « Maturing Usability: Quality in Software, Interaction and Quality” Springer Verlag, April 2007, Law E., Thora Hvannberg E., Cockton G. & Vanderdonckt J. (Eds.). 

2006

The postscript or pdf files are not available yet please contact me if you want a copy

• Xavier Lacaze, Philippe Palanque, Eric Barboni, Rémi Bastide, David Navarre. From DREAM to Realitiy: Specificities of Interactive Systems Development with respect to Rationale Management.  In : RATIONALE MANAGEMENT IN SOFTWARE ENGINEERING. Allen H. Dutoit, Raymond McCall, Ivan Mistrik, Barbara Paech (Eds.), Springer Verlag, Springer-Verlag/Computer Science Editorial, p. 155-172, 2006.

• Taneva S., Palanque P., Basnyat S., Winckler M., Law E. Analysis of Communication Breakdowns for eHealth Systems Design. 6th Nordic Conference on eHealth and Telemedicine, Helsinki, Finland, August 31 - September 1 2006. Abstract

•  Taneva, S, Palanque, P, Basnyat, S., Winckler, M, Law, E. Clinical Application Design: Task Modelling with Failure in Mind.11th World Congress on Internet in Medicine. MedNet 2006. Poster Presentation. P62. Toronto, Canada, October 15-18 2006. Poster

• Marco Winckler, Eric Barboni, Philippe A. Palanque, Christelle Farenc: (2006). What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications? 1st International Workshop on Automated Specification and Verification of Web Sites. Valencia, Spain. Electr. Notes Theor. Comput. Sci. 157(2): 207-211

• P. Palanque, R. Bernhaupt, R. Boring & C. Johnson (2006) Testing Interactive Software: a Challenge for Usability and Reliability. Special Interest Group, ACM CHI 2006, conference, Montréal, Canda, 2006.

• S. Basnyat, N. Chozos and P. Palanque. Multidisciplinary perspective on accident investigation. Reliability Engineering & System Safety Volume 91, Issue 12 , December 2006, Pages 1502-1520.PDF

• David Navarre, Philippe Palanque, Pierre Dragicevic & Rémi Bastide. An Approach Integrating two Complementary Model-based Environments for the Construction of Multimodal Interactive Applications. Interacting with Computers, vol. 18, n°5, 2006, pp. 910-941.

• Eric Barboni, David Navarre, Philippe Palanque & Didier Bazalgette. PetShop : A Model-Based Tool for the Formal Modelling and Simulation of Interactive Safety Critical Embedded Systems. Proceedings of HCI aero conference (Demonstration) (HCI Aero 2006), Seatle, USA, Sept. 2006.

• Eric Barboni, David Navarre, Philippe Palanque & Sandra Basnyat. Exploitation of Formal Specification Techniques for ARINC 661 Interactive Cockpit Applications. Proceedings of HCI aero conference, (HCI Aero 2006), Seatle, USA, Sept. 2006.  p81-89 PDF

• Eric Barboni, Stéphane Conversy, David Navarre & Philippe Palanque. Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. Proceedings of the 13th conference on Design Specification and Verification of Interactive Systems (DSVIS 2006), Dublin, Ireland, July 2006, Lecture Notes in Computer Science, Springer Verlag. p25-38

• P. Palanque, R. Bernhaupt, D. Navarre,  M. Ould, M. Winckler. Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri net Based Formal Specification. Ninth International Conference on Space Operations, Rome, Italy, June 18-22, 2006. CD-ROM proceedings.

• Sandra Basnyat, David Navarre & Philippe Palanque. Software Hazards & Barriers for Informing the Design of Safety-Critical Interactive Systems.  ESREL 2006-Safety and Reliability conference, Septembre 18-22 2006, Estoril, Portugal. PDF

• Schupp, B., Basnyat, S., Palanque, P., Wright, P. (2006) A Barrier-Approach to Inform Model-Based Design of Safety-Critical Interactive Systems 9th International Symposium of the ISSA Research Section Design process and human factors integration: Optimising company performances 1-3 March 2006 Nice, France PDF

2005

The postscript or pdf files are not available yet please contact me if you want a copy

• Effie Law, Ebba Hvannberg, Jean Vanderdonckt, Christian Stary, Mark Springett, Dominique Scapin, Philippe Palanque, Gilbert Cockton. MAUSE: Network of Usability Excellence. BCS HCI 2005. Poster. Edinburgh, Scotland, September 2005, Springer Verlag.

• Effie L-C Law; Ebba T. Hvannberg; Gilbert Cockton; Philippe Palanque; Dominque Scapin; Mark Springett; Christian Stary; Jean Vanderdonckt. Towards the Maturation of IT Usability Evaluation (MAUSE).  Interact 2005 Short Paper. Roma, Italy, September 2005, Lecture Notes in Computer Science, Springer Verlag.

• Gilbert Cockton, Ebba Hvannberg, Effie Law, Philippe Palanque, Mark Springett, Christian Stary, Jean Vanderdonckt. COST 294: A Usability Research Community. Interact 2005 organisational overview. Roma, Italy, September 2005, Lecture Notes in Computer Science, Springer Verlag

• Sandra Basnyat, David Navarre & Philippe Palanque. Complexity of Design in Safety Critical Interactive Systems: Gathering, Refining, Formalizing Multi-Type and Multi-Source Information while Ensuring Consistency, Reliability, Efficiency and Error-Tolerance, Workshop on Complexity in Design, Glasgow, March 2005. PDF

• David Navarre, Philippe Palanque, Rémi Bastide & Marco Winckler. What User Interface Tools are needed for Safety Critical Interactive Systems? CHI 2005 Workshop on The Future of User Interface Software Tools, Portland, Oregon, April, 2005.

• Basnyat, S., Chozos, N., Johnson, C., Palanque, P. (2005) Redesigning an Interactive Safety-Critical System to Prevent an Accident from Reoccurring. 24th European Annual Conference on Human Decision Making and Manual Control. (EAM) Organised by the Institute of Communication and Computer Systems. 17-19 October 2005. Athens, Greece PDF

• Sandra Basnyat, Nick Chozos, Chris Johnson & Philippe Palanque. Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems. Proceedings of the 12th conference on Design Specification and Verification of Interactive Systems (DSVIS 2005), Newcastle, UK, July 2005, Lecture Notes in Computer Science, Springer Verlag. PDF

• Remi Bastide, Eric Barboni, Xavier Lacaze, David Navarre, Philippe Palanque, Amélie Schyn & Didier Bazalgette. Supporting INTUITION through formal specification of the User Interface for military aircraft cockpit. In procedings of HCI International 2005, Las Vegas, July 2005.

• Rémi Bastide, Xavier Lacaze, David Navarre, Philippe Palanque & Michel Galindo. Can we Rationalise the Design and Construction of Air Traffic Management Systems? In procedings of HCI International 2005, Las Vegas, July 2005.

• David Navarre, Philippe Palanque, Rémi Bastide, Amélie Schyn, Marco Winckler, Luciana P. Nedel, Carla M.D.S. Freitas. A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications. Proceedings of INTERACT 2005, Roma, Italy, September 2005, Lecture Notes in Computer Science, Springer Verlag. 

• Xavier Lacaze, Philippe Palanque, Eric Barboni & David Navarre. Design Rationale for Increasing Profitability of Interactive Systems Development. In Encyclopedia of HCI, C. Gaoui (Ed.). ISBN: 1-59140-562-9. Hard Cover. Publisher: Idea Group Reference Pub Date: July 2005. Pages: 650.

• Rémi Bastide, David Navarre & Philippe Palanque. Tool Support for Interactive Prototyping of Safety Critical Interactive Applications. In Encyclopedia of HCI, C. Gaoui (Ed.). ISBN: 1-59140-562-9. Hard Cover. Publisher: Idea Group Reference Pub Date: July 2005. Pages: 650.

2004

The postscript or pdf files are not available yet please contact me if you want a copy

• Rémi Bastide, David Navarre, Philippe Palanque, Amélie Schyn & Pierre Dragicevic. A Model-Based Approach for Real-Time Embedded Multimodal Systems in Military Aircrafts. Sixth International Conference on Multimodal Interfaces (ICMI'04) October 14-15, 2004 Pennsylvania State University, USA. p243 - 250

• Philippe Palanque & Sandra Basnyat. Task Patterns for Taking into account in an efficient and systematic way both standard and erroneous user behaviours. HESSD 2004 Conference co-chair (with Chris Johnson) 6th International Working Conference on Human Error, Safety and System Development, 22-27 August 2004, Toulouse, France (within the IFIP World Computing Congress WCC 04). PDF

• David Navarre, Philippe Palanque & Rémi Bastide. A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC 661 Specification. HCI-Aero'04 Toulouse, France, 29 September-1st October 2004. CD-ROM proceedings.

• Pierre Dragicevic, David Navarre, Philippe Palanque, Amélie Schyn & Rémi Bastide. Very-High-Fidelity Prototyping for both Presentation and Dialogue Parts of Multimodal Interactive Systems. DSVIS/EHCI 2004  joint conference 11th workshop on Design Specification and Verification of Interactive Systems and Engineering for HCI, Tremsbüttel Castle, Hamburg, Germany, July 11-13, 2004.

• Marco A.Winckler, Eric Barboni, Christelle Farenc, Philippe Palanque. SWCEditor: A Model-based Tool for interactive Modelling of Web Navigation. CADUI 2004 5th International Conference on Computer-Aided Design of User Interfaces", January 14-16, 2004. Madeira Island, Portugal.

• Winckler, M. A., Palanque, P., and Freitas, C. M. 2004. Tasks and scenario-based evaluation of information visualization techniques. In Proceedings of the 3rd Annual Conference on Task Models and Diagrams (Prague, Czech Republic, November 15 - 16, 2004). TAMODIA '04, vol. 86. ACM, New York, NY, 165-172

• Philippe Palanque, Chris Johnson, Floor Koornneef, Gerd Szwillus, Peter Wright. Safety-Critical Interaction: Usability in Incidents and Accidents. CHI 2004 Special Interest Group. CHI 2004 conference companion,Vienna, May 2004, ACM Press. PDF

• Lacaze Xavier, Palanque Philippe. Comprehensive Handling of Temporal Issues in Tasks Models: What is needed and How to Support it? CHI 2004 Workshop on The Temporal Aspects Of Work For HCI. CHI 2004 Vienna, May 2004. PDF

• M. Ould, R. Bastide, D. Navarre, P. Palanque, F. Rubio, A. Schyn. Multimodal and 3D Graphic Man-Machine Interfaces to Improve Operations. Eighth International Conference on Space Operations, Montréal, Canada, May 17 - 21, 2004.

2003

The postscript files are not available yet please contact me if you want a copy

• Peter Johnson, Guy Boy, Phillippe Palanque & Tom Rodden. Identifying the Grand Research challenges for HCI and how the Community Can Best Meet Them.  Panel at the BCS HCI 2003 conference, Bath, UK.

• Rémi Bastide & Palanque, Philippe. UML for Interactive Systems: What is Missing in Workshop on Software Engineering and HCI,  INTERACT 2003, IFIP TC 13 conference on Human Computer Interaction.

• Amélie Schyn, David Navarre, Philippe Palanque & Luciana Porcher Nedel. Description Formelle d’une Technique d’Interaction Multimodale dans une Application de Réalité Virtuelle Immersive, Proceeding of the 15th French Speaking conference on human-computer interaction (IHM'2003), November 25-28, 2003. Cäen, France.

• Luciana Porcher Nedel, Carla Maria Dal Sasso Freitas, Amélie Schyn, David Navarre, Philippe Palanque. Usando Modelagem Formal para Especificar Interação em Ambientes Virtuais: Por que?, Proceeding of VI Symposium on Virtual Reality. (SVR 2003), Brazilian Computer Society, 2003. v. 6, p. 81-92. October 15-18 2003. Ribeirão Preto, Brazil.

• Barboni Eric, Bastide Rémi, Lacaze Xavier, Navarre David and Palanque Philippe. Petri Net Centered versus User Centered Petri Nets Tools. 10th Workshop Algorithms and Tools for Petri Nets, AWPN 2003; September 26-27, 2003. Eichstätt, Germany.

• Navarre, David, Palanque, Philippe, Bastide, Rémi. A Tool-Supported Design Framework for Safety Critical Interactive Systems in Interacting with computers, Elsevier, Vol. 15/3, pp 309-328.

• Palanque, Philippe, Amélie Schyn. A Model-Based Approach for Engineering Multimodal Interactive Systems in INTERACT 2003, IFIP TC 13 conference on Human Computer Interaction. .

• Philippe Palanque, Rémi Bastide. UAHCI 2003. User-Centered Point of View to End-User Development. Universal Access for Human-Computer Interaction 2003, Heracklion, Crete, June 2003.

• Marco Winckler, Philippe Palanque, Christelle Farenc, Marcelo Soares Pimenta. Who does what with whom in Web Development? TAMODIA 2003. Task Models and Diagrams for User Interface Design 2003, Heracklion, Crete, June 2003.  

• Winckler, M.; Palanque, P. StateWebCharts: a Formal Description Technique Dedicated to Navigation Modelling of Web Applications. International Workshop on Design, Specification and Verification of Interactive Systems - (DSVIS'2003), Funchal, Portugal, June 2003. Lecture Notes in Computer Science n° 2669.  

• Philippe Palanque, Rémi Bastide, Marco Winckler. Automatic Generation of Interactive Systems: Why A Task Model is not Enough. In proceedings of Human-Computer Interaction Internationnal, Heracklion, Crete, June 2003.

• Carla Freitas, Ricardo Cava, Marco Winckler, Philippe Palanque. Synergistic Use of Visualisation Technique and Web Navigation Model for Information Space Exploration. In proceedings of Human-Computer Interaction Internationnal, Heracklion, Crete, June 2003.

• Simone Diniz Junqueira Barbosa, Philippe Palanque, Rémi Bastide. Some Generic Mechanisms for Increasing the Usability of EUD Environments. CHI 2003 workshop on Perspectives in End-User Development. Fort Lauderdale, April 2003.

• Navarre, David, Palanque, Philippe, Bastide, Rémi. Notations en Interaction Homme-Machine pour une Modélisation Synergique des Tâches et du Système. Chapitre du livre Ingénierie cognitive: IHM et cognition (Traité des Sciences Cognitives). Editeur Guy Boy. Hermès éditions, 2003.ISBN 2-7462-0571-8 

2002

The postscript files are not available yet please contact me if you want a copy

• Navarre, David; Palanque, Philippe & Bastide, Rémi. Reconciling Safety and Usability Concerns through Formal Specification-based Development Process HCI-Aero'02 MIT, USA, 23-25 October, 2002

• Navarre, David; Palanque, Philippe & Bastide, Rémi. A Model-Based Interactive Prototyping of Highly Interactive Applications CADUI'02, 3rd trienal conference on Computer Aided Design of User Interfaces, Valenciennes, May 15-17, 2002, France

• Lacaze Xavier, Palanque Philippe, Navarre David; & Bastide Rémi. Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems. DSV-IS'02 9th workshop on Design Specification and Verification of Interactive Systems, University of Rostock, 12-14 June 2002. 

• Bastide, Rémi, Navarre, David & Palanque, Philippe. A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications. Full demonstration, ACM CHI 2002 conference on Human Factors for Computing Systems. Minneapolis, USA, 20-25 April 2002. 

• Winckler Marco, Palanque Philippe, Farenc Christelle, Pimenta Marcelo. Task-Based Assessment of Web Navigation Design  TAMODIA'02 Task Models and Diagrams for User Interface Design 2002, Bucharest, Romania. 

• Philippe Palanque, Amélie Schyn. A Generic Formal Description Technique for Fusion Mechanisms of Multimodal Interactive Systems. Workshop on Multimodal Resources and Multimodal Systems Evaluation Saturday, June 1, 2002  Palacio de Congreso de Canarias.

• Lacaze Xavier, Palanque Philippe and Navarre David. Evaluation de Performance et Modèles de Tâches comme Support à la Conception Rationnelle des Systèmes Interactifs. In 14th French-speakingconference on human computer-interaction, IHM 2002 ; November 26-29, 2002. Poitiers, France, ACM Press, pp. 17-24.

2001

The postscript files are not available yet please contact me if you want a copy

• Navarre, David; Palanque, Philippe; Bastide, Rémi; Paternó, Fabio, and Santoro, Carmen. "A tool suite for integrating task and system models through scenarios.” In 8th Eurographics workshop on Design, Specification and Verification of Interactive Systems, DSV-IS'2001; June 13-15, 2001. Glasgow, Scotland: Lecture notes in computer science, no. 2220. Springer; 2001

• Navarre, David, Palanque, Philippe; Bastide, Rémi, and Sy, Ousmane A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications. 12th IEEE, International Workshop on Rapid System Prototyping ; Monterey (USA). IEEE ; 2001.

• Rémi Bastide, Philippe Palanque. Modelling a groupware editing tool with cooperative Objects. Advances in Petri nets 98, Lectude Notes in Computer Science n°2000, Springer Verlag.

• Winckler, Marco, Pimenta, Marcelo, Palanque Philippe, Farenc, Christelle. Usability Evaluation Methods: What is still missing for the Web? HCI International 2001 conference, 5-10 August, New Orleans, USA.

• Farenc, Christelle, Palanque, Philippe, Bastien, Christian, Scapin, Dominique, Winckler, Marco. Towards a General Guidance and Support Tool for Usability Optimization. International Conference on Universal Access in Human-Computer (UAHCI 2001), 5-10 August, New Orleans, USA.

• Winckler, Marco, Farenc, Christelle, Palanque Philippe, Bastide, Rémi. Designing Navigation for Web Interfaces. In Proceedings IHM-HCI2001, Lille, France, 10-14 Sep. 2001 (Short paper). 

• Winckler, Marco, Farenc, Christelle, Palanque Philippe, Pimenta, Marcelo. Avaliação da Navegação de Interfaces Web a partir de Modelos. IHC'2001, October 14-19, 2001, Florianópolis, Brazil. 

2000

The postscript files are not available yet please contact me if you want a copy

• Bastide, Rémi; Sy, Ousmane; Navarre, David, and Palanque, Philippe. A formal specification of the CORBA event service. IFIP TC6/WG6.1 4th international conference on formal methods for open object-based distributed systems (FMOODS 2000); Stanford university, California, USA. Kluwer; 2000. p371 - 395

• Bastide, Rémi; Sy, Ousmane, and Palanque, Philippe. A formal notation and tool for the engineering of CORBA systems. Concurrency: practice and experience (Wiley) Special issue "Selected papers from ECOOP'99" Vol. 12, pp. 1379-1403, 2000.

• Bastide, Rémi; Sy, Ousmane; Palanque, Philippe, and Navarre, David. Formal specification of CORBA services: experience and lessons learned. ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'2000); Minneapolis, Minnesota USA. ACM Press; 2000.p105-117

• Navarre, David; Palanque, Philippe; Bastide, Rémi, and Sy, Ousmane. Structuring interactive systems specifications for executability and prototypability. 7th Eurographics workshop on Design, Specification and Verification of Interactive Systems, DSV-IS'2000; Limerick, Ireland. Springer Verlag Lecture notes in computer science. n° 1946.

• Palanque, Philippe; Bastide, Rémi; Navarre, David, and Sy, Ousmane. Computer Discretised Interaction: From Continuous to Discrete and Back Again. CHI 2000 Workshop on Continuity in Human Computer Interaction ; Den Haag, Netherlands. 2000.

• Scapin, Dominique; Leulier, Corinne; Vanderdonckt, Jean; Bastien, Christian; Farenc, Christelle; Palanque, Philippe, and Bastide, Rémi. Towards automated testing of web usability guidelines. 6th conference on human factors & the web; Austin, Texas, USA. 2000.

• Scapin, Dominique; Vanderdonckt, Jean; Farenc, Christelle; Bastide, Rémi; Bastien, Christian; Leulier, Corinne; Mariage, Céline, and Palanque, Philippe. Transferring knowledge of user-interfaces guidelines to the web. Tools for working with guidelines TFWWG'2000; Biarritz, France. 2000.

• Palanque, P. and Paternò, F. 2000. Design, specification, and verification of interactive systems (workshop session). In Proceedings of the 22nd international Conference on Software Engineering (Limerick, Ireland, June 04 - 11, 2000). ICSE '00. ACM, New York, NY, 803-804.

1999

The postscript files are not available yet please contact me if you want a copy

• Philippe Palanque, Christelle Farenc, Rémi Bastide. Embedding Ergonomic Rules as Generic Requirements in a Formal Development Process of Interactive Software. In proceedings of IFIP TC 13 Interact 99 conference, Endinburg, Scotland, 1-4 September 1999.

• Rémi Bastide, Philippe Palanque. A Visual and Formal Glue between Application and Interaction. International Journal of Visual Language and Computing, Academic Press Vol. 10, No. 5, 1999, pp. 481-507. 

• Rémi Bastide, Philippe Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre. Petri Net Based Behavioural Specification of CORBA Systems. (841 Ko) International Conference on Application and Theory of Petri nets ATPN'99, Williamsburg (USA), LNCS Springer Verlag, 1999.P66-83

• Rémi Bastide, Philippe Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre. PetShop a case tool for Petri net based specification and prototyping of Corba Systems. Tool demonstration with Application and Theory of Petri nets ATPN'99, Williamsburg (USA), LNCS Springer Verlag, 1999.

• Rémi Bastide, Ousmane Sy, Philippe Palanque Formal Specification and Prototyping of CORBA servers. European Conference on Object Oriented Programming, ECOOP 99, 14-18 juin 1999, Lisbonne (Portugal)Lecture Notes in Computer Science Serie, Springer Verlag.

• Rémi Bastide, Ousmane Sy, Philippe Palanque. Formal support for the Engineering of CORBA systems. (648Ko) International Symposium on Distributed Objects and Applications, DOA' 99, 14-18 juin 1999, Edinburgh (U.K.), IEEE computer Press.

• Christelle Farenc, Philippe Palanque, Marie-France Barthet. Rules for Structuring Ergonomic Rules. HCI International 99 conference Stutgart, 1999.

• Christelle Farenc and Philippe Palanque An Extensible Architecture to Support the Structuring and the efficient Exploitation of Ergonomic Rules. Proceedings of HCI International (the 8th International Conference on Human-Computer Interaction) on Human-Computer Interaction: Ergonomics and User Interfaces-Volume I, 1038 - 1042. 1999. Lawrence Erlbaum Associates, Inc. Mahwah, NJ, USA

• Rémi Bastide, Philippe Palanque, Conformance and Compatibility between Models as Conceptual Tools for a Consistent Design of Interactive Systems. CHI 99 workshop on Tool Support for Task-Based User Interface Design, Pittsburg, USA, 15-16 May 1999.

1998

Some of the postscript files are not available yet please contact me if you want a copy

• Rémi Bastide, Philippe Palanque, Duc-Hoa Le, Jaime Munoz. Integrating rendering specifications into a formalism for the design of interactive systems (912 Ko) Dsv-is'98, Abington, UK, 7-9 June 1998, Springer Verlag.

• Rémi Bastide, Philippe Palanque, Why designers should care about the User Interface of Safety Critical Systems. CHI 98 workshop on User Interfaces for safety critical systems, Los Angeles, USA, April 1998.

• Rémi Bastide, Philippe Palanque, Duc-Hoa Le, Jaime Munoz. Intégration de spécifications de rendu dans un formalisme pour la conception de systèmes interactifs IHM'98. 10ièmes journées sur l'ingénierie des interfaces homme-machine. Nantes 03-05 sept 98.

• Philippe Palanque, Fabio Paternò, Bob Fields. Designing User Interfaces for Safety Critical Systems. Report from CHI 98 workshop, ACM SIGCHI Bulletin, October 1998, vol. 30 n°4.

1997

Some of the postscript files are not available yet  please contact me if you want a copy

• Ph. palanque, R. Bastide Synergistic modelling of tasks, system and users using formal specification techniques. (Reprints are available clic here to ask for a copy: Philippe) Interacting With Computers, Academic Press, 9, 12, pp. 129-153

• M. JACOMI, S. Chatty, Ph. Palanque A Making-Movies Metaphor for Structuring Software Components in Highly Interactive Application. (2,1Mo) In proceedings of the 12th BCS Human-Computer Interaction conference HCI'97

• Ph. Palanque, F. Paterno, R. Bastide Formal Specification for Designing User Interfaces of Air Traffic Control Applications (not available yet) In proceedings of the Second International Workshop on Formal Methods for Industrial Critical Systems , CESENA (Italy), July 4-5, 1997.

• J. ACCOT, S.Chatty, S. MAURY, P. Palanque Formal Transducers: Models of Devices and Building Bricks for Highly Interactive Systems (1,1 Mo) 4th EUROGRAPHICS workshop on "design, specification and verification of Interactive systems", Granada, Spain, 5-7 june 1997, Springer Verlag.

• Ph. Palanque, R. Bastide, F. PATERNO Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems (2,1Mo) Interact'97 conference, Sydney, Australia, 14-18 July 1997, Chapman et Hall.

• Ph. Palanque, R. Bastide Embedding error modelling in specifications : costs and benefits (440Ko) In proceedings of the Workshop on Human error and systems development University of Glasgow, 19-22 March 1997.

• M.F. Barthet, Ph. Palanque An approach for the integration of human factors into software design (not available yet) In proceedings of the HCI International Conference, San Francisco, USA, 24-29 August 1997, Elsevier Science Publishers.

• Esteban, O., Chatty, S., and Palanque, P. 1995. Visual construction of highly interactive applications. In Proceedings of the Third IFIP Wg2.6 Working Conference on Visual Database Systems 3 (Vdb-3) S. Spaccapietra and R. Jain, Eds. Chapman & Hall Ltd., London, UK, 304-316.

1996

Some of the postscript files are not available yet  please contact me if you want a copy

• Ph. Palanque, F. Paterno, R. Bastide, M. Mezzanotte Towards an integrated proposal for interactive systems design based on TLim and MICO (123Ko) 3rd EUROGRAPHICS workshop on "design, specification and verification of Interactive systems", Namur, Belgium, 5-7 june 1996, Springer Verlag.

• T. Moher, V. Dirda, R. Bastide, P. Palanque Monolingual, Articulated modelling of Users, Devices and Interfaces (80Ko) 3rd EUROGRAPHICS workshop on "design, specification and verification of Interactive systems", Namur, Belgium, 5-7 june 1996, Springer Verlag.

• Ph. Palanque, R. Bastide A design life-cycle for the formal design of interactive systems (84Ko) BCS-FACS Workshop on the Formal Aspects of the Human-Computer Interface, FAHCI'96, Shefield, U.K., Spetember 1996.

• J. Accot, S. Chatty, Ph. Palanque A formal description of low level interaction and its application to multimodal interactive systems (82Ko) 3rd EUROGRAPHICS workshop on "design, specification and verification of Interactive systems", Namur, Belgium, 5-7 june 1996, Springer Verlag.

• Ph. Palanque, R. Bastide Performance evaluation as a tool for evaluating the formal design of interactive systems (80Ko) IMACS conference on Computational Engineering in Systems Application (CESA'96), special session on Performance Evaluation, Lille, July 1996, IEEE Press.

• R.Bastide, Ph. Palanque Implementation techniques for Petri net based specifications of human-computer dialogues. (242Ko) 2nd workshop on Computer Aided Design of User Interfaces (CADUI'96), In J. Vanderdonckt (Ed.), Presses Universitaires de Namur, Namur, Belgium, 5-7 june 1996.

• S. Sire, Ph. Palanque Bridging the synchronous/asynchronous gap in CSCW. (11Ko, html file) Basic Research Symposium, conference on Computer Human Interaction (CHI'96), Vancouver, Canada, April 1996.

• Ph. Palanque, R.Bastide Modelling clients and servers in the web using Inetractive Cooperative Objects. (not available yet) Workshop on formal Methods in Computer Human Interaction: Comparison, Benefits Open Questions, conference on Computer Human Interaction (CHI'96), Vancouver, Canada, April 1996.

1995

• O. Esteban, S. Chatty, Ph. Palanque Visual construction of Interactive Software (83Ko) Proceedings of IFIP conference on Visual Database, Lausane, Switzerland., 27-29 March 1995, in press by Chapman et Hall.

• Ph. Palanque, R.Bastide Specifications formelles pour l'ingenierie des interfaces homme machine (172Ko) Revue Techniques et Sciences Informatiques, vol. 14, n¡4, 1995, p. 473-500.

• C. Farenc, P. Palanque, J. Vanderdonckt User Interface Evaluation : is it Still Usable? (431Ko) Proceedings of HCI International conference, Yokoohama, Japan., 9-14 July 1995, p. 329-334, Elsevier.

• O. Esteban, S. Chatty, Ph. Palanque Different approaches in visual interactive software construction (33Ko) Proceedings of HCI International conference, Yokoohama, Japan., 9-14 July 1995, p. 27-32, Elsevier.

• Ph. Palanque, R. Bastide, V. SENGES Task model - system model: towards an unifying formalism (397Ko) Proceedings of HCI International conference, Yokoohama, Japan., 9-14 July 1995, p. 489-494, Elsevier.

• R.Bastide, Ph. Palanque A Petri Net Based Environment for the Design of Event-Driven Interfaces. (1042Ko) 16th International Conference on Application and theory of Petri Nets (ATPN'95) Torino, Italy, 20-22 June 1995.

• Ph. Palanque, R.Bastide, V. SENGES Validating interactive system design through the verification of formal task and system models. (828Ko) 6th IFIP Working Conference on Engineering for Human-Computer Interaction (EHCI'95) Grand Targhee Resort, Wyoming, U.S.A. 14-18 August 1995.

• Ph. Palanque, R.Bastide Formal Specification and Verification of CSCW using the Interactive Cooperative Object Formalism. (1125Ko) Proceedings of the Human-Computer Interaction (HCI'95) Huddersfield, U.K., 27-29 August 1995. pp. 213-232.

• Ph. Palanque, R.Bastide Verification of an Interactive Software by analysis of its formal specification (987Ko) Proceedings of the IFIP Human-Computer Interaction conference (Interact'95) Lillehammer, Norway., 27-29 June 1995, p. 191-197.

• O. Esteban, S. Chatty, Ph. Palanque Whizz'Ed: a Visual Environment for building Highly Interactive Software (47Ko) Proceedings of the IFIP Human-Computer Interaction conference (Interact'95) Lillehammer, Norway., 27-29 June 1995, p. 121-127.

1994

• Ph. Palanque, R.Bastide. Theoretical Foundations of recent formal approaches in HCI design. (11Ko) Reasearch Symposium CHI'94. Boston, 23-30 Avril 1994.

• Ph. Palanque, R.Bastide. A Formalism for Reliable User Interfaces. (20Ko) Workshop Software Engineering / Human Computer Interaction associated with the IEEE / ICSE 16 conference. Sorento, Italy 16-21 May 1994.

• Ph. Palanque, R.Bastide. Formal specification of HCI for increasing software's ergonomics. (25Ko) ERGONOMICS'94, Warwick, England, 19-22 april 1994.

• Ph. Palanque, R.Bastide. Petri Net based design of user-driven interfaces using the Interactive Cooperative Objects formalism. (199Ko) EUROGRAPHICS workshop on "design, specification and verification of Interactive systems", Carara, Italiy, 8-10 june 1994.

• Ph. Palanque, R.Bastide. Automatic Code Generation From a High-Level Petri Net Based Specification of Dialogue. (191Ko) EWHCI'94 (East-West Conference on Human Computer Interaction), St Petersburg, Russia. 2-6 August 1994.

• Ph. Palanque, J.B. Long, J.C. Tarby, M.F. Barthet, K.Y. Lim Conception d'applications ergonomiques : une methode pour informaticiens et une methode pour ergonomes. (43Ko) Actes du congres ERGO-IA'94 (Ergonomie et Informatique Avancee), Biarritz, France, 28-10 octobre 1994.

• Ph. Palanque, D. Salber, R. Bastide Gestion automatique de l'aide contextuelle multimedia d'une interface homme machine par execution de sa specification formelle. (27 Ko) IHM'94. 6iemes journees sur l'ingenierie des interfaces homme-machine. Lille 8-9 decembre 1994.

• C. Farenc, Ph. Palanque, J. Vanderdonckt L'evaluation ergonomique de l'utilisabilite d'une application interactive, est-elle utilisable ? (48Ko) IHM'94. 6iemes journees sur l'ingenierie des interfaces homme-machine. Lille 8-9 decembre 1994.

1993

• Ph. Palanque, R.Bastide, C.Sibertin-Blanc. Formal specification, design and validation of user-driven interfaces using a Petri net and objects based model. (560Ko) Research Symposium INTERCHI'93 Amsterdam, 23-24 April 1993.

• Ph. Palanque, R.Bastide Reliable User-Driven Interfaces for Critical Systems. Workshop IFIP WG 13.2 "Methodology for User Centered Design" INTERCHI'93 Amsterdam, 23-24 April 1993.

• Ph. Palanque, R.Bastide, C.Sibertin-Blanc, L. Dourte. Design of User-Driven Interfaces using Petri Nets and Objects. (195Ko) Conference on Advanced Information System Engineering CAISE'93. Lecture Notes in Computer Science no 685, Paris, France, 8-11 June 1993.

• Ph. Palanque, R.Bastide, L. Dourte Contextual Help for Free with Formal Dialogue Design. (453Ko) Proceedings of "HCI International 93", 5th International Conference on Human-Computer Interaction joint with 9th Symposium on Human Interface (Japan), North Holland.Orlando, Floride (USA), 8-15 August 1993.

• R.Bastide, Ph. Palanque Cooperative Objects : a Concurrent Petri Net Based Object-Oriented Language. Proceedings of the IEEE / System Man and Cybernetics 93 "Systems Engineering in the Service of Humans", Le Touquet, 17-20 October 1993.

• Ph. Palanque, R.Bastide Interactive Cooperative Objects : an Object-Oriented Formalism Based on Petri Nets for User Interface Design. Proceedings of the IEEE / System Man and Cybernetics 93 "Systems Engineering in the Service of Humans", Le Touquet, 17-20 October 1993.

• Ph. Palanque, R.Bastide, L. Dourte Generation automatique de l'aide contextuelle a partir d'une specification formelle de l'interface. (334Ko) IHM'93. 5iemes journees sur l'ingenierie des interfaces homme-machine. Lyon 19-20 octobre 1993.

Older Publications

• Ph. Palanque, R.Bastide. Petri nets with objects for specification, design and validation of user-driven interfaces. (25Ko) In proceedings of the third IFIP conference on Human-Computer Interaction, Interact'90. Cambridge 27-31 August 1990 (UK).

My Coordinates

43°33'43.43"N &  1°28'4.44"