Displaying 274 out of 274 publications (Excluding: Ph.D Theses, Habilitation Theses)

2019

  • Sven Coppers, Kris Luyten, Davy Vanacken, David Navarre, Philippe Palanque, Christine Gris. Fortunettes: Feedforward about the Future State of GUI Widgets. Proceedings of the ACM on Human-Computer Interaction vol:320. ACM SIGCHI.
  • Célia Martinie, Philippe Palanque, Elodie Bouzekri, Andy Cockburn, Alexandre Canny, Eric Barboni. Analysing and Demonstrating Tool-Supported Customizable Task Notations. Proceedings of the ACM on Human-Computer Interaction vol:312. ACM SIGCHI.
  • Andy Cockburn, Damien Masson, Carl Gutwin, Philippe Palanque, Alix Goguey, Marcus Yung, Christine Gris, Catherine Trask. Design and evaluation of braced touch for touchscreen input stabilisation. International Journal of Human-Computer Studies vol:122. p:21-37. Elsevier.
  • Helena Mentis, Cliff Lampe, Regina Bernhaupt, Anirudha Joshi, Susan R. Fussel, Susan Dray, Dan Olsen, Aaron Quigley, Julie R. Williamson, Eunice Ratna Sari, Loren G. Terveen, Allison Druin, Philippe Palanque. The new SIGCHI EC's values and strategic initiatives. ACM Interactions vol:261. p:84-85. ACM : Association for Computing Machinery.
  • Elodie Bouzekri, Alexandre Canny, Camille Fayollas, Célia Martinie, Philippe Palanque, Eric Barboni, Yannick Déléris, Christine Gris. Engineering Issues Related to the Development of a Recommender System in a Critical Context: Application to Interactive Cockpits. International Journal of Human-Computer Studies vol:121. p:122-141. Elsevier.
  • Neeraj Singh, Yamine Ait Ameur, Dominique Méry, David Navarre, Philippe Palanque, Marc Pantel. Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661. International Workshop on Formal Techniques for Safety-Critical Systems 2019 (FTSCS). Communications in Computer and Information Science. Springer.
  • Alexandre Canny, David Navarre, José Creissac Campos, Philippe Palanque. Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-nets. International Workshop on Formal Methods for Interactive Systems 2019 (FMIS). Springer.
  • Alexandre Canny, Elodie Bouzekri, Célia Martinie, Philippe Palanque. On the Importance of Supporting Multiple Stakeholders Points of View for the Testing of Interactive Systems. Workshop on Research and Practice Challenges for Engineering Interactive Systems while Integrating Multiple Stakeholders Viewpoints 2019 (EISMS). p:113-121. CEUR-WS : Workshop proceedings.
  • Elodie Bouzekri, Alexandre Canny, Célia Martinie, Philippe Palanque, Christine Gris. Deep System Knowledge Required: Revisiting UCD Contribution in the Design of Complex Command and Control Systems. IFIP TC 13 International Conference on Human-Computer Interaction 2019 (INTERACT). Springer.
  • Philippe Palanque, Andy Cockburn, Carl Gutwin, Yannick Déléris, Léopold Desert-Legendre. Brace Touch: a Dependable, Turbulence-Tolerant, Multi-Touch Interaction Technique for Interactive Cockpits. International Conference on Computer Safety, Reliability and Security 2019 (SAFECOMP). LNCS. p:53-68. Springer-Verlag.
  • Alexandre Canny, Camille Fayollas, Célia Martinie, David Navarre, Philippe Palanque, Elodie Bouzekri, Christine Gris, Yannick Déléris. Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems. IEEE International Conference on Cyber Physical and Social Computing 2019 (CPSCom). IEEE : Institute of Electrical and Electronics Engineers.
  • Elodie Bouzekri, Alexandre Canny, Célia Martinie, Philippe Palanque, Eric Barboni, David Navarre, Christine Gris, Yannick Déléris. Revisiting system's pages in engine indication and alerting system for flight crew using the DSCU architecture and the OQCR system generic state description. INCOSE International Conference on Human System Integration 2019 (INCOSE HSI). INCOSE : International Council on Systems Engineering.
  • Cristian Bogdan, Kati Kuusinen, Marta Larusdottir, Philippe Palanque, Marco Winckler. Human-Centered Software Engineering - 7th IFIP WG 13.2 International Working Conference, HCSE 2018. Lecture Notes in Computer Science11262. Springer.

2018

  • Loren G. Terveen, Helena Mentis, Aaron Quigley, Philippe Palanque. The Evolution of SIGCHI conferences and the future of CHI. ACM Interactions vol:255. p:84-85. ACM : Association for Computing Machinery.
  • Célia Martinie, Philippe Palanque, Camille Fayollas. Performance Evaluation of Interactive Systems with Interactive Cooperative Objects Models. p:249-283. Oxford University Press.
  • Alexander Meschtscherjakov, Manfred Tscheligi, Bastian Pfleging, Shadan Sadeghian Borojeni, Wendy Ju, Philippe Palanque, Andreas Riener, Bilge Multu, Andrew L. Kun. Interacting with Autonomous Vehicles: Learning from other Domains. ACM International Conference on Human Factors in Computing Systems 2018 (ACM CHI). vol:Extended AbstractsNo. W30. ACM : Association for Computing Machinery.
  • Philippe Palanque. Engineering Automations: From a Human Factor Perspective to Design, Implementation and Validation Challenges. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2018 (SIGCHI - EICS). Académie des Sciences.
  • Virpi Roto, Philippe Palanque, Hannu Karvonen. Engaging Automation at Work - A Literature Review. IFIP WG 13.6 Working Conference Human Work Interaction Design 2018 (HWID). IFIP Advances in Informatio and Communication Technologyvol:544. p:158-172. Springer.
  • Martin Cronel, Bruno Dumas, Philippe Palanque, Alexandre Canny. MIODMIT: A Generic Architecture for Dynamic Multimodal Interactive Systems. Human-Centered Software Engineering 2018 (HCSE). Lecture Notes in Computer Sciencevol:11262. p:109-129. Springer.
  • Elodie Bouzekri, Alexandre Canny, Célia Martinie, Philippe Palanque, Christine Gris. Using Task Descriptions with Explicit Representation of Allocation of Functions, Authority and Responsibility to Design and Assess Automation. IFIP WG 13.6 Working Conference Human Work Interaction Design 2018 (HWID). IFIP Advances in Information and Communication Technologyvol:544ISBN 978-3-030-05297-3. p:36-56. Springer.
  • Regina Bernhaupt, Philippe Palanque, Dimitri Drouet, Célia Martinie. Enriching Task Models with Usability and User Experience Evaluation Data. Human-Centered Software Engineering 2018 (HCSE). Lecture Notes in Computer Sciencevol:11262ISBN 978-3-030-05908-8. p:146-163. Springer.
  • Alexandre Canny, Elodie Bouzekri, Célia Martinie, Philippe Palanque. Rationalizing the Need of Architecture-Driven Testing of Interactive Systems. Human-Centered Software Engineering 2018 (HCSE). Lecture Notes in Computer Sciencevol:11262ISBN 978-3-030-05908-8. p:164-186. Springer.
  • Philippe Palanque, Célia Martinie, Camille Fayollas. Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems. ACM International Conference on Human Factors in Computing Systems 2018 (ACM CHI). ACM : Association for Computing Machinery.
  • Célia Martinie, David Navarre, Philippe Palanque, Eric Barboni, Alexandre Canny. TOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2018 (SIGCHI - EICS). p:1-7. ACM : Association for Computing Machinery.
  • Adrian Sabou, Philippe Palanque. 15th International Conference on Human Computer Interaction. Matrix Rom.
  • Elodie Bouzekri, Alexandre Canny, Célia Martinie, Philippe Palanque. Specific Task Modeling for Cyber Physical Systems. EICS 2018 - Workshop on Heterogeneous Models and Modeling Approaches for Engineering of Interactive Systems.
  • Elodie Bouzekri, Alexandre Canny, Célia Martinie, Philippe Palanque. A Generic Software and Hardware Architecture for Hybrid Interactive Systems. EICS 2018 - Workshop on Heterogeneous Models and Modeling Approaches for Engineering of Interactive Systems.
  • Célia Martinie, Philippe Palanque. Explicit representation of function allocation and authority sharing (initiative and responsibility). CHI 2018 Workshop - Interacting with Autonomous Vehicles: Learning from other Domains.

