Interacting Humans with Computing Systems

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

Publications

Journal Publications

• David Navarre, Philippe Palanque, Eric Barboni, Jean-François Ladry, Célia Martinie. Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach. Int. Journal on  Reliabilty Engineering and System Safety (2010), pp. 854-890.

• David Navarre, Philippe Palanque, Jean-François Ladry, Eric Barboni. ICOs: a Model-Based User Interface Description Technique dedicated to Interactive Systems Addressing Usability, Reliability and Scalability. In : Transactions on Computer-Human Interaction, ACM SIGCHI, Vol. 16 N. 4, p. 1-56, 2009

• 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

Design, Specification and Verification of Interactive Systems'2000. Philippe Palanque & Fabio Paterno (Eds.) Springer Verlag 2000. Lecture Notes in Computer Science n° 1946	Critical Issues in User Interface Systems Engineering. David Benyon & Philippe Palanque (Eds.) Springer Verlag 1996. ISBN 3-540-19964-0. 294 pages. Click here for more information about the book.	Formal Methods in Human-Computer Interaction Philippe Palanque & Fabio Paterno(Eds.) Springer Verlag 1997. ISBN 3-540-76158-6. 376 pages. Click here for more information about the book.
Design, Specification and Verification of Interactive Systems'95. Philippe Palanque & Rémi Bastide (Eds.) Springer Verlag 1995. ISBN 3-211-82739-0. 370 pages. Click here for more information about the book.	People and Computers XVII - Designing for Society · Proceedings of HCI 2003 O'Neill, E., Palanque, P., Johnson, P. (Eds.), 20.08.2003, ISBN 1-85233-766-4, Softcover,	Human Error, Safety and Systems Development 2004. Proceedings of HESSD 2004. Chris Johnson & Philippe Palanque (Eds.). Kluwer Pub. ISBN 1-4030-8152-9
TAsk MOdels and DIAgrams for user interface design Palanque, P., Slavik, P. & Winckler M. (Eds.), ACM Digital Library, ISBN: 1-59593-000-0, Softcover.	Joint EHCI-DSVIS 2004 conference proceedings. Rémi Bastide, Philippe Palanque & Jorg Roth (Eds.). Lecture Notes in Computer Science 3425. Springer Verlag ISBN 3-540-26097-8	TAsk MOdels and DIAgrams for user interface design (TAMODIA 2007) Hilary Johnson, Philippe Palanque & Marco Winckler  (Eds.), Lecture Notes in Computer Science 4849 ISBN-13 978-3-540-77221-7
Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part II Cecilia Baranauskas, Philippe Palanque, Julio Abascal & Simone Barbosa (Eds.). Series: Lecture Notes in Computer Science , Vol. 4662  Lecture Notes in Computer Science . Springer Verlag ISBN: 978-3-540-74794-9	Human-Computer Interaction – INTERACT 2007 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part II Cecilia Baranauskas, Philippe Palanque, Julio Abascal & Simone Barbosa (Eds.). Series: Lecture Notes in Computer Science , Vol. 4663  Lecture Notes in Computer Science . Springer Verlag ISBN: 978-3-540-74794-9	Interactive SystemsDesign, Specification,and Verification  14th International Workshop, DSV-IS 2007 & Engineering Interactive Systems 2007 Salamanca, Spain, 2007 Proceedings. Lecture Notes in Computer Science n° 4940 http://www.springer.com/978-3-540-92697-9
Interactive SystemsDesign, Specification,and Verification  15th International Workshop, DSV-IS 2008 Kingston, Canada, July 2008Proceedings. Lecture Notes in Computer Science n°5136	Tom Gross, Jan Gulliksen, Paula Kotze, Lars Oestreicher, Philippe Palanque, Raquel Oliveira Prates, Marco Antonio Winckler. TC13 IFIP INTERACT 2009, Uppsala, Sweden, 24/08/2009 - 28/08/2009, Springer, LNCS 5726 , juin 2009.	Tom Gross, Jan Gulliksen, Paula Kotze, Lars Oestreicher, Philippe Palanque, Raquel Oliveira Prates, Marco Antonio Winckler. TC13 IFIP INTERACT 2009, Uppsala, Sweden, 24/08/2009 - 28/08/2009, Springer, LNCS  5727, juin 2009.
13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part I Series: Lecture Notes in Computer Science, Vol. 6946 Subseries: Information Systems and Applications, incl. Internet/Web, and HCI  Campos, P.; Graham, N.; Jorge, J.; Nunes, N.; Palanque, P.; Winckler, M. (Eds.)  1st Edition., 2011, XXV, 713 p	T13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part II Series: Lecture Notes in Computer Science, Vol. 6947 Subseries: Information Systems and Applications, incl. Internet/Web, and HCI  Campos, P.; Graham, N.; Jorge, J.; Nunes, N.; Palanque, P.; Winckler, M. (Eds.)  1st Edition., 2011, XXV, 713 p	T13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part III Series: Lecture Notes in Computer Science, Vol. 6948 Subseries: Information Systems and Applications, incl. Internet/Web, and HCI  Campos, P.; Graham, N.; Jorge, J.; Nunes, N.; Palanque, P.; Winckler, M. (Eds.)  1st Edition., 2011, XXV, 713 p
13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part IV Series: Lecture Notes in Computer Science, Vol. 6948 Subseries: Information Systems and Applications, incl. Internet/Web, and HCI  Campos, P.; Graham, N.; Jorge, J.; Nunes, N.; Palanque, P.; Winckler, M. (Eds.)  1st Edition., 2011, XXV, 713 p

Recent and selected publications (including journal papers above)

2012

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

• Célia Martinie, Philippe Palanque, David Navarre, Eric Barboni. A Tool-Supported Training Framework for Improving Operators´ Dependability Confronted with Faults and Errors. (regular paper) Probabilistic Safety Assessment (PSAM11 & ESREL 2012), Helsinki, Finland, June 25-29 2012, Taylor & Francis Group.

• Célia Martinie, Philippe Palanque, David Navarre, Erwann Poupart. A Systematic Approach to Training for Ground Segment using Tasks and Scenarios: Application to PICARD satellite. (regular paper) 12th International Conference on Space Operations (Space Ops 2012), June 11-15th, Stockholm, Sweden.

• Célia Martinie, Philippe Palanque, Alberto Pasquini, Martina Ragosta, Eric Rigaud, Sara Silvagni. Using Complementary ModelS-Based Approaches for Representing and Analysing ATM Systems' Variability. (regular paper) 2nd International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2012), London, UK, May 28-31, 2012.

• Célia Martinie, Philippe Palanque, Martina Ragosta. Some Issues with Interaction Design and Implementation in the Context of Autonomous Interactive Critical Systems. Workshop on End-user Interactions with Intelligent and Autonomous Systems. ACM SIGCHI Conference on Human Factors in Computing Systems (CHI 2012), May 5-10th, Austin, Texas.

• Thomas Mirlacher, Philippe Palanque, R. Bernhaupt. Engineering Animations in User Interfaces (regular paper). ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2012), Copenhagen, Denmark, ACM Press.

• Arnaud Hamon, Philippe Palanque, Yannick Deleris, David Navarre, Eric Barboni. A Tool-supported Development Process for Bringing Touch Interactions into Interactive Cockpits for Controlling Embedded Critical Systems (regular paper). HCI in Aeronautics conference, (HCAero 2012), Brussels, October 2012.

• Arnaud Hamon, Philippe Palanque, David Navarre, Célia Martinie, Adrienne Tankeu-Choitat, Eric Barboni . Interactive Cockpits Applications: Modelling and Validation using a Petri-net based Formalism (regular paper). Embedded Real-Time Systems conference (ERTS 2012), Toulouse, France, February 2012.

• Philippe Palanque.Automation in command and control systems: what should be remembered and what should be forgotten when designing Safe, Usable, Reliable and Enjoyable intelligent vehicles.  (Invited talk). Workshop on Human Factors for Intellignet Vehicles, (HFIV 2012) Madrid, Spain, June 2012.