2017

  • Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque. The Handbook of Formal Methods in Human-Computer Interaction. vol:ISBN 978-3-319-51837-4. Springer.
  • José Creissac Campos, Camille Fayollas, Marcelo Gonçalves, Célia Martinie, David Navarre, Philippe Palanque, Miguel Pinto. A More Intelligent Test Case Generation Approach through Task Models Manipulation. Proceedings of the ACM on Human-Computer Interaction vol:1. ACM SIGCHI.
  • Jonathan Lazar, Elizabeth Churchill, Tovi Grossman, Gerrit Van Der Veer, Philippe Palanque, John 'Scooter' Morris, Jennifer Mankoff. Making the Field of Computing More Inclusive. Communications of the ACM vol:603. p:50-59. ACM : Association for Computing Machinery.
  • Inigo Aldalur Ceberio, Marco Winckler, Oscar Diaz, Philippe Palanque. Web Augmentation as a Promising Technology for End User Development. p:433-459. Springer.
  • Judy Bowen, Alan Dix, Philippe Palanque, Benjamin Weyers. Topics of Formal Methods in HCI. p:57-64. Springer.
  • Alan Dix, Benjamin Weyers, Judy Bowen, Philippe Palanque. Trends and Gaps. p:65-88. Springer.
  • Benjamin Weyers, Michael Harrison, Judy Bowen, Alan Dix, Philippe Palanque. Case Studies. p:89-121. Springer.
  • Camille Fayollas, Célia Martinie, Philippe Palanque, Eric Barboni, Racim Fahssi, Arnaud Hamon. Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment. p:465-504. Springer.
  • Camille Fayollas, Philippe Palanque, Jean-Charles Fabre, Célia Martinie, Yannick Déléris. Dealing with Faults During Operations: Beyond Classical Use of Formal Methods. p:549-575. Springer.
  • Elodie Bouzekri, Alexandre Canny, Camille Fayollas, Célia Martinie, Philippe Palanque, Eric Barboni, Yannick Déléris, Christine Gris. A List of Pre-Requisites to Make Recommender Systems Deployable in Critical Context. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2017 (SIGCHI - EICS). CEUR Workshop Proceedingsvol:1945. p:42-55. CEUR-WS : Workshop proceedings.
  • David Navarre, Philippe Palanque, Arnaud Hamon, Sabrina Della Pasqua. Similarity as a Design Driver for User Interfaces of Dependable Critical Systems. Workshop on Dealing with Conflicting User Interface Properties in User-Centered Development Processes at INTERACT 2017. p:114-122. Springer.
  • Camille Fayollas, Célia Martinie, Philippe Palanque, Yamine Ait Ameur. QBP Notation for Explicit Representation of Properties, their Refinement and their Potential Conflicts: Application to Interactive Systems. Workshop on Dealing with Conflicting User Interface Properties in User-Centered Development Processes at INTERACT 2017. p:91-105. Springer.
  • Alexander Meschtscherjakov, Manfred Tscheligi, Peter Frölich, Rod Mccall, Andreas Riener, Philippe Palanque. Mobile interaction with and in autonomous vehicles. International Conference on Human-Computer Interaction with Mobile Devices and Services 2017 (MobileHCI). p:1-6. ACM : Association for Computing Machinery.
  • Philippe Palanque, Célia Martinie, Camille Fayollas. Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems. ACM International Conference on Human Factors in Computing Systems 2017 (ACM CHI). p:1257-1260. ACM : Association for Computing Machinery.
  • Philippe Palanque, Célia Martinie, Marco Winckler. Designing and Assessing Interactive Systems Using Task Models. IFIP TC 13 International Conference on Human-Computer Interaction 2017 (INTERACT). p:383-386. Springer-Verlag.
  • Andy Cockburn, Carl Gutwin, Philippe Palanque, Yannick Déléris, Catherine Trask, Ashley Coveney, Marcus Yung, Karon Maclean. Turbulent Touch: Touchscreen Input for Cockpit Flight Displays. International Conference on Human-Computer Interaction 2017 (HCI). ACM : Association for Computing Machinery.
  • Camille Fayollas, Célia Martinie, Philippe Palanque, Paolo Masci, Michael Harrison, José Creissac Campos, Saulo Rodrigues E Silva. Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web. Workshop on Formal Integrated Development Environment 2017 (F-IDE). Open Publishing Association.

2016

  • Célia Martinie, Philippe Palanque, Racim Fahssi, Jean-Paul Blanquart, Camille Fayollas, Christel Seguin. Task Model-Based Systematic Analysis of Both System Failures and Human Errors. IEEE Transactions on Human-Machine Systems vol:462. p:243-254. IEEE : Institute of Electrical and Electronics Engineers.
  • Racim Fahssi, Célia Martinie, Philippe Palanque. Embedding explicit representation of cyber-physical elements in task models. IEEE International Conference on Systems, Man and Cybernetics 2016. p:1969-1974. IEEE Systems, Man, and Cybernetics Society.
  • Regina Bernhaupt, Philippe Palanque, François Manciet, Célia Martinie. User-Test Results Injection into Task-Based Design Process for the Assessment and Improvement of Both Usability and User Experience. International Working Conference on Human-Centred Software Engineering International Working Conference on Human Error, Safety, and System Development 2016 (HCSE+HESSD). 0302-9743vol:9856. p:56-72. Springer.
  • Camille Fayollas, Célia Martinie, Philippe Palanque, Eric Barboni, Yannick Déléris. What Can Be Learnt from Engineering Safety Critical Partly-Autonomous Systems when Engineering Recommender Systems. EncWorkshop on Engineering Computer-Human Interaction in Recommender Systems 2016 (EnCHIReS). CEUR-WS : Workshop proceedings.
  • Dorrit Billman, Camille Fayollas, Michael Feary, Célia Martinie, Philippe Palanque. Complementary Tools and Techniques for Supporting Fitness-for-Purpose of Interactive Critical Systems. International Working Conference on Human-Centred Software Engineering International Working Conference on Human Error, Safety, and System Development 2016 (HCSE+HESSD). Springer.
  • Camille Fayollas, Jean-Charles Fabre, Philippe Palanque, Martin Cronel, David Navarre, Yannick Déléris. A Three-fold Approach towards Increased Assurance Levels for Interactive Systems: A Flight Control Unit Case Study. International Conference on Human-Computer Interaction in Aeronautics 2016 (HCI'Aero). ACM Digital Library.
  • Michael Feary, Célia Martinie, Philippe Palanque, Manfred Tscheligi. Multiple Views on Safety-Critical Automation: Aircrafts, Autonomous Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives. ACM International Conference on Human Factors in Computing Systems 2016 (ACM CHI). ACM Digital Library.
  • Philippe Palanque, Célia Martinie. Designing and Assessing Interactive Systems Using Task Models. ACM International Conference on Human Factors in Computing Systems 2016 (ACM CHI). ACM Digital Library.
  • José Creissac Campos, Camille Fayollas, Célia Martinie, David Navarre, Philippe Palanque, Miguel Pinto. Systematic automation of scenario-based testing of user interfaces. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2016 (SIGCHI - EICS). p:138-148. ACM Digital Library.
  • Camille Fayollas, Célia Martinie, David Navarre, Philippe Palanque. Engineering mixed-criticality interactive applications. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2016 (SIGCHI - EICS). p:108-119. ACM Digital Library.
  • Camille Fayollas, Célia Martinie, Philippe Palanque, Racim Fahssi. Task Models for Supporting Function Allocation between Operators and Autonomous Systems: Application to Collision Avoidance Operations for Spacecraft. AAAI 2015 Spring Symposium on Intelligent systems for supporting distributed human teamwork 2016. AAAI Press.
  • Cristian Bogdan, Jan Gulliksen, Stefan Sauer, Peter Forbrig, Marco Winckler, Chris Johnson, Philippe Palanque, Regina Bernhaupt. Joint Working Conference 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016. LNCS9856. Springer.

2015

  • Camille Fayollas, Célia Martinie, David Navarre, Philippe Palanque. A Generic Approach for Assessing Compatibility between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Unit. i-com vol:143. p:170-191. de Gruyter.
  • Célia Martinie, Philippe Palanque, Marco Winckler. Designing and Assessing Interactive Systems Using Task Models. p:29-58. Brazilian Computing Society.
  • Regina Bernhaupt, Martin Cronel, François Manciet, Célia Martinie, Philippe Palanque. Transparent Automation for Assessing and Designing better Interactions between Operators and Partly-Autonomous Interactive Systems. International Conference on Application and Theory of Automation in Command and Control Systems 2015 (ATACCS). ACM Digital Library.
  • Célia Martinie, Philippe Palanque, Marco Winckler, Regina Bernhaupt. AUTOM AT ICS: Research activities on Automation. International Conference on Application and Theory of Automation in Command and Control Systems 2015 (ATACCS). ACM Digital Library.
  • Martina Ragosta, Célia Martinie, Philippe Palanque, David Navarre, Mark-Alexander Sujan. Concept Maps as a Glue for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systems. International Conference on Application and Theory of Automation in Command and Control Systems 2015 (ATACCS). ACM Digital Library.
  • Philippe Palanque, Célia Martinie. Designing and Assessing Interactive Systems Using Task Models. International Conference on Human-Computer Interaction 2015 (HCI). p:2465-2466. ACM : Association for Computing Machinery.
  • Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque. Workshop on formal methods in human computer interaction. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2015 (SIGCHI - EICS). p:294-295. ACM : Association for Computing Machinery.
  • Chris Johnson, Michael Feary, Célia Martinie, Philippe Palanque, Regina Peldszus. IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development. IFIP TC 13 International Conference on Human-Computer Interaction 2015 (INTERACT). p:663-664. Springer.
  • Jan Gulliksen, Simone D. J. Barbosa, Anirudha Joshi, Shaun W. Lawson, Philippe Palanque. Role of Conferences in Shaping the Field of HCI. IFIP TC 13 International Conference on Human-Computer Interaction 2015 (INTERACT). p:637-639. Springer.
  • Arnaud Hamon, Philippe Palanque, Martin Cronel. Dependable multi-touch interactions in safety critical industrial contexts: Application to aeronautics. IEEE International Conference on Industrial Informatics 2015 (INDIN). p:980-987. IEEE : Institute of Electrical and Electronics Engineers.
  • Camille Fayollas, Célia Martinie, Philippe Palanque, Racim Fahssi. Accounting for Organisational faults in Task Model Based Systematic Analysis of System Failures and Human Errors. IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development 2015. p:101-116. University of Bamberg Press.
  • Eric Barboni, Arnaud Hamon, Célia Martinie, Philippe Palanque. A User-Centered View on Formal Methods: Interactive Support for Validation and Verification. Workshop on Formal Methods in Human Computer Interaction 2015 (FoMHCI). p:24-29. RWTH Aachen University.
  • Camille Fayollas, Célia Martinie, Philippe Palanque, Yannick Déléris. Beyond Formal Methods for Critical Interactive Systems: Dealing with Faults at Runtime. Workshop on Formal Methods in Human Computer Interaction 2015 (FoMHCI). p:19-23. RWTH Aachen University.
  • Marco Winckler, Carla Freitas, Philippe Palanque, Ricardo Cava, Eric Barboni. Usability aspects of the inside-in approach for ancillary search tasks on the web. IFIP TC 13 International Conference on Human-Computer Interaction 2015 (INTERACT). LNCSvol:9297. p:207-226. Springer.
  • Racim Fahssi, Célia Martinie, Philippe Palanque. Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors. IFIP TC 13 International Conference on Human-Computer Interaction 2015 (INTERACT). Springer-Verlag.
  • Célia Martinie, David Navarre, Philippe Palanque, Camille Fayollas. A Generic Tool-Supported Framework for Coupling Task Models and Interactive Applications. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2015 (SIGCHI - EICS). ACM Press.
  • Philippe Palanque, Célia Martinie. Designing and Assessing Interactive Systems Using Task Models. Conference on Human Factors in Computing Systems - Special Interest Group on Computer-Human Interaction 2015 (CHI - SIGCHI). ACM Press.
  • Célia Martinie, Philippe Palanque. Design, Development and Evaluation Challenges for Future Mobile User Interfaces in Safety-Critical Contexts. Workshop on Future Mobile User Interfaces. 13th International Conference on Mobile Systems, Applications and Services 2015. ACM Press.
  • Michael Feary, Thomas Feuerle, Cristina Gonzalez Rechea, Francisco Xavier Saez Nieto, Chris Johnson, Célia Martinie, Philippe Palanque, Alberto Pasquini, Pim Van Leeuwen, Marco Winckler. 5th International Conference on Application and Theory of Automation in Command and Control Systems. ACM Digital Library.
  • Julio Abascal, Simone D. J. Barbosa, Mirko Fetter, Tom Gross, Philippe Palanque, Marco Winckler. IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2015). LNCS9299. Springer.
  • Julio Abascal, Simone D. J. Barbosa, Mirko Fetter, Tom Gross, Philippe Palanque, Marco Winckler. IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2015). LNCS9298. Springer.
  • Julio Abascal, Simone D. J. Barbosa, Mirko Fetter, Tom Gross, Philippe Palanque, Marco Winckler. IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2015). LNCS9297. Springer.
  • Julio Abascal, Simone D. J. Barbosa, Mirko Fetter, Tom Gross, Philippe Palanque, Marco Winckler. IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2015). LNCS9296. Springer.
  • Philippe Palanque. Engineering Interaction Techniques in the Context of Critical Systems: are Usability and User Experience more important than Dependability and Safety as claimed by the HCI community?. 7th Indian Conference on Human-Computer Interaction (INDIA HCI 2015).
  • Philippe Palanque, Racim Fahssi, Célia Martinie, Marco Winckler, Michel Galindo. Retour d'expérience sur l'enseignement de la modélisation des taches au Master Interaction Homme-Machine de Toulouse. GT Modèles de Tâches - IHM 2015.
  • Célia Martinie, Philippe Palanque. Modeling and Analysis of Human Error Based on Tasks Descriptions: Connecting Research Knowledge with Practice. Human Dependability Workshop (HUDEP 2015).