• Philippe Palanque.Title to be announced.  (Invited talk). European Conference on Cognitive Ergonomics, (ECCE 2012) Edinbugrh, Scotland, August 2012.

• Marco Winckler, Philippe Palanque & David Navarre. Challenges for Master Programs on Human-Computer Interaction (HCI): experience report of the M2IHM. WWW 2012 Workshop: HCI, Web and Graphics Curricula, Lyon, April 2012

2011

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

• Adrienne Tankeu-Choitat, Jean-Charles Fabre, Philippe Palanque, David Navarre, Yannick Deleris. Self-Checking Components for Dependable Interactive Cockpits (regular paper). 13th European Workshop on Dependable Computing (EWDC 2011), Pisa, ACM DL ISBN 978-1-4503-0284-5.

• Celia Martinie De Almeida, Philippe Palanque, Marco Antonio Winckler. Structuring and Composition Mechanism to Address Scalability Issues in Task Models (regular paper).IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2011), Lisbonne, Springer, LNCS 2011.

• Philippe Palanque, Eric Barboni, Celia Martinie De Almeida, David Navarre, Marco Antonio Winckler. A Tool Supported Model-based Approach for Engineering Usability Evaluation of Interaction Techniques (regular paper). ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2011), Pisa, Italy, ACM DL.

• Philippe Palanque, Regina Bernhaupt, Marco Antonio Winckler. Usability Evaluation: Commonalities and Discrepancies in Games and Safety Critical Systems (workshiop paper). 1st European Workshop on HCI Design and Evaluation: The influence of domain, Limassol, Cyprus, April 8th 2011.

• Celia Martinie De Almeida, Philippe Palanque, Marco Antonio Winckler, David Navarre, Erwann Poupart. Model-Based Training: An Approach Supporting Operability of Critical Interactive Systems: Application to Satellite Ground Segments (regular paper). ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2011), Pisa, Italy, ACM Press.

• Adrienne Tankeu-Choitat, Jean-Charles Fabre, Philippe Palanque, David Navarre, Yannick Deleris, Camille Fayolas. Self-Checking Components for Dependable Interactive Cockpits using Formal Description Techniques (regular paper). 17th Pacific Rim Dependable Computing Conference (PRDC 2011), Pasadena, US, IEEE, 12-15th December 2011.

• Célia Martinie, Philippe Palanque, Eric Barboni, Martina Ragosta. Task-Model Based Assessment of Automation Levels: Application to Space Ground Segments (regular paper). IEEE international Conference on Systems Man and Cybernetics, (IEEE SMC 2011), Anchorage, Alaska, IEEE, 15-18th October 2011.

• Célia Martinie, Philippe Palanque, Eric Barboni, Marco Winckler, Martina Ragosta, Alberto Pasquini, Paola Lanzi. Formal Tasks and Systems Models as a Tool for Specifying and Assessing Automation Designs (regular paper). 1st international Conference on Application and Theory of Automation in Command and Control Systems, (ATACCS 2011) Barcelona, Spain, May 2011, ACM DL.

• Philippe Palanque, Regina Bernhaupt, Florent Montesano. Integrating Gaming Research and Practice in the Design of User Interfaces of (partly)-Autonomous Safety-Critical Systems (regular paper). 1st international Conference on Application and Theory of Automation in Command and Control Systems, (ATACCS 2011) Barcelona, Spain, May 2011, ACM DL.

• Eric Barboni, Célia Martinie, David Navarre, Philippe Palanque, Marco Winckler. UsiXML Concrete Behaviour with a Formal Description Technique for Interactive Systems UsiXML Workshop together with IFIP TC 13 conference on HCI (INTERACT 2011), Lisbon, Portugal, September 5-8 2011.

• Célia Martinie, Philippe Palanque. Contextual Help for Supporting Critical Systems' Operators: Application to Space Ground Segments Activity in Context Workshop, AAAI conference on Aritificial Intelligence, San Francisco, USA, 7-11 August 2011. AAAI.

• Célia Martinie, Philippe Palanque. Is there a catch-22? Designing for Dependability of Command and Control Systems using Architectural, Tasks and System Models Human Dependability Workshop - HUDEP 2011, 9-10 November in Toulouse (France), European Space Agency