2014

  • Arnaud Hamon, Eric Barboni, Philippe Palanque, Raphaël André. A Notation and a Layered Architecture to Model Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions. vol:1190. CEUR-WS : Workshop proceedings.
  • Sergio Firmenich, Gustavo Rossi, Marco Winckler, Philippe Palanque. An Approach for Supporting Distributed User Interface Orchestration over the Web. International Journal of Human-Computer Studies vol:711. p:53-76. Elsevier.
  • Eric Barboni, Célia Martinie, David Navarre, Philippe Palanque, Marco Winckler. Bridging the Gap between a Behavioural Formal Description Technique and User Interface description language: Enhancing ICO with a Graphical User Interface markup language. Science of Computer Programming vol:86. p:3-29. Elsevier.
  • Camille Fayollas, Célia Martinie, David Navarre, Philippe Palanque, Racim Fahssi. Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces. Workshop on Distributed User Interfaces 2014 (DUI). ACM : Association for Computing Machinery.
  • Camille Fayollas, Jean-Charles Fabre, Philippe Palanque, Martin Cronel, David Navarre, Yannick Déléris. A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics. Pacific Rim International Symposium on Dependable Computing 2014 (PRDC). p:21-30. IEEE : Institute of Electrical and Electronics Engineers.
  • Ricardo Cava, Carla Freitas, Eric Barboni, Philippe Palanque, Marco Winckler. Inside-In Search: An Alternative for Performing Ancillary Search Tasks on the Web. Latin American Web Congress 2014 (LA-WEB). p:91-99. IEEE : Institute of Electrical and Electronics Engineers.
  • Peter Forbrig, Célia Martinie, Philippe Palanque, Marco Winckler, Racim Fahssi. Rapid Task-Models Development Using Sub-models, Sub-routines and Generic Components. Human-Centered Software Engineering 2014 (HCSE). p:144-163. Springer.
  • Arnaud Hamon, Philippe Palanque, Martin Cronel, Raphaël André, Eric Barboni, David Navarre. Formal Modelling of Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2014 (SIGCHI - EICS). p:173-178. ACM : Association for Computing Machinery.
  • Célia Martinie, Eric Barboni, David Navarre, Philippe Palanque, Racim Fahssi, Erwann Poupart, Eliane Cubero-Castan. Multi-Models-Based Engineering of Collaborative Systems: Application to Collision Avoidance Operations for Spacecrafts. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2014 (SIGCHI - EICS). ACM Digital Library.
  • Camille Fayollas, Célia Martinie, Philippe Palanque, Yannick Déléris, Jean-Charles Fabre, David Navarre. An approach for assessing the impact of dependability on usability: application to interactive cockpits. European Dependable Computing Conference 2014 (EDCC). p:198-209. IEEE : Institute of Electrical and Electronics Engineers.
  • Camille Fayollas, Philippe Palanque, Jean-Charles Fabre, David Navarre, Yannick Déléris, Arnaud Hamon. A Fault-Tolerant Software Architecture and its Formal Specification for Embedded, Real-Time Interactive Systems. European Conference on Embedded Real Time Software and Systems 2014 (ERTS). ERTS : Embedded Real Time Sofware and Systems.
  • Célia Martinie, Philippe Palanque. Fine Grain Modeling of Task Deviations for Assessing Qualitatively the Impact of Both System Failures and Human Error on Operator Performance. AAAI 2014 Symposium on Formal Verification on Human-Machine Systems. AAAI Press.
  • Camille Fayollas, Philippe Palanque, Jean-Charles Fabre, David Navarre, Eric Barboni, Martin Cronel, Yannick Déléris. A fault-tolerant architecture for resilient interactive systems. Conférence Francophone sur l'Interaction Homme-Machine 2014 (IHM). p:80-90. ACM : Association for Computing Machinery.
  • Racim Fahssi, Célia Martinie, Philippe Palanque. HAMSTERS : un environnement d'édition et de simulation de modèles de tâches (Démo). Conférence Francophone sur l'Interaction Homme-Machine 2014 (IHM). ACM Digital Library.

2013

  • Célia Martinie, David Navarre, Philippe Palanque. A Multi-Formalism Approach for Model-Based Dynamic Distribution of User Interfaces of Critical Interactive Systems. International Journal of Human-Computer Studies vol:2013.08. Elsevier.
  • Camille Fayollas, Jean-Charles Fabre, Philippe Palanque, Eric Barboni, David Navarre, Yannick Déléris. Interactive Cockpits as Critical Applications: a Model-Based and a Fault-Tolerant Approach. International Journal of Critical Computer-Based Systems vol:43. p:202-226. Inderscience Publishers.
  • Romuald Deshayes, Tom Mens, Philippe Palanque. PetriNect: A tool for executable modeling of gestural interaction. Visual Languages and Human-Centric Computing 2013 (VL/HCC). p:197-198. IEEE : Institute of Electrical and Electronics Engineers.
  • Romuald Deshayes, Philippe Palanque, Tom Mens. A generic framework for executable gestural interaction models. Visual Languages and Human-Centric Computing 2013 (VL/HCC). p:35-38. IEEE : Institute of Electrical and Electronics Engineers.
  • Célia Martinie, Philippe Palanque, Alberto Pasquini, Martina Ragosta, Sara Silvagni, Mark-Alexander Sujan, Eric Rigaud, Erik Hollnagel. Modelling of Automation Degradation: a Case Study. SESAR Innovation Days 2013. SESAR Work Package E.
  • Guillaume Brat, Célia Martinie, Philippe Palanque. V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems Through Model Checking of Formal Description of Dialog. IFIP TC 13 International Conference on Human-Computer Interaction 2013 (INTERACT). LNCS. p:290-299. Springer.
  • Arnaud Hamon, Philippe Palanque, José Luís Silva, Yannick Déléris, Eric Barboni. Formal description of multi-touch interactions. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2013 (SIGCHI - EICS). p:207-216. ACM : Association for Computing Machinery.
  • Célia Martinie, Philippe Palanque, Martina Ragosta, Racim Fahssi. Extending Procedural Task Models by Explicit and Systematic Integration of Objects, Knowledge and Information. European Conference on Cognitive Ergonomics 2013 (ECCE). ECCE '1323. p:1-10. ACM : Association for Computing Machinery.
  • José Luís Silva, Camille Fayollas, Arnaud Hamon, Philippe Palanque, Célia Martinie, Eric Barboni. Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification. International Workshop on Formal Methods for Interactive Systems 2013 (FMIS). Electronic Communications of the EASST.
  • Célia Martinie, Philippe Palanque, Alberto Pasquini, Martina Ragosta, Mark-Alexander Sujan, David Navarre. Understanding functional resonance through a federation of models: preliminary findings of an avionics case study. International Conference on Computer Safety, Reliability and Security 2013 (SAFECOMP). p:216-227. Springer-Verlag.
  • David Navarre, Célia Martinie, Philippe Palanque, Alberto Pasquini, Martina Ragosta. Model-based dynamic distribution of user interfaces of critical interactive systems. International Conference on Application and Theory of Automation in Command and Control Systems 2013 (ATACCS). p:66-75. ACM : Association for Computing Machinery.
  • Caio Stein D'Agostini, Ricardo Cava, Carina Dorneles, Sergio Firmenich, Carla Freitas, Philippe Palanque, Marco Winckler. Proposta de um Framework para Visualização de Dados Agregados por Similaridade para Auxiliar Consultas durante a Navegação na Web. Simposio Brasileiro de Fatores Humanos em Sistemas Computacionais 2013 (IHC). p:148-157. Sociedade Brasileira de Computação (SBC).
  • Peter Forbrig, Michael Zaki, Philippe Palanque, Marco Winckler. Supportive User Interfaces and Task Migratability in Smart Environments. Workshop on Distributed User Interfaces 2013 (DUI). p:42-45. University of Castilla - La Mancha.
  • Jonathan Lazar, Simone D. J. Barbosa, Jan Gulliksen, Tom Mcewan, Loïc Martínez Normand, Philippe Palanque, Raquel Oliveira Prates, Janice Tsai, Marco Winckler, Wolker Wulf. Workshop on engaging the human-computer interaction community with public policymaking internationally. ACM International Conference on Human Factors in Computing Systems 2013 (ACM CHI). p:3279-3282. ACM Digital Library.
  • Guillaume Brat, Eduardo Garcia, Antonio Moccia, Philippe Palanque, Alberto Pasquini, Francisco Xavier Saez Nieto, Marco Winckler. 3rd International Conference on Application and Theory of Automation in Command and Control Systems. IRIT Press.
  • Jean-Paul Blanquart, Christel Seguin, Philippe Palanque. System Level Integrated Failure Analysis. HUDEP 2013.
  • Célia Martinie, Philippe Palanque. Predicting and Mitigating Human Error Through Detailed Descriptions of Operators' Tasks. HUDEP 2013.
  • Philippe Palanque. The Need for Synchronous Communication to Enhance Collaboration and Cooperation between Industry and Academia. Workshop on Education and Training of Engineers and Researchers in Aeronautics, "Bridging the gap between policy, industry and academia" in conjunction with the ATM World Congress 2013.