• Philippe Palanque, Célia Martinie. A Multi-Models Based Development Process for Critical Interactive Systems Integrating Formal and Informal Approaches Keynote talk at the IFIP 13.4 workshop on Combining Models and Design for interactive systems (ComDeisMoto 2011) Workshop together with IFIP TC 13 conference on HCI (INTERACT 2011), Lisbon, Portugal, September 5-8 2011.

2010

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

• Tankeu-Choitat A., D. Navarre, P. Palanque, Y. Deleris, J-C Fabre An approach for assessing both usability and dependability of interactive systems: application to interactive cockpits. In proceedings of HCI Aero 2010 conference. Cape Canaveral, USA, Nov. 1-3 2010. pp. 123-135.

• Célia Martinie, Philippe Palanque, Marco Winckler and Stéphane Conversy. DREAMER: a Design Rationale Environment for Argumentation, Modeling and Engineering Requirements. In proceedings of the 28th ACM International Conference on Design of Communication (SIGDOC'2010), September 26-29, 2010, São Carlos, Brazil. ACM Press. pp. 73-80.

• Celia Martinie De Almeida, Jean-François Ladry, David Navarre, Philippe Palanque, Marco Antonio Winckler. Embedding Requirements in Design Rationale to Deal Explicitely with User eXperience and Usability in an “intensive” Model-Based Development Approach (regular paper). Dans / In : Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2010), Atlanta Georgia USA, 10/04/2010, Vol. 617, Jan Van den Bergh, Stefan Sauer, Kai Breiner, Heinrich Hußmann (Eds.), CEUR Workshop Proceedings, p. 29-32, juillet / july 2010.

• Jean-François Ladry, Philippe Palanque, Eric Barboni, David Navarre. Model-Based Usability Evaluation and Analysis of Interactive Techniques (short paper). In : Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2010), Atlanta Georgia USA, 10/04/2010, Vol. 617, Jan Van den Bergh, Stefan Sauer, Kai Breiner, Heinrich Hußmann (Eds.), CEUR Workshop Proceedings, p. 21-24, july 2010.

• Celia Martinie De Almeida, Philippe Palanque, David Navarre, Marco Antonio Winckler. A formal approach supporting effective and efficient training program for improving operators’ reliability (regular paper). Dans / In : Safety and Reliability for managing Risk (ESREL 2010), Rhodes Grece, 05/09/2010-09/09/2010, Taylor & Francis Group, p. 234-243, 2010.

• Philippe Palanque. Designing Interactive Systems neither Interaction nor Interfaces (Keynote speech paper). Congreso Internacional de Interaccion Persona-Ordenador, Valencia, ACM DL, p. 5-13, 2010.

• Jean-François Ladry, Philippe Palanque, David Navarre, Eric Barboni, Marco Antonio Winckler. Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction. IHM 2010 Luxembourg, ACM DL, p. 81-88.

• Michael Harrison, Philippe Palanque, David Navarre. The future of Design Specification and Verification of Safety Critical Interactive Systems. Can our systems be SURE (Safe, Usable, Reliable and Evolvable)?. Tutorial (course) ACM SIGCHI Conference on Human Factors for Computing Systems (CHI 2010).

• David Navarre, Philippe Palanque, Celia Martinie De Almeida, Marco Antonio Winckler, Sandra Steere. Formal Description Techniques for Human-Machine Interfaces ModelS-Based Approaches for the Design and Evaluation of Dependable Usable Interactive Systems, Ashgate Publishing, Chapter in Handbook of Human-Machine Interaction, A Human-Centered Approach. April 2010.

• Eric Barboni, Jean-François Ladry, David Navarre, Philippe Palanque, Marco Antonio Winckler. Beyond Modelling: An Integrated Environment Supporting Co-Execution of Tasks and Systems Models (regular paper). In : ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2010), Berlin, Allemagne, 19/06/2010-23/06/2010, ACM SIGCHI, p. 143-152, 2010.

2009

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

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

• 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"