2012

  • Marco Winckler, Philippe Palanque. Models as Representations for Supporting the Development of e-Procedures. p:301-315. Morgan Kaufmann Publishers.
  • Eric Rigaud, Erik Hollnagel, Célia Martinie, Philippe Palanque, Alberto Pasquini, Martina Ragosta, Sara Silvagni, Mark-Alexander Sujan. A framework for modeling the consequences of the propagation of automation degradation: application to air traffic control systems. SESAR Innovation Days 2012. Eurocontrol.
  • Camille Fayollas, Jean-Charles Fabre, David Navarre, Philippe Palanque, Yannick Déléris. Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach. Software Engineering for Resilient Systems 2012 (SERENE). p:32-46. Springer-Verlag.
  • Philippe Palanque, Regina Bernhaupt, Célia Martinie. Designing and Engineering Interactive Critical Systems Using Contributions from Gaming Research and Practice. Workshop on Safety-Critical Systems and Video Games: Contradictions and Commonalities. In conjunction with 4th International Conference on Fun and Games (Fun&Games2012). ACM Digital Library.
  • Célia Martinie, Philippe Palanque, David Navarre, Eric Barboni, Erwann Poupart. Systematic Approaches to Training Encompassing Operators' mission and Interaction Techniques. International Conference on Human-Computer Interaction in Aeronautics 2012 (HCI'Aero). ACM Digital Library.
  • Célia Martinie, Philippe Palanque, David Navarre, Eric Barboni. A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments. Human-Centered Software Engineering 2012 (HCSE). LNCS7623. p:112-134. Springer.
  • Llúcia Masip, Célia Martinie, Marco Winckler, Philippe Palanque, Toni Granollers, Marta Oliva. A Design Process for Exhibiting Design Choices and Trade-offs in (potentially) Conflicting User Interface Guidelines. Human-Centered Software Engineering 2012 (HCSE). LNCS7623. p:53-71. Springer.
  • David Navarre, Philippe Palanque. Position Paper: Modelling Interactive Critical Systems using Interactive Cooperative Objects Formalism. Workshop on Formal Methods in Human-Machine Interaction 2012 (Formal H). Formal H : workshop on Formal Methods in Human-Machine Interaction.
  • Philippe Palanque. Task Models as a Central Artifact for Designing, Building and Operating Safe, Usable and Reliable Interactive and (partly-)Autonomous Applications. European Conference on Cognitive Ergonomics 2012 (ECCE). ACM : Association for Computing Machinery.
  • 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. Workshop on Human Factors for Intellignet Vehicles 2012 (HFIV).
  • 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. European Congress on Embedded Real-Time Software 2012 (ERTS). ERTS : Embedded Real Time Sofware and Systems.
  • Arnaud Hamon, Philippe Palanque, Yannick Déléris, David Navarre, Eric Barboni. A Tool-supported Development Process for Bringing Touch Interactions into Interactive Cockpits for Controlling Embedded Critical Systems. International Conference on Human-Computer Interaction in Aeronautics 2012 (HCI'Aero). ACM Digital Library.
  • Thomas Mirlacher, Philippe Palanque, Regina Bernhaupt. Engineering Animations in User Interfaces. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2012 (SIGCHI - EICS). p:25-36. ACM Press.
  • Célia Martinie, Philippe Palanque, Martina Ragosta. Some Issues with Interaction Design and Implementation in the Context of Autonomous Interactive Critical Systems. ACM International Conference on Human Factors in Computer Science (Workshop on End-user Interactions with Intelligent and Autonomous Systems) 2012. p:25-30. ACM Digital Library.
  • 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. International Conference on Application and Theory of Automation in Command and Control Systems 2012 (ATACCS). ACM Digital Library.
  • 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. International Conference on Space Operations 2012 (SpaceOps). American Institute of Aeronautics and Astronautics (AIAA).
  • Célia Martinie, Philippe Palanque, David Navarre, Eric Barboni. A Tool-Supported Training Framework for Improving Operators: Dependability Confronted with Faults and Errors. Safety and Reliability for managing Risk 2012 (ESREL). p:25-36. Taylor & Francis Group.
  • Erik Hollnagel, Célia Martinie, Philippe Palanque, Alberto Pasquini, Martina Ragosta, Eric Rigaud, Sara Silvagni. System Performances under Automation Degradation (SPAD). The First SESAR Innovation Days 2012. SESAR Work Package E.
  • Célia Martinie, Philippe Palanque, David Navarre, Eric Barboni, Marco Winckler. Un processus de développement outillé pour l'exploitation systématique des bénéfices offerts par une conception des systèmes interactifs centrée tâches. Conférence Francophone sur l'Interaction Homme-Machine 2012 (IHM). ACM Digital Library.
  • Eduardo Garcia, Chris Johnson, Washington Yotto Ochieng, Philippe Palanque, Francisco Xavier Saez Nieto, Miguel Angel Vilaplana, Marco Winckler. ATACCS'2012: 2nd International Conference on Application and Theory of Automation in Command and Control Systems. IRIT.
  • Marco Winckler, Philippe Palanque, David Navarre. Challenges for Master Programs on Human-Computer Interaction (HCI): experience report of the M2IHM. Workshop on HCI: Web and Graphics Curricula at WWW 2012.
  • Philippe Palanque, Cédric Bach, Célia Martinie, Marco Winckler. Pourquoi et comment exploiter la modélisation des tâches opérateurs dans les systèmes critiques: Application à la déclaration d'incidents et à l'opération des systèmes de commande et contrôles. Journée scientifique RTRA - FHAE (Facteurs Humains pour la Sécurité Aéronautique) 2012.

2011

  • 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. Elsevier's Safety Science vol:96. p:38-52. Elsevier.
  • Philippe Palanque, Marco Winckler, Célia Martinie. A Formal Model-Based Approach for Designing Interruptions-Tolerant Advanced User Interfaces. Studies in Computational Intelligencevol:Vol. 340. p:143-170. Springer.
  • David Navarre, Philippe Palanque, Célia Martinie, Sandra Steere. Formal Description Techniques for Human-Machine Interfaces - Model-Based Approaches for the Design and Evaluation of Dependable Usable Interactive Systems. Ashgate Publishing.
  • Adrienne Tankeu Choitat, David Navarre, Philippe Palanque, Yannick Déléris, Jean-Charles Fabre, Camille Fayollas. Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques. Pacific Rim International Symposium on Dependable Computing 2011 (PRDC). p:164-173. IEEE : Institute of Electrical and Electronics Engineers.
  • Eric Barboni, Célia Martinie, David Navarre, Philippe Palanque, Marco Winckler. UsiXML Concrete Behaviour with a Formal Description Technique for Interactive Systems. IFIP WG 2.7/13.4 Workshop on User Interface Description Languages 2011 (UIDL). Thales Research and Technology.
  • Célia Martinie, Philippe Palanque, Eric Barboni, Martina Ragosta. Task-Model Based Assessment of Automation Levels: Application to Space Ground Segments. IEEE International Conference on Systems, Man and Cybernetics 2011. p:3267-3273. IEEE Computer Society - Conference Publishing Services.
  • Célia Martinie, Philippe Palanque, Marco Winckler. Structuring and Composition Mechanisms to Address Scalability Issues in Task Models. IFIP TC 13 International Conference on Human-Computer Interaction 2011 (INTERACT). p:134-152. Springer-Verlag.
  • Adrienne Tankeu Choitat, Jean-Charles Fabre, Philippe Palanque, David Navarre, Yannick Déléris. Self-Checking Widgets for Interactive Cockpits. European Workshop on Dependable Computing 2011. p:34-42. ACM Digital Library.
  • Philippe Palanque, Regina Bernhaupt, Florent Montesano. Integrating Gaming Research and Practice in the Design of User Interface of (partly)-Autonomous Safety-Critical Systems. International Conference on Application and Theory of Automation in Command and Control Systems 2011 (ATACCS). p:23-30. ACM Digital Library.
  • Philippe Palanque, Regina Bernhaupt, Marco Winckler. Usability Evaluation: Commonalities and Discrepancies in Games and Safety Critical Systems. European Workshop on HCI Design and Evaluation 2011. p:45-53. ACM Digital Library.
  • Philippe Palanque, Regina Bernhaupt, Guy André Boy, Michael Faery. Engineering Automation in Interactive Critical Systems. International Conference on Human-Computer Interaction 2011 (HCI). p:1345-1349. ACM Digital Library.
  • 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. International Conference on Application and Theory of Automation in Command and Control Systems 2011 (ATACCS). IRIT Press.
  • Philippe Palanque, Eric Barboni, Célia Martinie, David Navarre, Marco Winckler. A Tool Supported Model-based Approach for Engineering Usability Evaluation of Interaction Techniques. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2011 (SIGCHI - EICS). p:21-30. ACM Press.
  • Célia Martinie, Philippe Palanque, Marco Winckler, David Navarre, Erwann Poupart. Model-Based Training: An Approach Supporting Operability of Critical Interactive Systems: Application to Satellite Ground Segments. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2011 (SIGCHI - EICS). p:589-609. Springer-Verlag.
  • Eduardo Garcia, Arnab Majumdar, Philippe Palanque, Alberto Pasquini, Francisco Xavier Saez Nieto, Marco Winckler. 1st International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS'2011). ISBN: 978-2-917490-14-3. IRIT Press.
  • Pedro Campos, Nicholas Graham, Joaquim Jorge, Nunes Nuno, Philippe Palanque, Marco Winckler. IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2011). LNCS6949. Springer.
  • Pedro Campos, Nicholas Graham, Joaquim Jorge, Nunes Nuno, Philippe Palanque, Marco Winckler. IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2011). LNCS6946. Springer.
  • Pedro Campos, Nicholas Graham, Joaquim Jorge, Nunes Nuno, Philippe Palanque, Marco Winckler. IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2011). LNCS6948. Springer.
  • Pedro Campos, Nicholas Graham, Joaquim Jorge, Nunes Nuno, Philippe Palanque, Marco Winckler. IFIP TC13 Conference on Human-Computer Interaction (INTERACT 2011). LNCS6947. Springer.
  • Célia Martinie, Philippe Palanque. A Multi-Models Based Development Process for Critical Interactive Systems Integrating Formal and Informal Approaches. IFIP WG 2.7/13.4 Workshop on Combining Models and Design for interactive systems (ComDeisMoto 2011).
  • Philippe Palanque, Célia Martinie. Contextual Help for Supporting Critical Systems' Operators: Application to Space Ground Segments. Workshop on Activity Context Representation 2011.

2010

  • Philippe Palanque. Designing Interactive Systems neither Interaction nor Interfaces. Congreso Internacional de Interaccion Persona-Ordenador 2010. p:5-13. ACM Digital Library.
  • Philippe Palanque, Adrienne Tankeu Choitat, David Navarre. An Approach for Assessing both Usability and Dependability of Interactive Systems: Application to Interactive Cockpits. International Conference on Human-Computer Interaction in Aeronautics 2010 (HCI'Aero). p:120-130. ACM Digital Library.
  • Célia Martinie, Philippe Palanque, Marco Winckler, Stephane Conversy. DREAMER: a Design Rationale Environment for Argumentation, Modeling and Engineering Requirements. ACM International Conference on Design of Communication 2010 (ACM SIGDOC). p:73-80. ACM : Association for Computing Machinery.
  • Célia Martinie, Jean-François Ladry, David Navarre, Philippe Palanque, Marco Winckler. Embedding Requirements in Design Rationale to Deal Explicitely with User eXperience and Usability in an "intensive" Model-Based Development Approach. Workshop on Model Driven Development of Advanced User Interfaces 2010 (MDDAUI). vol:617. p:29-32. CEUR-WS : Workshop proceedings.
  • Jean-François Ladry, Philippe Palanque, Eric Barboni, David Navarre. Model-Based Usability Evaluation and Analysis of Interactive Techniques. Workshop on Model Driven Development of Advanced User Interfaces 2010 (MDDAUI). vol:617. p:21-24. CEUR-WS : Workshop proceedings.
  • Célia Martinie, Philippe Palanque, David Navarre, Marco Winckler. A formal approach supporting effective and efficient training program for improving operators reliability. Safety and Reliability for managing Risk 2010 (ESREL). p:234-243. Taylor & Francis Group.
  • Eric Barboni, Jean-François Ladry, David Navarre, Philippe Palanque, Marco Winckler. Beyond Modelling: An Integrated Environment Supporting Co-Execution of Tasks and Systems Models. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2010 (SIGCHI - EICS). p:143-152. ACM SIGCHI.
  • Philippe Palanque. Défis pour les Approches Formelles pour l'Ingénierie des Systèmes Interactifs. Journées Francophones MODÈLES FORMELS de l'INTERACTION 2010 (MFI). p:5-9.
  • Jean-François Ladry, Philippe Palanque, David Navarre, Eric Barboni, Marco Winckler. Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction. ACM ISBN : 978-1-4503-0410-8. p:81-88. ACM Digital Library.
  • Marco Winckler, Philippe Palanque. Desafios para Programas de Mestrado em Interação Humano-Computador (IHC): a experiência do M2IHM. Simpósio de Fatores Humanos em Sistemas Computacionais 2010 (IHC). ISSN 2178-7700vol:II. p:71-74. Sociedade Brasileira de Computação.
  • María D. Lozano, José Gallud, Philippe Palanque. Mobile Context-Aware Applications for Ubiquitous Computing. Journal of Universal Computer Science vol:1615. John Wiley and Sons.
  • David England, Philippe Palanque, Jean Vanderdonckt, Peter Wilde. Task Models and Diagrams for User Interface Design (TAMODIA 2009). LNCS5963. Springer-Verlag.
  • Philippe Palanque, Jean Vanderdonckt, Marco Winckler. 7th IFIP WG 13.5 Working Conference Human Error, Safety and Systems Development (HESSD 2009). LNCS5962. Springer-Verlag.

2009

  • 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. Transactions on Computer-Human Interaction vol:164. p:1-56. ACM SIGCHI.
  • David Navarre, Philippe Palanque, Marco Winckler. Task Models and System Models as a Bridge between HCI and Sofware Engineering. Human-Computer Interaction Series. p:357-385. Springer.
  • 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. International Conference on Multimodal Interfaces and Workshop on Machine Learning for Multi-modal Interaction 2009 (ICMI-MLMI 2009). p:135-142. ACM : Association for Computing Machinery.
  • Denis Lalanne, Laurence Nigay, Philippe Palanque, Peter Robinson, Jean Vanderdonckt. Fusion Engines for Multimodal Interfaces: a survey. International Conference on Multimodal Interfaces and Workshop on Machine Learning for Multi-modal Interaction 2009 (ICMI-MLMI 2009). p:111-118. ACM : Association for Computing Machinery.
  • Eugenio Alberdi, Lorenzo Strigini, Kieran Leach, Peter Ryan, Philippe Palanque, Marco Winckler. Gaining assurance in a voter-verifiable voting system. International Conference on Dependability 2009 (DEPEND). DOI 10.1109/DEPEND.2009.2. p:99-104. IEEE Computer Society.
  • Philippe Palanque, Marco Winckler, Jean-François Ladry, Maurice H. Ter Beek, Giorgio Faconti, Mieke Massink. A Formal Approach Supporting the Comparative Predic-tive Assessment of the Interruption-Tolerance of Interactive Systems. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2009 (SIGCHI - EICS). p:211-220. ACM Press.
  • Maurice H. Ter Beek, Giorgio Faconti, Mieke Massink, Philippe Palanque, Marco Winckler. Resilience of Interaction Techniques to Interrupts: A Formal Model-based Approach. IFIP TC 13 International Conference on Human-Computer Interaction 2009 (INTERACT). LNCSvol:15726. p:494-509. Springer-Verlag.
  • Marco 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 2009 (ICE-GOVE). vol:1ISBN 975-6339-00-0. p:281-296. Turksat (International Satellite and Cable Operator).
  • Sandra Steere, Erwann Poupart, Philippe Palanque. An operator-centered, model-based framework for ground segment design, supporting training and operations. Ground System Architectures Workshop 2009 (GSAW). The Aerospace Corporation.
  • Philippe Palanque, Jean-François Ladry, David Navarre, Eric Barboni. High-Fidelity Prototyping of Interactive Systems can be Formal too. HCI International 2009. p:21-30. Springer-Verlag.
  • Philippe Palanque, Jean-François Ladry, Eric Barboni, David Navarre, Marco Winckler. Une Approche Formelle pour l'Evaluation de la Tolérance aux Interruptions des Système Interactifs. Conférence Francophone sur l'Interaction Homme-Machine 2009 (IHM). p:141-150. ACM Digital Library.
  • Tom Gross, Jan Gulliksen, Paula Kotze, Lars Oestreicher, Philippe Palanque, Raquel Oliveira Prates, Marco Winckler. TC13 IFIP INTERACT 2009. LNCS 5726 / 5727. Springer.
  • Philippe Palanque, David Navarre. Beyond bi-polinisation: embedding Safety Engineering and Reliability Engineering along with Usability and Software Engineering. EVAL-workshop at INTERACT 2009.

2008

  • Regina Bernhaupt, David Navarre, Philippe Palanque, Marco Winckler. Model-Based Evaluation: A New Way to Support Usability Evaluation of Multimodal Interactive Applications. Human-Computer Interaction Series. p:96-122. Springer.
  • Giorgio Faconti, Michael Harrison, Mieke Massink, Philippe Palanque. The FAERUS Project: Formal Analysis of Evolving Resilient Usable Systems. European Dependable Computing Conference 2008 (EDCC). p:0-0. IEEE Computer Society.
  • Philippe Palanque, Marco Winckler, Regina Bernhaupt, Eugenio Alberdi, Lorenzo Strigini. AROVE-v: Assessing the resilience of open verifiable E-voting systems. European Dependable Computing Conference 2008 (EDCC). (Fast Abstract)ISBN 978-0-7695-3666-8/09. IEEE Computer Society.
  • Sandra Steere, David Navarre, Philippe Palanque. Usability Service Continuation through Reconfiguration of Input and Output Devices in Safety Critical Interactive Systems. International Conference on Computer Safety, Reliability and Security 2008 (SAFECOMP). vol:LNCS. p:0-0. Springer-Verlag.
  • David Navarre, Philippe Palanque, Jean-François Ladry, Sandra Steere. An Architecture and a Formal Description Technique for User Interaction Reconfiguration of Safety Critical Interactive Systems. Design Specification and Verification of Interactive Systems 2008 (DSV-IS). vol:LNCS. p:0-0. Springer-Verlag.
  • Philippe Palanque, Sandra Steere, Regina Bernhaupt, Ron Boring, Chris Johnson, Peter Johnson. Beyond usability for safety critical systems: How to be SURE (safe, usable, reliable, and evolvable)?. ACM International Conference on Human Factors in Computing Systems 2008 (ACM CHI). p:2133-2136. ACM : Association for Computing Machinery.
  • Jean-François Ladry, Philippe Palanque, Sandra Steere, Eric Barboni, David Navarre. Dealing with Reliability and Evolvability in Description Techniques for Next Generation User Interfaces. ACM International Conference on Human Factors in Computing Systems 2008 (ACM CHI). ACM : Association for Computing Machinery.
  • Philippe Palanque, Sandra Steere, Erwann Poupart. A Model-Based Approach Centred on Operational Procedures for the Development of Reliable and Usable Ground Segment Systems. AIAA International Conference on Space Operations 2008 (SpaceOps). p:0-0. American Institute of Aeronautics and Astronautics (AIAA).
  • Sandra Steere, Philippe Palanque, Regina Bernhaupt, Erwann Poupart. Formal Modelling of Incidents and Accidents as a Means for Enriching Training Material for Satellite Control Operations. Safety and Reliability for managing Risk 2008 (ESREL). p:0-0. Taylor & Francis Group.
  • T.C. Nicholas Graham, Philippe Palanque. DSV-IS 2008 15th International conference on Design, Specification,and Verification of Interactive Systems. Springer-Verlag.
  • Jan Gulliksen, Morten Harning, Philippe Palanque, Gerrit Van Der Veer, Janet Wesson. 14th International conference DSV-IS 2007 (Design Specification and Verification of Interactive Systems) & EIS 2007 (Engineering Interactive Systems). Lecture Notes in Computer Science4940. Springer-Verlag.

2007

  • Sandra Steere, Philippe Palanque, Bastiaan Schupp, Peter Wright. Formal socio-technical barrier modelling for safety-critical interactive systems design. Elsevier's Safety Science vol:455. p:545-565. Elsevier.
  • 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. p:155-172. Springer-Verlag.
  • Xavier Lacaze, Philippe Palanque. DREAM & TEAM: A Tool and a Notation Supporting Exploration of Options and Traceability of Choices for Safety Critical Interactive Systems. IFIP TC 13 International Conference on Human-Computer Interaction 2007 (INTERACT). p:525-540. Springer-Verlag.
  • Regina Bernhaupt, Philippe Palanque, Marco Winckler, David Navarre. Usability Study of Multi-Modal Interfaces using Eye-Tracking. IFIP TC 13 International Conference on Human-Computer Interaction 2007 (INTERACT). LNCSvol:24663. p:412-424. Springer-Verlag.
  • Xavier Lacaze, Philippe Palanque. DREAM-TEAM: A Tool and a Notation Supporting Exploration of Options and Traceability of Choices for Safety Critical Interactive Systems. IFIP TC 13 International Conference on Human-Computer Interaction 2007 (INTERACT). p:0-0. Springer-Verlag.
  • David Navarre, Philippe Palanque, Jean-François Ladry. Model-based Framework for Addressing Diversity, Usability and Reliability for Safety Critical Interactive Systems. IET International Conference on System Safety 2007. p:0-0. IEEE : Institute of Electrical and Electronics Engineers.
  • Stephane Conversy, Eric Barboni, David Navarre, Philippe Palanque. Improving modularity of interactive software with the MDPC architecture. Engineering Interactive Systems 2007 (EHCI-HCSE-DSVIS). p:321-338. Springer-Verlag.
  • David Navarre, Philippe Palanque, Eric Barboni, Tomasz Mistrzyk. On the Benefit of Synergistic Model-based Approach for Safety Critical Interactive System Testing. TAsk MOdels DIAgrams for UI design 2007 (TAMODIA). p:0-0. Springer-Verlag.
  • Eric Barboni, David Navarre, Philippe Palanque, Sandra Steere. A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC Specification 661. IEEE International Symposium on Industrial Embedded Systems 2007 (SIES). 1-4244-0840-7. p:250-257. IEEE : Institute of Electrical and Electronics Engineers.
  • Philippe Palanque, Sandra Steere, David Navarre. Improving Interactive Systems Usability using Formal Description Techniques: Application to HealthCare. Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society 2007 (USAB). p:21-40. Springer.
  • Cecilia Baranauskas, Philippe Palanque, Julio Abascal, Simone D. J. Barbosa. INTERACT 2007 11th IFIP TC 13 International Conference (Part II). Lecture Notes in Computer Science4662. Springer-Verlag.
  • Cecilia Baranauskas, Philippe Palanque, Julio Abascal, Simone D. J. Barbosa. INTERACT 2007 11th IFIP TC 13 International Conference (Part I). Lecture Notes in Computer Science4663. Springer-Verlag.
  • Marco Winckler, Hilary Johnson, Philippe Palanque. 6th International Workshop on TASk MOdels and DIAgrams (TAMODIA'2007). LNCS4849. Springer-Verlag.

2006

  • Marco Winckler, Eric Barboni, Philippe Palanque, Christelle Farenc. What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?. Electronic Notes in Theoretical Computer Science vol:1572. p:207-211. Elsevier.
  • 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:185. p:910-941. Elsevier.
  • Philippe Palanque, Regina Bernhaupt, Ron Boring, Chris Johnson. Testing Interactive Software: a Challenge for Usability and Reliability. ACM Conference on Human Factors in Computing Systems - Special Interest Group on Testing Interactive Software 2006 (CHI - SIGTIS). p:748-751. ACM : Association for Computing Machinery.
  • Philippe Palanque, Regina Bernhaupt, David Navarre, Mourad Ould, Marco Winckler. Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri net Based Formal Specification. International Conference on Space Operations 2006 (SpaceOps). p:0-0. American Institute of Aeronautics and Astronautics (AIAA).
  • Eric Barboni, Stephane Conversy, David Navarre, Philippe Palanque. Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. Design Specification and Verification of Interactive Systems 2006 (DSV-IS). LNCS. p:25-38. Springer-Verlag.
  • Svetlena Tavena, Philippe Palanque, Sandra Steere, Marco Winckler, Effie Law. Clinical Application Design: Task Modeling with Failure in Mind (poster). World Congress on Internet in Medicine 2006 (MedNet). eHealthNews.eu.
  • Svetlena Tavena, Philippe Palanque, Sandra Steere, Marco Winckler, Effie Law. Analysis of Communication Breakdowns for eHealth Systems Design.(poster). Nordic Conference on eHealth and Telemedicine 2006 (NCeHT). STAKES.
  • Sandra Steere, Philippe Palanque. Software hazards and barriers for informing the design of safety-critical interactive systems. Safety and Reliability for managing Risk 2006 (ESREL). p:1381-1388. Taylor & Francis Group.
  • Eric Barboni, David Navarre, Philippe Palanque, Sandra Steere. Addressing Issues Raised by the Exploitation of Formal Specification Techniques for Interactive Cockpit Applications. International Conference on Human-Computer Interaction in Aeronautics 2006 (HCI'Aero). Cépaduès.
  • Bastiaan Schupp, Sandra Steere, Philippe Palanque, Peter Wright. A Barrier-Approach to Inform Model-Based Design of Safety-Critical Interactive Systems. International Symposium of the ISSA Research Section Design process and human factors integration: Optimising company performances 2006. International Social Security Association (ISSA).

2005

  • Sandra Steere, Nick Chozos, Philippe Palanque. Multidisciplinary perspective on accident investigation. Special edition of Elsevier's Reliability Engineering and System Safety journal vol:9112. p:1502-1520. Elsevier.
  • Rémi Bastide, David Navarre, Philippe Palanque. Tool Support for Interactive Prototyping of Safety Critical Interactive Applications. Idea Group Reference Pub.
  • Xavier Lacaze, Philippe Palanque, Eric Barboni, David Navarre. Design Rationale for Increasing Profitability of Interactive Systems Development. p:15. Idea Group Reference.
  • Gilbert Cockton, Ebba Hvannberg, Effie Law, Jean Vanderdonckt, Philippe Palanque. COST 294: A Usability Research Community. Interact 2005. p:1012-1015. Lecture Notes in Computer Science, Springer Verlag.
  • Effie Law, Ebba Hvannberg, Jean Vanderdonckt, Dominique-Louis Scapin, Philippe Palanque. Towards the Maturation of IT Usability Evaluation (MAUSE). Interact 2005. p:1134-1137. Lecture Notes in Computer Science, Springer Verlag.
  • Effie Law, Ebba Hvannberg, Jean Vanderdonckt, Dominique-Louis Scapin, Philippe Palanque. MAUSE: Network of Usability Excellence. BCS HCI 2005. p:283-286. Springer Verlag.
  • David Navarre, Philippe Palanque, Rémi Bastide, Amélie Schyn, Marco Winckler, Luciana Porcher Nedel, Carla Freitas. A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications. IFIP TC 13 International Conference on Human-Computer Interaction 2005 (INTERACT). p:170-183. Springer-Verlag.
  • Sandra Steere, Nick Chozos, Chris Johnson, Philippe Palanque. Redesigning an Interactive Safety-Critical System to Prevent an Accident from Reoccurring. 24th European Annual Conference on Human Decision Making and Manual Control. (EAM) 2005. xx.
  • Sandra Steere, Nick Chozos, Chris Johnson, Philippe Palanque. Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems. International Workshop on Design, Specification and Verification of Interactive Systems 2005 (DSVIS). p:123-139. Springer-Verlag.
  • Marco Winckler, Eric Barboni, Christelle Farenc, Philippe Palanque. What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?. First International Workshop on Automated Specification and Verification of Web Sites (WWV'2005). p:33-36. LNCS.
  • Rémi Bastide, Xavier Lacaze, David Navarre, Philippe Palanque, Michel Galindo. Can we Rationalise the Design and Construction of Air Traffic Management Systems. HCI International 2005. TBD.
  • Rémi 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. HCI International 2005. TBD.
  • Sandra Steere, 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. 2nd Workshop on Complexity in Design and Engineering 2005. p:45-58. GIST Technical Report G2005-1.
  • Rémi Bastide, Philippe Palanque, Jörg Roth. Joint EHCI-DSVIS 2004 conference proceedings. Springer, Lecture Notes in Computer Science n° 3425.
  • Sandra Steere, Philippe Palanque. A Task Pattern Approach to Incorporate User Deviation in Task Models. Proceedings of the first ADVISES Young Researchers Workshop 2005.
  • Sandra Steere, Rémi Bastide, Philippe Palanque. Extending the Boundaries of Model-Based Development to Account for Errors. Model Driven Development of Advanced User Interfaces, Workshop at MoDELS/UML'2005, ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems.
  • David Navarre, Philippe Palanque, Rémi Bastide, Marco Winckler. What User Interface Tools are needed for Safety Critical Interactive Systems?. CHI 2005 Workshop : The Future of User Interface Design Tools.

2004

  • Mourad Ould, Philippe Palanque, Amélie Schyn, Rémi Bastide, David Navarre. Multimodal and 3D Graphic Man Machine Interfaces to improve Operations. SpaceOps'2004 - Eighth International Conference on Space Operations. Canadian Space Agency.
  • 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. ICMI 2004 - Sixth International Conference on Multimodal Interfaces. p:243-250. ACM Press.
  • 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. IFIP Working Conference on Engineering for Human-Computer Interaction (jointly with the 11th International Workshop on Design, Specification and Verification of Interactive Systems) 2004 (EHCI-DSVIS). LNCS3425. p:185-206. Springer.
  • David Navarre, Philippe Palanque, Rémi Bastide. A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC 661 Specification. International Conference on Human-Computer Interaction in Aeronautics 2004 (HCI'Aero). EURISCO International.
  • Marco Winckler, Carla Freitas, Philippe Palanque. Tasks and Scenario-based Evaluation of Information Visualization Techniques. 3rd International Workshop on Task Models and Diagrams for User Interface Design - TAMODIA¿2004. p:165-172. ACM SIGCHI.
  • Marco 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. p:55-56. Kluwer Academic Publisher.
  • Philippe Palanque, Sandra Steere. Task Patterns For Taking Into Account In An Efficient And Systematic Way Both Standard And Erroneous User Behaviours. IFIP 13.5 Working Conference on Human Error, Safety and Systems Development (HESSD) 2004. p:109-130. Kluwer Academic Publisher.
  • Xavier Lacaze, Philippe Palanque. Comprehensive Handling of Temporal Issues in Tasks Models: What is needed and How to Support it?. Workshop of The Temporal Aspects Of Work For HCI, CHI 2004.-April 24-29, 2004. p:6. ACM.
  • Chris Johnson, Philippe Palanque. Human Error, Safety and Systems Development 2004. Proceedings of HESSD 2004. Kluer Academics. ISBN 1-4030-8152-9.
  • Pavel Slavik, Philippe Palanque, Marco Winckler. 3rd International Workshop on Task Models and Diagrams for User Interface Design - TAMODIA 2004. ACM SIGCHI.

2003

  • Rémi Bastide, David Navarre, Philippe Palanque. A tool-supported design framework for safety critical interactive systems. Interacting with Computers vol:153. p:309-328. Elsevier.
  • David Navarre, Rémi Bastide, Philippe Palanque. Notations en IHM pour une modélisation synergique des tâches et du système. Hermès.
  • Marco Winckler, Philippe Palanque. StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications. Design Specification and Verification of Interactive Systems 2003 (DSV-IS). p:61-67. Springer-Verlag.
  • Philippe Palanque, Amélie Schyn. A Model-Based Approach for Engineering Multimodal Interactive. INTERACT'2003 : Ninth IFIP TC13 International Conference on Human-Computer Interaction. p:543-550. IOS Press.
  • 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. IHM'2003 : 15th French Speaking conference on human-computer interaction. p:150-157. ACM Press.
  • Luciana Porcher Nedel, Carla Freitas, Amélie Schyn, David Navarre, Philippe Palanque. Usando Modelagem Formal para Especificar Interação em Ambientes Virtuais: Por que?. VI Symposium on Virtual Reality 2003. p:81-92. SBC - Brazilian Computer Society.
  • Carla Freitas, Ricardo Cava, Marco Winckler, Philippe Palanque. Synergistic Use of Visualisation Technique and Web Navigation Model for Information Space Exploration. 10th International Conference on Human-Computer Interaction ¿ HCI International¿2003. p:1091-1095. Lawrence Erlbaum Associates.
  • Philippe Palanque, Rémi Bastide, Marco Winckler. Automatic Generation of Interactive Systems: Why A Task Model is not Enough. HCI International¿2003 - 10th International Conference on Human-Computer Interaction. p:198-202. Lawrence Erlbaum Associates.
  • Marco Winckler, Philippe Palanque. A Formal Description Technique Dedicated to Navigation Modelling of Web Applications. International Workshop on Design, Specification and Verification of Interactive Systems - DSVIS'2003. p:61-76. LNCS.
  • Eric Barboni, Rémi Bastide, Xavier Lacaze, David Navarre, Philippe Palanque. Petri Net Centered versus User Centered Petri Nets Tools. AWPN 2003 - 10th Workshop Algorithms and Tools for Petri Nets. ---.
  • Eamonn O'Neill, Philippe Palanque, Peter Johnson. People and Computers XVII - Designing for Society Proceedings of HCI 2003. Springer Verlag. ISBN 1-85233-766-4.
  • Rémi Bastide, Philippe Palanque. UML for Interactive Systems: What is Missing. INTERACT 2003 - Workshop on Software Engineering and HCI.

2002

  • David Navarre, Philippe Palanque, Rémi Bastide. Reconciling Safety and Usability Concerns through Formal Specification-based Development Process. International Conference on Human-Computer Interaction in Aeronautics 2002 (HCI'Aero). p:23-29. EURISCO International.
  • David Navarre, Philippe Palanque, Rémi Bastide. Model-Based Interactive Prototyping of Highly Interactive Applications. CADUI'2002 - 4th International Conference on Computer-Aided Design of User Interfaces. Kluwer.
  • Rémi Bastide, Philippe Palanque, David Navarre. A Model Based Tool for Interactive Prototyping of Highly Interactive Applications. CHI'2002 - ACM Conference on Human Factors in Computing Systems. ACM Press.
  • 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, THIRD INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION, LREC2002. p:63-70. ELRA.
  • Marco Winckler, Philippe Palanque, Christelle Farenc, Marcelo Pimenta. Task-Based Assessment of Web Navigation Design. First International Workshop in Task Models and Diagrams for User Interface Design - TAMODIA'2002. p:161-169. ACM SIGCHI.
  • Xavier Lacaze, Philippe Palanque, David Navarre, Rémi Bastide. Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems. DSV-IS 2002 - 9th International Workshop, Design Specification and Verification of Interactive Systems. p:208-222. Springer, Lecture notes in Computer Science 2545.
  • Marco Winckler, Christelle Farenc, Philippe Palanque. Une démarche structurée pour la conception et l'évaluation d'applications Web par l'exploitation synergique des modèles de tâche et de navigation. 14th Conférence Francophone sur l'Interaction Homme-Machine - IHM'2002. p:153-160. AFIHM.
  • Xavier Lacaze, Philippe Palanque, David Navarre. Evaluation de Performance et Modèles de Tâches comme Support à la Conception Rationnelle des Systèmes Interactifs. 14ème conférence francophone en Interaction Homme Machine, IHM 2002. p:17-24. ACM Press.
  • Marco Winckler, Christelle Farenc, Philippe Palanque. Automatic Evaluation for the Web: How Improve Navigation Guidelines. Workshop on Automated Testing in ACM Conference on Computer-Human Interaction - CHI¿2002.

2001

  • Marco Winckler, Christelle Farenc, Philippe Palanque, Rémi Bastide. Designing Navigation for Web Interfaces. Annual Conference of the BCS-HCI Group jointly with Annual Conference of AFIHM 2001 (IHM-HCI). (Short paper). p:43-46. Cépaduès Editions.
  • David Navarre, Philippe Palanque, Rémi Bastide, Ousmane Sy. A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications. RSP'01 - 12th IEEE International Workshop on Rapid System Prototyping 2001. IEEE.
  • David Navarre, Philippe Palanque, Rémi Bastide, Fabio Paternò, Carmen Santoro. A Tool Suite for Integrating Task and System Models Through Scenarios. DSV-IS'2001 - 8th Eurographics workshop on Design, Specification and Verification of Interactive Systems. Springer, Lecture Notes in Computer Science 2220.
  • Christelle Farenc, Philippe Palanque, Christian Bastien, Dominique-Louis Scapin, Marco Winckler. Towards a General Guidance and Support Tool for Usability Optimization. International Conference on Universal Access in Human-Computer ¿ UAHCI¿2001. Lawrence Erlbaum Associates.
  • Marco Winckler, Marcelo Pimenta, Philippe Palanque, Christelle Farenc. Usability Evaluation Methods: What is still missing for the Web?. 8th International Conference on HCI International 2001. Lawrence Erlbaum Associates.
  • Marco Winckler, Christelle Farenc, Philippe Palanque, Marcelo Pimenta. Avaliação da Navegação de Interfaces Web a partir de Modelos. IV Simpósio sobre Fatores Humanos em Sistemas Computacionais ¿ IHC¿2001. SBC.

2000

  • Philippe Palanque, Michel Galindo, David Navarre, Rémi Bastide, Ousmane Sy. Integrating Prototyping and Formal Methods as a means for Reconciling Usability and Safety. Workshop on Safety and Usability Concerns in Aeronautics - IFIP WG 13.5 - Workshop within HCI-Aero 2000. p:41-47. European Institute of Cognitive Science and Engineering.

1999

  • Christelle Farenc, Philippe Palanque. Exploitation des notations de Design Rationale pour une conception justifiée des applications interactives. Conférence Francophone sur l'Interaction Homme-Machine 1999 (IHM). Cépaduès.