Philippe PALANQUE

384
Documents

Publications

Publications

Towards MBSE engineering dedicated to socio-technical interactive systems

Célia Martinie , Philippe Palanque , David Navarre , Eric Barboni
CEAS Space Journal, 2024, ⟨10.1007/s12567-024-00536-0⟩
Article dans une revue hal-04480199 v1
Image document

A Systematic Process to Engineer Dependable Integration of Frame-based Input Devices in a Multimodal Input Chain: Application to Rehabilitation in Healthcare

Axel Carayon , Célia Martinie , Philippe Palanque , Eric Barboni , Sandra Steere
Proceedings of the ACM on Human-Computer Interaction , 2024, Proceedings of the ACM on Human-Computer Interaction, 8 - EICS (article 259), pp.1--31. ⟨10.1145/3664633⟩
Article dans une revue hal-04633693 v1

F3FLUID: A formal framework for developing safety‐critical interactive systems in FLUID

Neeraj Kumar Singh , Yamine Aït-Ameur , Ismail Mendil , Dominique Méry , David Navarre et al.
Journal of Software: Evolution and Process, In press, ⟨10.1002/smr.2439⟩
Article dans une revue hal-03617603 v1

Increasing engagement and well-being of operators working with automation by integrating task models and gameful design

Célia Martinie , Philippe Palanque , Eric Barboni
Personal and Ubiquitous Computing, 2023, pp.1--28. ⟨10.1007/s00779-023-01783-4⟩
Article dans une revue (article de synthèse) hal-04308405 v1

Engineering Rehabilitation: Blending Two Tool-supported Approaches to Close the Loop from Tasks-based Rehabilitation to Exercises and Back Again

Carayon Axel , Juan Garrido , Célia Martinie , Philippe Palanque , Eric Barboni et al.
Proceedings of the ACM on Human-Computer Interaction , 2023, 7: EICS (Article 177), pp.1-23. ⟨10.1145/3593229⟩
Article dans une revue hal-04137240 v1

Formal domain-driven system development in Event-B: Application to interactive critical systems

Ismail Mendil , Yamine Aït-Ameur , Neeraj Kumar Singh , Guillaume Dupont , Dominique Méry et al.
Journal of Systems Architecture, 2023, 135, pp.102798. ⟨10.1016/j.sysarc.2022.102798⟩
Article dans une revue hal-03904803 v1
Image document

Engineering Annotations: A Generic Framework For Gluing Design Artefacts in Models of Interactive Systems

Marco Winckler , Philippe Palanque , Jean Luc Hak , Eric Barboni , Olivier Nicolas et al.
Proceedings of the ACM on Human-Computer Interaction , In press, Journal PACM EICS series, EICS 2022 (EICS), pp.1-36. ⟨10.1145/3535063⟩
Article dans une revue hal-03657095 v1

Approche à base de modèles pour l’ingénierie des systèmes interactifs

Célia Martinie , David Navarre , Philippe Palanque
Les Techniques de l'Ingenieur, 2022, ⟨10.51257/a-v1-h3290⟩
Article dans une revue hal-04357894 v1

Engineering Interactive Computing Systems 2022: Editorial Introduction

Kris Luyten , Philippe Palanque , Aaron John Quigley , Marco Winckler
Proceedings of the ACM on Human-Computer Interaction , 2022, EICS, 6 (EICS), pp.1-3. ⟨10.1145/3532089⟩
Article dans une revue hal-04316159 v1

Engineering Operations-based Training

Célia Martinie , David Navarre , Philippe Palanque , Eric Barboni , Sandra Steere
Proceedings of the ACM on Human-Computer Interaction , 2022, ACM Journals, 6 : EICS (Article 164), pp.1-25. ⟨10.1145/3534518⟩
Article dans une revue hal-03703942 v1

HCI for general aviation: current state and research challenges

Sebastian S. Feger , Felix Ehrentraut , Christopher Katins , Philippe Palanque , Thomas Kosch
Interactions, 2022, 29 (6), pp.60-65. ⟨10.1145/3564040⟩
Article dans une revue hal-03855018 v1

Model-based Engineering of Feedforward Usability Function for GUI Widgets

David Navarre , Philippe Palanque , Sven Coppers , Kris Luyten , Davy Vanacken
Interacting with Computers, 2021, 33 (1), pp.73-91. ⟨10.1093/iwcomp/iwab014⟩
Article dans une revue hal-03376225 v1

Engineering Model-Based Software Testing of WIMP Interactive Applications: A Process based on Formal Models and the SQUAMATA Tool

Alexandre Canny , Célia Martinie , David Navarre , Philippe Palanque , Eric Barboni et al.
Proceedings of the ACM on Human-Computer Interaction , 2021, 5 (EICS, article 207), pp.1-30. ⟨10.1145/3461729⟩
Article dans une revue hal-03376229 v1

Designing and Engineering Interactive Computing Systems

Mathias Funk , Rong-Hao Liang , Philippe Palanque , Jun Hu , Panos Markopoulos
Proceedings of the ACM on Human-Computer Interaction , 2021, 5 (EICS, article 193), pp.1-4. ⟨10.1145/3457140⟩
Article dans une revue hal-03376227 v1

Engineering Task-based Augmented Reality Guidance: Application to the Training of Aircraft Flight Procedures

Giorgia Lallai , Giovanni Loi Zedda , Célia Martinie , Philippe Palanque , Mauro Pisano et al.
Interacting with Computers, 2021, pp.iwab007. ⟨10.1093/iwcomp/iwab007⟩
Article dans une revue hal-03198857 v1

Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems

Yamine Aït-Ameur , Judy Bowen , José Campos , Philippe Palanque , Benjamin Weyers
Interacting with Computers, 2021, Special Issue: Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems, 33 (1), pp.1-2. ⟨10.1093/iwc/iwab005⟩
Article dans une revue hal-03376221 v1

On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications

Neeraj Kumar Singh , Yamine Aït-Ameur , Romain Geniet , Dominique Méry , Philippe Palanque
Interacting with Computers, 2021, ⟨10.1093/iwcomp/iwab016⟩
Article dans une revue hal-03224780 v1

Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools

José Creissac Campos , Camille Fayollas , Michael Harrison , Célia Martinie , Paolo Masci et al.
ACM Transactions on Computer-Human Interaction, 2020, 27 (5), pp.1-48. ⟨10.1145/3404199⟩
Article dans une revue hal-02931903 v1
Image document

Design and evaluation of braced touch for touchscreen input stabilisation.

Andy J. G. Cockburn , Damien Masson , Carl Gutwin , Philippe Palanque , Alix Goguey et al.
International Journal of Human-Computer Studies, 2019, 122, pp.21-37. ⟨10.1016/j.ijhcs.2018.08.005⟩
Article dans une revue hal-03608017 v1
Image document

Fortunettes: Feedforward about the Future State of GUI Widgets

Sven Coppers , Kris Luyten , Davy Vanacken , Philippe Palanque , David Navarre et al.
Proceedings of the ACM on Human-Computer Interaction , 2019, 3 (EICS), pp.article20. ⟨10.1145/3331162⟩
Article dans une revue hal-02450988 v1

Engineering Issues Related to the Development of a Recommender System in a Critical Context: Application to Interactive Cockpits

Elodie Bouzekri , Alexandre Canny , Camille Fayollas , Célia Martinie , Philippe Palanque et al.
International Journal of Human-Computer Studies, 2019, 121, pp.122-141. ⟨10.1016/j.ijhcs.2018.05.001⟩
Article dans une revue hal-02976599 v1
Image document

The new SIGCHI EC's values and strategic initiatives.

Helena Mentis , Cliff Lampe , Regina Bernhaupt , Anirudha Joshi , Susan R. Fussel et al.
Interactions, 2019, 26 (1), pp.84-85. ⟨10.1145/3292013⟩
Article dans une revue hal-03498675 v1
Image document

Analysing and Demonstrating Tool-Supported Customizable Task Notations

Célia Martinie , Philippe Palanque , Elodie Bouzekri , Andy Cockburn , Alexandre Canny et al.
Proceedings of the ACM on Human-Computer Interaction , 2019, 3 (12), pp.1-26. ⟨10.1145/3331154⟩
Article dans une revue hal-02451043 v1
Image document

The Evolution of SIGCHI conferences and the future of CHI

Loren G. Terveen , Helena Mentis , Aaron Quigley , Philippe Palanque
Interactions, 2018, 25 (5), pp.84-85. ⟨10.1145/3264436⟩
Article dans une revue hal-03507835 v1
Image document

The evolution of SIGCHI conferences and the future of CHI

Loren Terveen , Helena Mentis , Aaron Quigley , Philippe Palanque
Interactions, 2018, 25 (5), pp.84-85. ⟨10.1145/3264436⟩
Article dans une revue hal-03857861 v1
Image document

A more intelligent test case generation approach through task models manipulation

José Creissac Campos , Camille Fayollas , Marcelo Gonçalves , Célia Martinie , David Navarre et al.
Proceedings of the ACM on Human-Computer Interaction , 2017, 1 (EICS, article 9), pp.1-20. ⟨10.1145/3095811⟩
Article dans une revue hal-02879017 v1
Image document

Making the field of computing more inclusive.

Jonathan Lazar , Elizabeth F. Churchill , Tovi Grossman , Gerrit van Der Veer , Philippe Palanque et al.
Communications of the ACM, 2017, vol. 60 (n° 3), pp. 50-59. ⟨10.1145/2993420⟩
Article dans une revue hal-01787379 v1
Image document

Task Model-Based Systematic Analysis of Both System Failures and Human Errors

Célia Martinie , Philippe Palanque , Racim Fahssi , Jean-Paul Blanquart , Camille Fayollas et al.
IEEE Transactions on Human-Machine Systems, 2015, 46 (2), pp.243-254. ⟨10.1109/THMS.2014.2365956⟩
Article dans une revue hal-01839036 v1

A Generic Approach for Assessing Compatibility Between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Unit

Camille Fayollas , Célia Martinie , David Navarre , Philippe Palanque
i-com, 2015, 14 (3), ⟨10.1515/icom-2015-0037⟩
Article dans une revue hal-02933608 v1
Image document

Bridging the Gap between a Behavioural Formal Description Technique and User Interface description language: Enhancing ICO with a Graphical User Interface markup language

Eric Barboni , Célia Martinie , David Navarre , Philippe Palanque , Marco Winckler
Science of Computer Programming, 2014, Special issue on Software Support for User Interface Description Languages (UIDL 2011), 86, Suppl C, pp.3-29. ⟨10.1016/j.scico.2013.04.001⟩
Article dans une revue hal-01119843 v1
Image document

A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems.

Célia Martinie , David Navarre , Philippe Palanque
International Journal of Human-Computer Studies, 2014, 72 (1), pp.77-99. ⟨10.1016/j.ijhcs.2013.08.013⟩
Article dans une revue hal-01130579 v1
Image document

An approach for supporting distributed user interface orchestration over the Web

Sergio Firmenich , Gustavo Rossi , Marco Winckler , Philippe Palanque
International Journal of Human-Computer Studies, 2014, vol. 72 (n° 1), pp. 53-76. ⟨10.1016/j.ijhcs.2013.08.014⟩
Article dans une revue hal-01153939 v1

Interactive Cockpits as Critical Applications: a Model-Based and a Fault-Tolerant Approach

Camille Fayollas , Jean-Charles Fabre , Philippe Palanque , Eric Barboni , David Navarre et al.
International Journal of Critical Computer-Based Systems, 2013, Special Issue on Fault-Tolerant Computer Systems, 4 (3), pp.202-226. ⟨10.1504/IJCCBS.2013.058407⟩
Article dans une revue hal-03644324 v1

Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach

David Navarre , Philippe Palanque , Eric Barboni , Jean-François Ladry , Célia Martinie
Reliability Engineering and System Safety, 2011, Special Issue on Safecomp 2008, 96 (1), pp.38-52. ⟨10.1016/j.ress.2010.06.028⟩
Article dans une revue istex hal-02933573 v1

ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability

David Navarre , Philippe Palanque , Jean-Francois Ladry , Eric Barboni
ACM Transactions on Computer-Human Interaction, 2009, 16 (4), pp.1-56. ⟨10.1145/1614390.1614393⟩
Article dans une revue hal-02570890 v1

Formal socio-technical barrier modelling for safety-critical interactive systems design

Sandra Basnyat , Philippe Palanque , Bastiaan Schupp , Peter Wright
Safety Science, 2007, Special Issue safety in design: Papers selected from the 9th International Conference of French National Research and Safety Institute (INRS), 1-3 March 2006, Nice, France, 45 (2007) (5), pp.545-565. ⟨10.1016/j.ssci.2007.01.001⟩
Article dans une revue istex hal-03662273 v1

An Approach Integrating two Complementary Model-based Environments for the Construction of Multimodal Interactive Applications

David Navarre , Philippe Palanque , Pierre Dragicevic , Rémi Bastide
Interacting with Computers, 2006, 18 (5), pp.910-941. ⟨10.1016/j.intcom.2006.03.002⟩
Article dans une revue hal-03662287 v1

What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?

Marco Winckler , Eric Barboni , Philippe Palanque , Christelle Farenc
Electronic Notes in Theoretical Computer Science, 2006, Special issue: Proceedings of the International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), 157 (2006) (2), pp.207-211. ⟨10.1016/j.entcs.2005.12.056⟩
Article dans une revue hal-03663641 v1

Multidisciplinary perspective on accident investigation

Sandra Basnyat , Nick Chozos , Philippe Palanque
Reliability Engineering and System Safety, 2005, Special issue: Complexity in Design and Engineering, 91 (2006) (12), pp.1502-1520. ⟨10.1016/j.ress.2006.01.014⟩
Article dans une revue istex hal-03663654 v1

A tool-supported design framework for safety critical interactive systems

Rémi Bastide , David Navarre , Philippe Palanque
Interacting with Computers, 2003, 15 (3), pp.309-328. ⟨10.1016/S0953-5438(03)00011-0⟩
Article dans une revue istex hal-03664740 v1
Image document

Information Visualization for Supporting Short-term and Long-term Situation Awareness in Ground Segments Monitoring: Application to SWOT Command and Control Operations

Axel Carayon , Camille Fayollas , Clément Hubin-Andrieu , Emilie Tortel , Célia Martinie et al.
75th International Astronautical Congress (IAC), Oct 2024, Milan (Italie), Italy
Communication dans un congrès hal-04751768 v1
Image document

From One to Many, from Onsite to Remote: Control Rooms as Diverse Contexts of Use

Tilo Mentler , Philippe Palanque , Kristof van Laerhoven , Margareta Holtensdotter Lützhöft , Nadine Flegel
19th IFIP Conference on Human-Computer Interaction (INTERACT), Aug 2023, York, United Kingdom. pp.273-278, ⟨10.1007/978-3-031-61688-4_26⟩
Communication dans un congrès hal-04790773 v1

MUMR-MIODMIT: A Generic Architecture Extending Standard Interactive Systems Architecture to Address Engineering Issues for Rehabilitation

Axel Carayon , Célia Martinie , Philippe Palanque
EICS 2023 International Workshops on Engineering Interactive Computer Systems, Jun 2023, Swansea, United Kingdom. pp.28--40, ⟨10.1007/978-3-031-59235-5_4⟩
Communication dans un congrès hal-04696952 v1
Image document

50 years of Research in Engineering Interactive Computing Systems: the CCL 1974 to EICS 2024 journey

José Creissac Campos , Kris Luyten , Laurence Nigay , Philippe Palanque , Fabio Paternò et al.
EICS '24: The 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Jun 2024, Cagliari, Italy. pp.92-96, ⟨10.1145/3660515.3663603⟩
Communication dans un congrès hal-04726218 v1

Engineering AI-Similar Designs: Should I Engineer My Interactive System with AI Technologies?

David Navarre , Philippe Palanque , Célia Martinie
EICS 2023 International Workshops on Engineering Interactive Computer Systems, Jun 2023, Swansea, United Kingdom. pp.72--89, ⟨10.1007/978-3-031-59235-5_8⟩
Communication dans un congrès hal-04696954 v1
Image document

A Systematic Task and Knowledge-Based Process to Tune Cybersecurity Training to User Learning Groups: Application to Email Phishing Attacks

Nathan Monsoro , Célia Martinie , Philippe Palanque , Théo Saubanère
18th International Symposium on Human Aspects of Information Security and Assurance, IFIP Work Group 11.12, Jul 2024, Skövde, Sweden. pp.165-179, ⟨10.1007/978-3-031-72559-3_12⟩
Communication dans un congrès hal-04727127 v1

Second Workshop on Engineering Interactive Systems Embedding AI Technologies

Alan Dix , Kris Luyten , Sven Mayer , Philippe Palanque , Emanuele Panizzi et al.
EICS '24: The 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Jun 2024, Cagliari Italy, Italy. pp.103-107, ⟨10.1145/3660515.3662837⟩
Communication dans un congrès hal-04790786 v1

On Land, at Sea, and in the Air: Human-Computer Interaction in Safety-Critical Spaces of Control

Tilo Mentler , Philippe Palanque , Kristof van Laerhoven , Margareta Holtensdotter Lützhöft , Nadine Flegel
19th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2023), International Federation for Information Processing (IFIP) Technical Committee on Human–Computer Interaction (IFIP TC13), Aug 2023, York (GB), United Kingdom. pp.657-661, ⟨10.1007/978-3-031-42293-5_89⟩
Communication dans un congrès hal-04316116 v1
Image document

Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours

Ismail Mendil , Peter Riviere , Yamine Aït-Ameur , Neeraj Kumar Singh , Dominique Méry et al.
29th Asia-Pacific Software Engineering Conference (APSEC 2022), Dec 2022, Virtual conference, Japan. pp.129-138, ⟨10.1109/APSEC57359.2022.00025⟩
Communication dans un congrès inserm-04095980 v1

Task Models as a Mean to Identify and Justify Automations in Development Tasks

Axel Carayon , Célia Martinie , Philippe Palanque
26th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C 2023), ACM; IEEE, Oct 2023, Västerås, Sweden. pp.757-764, ⟨10.1109/MODELS-C59198.2023.00122⟩
Communication dans un congrès hal-04426794 v1

Going Beyond Usability and UX: Adding Dependability, Safety and Security to Interactive Systems and Interactive Technologies

Philippe Palanque
CHI Conference on Human Factors in Computing Systems (CHI 2023), May 2023, Hamburg, Germany. pp.1--3, ⟨10.1145/3544549.3574186⟩
Communication dans un congrès hal-04316076 v1
Image document

ADL Monitoring of Elderly People in Smart Homes Based on Task Models

Jose Manuel Negrete Ramírez , Célia Martinie , Philippe Palanque , Yudith Cardinale
Workshop @ 19th International Conference on Intelligent Environments (IE 2023), Jun 2023, Mauritius, Mauritius. pp.216 - 225, ⟨10.3233/AISE230034⟩
Communication dans un congrès hal-04151435 v1

A Multi-perspective Panel on User-Centred Transparency, Explainability, and Controllability in Automations

Philippe Palanque , Fabio Paternò , Virpi Roto , Albrecht Schmidt , Simone Stumpf et al.
19th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2023), International Federation for Information Processing (IFIP) Technical Committee on Human–Computer Interaction (IFIP TC13), Aug 2023, York (Great Britain), United Kingdom. pp.349-353, ⟨10.1007/978-3-031-42293-5_34⟩
Communication dans un congrès hal-04316101 v1
Image document

AMAN Case Study

Philippe Palanque , José Creissac Campos
9th International Conference on Rigorous State-Based Methods (ABZ 2023), May 2023, Nancy, France. pp.265-283, ⟨10.1007/978-3-031-33163-3_21⟩
Communication dans un congrès hal-04316131 v1

I Perform My Work with My Body Too: Integrating Body Representations in and with Task Models

Axel Carayon , Célia Martinie , Philippe Palanque
19th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2023), International Federation for Information Processing (IFIP) Technical Committee on Human–Computer Interaction (IFIP TC13), Aug 2023, York, United Kingdom. pp.482-503, ⟨10.1007/978-3-031-42283-6_26⟩
Communication dans un congrès hal-04191536 v1

7th International Workshop on Human Factors in Modeling / Modeling of Human Factors (HuFaMo 2023)

Arnaud Blouin , Silvia Abrahão , Philippe Palanque , Bran Selic
2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Oct 2023, Västerås, France. pp.726-728, ⟨10.1109/MODELS-C59198.2023.00118⟩
Communication dans un congrès hal-04790777 v1

Engineering Interactive Systems Embedding AI Technologies

Alan Dix , Sven Mayer , Philippe Palanque , Emanuele Panizzi , Lucio Davide Spano
15th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2023), ACM Special Interest Group on Computer-Human Interaction (SIGCHI), Jun 2023, Swansea, United Kingdom. pp.90--92, ⟨10.1145/3596454.3597195⟩
Communication dans un congrès hal-04316086 v1

Intervening, Teaming, Delegating: Creating Engaging Automation Experiences

Peter Fröhlich , Matthias Baldauf , Philippe Palanque , Virpi Roto , Fabio Paternò et al.
CHI Conference on Human Factors in Computing Systems (CHI 2023), May 2023, Hamburg, Germany. pp.1-6, ⟨10.1145/3544549.3573799⟩
Communication dans un congrès hal-04316070 v1
Image document

Task Models Based Gameful Design as a Mean to Increase Engagement with Automation

Célia Martinie , Philippe Palanque
Workshop on Engaging with Automation (AutomationXP 2022) co-located CHI 2022, Apr 2022, New Orleans, United States
Communication dans un congrès hal-03703922 v1

How to Design and Assess Automation for Interactive Applications and Interaction Techniques (Extended Abstract)

Philippe Palanque
ACM Conference on Human Factors in Computing Systems (CHI 2022), ACM, May 2022, New Orleans, LA, United States. pp.1-3, ⟨10.1145/3491101.3503769⟩
Communication dans un congrès hal-03855026 v1

Mining human factors general trends from +100k UML class diagrams

Maxime Savary-Leblanc , Xavier Le Pallec , Philippe Palanque , Célia Martinie , Arnaud Blouin et al.
6th International Workshop on Human Factors in Modeling / Modeling of Human Factors (HuFaMo'22), Oct 2022, Montréal, Canada
Communication dans un congrès hal-03780438 v1

UX for Some and Usability for Others: Issues of Blending Multi-user and Multi-property in Control Centers

Elodie Bouzekri , Célia Martinie , Philippe Palanque , Erwann Poupart , Sandra Steere
IFIP WG 13.5 Workshop on Control Rooms in Safety Critical Contexts: Design, Engineering and Evaluation Issues (WS07) @ INTERACT 2021, IFIP TC 13; ACM, Aug 2021, Bari, Italy. pp.357-367, ⟨10.1007/978-3-030-98388-8_31⟩
Communication dans un congrès hal-03641769 v1

Mining human factors general trends from +100k UML class diagrams

Maxime Savary-Leblanc , Xavier Le Pallec , Philippe Palanque , Célia Martinie , Arnaud Blouin et al.
25th International Conference on Model Driven Engineering Languages and Systems (MODELS 2022), ACM SIGSOFT: Special Interest Group on Software Engineering; IEEE, Sep 2022, Montréal, Québec, Canada. pp.913-922, ⟨10.1145/3550356.3559098⟩
Communication dans un congrès hal-03855035 v1

Models-Based Analysis of Both User and Attacker Tasks: Application to EEVEHAC

Sara Nikula , Célia Martinie , Philippe Palanque , Julius Hekkala , Outi-Marja Latvala et al.
9th IFIP WG 13.2 International Working Conference on Human-Centered Software Engineering (HCSE 2022), Aug 2022, Eindhoven, Netherlands. pp.70-89, ⟨10.1007/978-3-031-14785-2_5⟩
Communication dans un congrès hal-03772286 v1

The Curriculum for Education in Engineering Interactive Systems at the Master in HCI of the University Toulouse III - Paul Sabatier

Philippe Palanque , Célia Martinie
IFIP WG 2.7/13.4 and WG 13.1 joint workshops on HCI Engineering Education – for developers, designers and more (WS12. HCI-E^2) @ INTERACT 2021, IFIP TC 13; ACM, Aug 2021, Bari, Italy. pp.211-220, ⟨10.1007/978-3-030-98388-8_19⟩
Communication dans un congrès hal-03857747 v1
Image document

The RCRAFT Framework as a Mean to Structure Requirements for Trustable Automation

Philippe Palanque , Célia Martinie
EICS workshop, Jun 2022, Eindhoven, Netherlands
Communication dans un congrès hal-05024431 v1
Image document

Re-envisioning Interaction in the (General) Aviation Cockpit through Tangibles

Sebastian S. Feger , Christopher Katins , Philippe Palanque , Thomas Kosch
5th European Tangible Interaction Studio (ETIS 2022), Nov 2022, Toulouse, France
Communication dans un congrès hal-04316193 v1
Image document

Engineering Awareness in Interfaces: Focus on Automation and Visualization

Juan Enrique Garrido , Philippe Palanque , Aaron Quigley , Marco Winckler
14th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2022), ACM SIGCHI: Special Interest Group on Computer-Human Interaction, Jun 2022, Sophia Antipolis, France. pp.54-58, ⟨10.1145/3531706.3536453⟩
Communication dans un congrès hal-03855027 v1
Image document

A task-model based approach for detecting ADL-related anomalies

Jose Manuel Negrete Ramírez , Célia Martinie , Philippe Palanque , Yudith Cardinale
10th International Workshop on e-Health Pervasive Wireless Applications and Service @ WiMob 2022, IEEE ComSoc, Oct 2022, Thessaloniki, Greece. pp.57-62, ⟨10.1109/WiMob55322.2022.9941688⟩
Communication dans un congrès hal-03862889 v1

Control Rooms from a Human-Computer Interaction Perspective

Tilo Mentler , Philippe Palanque , Michael Harrison , Kristof Van Laerhoven , Paolo Masci
IFIP TC 13 Workshops (INTERACT 2021), International Federation for Information Processing (IFIP) Technical Committee on Human–Computer Interaction (IFIP TC13), Aug 2021, Bari, Italy. pp.281-289, ⟨10.1007/978-3-030-98388-8_25⟩
Communication dans un congrès hal-04338764 v1
Image document

Operator-centered and model-based design for critical HMIS

Sandra Steere , Eric Barboni , Célia Martinie , David Navarre , Philippe Palanque et al.
3rd Ground-Based Space Facilities Symposium (GBSF 2022), Dec 2022, Marseille, France. pp.1-9
Communication dans un congrès hal-03905124 v1
Image document

Engaging with Automation: Understanding and Designing for Operation, Appropriation, and Behaviour Change (Extended Abstract)

Matthias Baldauf , Peter Fröhlich , Virpi Roto , Philippe Palanque , Siân E. Lindley et al.
Conference on Human Factors in Computing Systems (CHI 2022), ACM SIGCHI: Special Interest Group on Computer-Human Interaction, Apr 2022, New Orleans, LA, United States. pp.1-6, ⟨10.1145/3491101.3503735⟩
Communication dans un congrès hal-03855009 v1
Image document

Usability and User Experience are not Enough: Gaps to Fill to Design for and Assess Well-Being and Engagement

Célia Martinie , Philippe Palanque , Marco Winckler
VIII Iberoamerican Conference on Human-Computer Interaction 2022, Oct 2022, La Havane, Cuba. pp.1-14
Communication dans un congrès hal-03811274 v1

A Generic Framework for Structuring Configuration Management for Socio-technical System: Application to Control Rooms

Célia Martinie , Philippe Palanque , Sandra Steere , David Navarre , Eric Barboni
IFIP WG 13.5 Workshop: Control Rooms in Safety Critical Contexts: Design, Engineering and Evaluation Issues (WS07) @ INTERACT 2021, IFIP (International Federation for Information Processing) Technical Committee 13 on Human–Computer Interaction; ACM, Aug 2021, Bari, Italy. pp.290-301, ⟨10.1007/978-3-030-98388-8_26⟩
Communication dans un congrès hal-03857754 v1
Image document

Interactive Systems: a Unique Place for Human‐Hardware‐Software Integration and their Vulnerability to Human‐Made and Natural Faults

Célia Martinie , Philippe Palanque
International Symposium on Human System Integration (INCOSE 2021), International Council on Systems Engineering (INCOSE), Nov 2021, San Diego (Virtual), United States. pp.224-233, ⟨10.1002/iis2.12889⟩
Communication dans un congrès hal-03612380 v1

HCI and worker well-being in manufacturing industry

Eva Geurts , Gustavo Rovelo Ruiz , Kris Luyten , Steven Houben , Benjamin Weyers et al.
International Conference on Advanced Visual Interfaces (AVI 2022), Sapienza Università di Roma, Jun 2022, Frascati, Italy. pp.1-2, ⟨10.1145/3531073.3535257⟩
Communication dans un congrès hal-03854927 v1
Image document

Teaching HCI Engineering: Four Case Studies

Sybille Caffiau , José Campos , Célia Martinie , Laurence Nigay , Philippe Palanque et al.
IFIP WG 2.7/13.4 and WG 13.1 joint workshop on HCI Engineering Education – for developers, designers and more (HCI-E2) @ INTERACT 2021, IFIP (International Federation for Information Processing) Technical Committee 13 on Human–Computer Interaction; ACM, Aug 2021, Bari, Italy. pp.195-210, ⟨10.1007/978-3-030-98388-8_18⟩
Communication dans un congrès hal-03641764 v1
Image document

Standard Conformance-by-Construction with Event-B

Ismail Mendil , Yamine Aït-Ameur , Neeraj Kumar Singh , Dominique Méry , Philippe Palanque
FMICS 2021 - 26th International Conference on Formal Methods for Industrial Critical Systems, Aug 2021, Paris, France. pp.126-146, ⟨10.1007/978-3-030-85248-1_8⟩
Communication dans un congrès hal-03487118 v2
Image document

Control Rooms in Safety Critical Contexts: Design, Engineering and Evaluation Issues

Tilo Mentler , Philippe Palanque , Susanne Boll , Chris Johnson , Kristof van Laerhoven
IFIP WG 13.5 Workshop @18th IFIP TC 13 International Conference on Human-Computer-Interaction (INTERACT 2021), IFIP: International Federation for Information Processing, Aug 2021, Bari, Italy. pp.542-547, ⟨10.1007/978-3-030-85607-6_72⟩
Communication dans un congrès hal-03376237 v1

Introductory Course on Automation and its Use for Interactive Systems Design and Engineering

Philippe Palanque
Conference on Human Factors in Computing Systems (CHI 2021), May 2021, Yokohama (virtual), Japan. pp.1-4, ⟨10.1145/3411763.3445003⟩
Communication dans un congrès hal-03376233 v1
Image document

Leveraging Event-B Theories for Handling Domain Knowledge in Design Models

Ismail Mendil , Yamine Aït-Ameur , Neeraj Kumar Singh , Dominique Méry , Philippe Palanque
7th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA 2021), Nov 2021, Beijing, China. pp.40-58, ⟨10.1007/978-3-030-91265-9_3⟩
Communication dans un congrès hal-03857803 v2
Image document

HCI-E²: HCI Engineering Education: For Developers, Designers and More

Konrad Baumann , José Creissac Campos , Alan Dix , Laurence Nigay , Philippe Palanque et al.
18th IFIP TC 13 International Conference on Human-Computer-Interaction (INTERACT 2021), IFIP: International Federation for Information Processing, Aug 2021, Bary, Italy. pp.542-547, ⟨10.1007/978-3-030-85607-6_74⟩
Communication dans un congrès hal-03376240 v1

Automation Experience at the Workplace

Matthias Baldauf , Peter Fröhlich , Shadan Sadeghian , Philippe Palanque , Virpi Roto et al.
Conference on Human Factors in Computing Systems (CHI 2021), May 2021, Yokohama, Japan. pp.1-6, ⟨10.1145/3411763.3441332⟩
Communication dans un congrès hal-03376232 v1

Dependability and Safety: Two Clouds in the Blue Sky of Multimodal Interaction

Philippe Palanque , David Navarre
23rd ACM International Conference on Multimodal Interaction (ICMI 2021), ACM SIGCHI: Special Interest Group on Computer-Human Interaction, Nov 2021, Montréal, QC, Canada. pp.781-787, ⟨10.1145/3462244.3479881⟩
Communication dans un congrès hal-03857734 v1
Image document

From Human-Human Computer Mediated Communication to Human-Automation Collaboration in the light of Large Civil Aircraft Workplace

Célia Martinie , Elodie Bouzekri , Philippe Palanque
Workshop on Automation Experience at the Workplace, AutomationXP 2021, co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2021), May 2021, Yokohama, Japan
Communication dans un congrès hal-03376276 v1
Image document

POISE: A Framework for Designing Perfect Interactive Systems with and for Imperfect People

Philippe Palanque
18th IFIP Conference on Human-Computer Interaction (INTERACT 2021), Aug 2021, Bari, Italy. pp.39-59, ⟨10.1007/978-3-030-85623-6_5⟩
Communication dans un congrès hal-03376236 v1
Image document

Should I Add Recommendations to My Warning System? The RCRAFT Framework Can Answer This and Other Questions About Supporting the Assessment of Automation Designs

Elodie Bouzekri , Célia Martinie , Philippe Palanque , Katrina Atwood , Christine Gris
18th IFIP Conference on Human-Computer Interaction (INTERACT 2021), IFIP Technical Committee 13 on Human–Computer Interaction, Aug 2021, Bari, Italy. pp.405-429, ⟨10.1007/978-3-030-85610-6_24⟩
Communication dans un congrès hal-03376253 v1
Image document

Automation Experience across Domains: Designing for Intelligibility, Interventions, Interplay and Integrity

Peter Fröhlich , Matthias Baldauf , Philippe Palanque , Virpi Roto , Thomas Meneweger et al.
CHI Conference on Human Factors in Computing Systems (CHI 2020), Apr 2020, Honolulu HI, United States. pp.1-8, ⟨10.1145/3334480.3375178⟩
Communication dans un congrès hal-03099196 v1
Image document

Model-Based Testing of GUI Applications Featuring Dynamic Instanciation of Widgets

Alexandre Canny , Philippe Palanque , David Navarre
IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2020), Oct 2020, Porto (virtual), Portugal. pp.95-104, ⟨10.1109/ICSTW50294.2020.00029⟩
Communication dans un congrès hal-03099199 v1

An Integrated Framework for the Formal Analysis of Critical Interactive Systems

Ismail Mendil , Neeraj Kumar Singh , Yamine Aït-Ameur , Dominique Méry , Philippe Palanque
The 27th Asia-Pacific Software Engineering Conference, Jun Sun, Dec 2020, Singapour, Singapore. pp.10
Communication dans un congrès hal-02999148 v1
Image document

A Generic Visualization Approach Supporting Task-Based Evaluation of Usability and User Experience

Regina Bernhaupt , Célia Martinie , Philippe Palanque , Günter Wallner
8th International Conference on Human-Centered Software Engineering - IFIP WG 13.2 International Working Conference, HCSE 2020, Nov 2020, Eindhoven, Netherlands. pp.24-44, ⟨10.1007/978-3-030-64266-2_2⟩
Communication dans un congrès hal-03079809 v1
Image document

Designing Safety Critical Interactions: Hunting Down Human Error

Susanne Boll , Philippe Palanque , Alexander Mirnig , Jessica R. Cauchard , Margareta Holtensdotter Lützhöft et al.
CHI Conference on Human Factors in Computing Systems (CHI 2020), Apr 2020, Honolulu HI, United States. pp.1-7, ⟨10.1145/3334480.3375148⟩
Communication dans un congrès hal-03099193 v1

Task models based engineering of interactive systems

Célia Martinie , Philippe Palanque
13th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2020), Jun 2020, Virtual, Netherlands. pp.1-2, ⟨10.1145/3393672.3398647⟩
Communication dans un congrès hal-02931902 v1
Image document

A Generic Multimodels-Based Approach for the Analysis of Usability and Security of Authentication Mechanisms

Nicolas Broders , Célia Martinie , Philippe Palanque , Marco Winckler , Kimmo Halunen
HCSE 2020 - 8th International Conference on Human-Centered Software Engineering - IFIP WG 13.2 International Working Conference, Nov 2020, Eindhoven/ Online, Netherlands. pp.61-83, ⟨10.1007/978-3-030-64266-2_4⟩
Communication dans un congrès hal-03079818 v1

Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets

David Navarre , Philippe Palanque , Sven Coppers , Kris Luyten , Davy Vanacken
8th Formal Methods for Interactive Systems Workshop (FMIS 2019) co-located with Formal Methods 2019, Oct 2019, Porto, Portugal. pp.503-519, ⟨10.1007/978-3-030-54994-7_36⟩
Communication dans un congrès hal-03857854 v1
Image document

Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-nets

Alexandre Canny , David Navarre , José Creissac Campos , Philippe Palanque
International Workshop on Formal Methods for Interactive Systems (FMIS 2019), Oct 2019, Porto, Portugal. pp.486-502, ⟨10.1007/978-3-030-54994-7_35⟩
Communication dans un congrès hal-02942303 v1

Ten Objectives and Ten Rules for Designing Automations in Interaction Techniques, User Interfaces and Interactive Systems

Philippe Palanque
International Conference on Advanced Visual Interfaces (AVI 2020), Sep 2020, Salerno, Italy. pp.1-10, ⟨10.1145/3399715.3400872⟩
Communication dans un congrès hal-03099192 v1
Image document

User Tasks Description: a Retrospective, Recent Contributions and some Research Challenges @ RoCHI 2020

Philippe Palanque
17th International Conference on Human–Computer Interaction (RoCHI 2020), Oct 2022, Sibiu, Romania. pp.1-4, ⟨10.37789/rochi.2020.1.1.1⟩
Communication dans un congrès hal-03857822 v1
Image document

Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661

Neeraj Kumar Singh , Yamine Aït-Ameur , Dominique Méry , David Navarre , Philippe Palanque et al.
7th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2019), Nov 2019, Shenzhen, China. pp.21-39, ⟨10.1007/978-3-030-46902-3_2⟩
Communication dans un congrès hal-02942767 v1
Image document

A-RCRAFT: a Generic Framework for Automation Analysis and Design: Application to Automotive, Tactile in vehicle Interactions

Philippe Palanque , Dong-Bach Vo , Stephen A. Brewster , Elodie Bouzekri , Célia Martinie
Workshop on Automation Experience across Domains co-located with the ACM Conference on Human Factors in Computing Systems 2020, Apr 2020, Honolulu, United States
Communication dans un congrès hal-03099228 v1
Image document

Characterizing Sets of Systems: Representation and Analysis of Across-Systems Properties

Elodie Bouzekri , Alexandre Canny , Célia Martinie , Philippe Palanque
17th IFIP Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. pp.84-96, ⟨10.1007/978-3-030-46540-7_9⟩
Communication dans un congrès hal-03188820 v1
Image document

A Roadmap and Some Directions Towards the Engineering of Interactive Systems Deployable in Safety Critical Contexts

David Navarre , Philippe Palanque , Célia Martinie
2nd Workshop on Charting the Way towards Methods and Tools for Advanced Interactive Systems @ ACM EICS 2019, IFIP Working Group 2.7/13.4, Jun 2019, Valencia, Spain. pp.39-45
Communication dans un congrès hal-03857851 v1
Image document

Revisiting system's pages in engine indication and alerting system for flight crew using the DSCU architecture and the OQCR system generic state description

Elodie Bouzekri , Alexandre Canny , Célia Martinie , Philippe Palanque , Eric Barboni et al.
INCOSE International Conference on Human System Integration (INCOSE HSI 2019), Sep 2019, Biarritz, France. pp.1-9
Communication dans un congrès hal-02450862 v1
Image document

Introduction to Automation and to Its Potential for Interactive Systems Design

Philippe Palanque , Célia Martinie , Elodie Bouzekri
17th IFIP Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. pp.523-526, ⟨10.1007/978-3-030-29390-1_29⟩
Communication dans un congrès hal-02877685 v1

Trends on engineering interactive systems

Damiano Distante , Marco Winckler , Regina Bernhaupt , Judy Bowen , José Creissac Campos et al.
11th ACM Symposium on Engineering Interactive Computing Systems (EICS 2019), ACM SIGCHI: Special Interest Group on Computer-Human Interaction, Jun 2019, Valencia, Spain. pp.1-6, ⟨10.1145/3319499.3335655⟩
Communication dans un congrès hal-03857839 v1
Image document

On the Importance of Supporting Multiple Stakeholders Points of View for the Testing of Interactive Systems

Alexandre Canny , Elodie Bouzekri , Célia Martinie , Philippe Palanque
1st Workshop on Research and Practice Challenges for Engineering Interactive Systems while Integrating Multiple Stakeholders Viewpoints (EISM 2019), ACM SIGCHI, Jun 2019, Valencia, Spain. pp.113--121
Communication dans un congrès hal-03012559 v1
Image document

Using Task Descriptions with Explicit Representation of Allocation of Functions, Authority and Responsibility to Design and Assess Automation

Elodie Bouzekri , Alexandre Canny , Célia Martinie , Philippe Palanque , Christine Gris
5th IFIP Working Conference on Human Work Interaction Design (HWID), Aug 2018, Espoo, Finland. pp.36-56, ⟨10.1007/978-3-030-05297-3_3⟩
Communication dans un congrès hal-02089260 v1
Image document

Deep System Knowledge Required: Revisiting UCD Contribution in the Design of Complex Command and Control Systems

Elodie Bouzekri , Alexandre Canny , Célia Martinie , Philippe Palanque , Christine Gris
17th IFIP Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. pp.699-720, ⟨10.1007/978-3-030-29381-9_42⟩
Communication dans un congrès hal-02435352 v1
Image document

Engaging Automation at Work – A Literature Review

Virpi Roto , Philippe Palanque , Hannu Karvonen
5th IFIP Working Conference on Human Work Interaction Design (HWID 2018), Aug 2018, Espoo, Finland. pp.158-172, ⟨10.1007/978-3-030-05297-3_11⟩
Communication dans un congrès hal-02264626 v1
Image document

A Testbed Tool for Comparing Usability and Security of Mobile Authentication Mechanisms

Karima Boudaoud , Marco Winckler , Zauwali S Paki , Philippe Palanque
7th International Workshop on ADVANCEs in ICT Infrastructures and Services (ADVANCE 2019), Prof. Claudino Mendes, Jan 2019, Praia, Cape Verde. pp.1-8
Communication dans un congrès hal-02436127 v1
Image document

MIODMIT: A Generic Architecture for Dynamic Multimodal Interactive Systems

Alexandre Canny , Martin Cronel , Bruno Dumas , Philippe Palanque
7th International Conference on Human-Centred Software Engineering (HCSE), Sep 2018, Sophia Antipolis, France. pp.109-129, ⟨10.1007/978-3-030-05909-5_7⟩
Communication dans un congrès hal-02270703 v1
Image document

Enriching Task Models with Usability and User Experience Evaluation Data

Regina Bernhaupt , Philippe Palanque , Dimitri Drouet , Célia Martinie
7th International Conference on Human-Centred Software Engineering (HCSE 2018), Sep 2018, Sophia Antipolis, France. pp.146-163, ⟨10.1007/978-3-030-05909-5_9⟩
Communication dans un congrès hal-02089252 v1
Image document

Brace Touch: a Dependable, Turbulence-Tolerant, Multi-Touch Interaction Technique for Interactive Cockpits

Philippe Palanque , Andy Cockburn , Léopold Desert-Legendre , Carl Gutwin , Yannick Deleris
39th International Conference on Computer Safety, Reliability and Security - SafeComp 2019, Sep 2019, Turku, Finland. pp.53--68, ⟨10.1007/978-3-030-26601-1_4⟩
Communication dans un congrès hal-03003823 v1
Image document

Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems

Alexandre Canny , Camille Fayollas , Célia Martinie , David Navarre , Philippe Palanque et al.
12th IEEE International Conference on Cyber Physical and Social Computing (CPSCom 2019), Jul 2019, Atlanta, United States. ⟨10.1109/iThings/GreenCom/CPSCom/SmartData.2019.00132⟩
Communication dans un congrès hal-02881970 v1
Image document

Handling Security, Usability, User Experience and Reliability in User-Centered Development Processes

Carmelo Ardito , Regina Bernhaupt , Philippe Palanque , Stefan Sauer
17th IFIP Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. pp.759-762, ⟨10.1007/978-3-030-29390-1_76⟩
Communication dans un congrès hal-02892786 v1
Image document

User Experience in an Automated World

Philippe Palanque , Pedro F. Campos , José Abdelnour Nocera , Torkil Clemmensen , Virpi Roto
17th IFIP Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. pp.706-710, ⟨10.1007/978-3-030-29390-1_67⟩
Communication dans un congrès hal-02878649 v1
Image document

Engaging Automation at Work - A Literature Review

Virpi Roto , Philippe Palanque , Hannu Karvonen
IFIP WG 13.6 Working Conference Human Work Interaction Design (HWID 2018), Aug 2018, Espoo, Finland. pp.158-172
Communication dans un congrès hal-02494116 v1
Image document

Rationalizing the Need of Architecture-Driven Testing of Interactive Systems

Alexandre Canny , Elodie Bouzekri , Célia Martinie , Philippe Palanque
7th International Working Conference on Human-Centered Software Engineering (HCSE 2018), Sep 2018, Sophia Antipolis, France. pp.164-186, ⟨10.1007/978-3-030-05909-5_10⟩
Communication dans un congrès hal-02089262 v1
Image document

An Attempt to Fathom the Role of Annotations in User-Centered Design Process

Jean-Luc Hak , Olivier Nicolas , Marco Winckler , Philippe Palanque
11th International Workshop on Research and Practice Challenges for Engineering Interactive Systems (EISMS 2019), Jun 2019, Valencia, Spain. pp.113-121
Communication dans un congrès hal-02879313 v1
Image document

A Generic Software and Hardware Architecture for Hybrid Interactive Systems

Elodie Bouzekri , Alexandre Canny , Célia Martinie , Philippe Palanque
Workshop on Heterogeneous Models and Modeling Approaches for Engineering of Interactive Systems @ EICS 2018, Jun 2018, Paris, France
Communication dans un congrès hal-02983159 v1
Image document

Specific Task Modeling for Cyber Physical Systems

Elodie Bouzekri , Alexandre Canny , Célia Martinie , Philippe Palanque
Workshop on Heterogeneous Models and Modeling Approaches for Engineering of Interactive Systems,in conjunction with the 10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2018), Jun 2018, Paris, France
Communication dans un congrès hal-02983160 v1
Image document

Interacting with Autonomous Vehicles: Learning from other Domains

Alexander Meschtscherjakov , Manfred Tscheligi , Bastian Pfleging , Shadan Sadeghian Borojeni , Wendy Ju et al.
ACM International Conference on Human Factors in Computing Systems (ACM CHI 2018), Apr 2018, Montreal, Canada. pp.1-8
Communication dans un congrès hal-03634998 v1
Image document

Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems (CHI 2018)

Philippe Palanque , Célia Martinie , Camille Fayollas
ACM Conference on Human Factors in Computing Systems (CHI 2018), ACM SIGCHI : Special Interest Group on Computer-Human Interaction, Apr 2018, Montréal, Canada. pp.1-4, ⟨10.1145/3170427.3170652⟩
Communication dans un congrès hal-02181965 v1
Image document

QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems

Camille Fayollas , Célia Martinie , Philippe Palanque , Yamine Aït-Ameur
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.91-105, ⟨10.1007/978-3-319-92081-8_9⟩
Communication dans un congrès hal-01821411 v1

Explicit representation of function allocation and authority sharing (initiative and responsibility)

Célia Martinie , Philippe Palanque
Workshop "Interacting with Autonomous Vehicles: Learning from other Domains" - ACM CHI Conference on Human Factors in Computing Systems - CHI 2018, Apr 2018, Montréal, Canada. pp.1-5
Communication dans un congrès hal-02983158 v1
Image document

TOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications

Célia Martinie , David Navarre , Philippe Palanque , Eric Barboni , Alexandre Canny
ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2018), Jun 2018, Paris, France. pp.1-7, ⟨10.1145/3220134.3220136⟩
Communication dans un congrès hal-03623020 v1
Image document

Similarity as a Design Driver for User Interfaces of Dependable Critical Systems

David Navarre , Philippe Palanque , Arnaud Hamon , Sabrina Della Pasqua
16th IFIP Conference on Human-Computer Interaction (INTERACT 2017), Sep 2017, Bombay, India. pp.114-122, ⟨10.1007/978-3-319-92081-8_11⟩
Communication dans un congrès hal-01821420 v1
Image document

Engineering Automations: From a Human Factor Perspective to Design, Implementation and Validation Challenges

Philippe Palanque
ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2018), Jun 2018, Paris, France. pp.1-2
Communication dans un congrès hal-02486116 v1

Fighting for better interactive systems

Jérôme Dupire , Philippe Palanque , Matthias Rauterberg , Helen Petrie
International Federation for Information Processing (IFIP) TC13 & TC14 Open Symposium 2017, IFIP Technical Committee TC13 on Human-Computer Interaction; IFIP Technical Committee TC 14 on Entertainment Computing, Mar 2017, Paris, France
Communication dans un congrès hal-03112697 v1
Image document

A List of Pre-Requisites to Make Recommender Systems Deployable in Critical Context

Elodie Bouzekri , Alexandre Canny , Camille Fayollas , Célia Martinie , Philippe Palanque et al.
2nd Workshop on Engineering Computer-Human Interaction in Recommender Systems, co-located with the 9th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EnCHIReS @ EICS 2017), Jun 2017, Lisbonne, Portugal. pp.42-55
Communication dans un congrès hal-02486107 v1
Image document

Designing and Assessing Interactive Systems Using Task Models (2017)

Philippe Palanque , Célia Martinie , Marco Winckler
16th IFIP Conference on Human-Computer Interaction (INTERACT 2017), Sep 2017, Bombay, India. pp.383-386, ⟨10.1007/978-3-319-68059-0_35⟩
Communication dans un congrès hal-02748859 v2
Image document

Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web

Camille Fayollas , Célia Martinie , Philippe Palanque , Paolo Masci , Michael Harrison et al.
3rd Workshop on Formal Integrated Development Environment (F-IDE 2016), co-located with FM 2016, Nov 2016, Limassol, Cyprus. pp.1-19, ⟨10.4204/EPTCS.240.1⟩
Communication dans un congrès hal-01757338 v1
Image document

Mobile interaction with and in autonomous vehicles

Alexander Meschtscherjakov , Manfred Tscheligi , Peter Frölich , Rod Mccall , Andreas Riener et al.
International Conference on Human-Computer Interaction with Mobile Devices and Services (MobileHCI), Sep 2017, Vienna, Austria. pp.1-6, ⟨10.1145/3098279.3119837⟩
Communication dans un congrès hal-02878791 v1
Image document

Automation: danger or opportunity? Designing and assessing automation for interactive systems (CHI 2017)

Philippe Palanque , Célia Martinie , Camille Fayollas
CHI Conference on Human Factors in Computing Systems (CHI 2017), ACM SIGCHI: ACM Special Interest Group on Computer-Human Interaction, May 2017, Denver, Colorado, United States. pp.1257-1260, ⟨10.1145/3027063.3027115⟩
Communication dans un congrès hal-02875050 v1
Image document

Turbulent Touch: Touchscreen Input for Cockpit Flight Displays

Andy Cockburn , Carl Gutwin , Philippe Palanque , Yannick Deleris , Catherine Trask et al.
International Conference for Human-Computer Interaction (CHI 2017), May 2017, Denver, Colorado, United States. pp.6742-6753
Communication dans un congrès hal-02649024 v1

Safety-Critical Automation : Aircrafts, Autonomous Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives (HUDEP 2017)

Célia Martinie , Philippe Palanque
5th Human Dependability Workshop: "Towards Human Centered Design in the whole system lifecycle" (HUDEP 2017), EAAP : European Association for Aviation Psychology, Nov 2017, Noordwijk, Netherlands
Communication dans un congrès hal-03128348 v1
Image document

Dealing with Conflicting User Interface Properties in User-Centered Development Processes

Marco Winckler , Marta Larusdottir , Kati Kuusinen , Cristian Bogdan , Philippe Palanque
16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.521-523
Communication dans un congrès hal-01680275 v1
Image document

Task Models for Supporting Function Allocation between Operators and Autonomous Systems: Application to Collision Avoidance Operations for Spacecraft (2016)

Célia Martinie , Eric Barboni , David Navarre , Philippe Palanque , Racim Fahssi et al.
2016 Spring Symposium on Intelligent systems for supporting distributed human teamwork (AAAI-SS 2016), AAAI : Association for the Advancement of Artificial Intelligence, Mar 2016, Stanford, CA, United States. pp.85-94
Communication dans un congrès hal-04109418 v1
Image document

User-Test Results Injection into Task-Based Design Process for the Assessment and Improvement of Both Usability and User Experience

Regina Bernhaupt , Philippe Palanque , François Manciet , Célia Martinie
6th International Conference on Human-Centred Software Engineering (HCSE 2016) / 8th International Conference on Human Error, Safety, and System Development (HESSD 2016), Aug 2016, Stockholm, Sweden. pp.56-72, ⟨10.1007/978-3-319-44902-9_5⟩
Communication dans un congrès hal-01647709 v1
Image document

Designing and Assessing Interactive Systems Using Task Models (2016)

Philippe Palanque , Célia Martinie
ACM SIGCHI Conference on Human Factors in Computing Systems (CHI 2016), ACM SIGCHI, May 2016, San José, CA, United States. pp.976-979, ⟨10.1145/2851581.2856686⟩
Communication dans un congrès hal-01493786 v1
Image document

From Aircrafts Interactive Cockpits to Autonomous Vehicles: Are Design Principles Transferable ?

Célia Martinie , Philippe Palanque
34th Conference on Human Factors in Computing Systems Workshop: HCI and Autonomous Vehicles (CHI 2016), ACM, May 2016, San Jose, United States. pp.1-4
Communication dans un congrès hal-02442019 v1
Image document

Multiple Views on Safety-Critical Automation: Aircrafts, Autonomous Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives (CHI 2016)

Michael Feary , Célia Martinie , Philippe Palanque , Manfred Tscheligi
34th annual CHI Conference on Human Factors in Computing Systems (CHI 2016), May 2016, San José, CA, United States. pp.1069-1072
Communication dans un congrès hal-01493791 v1
Image document

Systematic automation of scenario-based testing of user interfaces

José Creissac Campos , Camille Fayollas , Célia Martinie , David Navarre , Philippe Palanque et al.
8th ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2016), Jun 2016, Bruxelles, Belgium. pp.138-148, ⟨10.1145/2933242.2948735⟩
Communication dans un congrès hal-04109595 v1
Image document

Complementary Tools and Techniques for Supporting Fitness-for-Purpose of Interactive Critical Systems

Dorrit Billman , Camille Fayollas , Michael Feary , Célia Martinie , Philippe Palanque
6th International Conference on Human-Centred Software Engineering (HCSE 2016) / 8th International Conference on Human Error, Safety (HESSD 2016) and System Development (HESSD), Aug 2016, Stockholm, Sweden. pp.181-202, ⟨10.1007/978-3-319-44902-9_12⟩
Communication dans un congrès hal-02603527 v2
Image document

Embedding explicit representation of cyber-physical elements in task models

Racim Fahssi , Célia Martinie , Philippe Palanque
IEEE International Conference on Systems, Man and Cybernetics (SMC 2016), Oct 2016, Budapest, Hungary. pp. 1969-1974
Communication dans un congrès hal-01782561 v1
Image document

Engineering mixed-criticality interactive applications

Camille Fayollas , Célia Martinie , David Navarre , Philippe Palanque
8th ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2016), Jun 2016, Bruxelles, Belgium. pp.108-119, ⟨10.1145/2933242.2933258⟩
Communication dans un congrès hal-04109570 v1
Image document

What Can Be Learnt from Engineering Safety Critical Partly-Autonomous Systems when Engineering Recommender Systems

Camille Fayollas , Célia Martinie , Philippe Palanque , Eric Barboni , Yannick Deleris
Workshop on Engineering Computer-Human Interaction in Recommender Systems (EnCHIReS 2016), Jun 2016, Bruxelles, Belgium. pp.14-25
Communication dans un congrès hal-02603671 v1
Image document

A Three-fold Approach towards Increased Assurance Levels for Interactive Systems: A Flight Control Unit Case Study

Camille Fayollas , Jean-Charles Fabre , Philippe Palanque , Martin Cronel , David Navarre et al.
International Conference on Human-Computer Interaction in Aeronautics (HCI'Aero 2016), Sep 2016, Paris, France. pp.1-9
Communication dans un congrès hal-02603674 v1
Image document

Dependable multi-touch interactions in safety critical industrial contexts: Application to aeronautics

Arnaud Hamon , Philippe Palanque , Martin Cronel
IEEE 13th International Conference on Industrial Informatics (INDIN 2015), IEEE, Jul 2015, Cambridge, United Kingdom. pp.980--987, ⟨10.1109/INDIN.2015.7281868⟩
Communication dans un congrès hal-03209328 v1

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? (INDIA HCI 2015)

Philippe Palanque
7th Indian Conference on Human-Computer Interaction (INDIA HCI 2015), Dec 2015, Mumbay, India
Communication dans un congrès hal-03209332 v1
Image document

Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors

Racim Fahssi , Célia Martinie , Philippe Palanque
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.192-212, ⟨10.1007/978-3-319-22723-8_16⟩
Communication dans un congrès hal-01387758 v1

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)

Philippe Palanque , Racim Fahssi , Célia Martinie , Marco Winckler , Michel Galindo
27ème Conférence Francophone sur l’interaction Homme-Machine (IHM 2015), Association Francophone d'Interaction Homme-Machine (AFIHM); GT Modèles de Tâches, Oct 2015, Toulouse, France
Communication dans un congrès hal-03209331 v1
Image document

Designing and Assessing Interactive Systems Using Task Models (2015)

Philippe Palanque , Célia Martinie
33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems (CHI EA 2015), Apr 2015, Seoul, South Korea. pp.2465-2466, ⟨10.1145/2702613.2706684⟩
Communication dans un congrès hal-01371784 v1
Image document

Concept Maps as for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systems

Martina Ragosta , Célia Martinie , Philippe Palanque , David Navarre , Mark-Alexander Sujan
International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2015), Sep 2015, Toulouse, France. pp.41-52
Communication dans un congrès hal-01534807 v1

Modeling and Analysis of Human Error Based on Tasks Descriptions: Connecting Research Knowledge with Practice

Célia Martinie , Philippe Palanque
Human Dependability Workshop (HUDEP 2015), Oct 2015, Darmstadt, Germany
Communication dans un congrès hal-03209330 v1
Image document

Usability aspects of the inside-in approach for ancillary search tasks on the web

Marco Winckler , Ricardo Cava , Eric Barboni , Philippe Palanque , Carla Freitas
15th Human-Computer Interaction (INTERACT), Sep 2015, Bamberg, Germany. pp.211-230, ⟨10.1007/978-3-319-22668-2_18⟩
Communication dans un congrès hal-01343048 v1
Image document

IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development

Chris Johnson , Mike Feary , Célia Martinie , Philippe Palanque , Regina Peldszus
15th Human-Computer Interaction (INTERACT 2015), Sep 2015, Bamberg, Germany. pp.663-664, ⟨10.1007/978-3-319-22723-8_91⟩
Communication dans un congrès hal-01610829 v1
Image document

Beyond Formal Methods for Critical Interactive Systems: Dealing with Faults at Runtime

Camille Fayollas , Célia Martinie , Philippe Palanque , Yannick Deleris
Workshop on Formal Methods in Human Computer Interaction (FoMHCI 2015), Jun 2015, Duisburg, Germany. pp. 19-23
Communication dans un congrès hal-01334722 v1
Image document

AUTOM AT ICS: Research activities on Automation

Célia Martinie , Philippe Palanque , Marco Winckler , Regina Bernhaupt
5th International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2015), Sep 2015, Toulouse, France. pp.0
Communication dans un congrès hal-01534806 v1

Workshop on formal methods in human computer interaction

Benjamin Weyers , Judy Bowen , Alan Dix , Philippe Palanque
Workshop on formal methods in human computer interaction @ 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2015), ACM SIGCHI : ACM Special Interest Group on Computer-Human Interaction, Jun 2015, Duisburg, Germany. pp.294--295, ⟨10.1145/2774225.2777460⟩
Communication dans un congrès hal-03209329 v1
Image document

Role of Conferences in Shaping the Field of HCI

Jan Gulliksen , Simone Barbosa , Anirudha Joshi , Shaun Lawson , Philippe Palanque
15th Human-Computer Interaction (INTERACT 2015), Sep 2015, Bamberg, Germany. pp.637-639, ⟨10.1007/978-3-319-22723-8_81⟩
Communication dans un congrès hal-01610848 v1
Image document

A User-Centered View on Formal Methods: Interactive Support for Validation and Verification

Eric Barboni , Arnaud Hamon , Célia Martinie , Philippe Palanque
Workshop on Formal Methods in Human Computer Interaction (FoMHCI 2015), Jun 2015, Duisburg, Germany. pp. 24-29
Communication dans un congrès hal-01334684 v1
Image document

A Generic Tool-Supported Framework for Coupling Task Models and Interactive Applications

Célia Martinie , David Navarre , Philippe Palanque , Camille Fayollas
7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2015), ACM SIGCHI: Special Interest Group on Computer-Human Interaction, Jun 2015, Duisburg, Germany. pp.244-253, ⟨10.1145/2774225.2774845⟩
Communication dans un congrès hal-04079370 v1
Image document

Accounting for Organisational faults in Task Model Based Systematic Analysis of System Failures and Human Errors

Camille Fayollas , Célia Martinie , Philippe Palanque , Racim Fahssi
IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development @ INTERACT 2015, IFIP : International Federation for Information Processing, Sep 2015, Bamberg, Germany. pp.101--116
Communication dans un congrès hal-03209327 v1
Image document

Design, Development and Evaluation Challenges for Future Mobile User Interfaces in Safety-Critical Contexts

Célia Martinie , Philippe Palanque
Workshop on Future Mobile User Interfaces in : 13th International Conference on Mobile Systems, Applications and Services (MobiSys 2015), May 2015, Florence, Italy. pp.5-7, ⟨10.1145/2754633.2754635⟩
Communication dans un congrès hal-04079374 v1
Image document

A Fault-Tolerant Software Architecture and its Formal Specification for Embedded, Real-Time Interactive Systems

Camille Fayollas , Philippe Palanque , Jean Charles Fabre , David Navarre , Yannick Deleris et al.
Conference Embedded Real Time Software and Systems (ERTS 2014), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics, and Information & Communication Technologies., Feb 2014, Toulouse, France
Communication dans un congrès hal-02272197 v1

An approach for assessing the impact of dependability on usability: application to interactive cockpits.

Camille Fayollas , Célia Martinie , Philippe Palanque , Yannick Deleris , Jean-Charles Fabre et al.
European Dependable Computing Conference, May 2014, Newcastle upon Tyne, United Kingdom. pp.198--209, ⟨10.1109/EDCC.2014.17⟩
Communication dans un congrès hal-03224128 v1

Inside-In Search: An Alternative for Performing Ancillary Search Tasks on the Web

Ricardo Cava , Carla Freitas , Eric Barboni , Philippe Palanque , Marco Winckler
9th Latin American Web Congress (LA-Web 2014), Oct 2014, Ouro Preto, Brazil. pp.91--99, ⟨10.1109/LAWeb.2014.21⟩
Communication dans un congrès hal-03263710 v1

Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces

Camille Fayollas , Célia Martinie , David Navarre , Philippe Palanque , Racim Fahssi
4th Workshop on Distributed User Interfaces and Multimodal Interaction (DIU 2014), Jul 2014, Toulouse, France. pp.27-30, ⟨10.1145/2677356.2677662⟩
Communication dans un congrès hal-03266925 v1
Image document

Résilience des systèmes interactifs: contribution par une architecture tolérante aux fautes

Camille Fayollas , Philippe Palanque , Jean-Charles Fabre , David Navarre , Eric Barboni et al.
26ème Conférence francophone sur l'Interaction Homme-Machine (IHM 2014), Association Francophone d'Interaction Homme-Machine, Oct 2014, Lille, France. pp.80-90
Communication dans un congrès hal-01090399 v1

A Fault-Tolerant Architecture for Resilient Interactive Systems

Camille Fayollas , Philippe Palanque , Jean-Charles Fabre , David Navarre , Eric Barboni et al.
26ème Conférence Francophone sur l'Interaction Homme-Machine (IHM 2014), AFIA : Association Francophone d'Interaction Homme-Machine; Université Lille 1; INRIA Lille - Nord Europe, Oct 2014, Lille, France. pp.80-90, ⟨10.1145/2670444.2670462⟩
Communication dans un congrès hal-03263716 v1

A Notation and a Layered Architecture to Model Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions

Arnaud Hamon , Eric Barboni , Philippe Palanque , Raphaël André
Workshop on Engineering Gestures for Multimodal Interfaces (EGMI 2014), co-located with the 6th ACM SIGCHI - ICS 2014, Jun 2014, Rome, Italy
Communication dans un congrès hal-03252263 v1
Image document

Rapid Task-Models Development Using Sub-models, Sub-routines and Generic Components

Peter Forbrig , Célia Martinie , Philippe Palanque , Marco Winckler , Racim Fahssi
5th IFIP WG 13.2 International Conference on Human-Centered Software Engineering (HCSE 2014), Sep 2014, Paderborn, Germany. pp.144-163, ⟨10.1007/978-3-662-44811-3_9⟩
Communication dans un congrès hal-01141437 v1
Image document

Rapid Task-Models Development Using Sub-models, Sub-routines and Generic Components

Peter Forbrig , Célia Martinie , Philippe Palanque , Marco Winckler , Racim Fahssi
5th International Conference on Human-Centred Software Engineering (HCSE), Sep 2014, Paderborn, Germany. pp.144-163, ⟨10.1007/978-3-662-44811-3_9⟩
Communication dans un congrès hal-01405071 v1
Image document

Formal Modelling of Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions

Arnaud Hamon , Philippe Palanque , Martin Cronel , Raphaël André , David Navarre et al.
6th ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS 2014, ACM SIGCHI: Special Interest Group on Computer-Human Interaction, Jun 2014, Roma, Italy. pp.173-178, ⟨10.1145/2607023.2610286⟩
Communication dans un congrès hal-04080721 v1

A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics

Camille Fayollas , Jean-Charles Fabre , Philippe Palanque , Martin Cronel , David Navarre et al.
20th Pacific Rim International Symposium on Dependable Computing (2014), Nov 2014, Singapour, Singapore. pp.21--30, ⟨10.1109/PRDC.2014.11⟩
Communication dans un congrès hal-03263715 v1
Image document

Fine Grain Modeling of Task Deviations for Assessing Qualitatively the Impact of Both System Failures and Human Error on Operator Performance

Célia Martinie , Philippe Palanque
AAAI 2014 Symposium on Formal Verification on Human-Machine Systems - 2014, Mar 2014, Palo Alto, United States. pp. 27-32
Communication dans un congrès hal-01145209 v1
Image document

Multi-Models-Based Engineering of Collaborative Systems: Application to Collision Avoidance Operations for Spacecrafts (2014)

Célia Martinie , Eric Barboni , David Navarre , Philippe Palanque , Racim Fahssi et al.
ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2014), ACM Special Interest Group on Computer-Human Interaction, Jun 2014, Rome, Italy. pp.95-94, ⟨10.1145/2607023.2607031⟩
Communication dans un congrès hal-04080938 v1

System Level Integrated Failure Analysis

Jean-Paul Blanquart , Christel Seguin , Philippe Palanque
3rd Human Dependability Workshop (HUDEP 2013), Nov 2013, Oberpfaffenhofen, Germany
Communication dans un congrès hal-03644327 v1
Image document

Understanding functional resonance through a federation of models : preliminary findings of an avionics case study

Célia Martinie , Philippe Palanque , Martina Ragosta , Mark-Alexander Sujan , David Navarre et al.
32nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2013), Sep 2013, Toulouse, France. pp.216-227, ⟨10.1007/978-3-642-40793-2_20⟩
Communication dans un congrès hal-01223183 v1
Image document

A generic framework for executable gestural interaction models

Romuald Deshayes , Tom Mens , Philippe Palanque
IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2013), Sep 2013, San Jose, CA, United States. pp. 35-38
Communication dans un congrès hal-01178580 v1
Image document

Tuning an HCI Curriculum for Master Students to Address Interactive Critical Systems Aspects

Michel Galindo , Célia Martinie , Philippe Palanque , Marco Winckler , Peter Forbrig
15th International Conference on Human-Computer Interaction (HCI 2013), Jul 2013, Las Vegas, NV, United States. pp. 51-60
Communication dans un congrès hal-01231775 v1

The Need for Synchronous Communication to Enhance Collaboration and Cooperation between Industry and Academia

Philippe Palanque
Workshop on Education and Training of Engineers and Researchers in Aeronautics : Bridging the gap between policy, industry and academia (2013), Feb 2013, Barcelone, Spain
Communication dans un congrès hal-03644318 v1
Image document

Extending Procedural Task Models by Explicit and Systematic Integration of Objects, Knowledge and Information

Célia Martinie , Philippe Palanque , Martina Ragosta , Racim Fahssi
31st European Conference on Cognitive Ergonomics (ECCE 2013), ACM Special Interest Group on Computer-Human Interaction, Aug 2013, Toulouse, France. pp.1-10, ⟨10.1145/2501907.2501954⟩
Communication dans un congrès hal-04083401 v1
Image document

Workshop on engaging the human-computer interaction community with public policymaking internationally

Jonathan Lazar , Simone Barbosa , Jan Gulliksen , Tom Mcewan , Loïc Martinez Normand et al.
ACM CHI International Conference on Human Factors in Computing Systems (CHI 2013), ACM, Apr 2013, Paris, France. pp.3279-3282, ⟨10.1145/2468356.2479666⟩
Communication dans un congrès hal-04083635 v1
Image document

Proposta de um Framework para Visualização de Dados Agregados por Similaridade para Auxiliar Consultas durante a Navegação na Web

Caio Stein d'Agostini , Ricardo Cava , Carina Dorneles , Sergio Firmenich , Carla Freitas et al.
12th Brazilian Symposium on Human Factors in Computing Systems (IHC 2013), Oct 2013, Manaus, Brazil. pp.148-157
Communication dans un congrès hal-04083614 v1
Image document

Études de cas et benchmarks pour la modélisation des tâches

Patrick Girard , Philippe Palanque
25ème conférence francophone sur l'Interaction Homme-Machine, IHM'13, Nov 2013, Bordeaux, France
Communication dans un congrès hal-00881102 v1

Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification

José Luis Silva , Camille Fayollas , Arnaud Hamon , Philippe Palanque , Célia Martinie et al.
5th International Workshop on Formal Methods for Interactive Systems (FMIS 2013), Steve Reeves, University of Waikato; Judy Bowen, University of Waikato, Jun 2013, London, United Kingdom. ⟨10.14279/tuj.eceasst.69.967.947⟩
Communication dans un congrès hal-03644323 v1
Image document

PetriNect: A tool for executable modeling of gestural interaction

Romuald Deshayes , Tom Mens , Philippe Palanque
Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2013), Sep 2013, San Jose, CA, United States. pp.197-198, ⟨10.1109/VLHCC.2013.6645266⟩
Communication dans un congrès hal-01178577 v1
Image document

V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems Through Model Checking of Formal Description of Dialog

Guillaume Brat , Célia Martinie , Philippe Palanque
15th International Conference on Human-Computer Interaction (HCI 2013), Jul 2013, Las Vegas, Nevada, United States. pp.290-299, ⟨10.1007/978-3-642-39232-0_33⟩
Communication dans un congrès hal-01166951 v1
Image document

Formal description of multi-touch interactions

Arnaud Hamon , Philippe Palanque , Yannick Deleris , Eric Barboni , José Luis Silva
ACM SIGCHI conference Engineering Interactive Computing Systems - EICS 2013, ACM Special Interest Group on Computer-Human Interaction, Jun 2013, Londres, United Kingdom. pp.207-216, ⟨10.1145/2494603.2480311⟩
Communication dans un congrès hal-04083399 v1
Image document

Supportive User Interfaces and Task Migratability in Smart Environments

Peter Forbrig , Michael Zaki , Philippe Palanque , Marco Winckler
3rd Workshop on Distributed User Interfaces: Models, Methods and Tools DUI @ EICS 2013, Jun 2013, London, United Kingdom. pp.42-45
Communication dans un congrès hal-04083623 v1
Image document

Model-based dynamic distribution of user interfaces of critical interactive systems

David Navarre , Célia Martinie , Philippe Palanque , Alberto Pasquini , Martina Ragosta
3rd International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2013), May 2013, Naples, Italy. pp.66-75, ⟨10.1145/2494493.2494502⟩
Communication dans un congrès hal-04083405 v1

Predicting and Mitigating Human Error Through Detailed Descriptions of Operators' Tasks

Célia Martinie , Philippe Palanque
3rd Human Dependability Workshop (HUDEP 2013), Nov 2013, Oberpfaffenhofen, Germany
Communication dans un congrès hal-03644326 v1
Image document

A Design Process for Exhibiting Design Choices and Trade-Offs in (Potentially) Conflicting User Interface Guidelines

Llúcia Masip , Célia Martinie , Marco Winckler , Philippe Palanque , Toni Granollers et al.
4th International Conference on Human-Centered Software Engineering (HCSE 2012), Oct 2012, Toulouse, France. pp.53-71, ⟨10.1007/978-3-642-34347-6_4⟩
Communication dans un congrès hal-01556811 v1

Task Models as a Central Artifact for Designing, Building and Operating Safe, Usable and Reliable Interactive and (partly-)Autonomous Applications

Philippe Palanque
30th annual conference of the European Association of Cognitive Ergonomics (ECCE 2012), Aug 2012, Edinbugrh, Scotland, United Kingdom. pp.(electronic medium)
Communication dans un congrès hal-03644338 v1
Image document

Some Issues with Interaction Design and Implementation in the Context of Autonomous Interactive Critical Systems

Célia Martinie , Philippe Palanque , Martina Ragosta
Workshop on End-user Interactions with Intelligent and Autonomous Systems @ CHI 2012, ACM SIGCHI, May 2012, Austin, Texas, United States. pp.25-30
Communication dans un congrès hal-03644333 v1
Image document

Interactive Cockpits Applications: Specification, Prototyping and Validation using a Petri-nets based Formalism

Arnaud Hamon , Célia Martinie , Philippe Palanque , Eric Barboni , David Navarre et al.
European Congress on Embedded Real Time Software and Systems (ERTS 2012), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics, and Information & Communication Technologies, Feb 2012, Toulouse, France
Communication dans un congrès hal-02189909 v1

A Tool-Supported Training Framework for Improving Operators: Dependability Confronted with Faults and Errors

Célia Martinie , Philippe Palanque , David Navarre , Eric Barboni
Annual European Safety and Reliability Conference (ESREL 2012), Jun 2012, Helsinki, Finland. pp.25-36
Communication dans un congrès hal-03644330 v1
Image document

Challenges for Master Programs on Human-Computer Interaction (HCI): experience report of the M2IHM

Marco Winckler , Philippe Palanque , David Navarre
Workshop on HCI: Web and Graphics Curricula (HWG 2012) @ WWW 2012, Apr 2012, Lyon, France
Communication dans un congrès hal-03644340 v1

System Performances under Automation Degradation (SPAD)

Erik Hollnagel , Célia Martinie , Philippe Palanque , Alberto Pasquini , Martina Ragosta et al.
First SESAR Innovation Days 2011, Nov 2011, Toulouse, France
Communication dans un congrès hal-03644328 v1

A Model-Based Approach Centred on Operational Procedures for the Development of Reliable and Usable Ground Segment Systems

Philippe Palanque , Sandra Basnyat , Erwann Poupart
AIAA International Conference on Space Operations (SpaceOps 2008), American Institute of Aeronautics and Astronautics (AIAA), May 2008, Heidelberg, Germany. ⟨10.2514/6.2008-3337⟩
Communication dans un congrès hal-03653369 v1
Image document

Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach

Camille Fayollas , David Navarre , Jean-Charles Fabre , Philippe Palanque , Yannick Deleris
4th International Workshop on Software Engineering for Resilient Systems (SERENE 2012), Sep 2012, Pisa, Italy. pp.32-46, ⟨10.1007/978-3-642-33176-3_3⟩
Communication dans un congrès hal-03647155 v1

Systematic Approaches to Training Encompassing Operators’ mission and Interaction Techniques

Célia Martinie , Philippe Palanque , David Navarre , Eric Barboni , Erwann Poupart
International Conference on Human-Computer Interaction in Aerospace (HCI-Aero 2012), ACM-SIGCHI : Special Interest Group on Computer-Human Interaction; IEA : International Energy Agency; Air and Space Academy, Sep 2012, Brussels, Belgium
Communication dans un congrès hal-03647153 v1

A Systematic Approach to Training for Ground Segment using Tasks and Scenarios: Application to PICARD satellite

Célia Martinie , Philippe Palanque , Erwann Poupart , David Navarre , Eric Barboni
International Conference on Space Operations (SpaceOps 2012), Jun 2012, Stockholm, Sweden. pp.(electronic medium), ⟨10.2514/6.2012-1275518⟩
Communication dans un congrès hal-03644331 v1
Image document

A framework for modeling the consequences of the propagation of automation degradation: application to air traffic control systems

Eric Rigaud , Erik Hollnagel , Célia Martinie , Philippe Palanque , Alberto Pasquini et al.
The Second SESAR Innovation Days, Nov 2012, Braunschweig, Germany. 8 p. - ISBN 978-2-87497-068-9
Communication dans un congrès hal-00776470 v1
Image document

A Tool-supported Development Process for Bringing Touch Interactions into Interactive Cockpits for Controlling Embedded Critical Systems

Arnaud Hamon , Philippe Palanque , Yannick Deleris , David Navarre , Eric Barboni
International Conference on Human-Computer Interaction in Aeronautics (HCI'Aero 2012), Sep 2012, Brussels, Belgium
Communication dans un congrès hal-03644335 v1

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

Célia Martinie , Philippe Palanque , David Navarre , Eric Barboni , Marco Winckler
Conference on Ergonomie et Interaction homme-machine (Ergo'IHM 2012), Oct 2012, Biarritz, France. pp.81-88, ⟨10.1145/2652574.2653413⟩
Communication dans un congrès hal-03647154 v1
Image document

A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments

Célia Martinie , Philippe Palanque , David Navarre , Eric Barboni
4th International Conference on Human-Centered Software Engineering (HCSE 2012), Oct 2012, Toulouse, France. pp.72-93, ⟨10.1007/978-3-642-34347-6_5⟩
Communication dans un congrès hal-01556835 v1

Position Paper: Modelling Interactive Critical Systems using Interactive Cooperative Objects Formalism

David Navarre , Philippe Palanque
Workshop on Formal Methods in Human-Machine Interaction ((FoMHCI 2012), May 2012, London, United Kingdom. pp.(electronic medium)
Communication dans un congrès hal-03644339 v1

Automation in command and control systems: what should be remembered and what should be forgotten when designing Safe, Usable, Reliable and Enjoyable intelligent vehicles

Philippe Palanque
1st Workshop on Human Factors in Intelligent Vehicles (HFIV 2021) @ IEEE IV’12, IEEE ITS Society’s Artificial Transportation Systems and Simulation (ATSS) Technical Activities Sub-Committee, Jun 2012, Madrid, Spain. pp.(electronic medium)
Communication dans un congrès hal-03644337 v1

Engineering Animations in User Interfaces

Thomas Mirlacher , Philippe Palanque , Regina Bernhaupt
4th Conference Engineering Interactive Computing Systems (EICS 2012), ACM Special Interest Group on Computer-Human Interaction, Jun 2012, Copenhagen, Denmark. pp.111-120
Communication dans un congrès hal-03644334 v1

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

Cédric Bach , Philippe Palanque , Célia Martinie , Marco Winckler
Journée scientifique RTRA - FHAE : Facteurs Humains pour la Sécurité Aéronautique, ISAE, Toulouse; UT2J, Toulouse, Mar 2012, Toulouse, France
Communication dans un congrès hal-03644329 v1

Interactive Cockpits Applications: Modelling and Validation using a Petri-net based Formalism

Arnaud Hamon , Philippe Palanque , David Navarre , Célia Martinie , Adrienne Tankeu Choitat et al.
European Congress on Embedded Real-Time Software (ERTS² 2012), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics, and Information & Communication Technologies, Feb 2012, Toulouse, France
Communication dans un congrès hal-03644336 v1
Image document

Using Complementary Models-Based Approaches for Representing and Analysing ATM Systems' Variability

Célia Martinie , Philippe Palanque , Alberto Pasquini , Martina Ragosta , Eric Rigaud et al.
2nd International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2012), May 2012, London, United Kingdom. pp.146-157
Communication dans un congrès hal-00776429 v1

Engineering Automation in Interactive Critical Systems

Regina Bernhaupt , Guy Boy , Michael Faery , Philippe Palanque
International Conference on Human-Computer Interaction (CHI 2011), May 2011, Vancouver, BC, Canada. pp.1345-1349, ⟨10.1145/1979742.1979524⟩
Communication dans un congrès hal-03647160 v1

Contextual Help for Supporting Critical Systems' Operators: Application to Space Ground Segments

Philippe Palanque , Célia Martinie
Workshop on Activity Context Representation: Techniques and Languages @ AAAI 2011, AAAI : Association for the Advancement of Artificial Intelligence, Aug 2011, San Francisco, France
Communication dans un congrès hal-03651205 v1
Image document

Usability Evaluation: Commonalities and Discrepancies in Games and Safety Critical Systems

Philippe Palanque , Regina Bernhaupt , Marco Winckler
European Workshop on HCI Design and Evaluation, Mar 2011, Limassol, Cyprus. pp.45--53
Communication dans un congrès hal-03647161 v1

SIG: Engineering Automation in Interactive Critical Systems

Regina Bernhaupt , Guy Boy , Michael Feary , Philippe Palanque
the 2011 annual conference extended abstracts, May 2011, Vancouver, United States. pp.69, ⟨10.1145/1979742.1979524⟩
Communication dans un congrès hal-03649531 v1
Image document

UsiXML Concrete Behaviour with a Formal Description Technique for Interactive Systems

Eric Barboni , Célia Martinie , David Navarre , Philippe Palanque , Marco Winckler
IFIP WG 2.7/13.4 Workshop on User Interface Description Languages (UIDL 2011), IFIP: International Federation for Information Processing, Sep 2011, Lisbonne, Portugal. pp.(electronic medium)
Communication dans un congrès hal-03651207 v1

Model-Based Training: An Approach Supporting Operability of Critical Interactive Systems: Application to Satellite Ground Segments

Célia Martinie , Philippe Palanque , Marco Winckler , David Navarre , Erwann Poupart
3rd Conference Engineering Interactive Computing Systems (EICS 2011), ACM Special Interest Group on Computer-Human Interaction, Jun 2011, Pise, Italy. pp.589-609, ⟨10.1145/1996461.1996495⟩
Communication dans un congrès hal-03647157 v1
Image document

Structuring and Composition Mechanisms to Address Scalability Issues in Task Models

Célia Martinie , Philippe Palanque , Marco Winckler
13th International Conference on Human-Computer Interaction (INTERACT 2011), Sep 2011, Lisbon, Portugal. pp.589-609, ⟨10.1007/978-3-642-23765-2_40⟩
Communication dans un congrès hal-01591816 v1

Task-Model Based Assessment of Automation Levels: Application to Space Ground Segments

Célia Martinie , Philippe Palanque , Eric Barboni , Martina Ragosta
IEEE International Conference on Systems, Man and Cybernetics (SMC 2011), Oct 2011, Anchorage, AK, United States. pp.3267-3273, ⟨10.1109/ICSMC.2011.6084173⟩
Communication dans un congrès hal-03647166 v1
Image document

Integrating Gaming Research and Practice in the Design of User Interface of (partly)-Autonomous Safety-Critical Systems

Philippe Palanque , Regina Bernhaupt , Florent Montesano , Célia Martinie
1st International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2011), May 2011, Barcelona, Spain. pp.41-49
Communication dans un congrès hal-03647163 v1
Image document

Formal Tasks and Systems Models as a Tool for Specifying and Assessing Automation Designs

Célia Martinie , Philippe Palanque , Eric Barboni , Marco Winckler , Martina Ragosta et al.
International Conference on Application and Theory of Automation in Command and Control Systems, May 2011, Barcelone, Spain. pp.50-59
Communication dans un congrès hal-03647159 v1

Self-Checking Widgets for Interactive Cockpits

Adrienne Tankeu Choitat , Jean-Charles Fabre , Philippe Palanque , David Navarre , Yannick Deleris
13th European Workshop on Dependable Computing (EWDC 2011), May 2011, Pisa, Italy. pp.34-42, ⟨10.1145/1978582.1978592⟩
Communication dans un congrès hal-03647164 v1

Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques

Adrienne Tankeu Choitat , David Navarre , Philippe Palanque , Yannick Deleris , Jean-Charles Fabre et al.
17th Pacific Rim International Symposium on Dependable Computing (PRDC 2011), Dec 2011, Pasadena, California, United States. pp.164-173, ⟨10.1109/PRDC.2011.28⟩
Communication dans un congrès hal-03651208 v1
Image document

System Performance under Automation Degradation (WP-E project SPAD)

Erik Hollnagel , Célia Martinie , Philippe Palanque , Alberto Pasquini , Martina Ragosta et al.
First SESAR Innovation Days, Nov 2011, Toulouse, France
Communication dans un congrès hal-00660440 v1

A Multi-Models Based Development Process for Critical Interactive Systems Integrating Formal and Informal Approaches

Célia Martinie , Philippe Palanque
IFIP WG 2.7/13.4 Workshop on Combining Models and Design for interactive systems (ComDeisMoto 2011), Sep 2011, Lisbonne, Portugal
Communication dans un congrès hal-03651206 v1

A Tool Supported Model-based Approach for Engineering Usability Evaluation of Interaction Techniques

Philippe Palanque , Eric Barboni , Célia Martinie , David Navarre , Marco Winckler
3rd ACM SIGCHI Conference Engineering Interactive Computing Systems (EICS 2011), ACM SIGCHI (Special Interest Group on Computer-Human Interaction); IFIP WG 2.7/13.4 (International Federation for Information Processing), Jun 2011, Pise, Italy. pp.21-30, ⟨10.1145/1996461.1996490⟩
Communication dans un congrès hal-03647158 v1
Image document

Model-Based Usability Evaluation and Analysis of Interactive Techniques

Jean-François Ladry , Philippe Palanque , Eric Barboni , David Navarre
Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI 2010), Apr 2010, Atlanta, Georgia, France. pp.21-24
Communication dans un congrès hal-03651211 v1

Défis pour les Approches Formelles pour l’Ingénierie des Systèmes Interactifs

Philippe Palanque
5èmes Journées Francophones Modèles Formels de l'Interaction (MFI 2009), Jun 2009, Lannion, France. pp.293
Communication dans un congrès hal-03651221 v1
Image document

DREAMER : a Design Rationale Environment for Argumentation, Modeling and Engineering Requirements

Célia Martinie , Philippe Palanque , Marco Winckler , Stéphane Conversy
28th ACM international conference on Design of Communication (SIGDOC 2010), SIGDOC, Sep 2010, São Carlos / São Paulo, Brazil. pp.73-80, ⟨10.1145/1878450.1878463⟩
Communication dans un congrès hal-01022256 v1
Image document

Beyond Modelling: An Integrated Environment Supporting Co-Execution of Tasks and Systems Models

Eric Barboni , Jean-François Ladry , David Navarre , Philippe Palanque , Marco Winckler
2nd ACM SIGCHI symposium on Engineering interactive computing systems (EICS 2010), ACM SIGCHI : Special Interest Group on Computer-Human Interaction, Jun 2010, Berlin, Germany. pp.165-174, ⟨10.1145/1822018.1822043⟩
Communication dans un congrès hal-03651209 v1
Image document

Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction

Jean-François Ladry , Philippe Palanque , David Navarre , Eric Barboni , Marco Winckler
22nd Conference on l'Interaction Homme-Machine (IHM 2010), SIGCHI, Sep 2010, Luxembourg, Luxembourg. pp.81-88, ⟨10.1145/1941007.1941019⟩
Communication dans un congrès hal-03651216 v1
Image document

Embedding Requirements in Design Rationale to Deal Explicitely with User eXperience and Usability in an “intensive” Model-Based Development Approach

Célia Martinie , Jean-François Ladry , David Navarre , Philippe Palanque , Marco Winckler
Workshop on Model Driven Development of Advanced User Interfaces 2010, Apr 2010, Atlanta, Georgia, United States. pp.29-32
Communication dans un congrès hal-03651212 v1

Designing Interactive Systems neither Interaction nor Interfaces

Philippe Palanque
XI Congreso Internacional de Interacción Persona-Ordenador (CEDI 2010), Asociación Interacción Persona-Ordenador (AIPO); Centro de Investigación en Métodos de Producción de Software (ProS), Universidad Politécnica de Valencia; Grupo de Investigación en Especificación, Desarrollo y Evolución del Software (GEDES), Universidad de Granada, Sep 2010, Valencia, Spain. pp.5-13
Communication dans un congrès hal-03651220 v1

An Approach for Assessing both Usability and Dependability of Interactive Systems: Application to Interactive Cockpits

Philippe Palanque , Adrienne Tankeu Choitat , David Navarre
International Conference on Human-Computer Interaction in Aeronautics (HCI'Aero 2010), Nov 2010, Floride, France. pp.120-130
Communication dans un congrès hal-03651219 v1
Image document

Desafios para Programas de Mestrado em Interação Humano-Computador (IHC): a experiência do M2IHM

Marco Winckler , Philippe Palanque
Simpósio de Fatores Humanos em Sistemas Computacionais (IHC 2010), Oct 2010, Belo Horizonte, Brazil. pp.71-74
Communication dans un congrès hal-03651215 v1

A formal approach supporting effective and efficient training program for improving operators reliability

Célia Martinie , Philippe Palanque , David Navarre , Marco Winckler
19th European Safety and Reliability for managing Risk (ESREL 2010), ESRA : European Safety and Reliability Association, Sep 2010, Rhodes, Greece
Communication dans un congrès hal-03651210 v1

Une Approche Formelle pour l'Evaluation de la Tolérance aux Interruptions des Système Interactifs

Philippe Palanque , Jean-François Ladry , Eric Barboni , David Navarre , Marco Winckler
21st Conférence Francophone sur l'Interaction Homme-Machine: L'interaction au sommet (IHM 2009), AFIHM : Association Francophone d'Interaction Humain-Machine, Oct 2009, Grenoble, France. pp.141-150, ⟨10.1145/1629826.1629848⟩
Communication dans un congrès hal-03653366 v1

High-Fidelity Prototyping of Interactive Systems can be Formal too

Philippe Palanque , Jean-François Ladry , David Navarre , Eric Barboni
13th International Conference on Human-Computer Interaction. New Trends (HCI 2009), Jul 2009, San Diego, CA, France. pp.21-30, ⟨10.1007/978-3-642-02574-7_75⟩
Communication dans un congrès istex hal-03653357 v1

A Formal Approach Supporting the Comparative Predictive Assessment of the Interruption-Tolerance of Interactive Systems

Philippe Palanque , Marco Winckler , Jean-François Ladry , Maurice H. ter Beek , Giorgio Faconti et al.
1st ACM SIGCHI symposium on Engineering interactive computing systems (EICS 2009), ACM Special Interest Group on Computer-Human Interaction, Jul 2009, Pittsburgh, France. pp.211-220, ⟨10.1145/1570433.1570473⟩
Communication dans un congrès hal-03653361 v1

Beyond bi-polinisation: embedding Safety Engineering and Reliability Engineering along with Usability and Software Engineering

Philippe Palanque , David Navarre
4th Workshop on Software and Usability Engineering Cross-Pollination: Usability Evaluation of Advanced Interfaces @ INTERACT (EVAL 2009), IFIP WG 13.2, Aug 2009, Uppsala, Sweden
Communication dans un congrès hal-03653367 v1

An operator-centered, model-based framework for ground segment design, supporting training and operations

Sandra Steere , Erwann Poupart , Philippe Palanque
Ground System Architectures Workshop (GSAW 2009), Mar 2009, Torrance, California, France. pp.(electronic medium)
Communication dans un congrès hal-03653358 v1

Formal Modelling of Incidents and Accidents as a Means for Enriching Training Material for Satellite Control Operations

Sandra Basnyat , Philippe Palanque , Regina Bernhaupt , Erwann Poupart
Safety and Reliability for managing Risk Conference (ESREL 2008), Sep 2008, Valencia, Spain. pp.1-12
Communication dans un congrès hal-03653368 v1
Image document

Resilience of Interaction Techniques to Interrupts: A Formal Model-based Approach

Maurice H. ter Beek , Giorgio Faconti , Mieke Massink , Philippe Palanque , Marco Winckler
12th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2009), IFIP: International Federation for Information Processing, Aug 2009, Uppsala, Sweden. pp.494-509, ⟨10.1007/978-3-642-03655-2_56⟩
Communication dans un congrès hal-03653360 v1

Formal Description Techniques to Support the Design, Construction and Evaluation of Fusion Engines for SURE (Safe Usable, Reliable and Evolvable) Multimodal Interfaces

Jean-François Ladry , David Navarre , Philippe Palanque
International Conference on Multimodal Interfaces - Workshop on Machine Learning for Multi-modal Interaction (ICMI-MLMI 2009), SIGCHI : ACM Special Interest Group on Computer-Human Interaction, Nov 2009, Cambridge, Massachusetts, France. pp.135-142, ⟨10.1145/1647314.1647347⟩
Communication dans un congrès hal-03653364 v1

Fusion Engines for Input Multimodal Interfaces: a Survey

Denis Lalanne , Laurence Nigay , Philippe Palanque , Peter Robinson , Jean Vanderdonckt et al.
ICMI '09: Proceedings of the 11th international conference on Multimodal interfaces, November 2-6, Cambridge, MA, USA. ACM., 2009, Cambridge, United States. pp.153-160, ⟨10.1145/1647314.1647343⟩
Communication dans un congrès hal-00953686 v1

Fusion Engines for Multimodal Interfaces: a survey

Denis Lalanne , Laurence Nigay , Philippe Palanque , Peter Robinson , Jean Vanderdonckt et al.
International Conference on Multimodal Interfaces- Workshop on Machine Learning for Multi-modal Interaction (ICMI-MLMI 2009), Nov 2009, Cambridge, Massachusetts, France. pp.111-118, ⟨10.1145/1647314.1647343⟩
Communication dans un congrès hal-03653363 v1

Assessing the usability of open verifiable e-voting systems: a trial with the system Prêt à Voter

Marco Winckler , Regina Bernhaupt , Philippe Palanque , David Lundin , Kieran Leach et al.
1st International Conference on eGovernment and eGovernance (IceGov 2009), The Interantional Satellite and Cable Opertor (TURKSAT); Social Sciences Research Society (SoSReS), Mar 2009, Ankara, Turkey. pp.281-296
Communication dans un congrès hal-03653359 v1

Gaining assurance in a voter-verifiable voting system

Eugenio Alberdi , Lorenzo Strigini , Kieran Leach , Peter Ryan , Philippe Palanque et al.
2nd International Conference on Dependability (DEPEND 2009), Jun 2009, Athens Vouliagmeni, Greece. pp.99-104, ⟨10.1109/DEPEND.2009.21⟩
Communication dans un congrès hal-03653362 v1

Dealing with Reliability and Evolvability in Description Techniques for Next Generation User Interfaces

Jean-François Ladry , Philippe Palanque , Sandra Basnyat , Eric Barboni , David Navarre
Workshop on User Interface Description Languages for Next Generation User Interfaces @ CHI 2008, Apr 2008, Florence, Italy
Communication dans un congrès hal-03653370 v1

Offline interoperability, cost reduction and reliability for operational procedure using meta-modeling technology

Erwann Poupart , Guillaume Jolly , Christian Percebois , Pierre Bazex , Philippe Palanque et al.
International Conference on Space Operations (SpaceOps 2008), May 2008, Heidelberg, Germany. pp.(electronic medium), ⟨10.2514/6.2008-3267⟩
Communication dans un congrès hal-03653373 v1
Image document

The FAERUS Project: Formal Analysis of Evolving Resilient Usable Systems

Giorgio Faconti , Michael Harrison , Mieke Massink , Philippe Palanque
7th European Dependable Computing Conference (EDCC 2008), May 2008, Kaunaas, Lithuania. pp.11-14
Communication dans un congrès hal-03662269 v1

Beyond usability for safety critical systems: How to be SURE (safe, usable, reliable, and evolvable)?

Philippe Palanque , Sandra Basnyat , Regina Bernhaupt , Ronald Laurids Boring , Chris W. Jonhson et al.
ACM International Conference on Human Factors in Computing Systems (CHI 2007), Apr 2007, San Jose, California, France. pp.2133-2136, ⟨10.1145/1240866.1240966⟩
Communication dans un congrès hal-03653371 v1

A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems

David Navarre , Philippe Palanque , Sandra Basnyat
27th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2008), Sep 2008, Newscastle, United Kingdom. pp.373-386, ⟨10.1007/978-3-540-87698-4_31⟩
Communication dans un congrès istex hal-03653374 v1

An Architecture and a Formal Description Technique for User Interaction Reconfiguration of Safety Critical Interactive Systems

David Navarre , Philippe Palanque , Jean-François Ladry , Sandra Basnyat
International Workshop on Design, Specification, and Verification of Interactive Systems (DSV-IS 2008), Jul 2008, Kingston, Ontario, Canada. pp.208-224, ⟨10.1007/978-3-540-70569-7_20⟩
Communication dans un congrès istex hal-03653372 v1

AROVE-v: Assessing the resilience of open verifiable E-voting systems.

Philippe Palanque , Marco Winckler , Regina Bernhaupt , Eugenio Alberdi , Lorenzo Strigini
7th European Dependable Computing Conference (EDCC 2008), May 2008, Kaunas, Lithuania. pp.(electronic medium)
Communication dans un congrès hal-03653375 v1
Image document

Improving Interactive Systems Usability using Formal Description Techniques: Application to HealthCare

Philippe Palanque , Sandra Basnyat , David Navarre
3rd Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society (USAB 2007), Austrian Computer Society, Nov 2007, Graz, Austria. pp.21-40, ⟨10.1007/978-3-540-76805-0_2⟩
Communication dans un congrès hal-03662274 v1

A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC Specification 661

Eric Barboni , David Navarre , Philippe Palanque , Sandra Basnyat
IEEE International Symposium on Industrial Embedded Systems 2007, Jul 2007, Lisbon, Portugal. pp.250-257, ⟨10.1109/SIES.2007.4297342⟩
Communication dans un congrès hal-03662276 v1

DREAM & TEAM: A Tool and a Notation Supporting Exploration of Options and Traceability of Choices for Safety Critical Interactive Systems

Xavier Lacaze , Philippe Palanque
11th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2007), IFIP Technical Committee 13 on Huma-Computer Interaction; IFIP International Federation for Information Processing, Sep 2007, Rio de Janeiro, Brazil. pp.525-540, ⟨10.1007/978-3-540-74800-7_48⟩
Communication dans un congrès hal-03662285 v1

Usability Study of Multi-Modal Interfaces using Eye-Tracking

Regina Bernhaupt , Philippe Palanque , Marco Winckler , David Navarre
11th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2007), IFIP International Federation for Information Processing, Sep 2007, Rio de Janeiro, Brazil. pp.412-424, ⟨10.1007/978-3-540-74800-7_37⟩
Communication dans un congrès hal-03662281 v1

Model-based Framework for Addressing Diversity, Usability and Reliability for Safety Critical Interactive Systems

David Navarre , Philippe Palanque , Jean-François Ladry
2nd IET International Conference on System Safety 2007, IET: Institution of Engineering and Technology, Oct 2008, London, United Kingdom. pp.38-43, ⟨10.1049/cp:20070438⟩
Communication dans un congrès hal-03662279 v1
Image document

Improving modularity of interactive software with the MDPC Architecture

Stéphane Conversy , Eric Barboni , David Navarre , Philippe Palanque
Joint Working Conference on Engineering Interactive Systems (EIS 2007), Mar 2007, Salamanca, Spain. pp.321-338, ⟨10.1007/978-3-540-92698-6⟩
Communication dans un congrès hal-01021985 v1
Image document

On the Benefit of Synergistic Model-based Approach for Safety Critical Interactive System Testing

David Navarre , Philippe Palanque , Eric Barboni , Tomasz Mistrzyk
6th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA 2007), Nov 2007, Toulouse, France. pp.140-154, ⟨10.1007/978-3-540-77222-4_12⟩
Communication dans un congrès hal-03662278 v1

Software hazards and barriers for informing the design of safety-critical interactive systems

Sandra Basnyat , Philippe Palanque
15th European Safety and Reliability for managing Risk (ESREL 2006), Sep 2006, Estoril, Portugal. pp.257-266
Communication dans un congrès hal-03662289 v1

A Barrier-Approach to Inform Model-Based Design of Safety-Critical Interactive Systems

Bastiaan Schupp , Sandra Basnyat , Philippe Palanque , Peter Wright
International Symposium of the ISSA Research Section Design process and human factors integration: Optimising company performances 2006, International Social Security Association (ISSA), Mar 2006, Nice, France
Communication dans un congrès hal-03662286 v1
Image document

Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specification

Eric Barboni , Stéphane Conversy , David Navarre , Philippe Palanque
13th conference on Design Specification and Verification of Interactive Systems (DSVIS 2006), Jul 2006, Dublin, Ireland. pp.25-38, ⟨10.1007/978-3-540-69554-7_3⟩
Communication dans un congrès hal-01021771 v1

Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri net Based Formal Specification

Philippe Palanque , Regina Bernhaupt , David Navarre , Mourad Ould , Marco Winckler
International Conference on Space Operations (SpaceOps 2006), American Institute of Aeronautics and Astronautics (AIAA), Jun 2006, Rome, Italy. ⟨10.2514/6.2006-5657⟩
Communication dans un congrès hal-03663640 v1
Image document

Testing Interactive Software: a Challenge for Usability and Reliability

Philippe Palanque , Regina Bernhaupt , Ron Boring , Chris Johnson
ACM Conference on Human Factors in Computing Systems (CHI 2006), ACM Special Interest Group on Testing Interactive Software, Apr 2006, Montréal, Canada. pp.748-751, ⟨10.1145/1125451.1189335⟩
Communication dans un congrès hal-03663642 v1
Image document

Analysis of Communication Breakdowns for eHealth Systems Design (poster)

Svetlena Tavena , Philippe Palanque , Sandra Basnyat , Marco Winckler , Effie Law
6th Nordic Conference on eHealth and Telemedicine 2006, Aug 2006, Helsinki, Finland. pp.212-213
Communication dans un congrès hal-03662290 v1

Addressing Issues Raised by the Exploitation of Formal Specification Techniques for Interactive Cockpit Applications

Eric Barboni , David Navarre , Philippe Palanque , Sandra Basnyat
International Conference on Human-Computer Interaction in Aeronautics (HCI-Aero 2006), Sep 2006, Seattle, USA, France
Communication dans un congrès hal-03662288 v1

Redesigning an Interactive Safety-Critical System to Prevent an Accident from Reoccurring

Sandra Basnyat , Nick Chozos , Chris Johnson , Philippe Palanque
24th European Annual Conference on Human Decision Making and Manual Control (EAM 2005), Oct 2005, Athens, Greece
Communication dans un congrès hal-03663653 v1

Towards the Maturation of IT Usability Evaluation (MAUSE)

Effie L-C. Law , Ebba Hvannberg , Gilbert Cockton , Philippe Palanque , Dominique L. Scapin et al.
10th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2005), IFIP: International Federation for Information Processing, Sep 2005, Roma, Italy. pp.1134-1137, ⟨10.1007/11555261_122⟩
Communication dans un congrès hal-03663658 v1

Can we Rationalise the Design and Construction of Air Traffic Management Systems?

David Navarre , Philippe Palanque , Michel Galindo , Rémi Bastide , Xavier Lacaze
11th International Conference on Human-Computer Interaction (HCI 2005), Jul 2005, Las Vegas, Nevada, France. pp.CDRom
Communication dans un congrès hal-03663646 v1

What User Interface Tools are needed for Safety Critical Interactive Systems?

David Navarre , Philippe Palanque , Rémi Bastide , Marco Winckler
CHI 2005 Workshop : The Future of User Interface Design Tools, Apr 2005, Portland, Oregon, France
Communication dans un congrès hal-03663650 v1
Image document

Extending the Boundaries of Model-Based Development to Account for Errors

Sandra Basnyat , Rémi Bastide , Philippe Palanque
8th International Conference on Model Driven Development of Advanced User Interfaces (MDDAUI 2005), ACM; IEEE, Oct 2005, Montego bay, Jamaica. ⟨10.13140/2.1.4181.6007⟩
Communication dans un congrès hal-03663652 v1
Image document

A Task Pattern Approach to Incorporate User Deviation in Task Models

Sandra Basnyat , Philippe Palanque
1st ADVISES Young Researchers Workshop (Advises 2005), Jan 2005, Liege, Belgium. pp.1-8
Communication dans un congrès hal-03664725 v1

A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications

David Navarre , Philippe Palanque , Rémi Bastide , Amélie Schyn , Marco Winckler et al.
IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2005), IFIP TC 13, Sep 2005, Rome, Italy. pp.170-183, ⟨10.1007/11555261_17⟩
Communication dans un congrès hal-03663655 v1
Image document

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

Sandra Basnyat , David Navarre , Philippe Palanque
2nd Workshop on Complexity in Design and Engineering 2005, Mar 2005, Glasgow, United Kingdom. pp.56-69
Communication dans un congrès hal-03663644 v1

Supporting Intuition through Formal Specification of the User Interface for Military Aircraft Cockpit

Rémi Bastide , Eric Barboni , Xavier Lacaze , David Navarre , Philippe Palanque et al.
11th International Conference on Human-Computer Interaction (HCI 2005), Jul 2005, Las Vegas, Nevada, France. pp.CDRom
Communication dans un congrès hal-03663645 v1

Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems

Sandra Basnyat , Nick Chozos , Chris Johnson , Philippe Palanque
12th International Workshop on Design, Specification and Verification of Interactive Systems (DSVIS 2005), Jul 2005, Newcastle upon Tyne, United Kingdom. pp.51-66, ⟨10.1007/11752707_5⟩
Communication dans un congrès hal-03663651 v1

What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?

Marco Winckler , Eric Barboni , Christelle Farenc , Philippe Palanque
International Research Network (IRN Neutrino 2005), GDR Neutrino (CNRS et CEA), Mar 2005, Valencia, Spain. pp.33-36
Communication dans un congrès hal-03663649 v1

Task Patterns For Taking Into Account In An Efficient And Systematic Way Both Standard And Erroneous User Behaviours

Philippe Palanque , Sandra Basnyat
7th Working Conference on Human Error, Safety and Systems Development (2004) @ IFIP 18th World Computer Congress, International Federation for Information Processing (IFIP) - Technical Committee on Human–Computer Interaction (IFIP TC13) / Working Group 13.5, Aug 2004, Toulouse, France. pp.109-130, ⟨10.1007/1-4020-8153-7_8⟩
Communication dans un congrès hal-03664727 v1

SWCEditor: A Model-based Tool for interactive Modelling of Web Navigation

Marco Winckler , Eric Barboni , Christelle Farenc , Philippe Palanque
5th International Conference on Computer-Aided Design of User Interfaces (CADUI 2004), Jan 2004, Madeira Island, Portugal. pp.55-56, ⟨10.1007/1-4020-3304-4_5⟩
Communication dans un congrès hal-03664728 v1

Tasks and Scenario-based Evaluation of Information Visualization Techniques

Marco Winckler , Philippe Palanque , Carla Dal Sasso Freitas
3rd annual conference on Task models and diagrams (TAMODIA 2004), Nov 2004, Prague, Czech Republic. pp.165-172, ⟨10.1145/1045446.1045475⟩
Communication dans un congrès hal-03664729 v1

Multimodal and 3D Graphic Man Machine Interfaces to improve Operations

Mourad Ould , Philippe Palanque , Amélie Schyn , Rémi Bastide , David Navarre
Space OPS 2004 Conference, AAAI : American Institute of Aeronautics and Astronautics, May 2004, Montreal, Canada. ⟨10.2514/6.2004-727-500⟩
Communication dans un congrès hal-03664734 v1

Comprehensive Handling of Temporal Issues in Tasks Models: What is needed and How to Support it?

Xavier Lacaze , Philippe Palanque
Workshop of The Temporal Aspects Of Work For HCI @ CHI 2004, Apr 2004, Vienna, Austria. pp.1-6
Communication dans un congrès hal-03664726 v1

A Model-Based Approach for Real-Time Embedded Multimodal Systems in Military Aircrafts

Rémi Bastide , David Navarre , Philippe Palanque , Amélie Schyn , Pierre Dragicevic
6th international conference on Multimodal interfaces (ICMI 2004), Oct 2004, State College, Pen, USA, France. pp.243-250, ⟨10.1145/1027933.1027974⟩
Communication dans un congrès hal-03664733 v1

Very-High-Fidelity Prototyping for both Presentation and Dialogue Parts of Multimodal Interactive Systems

David Navarre , Pierre Dragicevic , Philippe Palanque , Amélie Schyn , Rémi Bastide
IFIP Working Conference on Engineering for Human-Computer Interaction (EHCI 2004), International Federation for Information Processing (IFIP), Jul 2004, Hamburg, Germany. pp.179-199, ⟨10.1007/11431879_11⟩
Communication dans un congrès hal-03664732 v1
Image document

A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC 661 Specification

David Navarre , Philippe Palanque , Rémi Bastide
International Conference on Human-Computer Interaction in Aeronautics (HCI Aéro 2004), Sep 2004, Toulouse, France. pp.CD-ROM
Communication dans un congrès hal-03664731 v1

Synergistic Use of Visualisation Technique and Web Navigation Model for Information Space Exploration

Carla Dal Sasso Freitas , Ricardo Cava , Marco Winckler , Philippe Palanque
10th International Conference on Human-Computer (HCI 2003), Jun 2003, Creta, Greece. pp.1091-1095
Communication dans un congrès hal-03664739 v1
Image document

Petri Net Centered versus User Centered Petri Nets Tools

Eric Barboni , Rémi Bastide , Xavier Lacaze , David Navarre , Philippe Palanque
10th Workshop on Algorithms and Tools for. Petri Nets (AWPN 2003), Sep 2003, Eichstätt, Germany
Communication dans un congrès hal-03664736 v1
Image document

A Model-Based Approach for Engineering Multimodal Interactive

Philippe Palanque , Amélie Schyn
IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2003), IFIP TC13, Sep 2003, Zurich, Switzerland. pp.543-550
Communication dans un congrès hal-03664744 v1
Image document

Usando Modelagem Formal para Especificar Interação em Ambientes Virtuais: Por que?

Luciana Porcher Nedel , Carla Dal Sasso Freitas , Amélie Schyn , David Navarre , Philippe Palanque
Symposium on Virtual and Augmented Reality (SVR 2003), SBC (The Brazilian Computing Society), Oct 2003, Ribeirão Preto, Brazil. pp.81-92
Communication dans un congrès hal-03664741 v1
Image document

StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications

Marco Winckler , Philippe Palanque
10th International Workshop on Interactive Systems. Design, Specification, and Verification (DSV-IS 2003), Jun 2003, Funchal, Portugal. pp.61-76, ⟨10.1007/978-3-540-39929-2_5⟩
Communication dans un congrès hal-03664737 v1

UML for Interactive Systems: What is Missing

Rémi Bastide , Philippe Palanque
Workshop on Software Engineering and Human-Computer Interaction (WSEH 2003) @ INTERACT 2003, Sep 2003, Zürich, Switzerland. pp.96-99
Communication dans un congrès hal-03664742 v1

Automatic Generation of Interactive Systems: Why A Task Model is not Enough

Philippe Palanque , Rémi Bastide , Marco Winckler
10th International Conference on Human-Computer (HCI 2003), Jun 2003, Creta, Greece. pp.198-202
Communication dans un congrès hal-03664738 v1

Description Formelle d'une Technique d'Interaction Multimodale dans une Application de Réalité Virtuelle Immersive

Amélie Schyn , David Navarre , Philippe Palanque , Luciana Porcher Nedel
15th Conference on l'Interaction Homme-Machine (IHM 2003), AFIHM: Association Francophone d'Interaction Humain-Machine, Nov 2003, Caen, France. pp.150-157, ⟨10.1145/1063669.1063690⟩
Communication dans un congrès hal-03664743 v1
Image document

A Generic Formal Description Technique for Fusion Mechanisms of Multimodal Interactive Systems

Philippe Palanque , Amélie Schyn
Workshop on Multimodal Resources and Multimodal Systems (2002) In association with LEREC 2002, ELRA, Jun 2002, Las Palmas, Spain. pp.63-70
Communication dans un congrès hal-03667071 v1

Analyse de performance et modéles de Tâches comme support à la conception rationnelle des systèmes interactifs

Xavier Lacaze , Philippe Palanque , David Navarre
14ème conférence francophone en Interaction Homme Machine (IHM 2002), Nov 2002, Poitiers, France. pp.17-24, ⟨10.1145/777005.777009⟩
Communication dans un congrès hal-03667066 v1

Model-Based Interactive Prototyping of Highly Interactive Applications

David Navarre , Philippe Palanque , Rémi Bastide
4th International Conference on Computer-Aided Design of User Interfaces (CADUI 2002), May 2002, Valenciennes, France. pp.205-216
Communication dans un congrès hal-03667074 v1
Image document

Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems

Xavier Lacaze , Philippe Palanque , David Navarre , Rémi Bastide
9th International Workshop on Interactive Systems: Design, Specification, and Verification (DSV-IS 2002), Jun 2002, Rostock, Germany. pp.208-222, ⟨10.1007/3-540-36235-5_16⟩
Communication dans un congrès hal-03667067 v1

Reconciling Safety and Usability Concerns through Formal Specification-based Development Process

David Navarre , Philippe Palanque , Rémi Bastide
International Conference on Human-Computer Interaction in Aeronautics 2002, Oct 2002, Cambridge, Massachussets, France. pp.23-29
Communication dans un congrès hal-03667075 v1

Automatic Evaluation for the Web: How Improve Navigation Guidelines

Marco Winckler , Christelle Farenc , Philippe Palanque
Workshop on Automated Testing in ACM Conference on Computer-Human Interaction (CHI 2002), Apr 2002, Minneapolis, USA, France
Communication dans un congrès hal-03667069 v1
Image document

A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications

Rémi Bastide , David Navarre , Philippe Palanque
Conference International on Human Factors in Computing Systems (CHI 2002), Apr 2002, Minneapolis, Minnesota, France. pp.516-517, ⟨10.1145/506443.506457⟩
Communication dans un congrès hal-03667082 v1
Image document

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

Marco Winckler , Christelle Farenc , Philippe Palanque
14ème Conférence Francophone sur l'Interaction Homme-Machine (IHM 2002), Nov 2002, Poitiers, France. pp.153-160, ⟨10.1145/777005.777026⟩
Communication dans un congrès hal-03667070 v1
Image document

Task-Based Assessment of Web Navigation Design

Marco Winckler , Philippe Palanque , Christelle Farenc , Marcelo Pimenta
1st International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA 2002), ACM SIGCHI, Jul 2002, Bucarest, Romania. pp.161-169
Communication dans un congrès hal-03667068 v1

Designing Navigation for Web Interfaces

Marco Winckler , Christelle Farenc , Philippe Palanque , Rémi Bastide
Annual Conference of the BCS-HCI Group jointly with Annual Conference of AFIHM 2001, BCS-HCI Group, Sep 2001, Lille, France. pp.43-46
Communication dans un congrès hal-03667083 v1

Avaliação da Navegação de Interfaces Web a partir de Modelos

Marco Winckler , Christelle Farenc , Philippe Palanque , Marcelo Pimenta
4th Workshop on Human Factors in Computer Systems (IHC 2001), Universidade Federal de Santa Catarina (UFSC), Oct 2001, Florianopolis, SC, Brazil. pp.48-60
Communication dans un congrès hal-03667080 v1
Image document

Towards a General Guidance and Support Tool for Usability Optimization

Christelle Farenc , Philippe Palanque , Christian Bastien , Dominique L. Scapin
9th International Conference on on Human-Computer Interaction (HCI 2001), Aug 2001, New Orleans, USA, France
Communication dans un congrès hal-03667078 v1

Usability Evaluation Methods: What is still missing for the Web?

Marco Winckler , Marcelo Pimenta , Philippe Palanque , Christelle Farenc
9th International Conference on on Human-Computer Interaction (HCI 2001), Aug 2001, New Orleans, France
Communication dans un congrès hal-03667077 v1
Image document

A Tool Suite for Integrating Task and System Models Through Scenarios

David Navarre , Philippe Palanque , Fabio Paternò , Carmen Santoro , Rémi Bastide
8th International Workshop on Interactive Systems: Design, Specification, and Verification (DSV-IS 2001), Jun 2001, Glasgow, Scotland, United Kingdom. pp.88-113, ⟨10.1007/3-540-45522-1_6⟩
Communication dans un congrès hal-03667081 v1
Image document

A Framework for Organizing Web Usability Guidelines

Dominique Scapin , Corinne Leulier , Jean Vanderdonckt , Céline Mariage , Christian Bastien et al.
6th Conference on Human Factors and the Web (HF Web 2000), Jun 2000, Austin, United States
Communication dans un congrès hal-01319628 v1

Integrating Prototyping and Formal Methods as a means for Reconciling Usability and Safety

Philippe Palanque , Michel Galindo , David Navarre , Rémi Bastide , Ousmane Sy
Workshop on Safety and Usability Concerns in Aeronautics (SUCA 2000) @ HCI-Aero 2000, IFIP WG 13.5, Sep 2000, Toulouse, France. pp.41--47
Communication dans un congrès hal-03667084 v1

Exploitation des notations de Design Rationale pour une conception justifiée des applications interactives

Christelle Farenc , Philippe Palanque
11ème Conférence Francophone sur l'Interaction Homme-Machine (IHM 1999), Nov 1999, Montpellier, France
Communication dans un congrès hal-03667085 v1

Conception d'applications ergonomiques : une méthode pour informaticiens et une méthode pour ergonomes

Philippe Palanque , John Long , Jean-Claude Tarby , Marie-France Barthet
4ème Colloque Ergonomie et informatique avancée (ERGO IA 1994), Oct 1994, Biarritz, France. pp.394-405
Communication dans un congrès hal-02430968 v1

Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium : Swansea, UK, June 26-27, 2023, Selected Papers

Michael Harrison , Célia Martinie , Nicholas Micallef , Philippe Palanque , Albrecht Schmidt et al.
EICS 2023 - 15th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, LNCS-14517, Springer Nature Switzerland, pp.I--XIV, 1--224, 2024, Lecture Notes in Computer Science, 978-3-031-59234-8. ⟨10.1007/978-3-031-59235-5⟩
Proceedings/Recueil des communications hal-04678911 v1

Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings

Uwe Glässer , Jose Creissac Campos , Dominique Méry , Philippe Palanque
Lecture Notes in Computer Science, 14010, Springer Nature Switzerland, 2023, 978-3-031-33162-6. ⟨10.1007/978-3-031-33163-3⟩
Proceedings/Recueil des communications hal-04183902 v1

AutomationXP 2023: Intervening, Teaming, Delegating - Creating Engaging Automation Experiences, Proceedings of the Workshop on Intervening, Teaming, Delegating, co-located with the ACM CHI 2023

Peter Fröhlich , Matthias Baldauf , Philippe Palanque , Virpi Roto , Fabio Paternò et al.
3394, ceur-ws.org, 2023, CEUR Workshop Proceedings
Proceedings/Recueil des communications hal-04316322 v1

EICS '21: Companion of the 2021 ACM SIGCHI Symposium on Engineering Interactive Computing Systems

Philippe Palanque
ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2021), Eindhoven (virtual), Netherlands. ACM: Association for Computing Machinery, New York, 2021, 978-1-4503-8449-0. ⟨10.1145/3459926⟩
Proceedings/Recueil des communications hal-03376247 v1

Proceedings of the Workshop on Automation Experience across Domains co-located with the ACM Conference on Human Factors in Computing Systems

Peter Fröhlich , Matthias Baldauf , Philippe Palanque , Virpi Roto , Thomas Meneweger et al.
Peter Fröhlich; Matthias Baldauf; Philippe Palanque; Virpi Roto; Thomas Meneweger; Manfred Tscheligi; Zoe Becerra; Fabio Paternó. Workshop on Automation Experience across Domains co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2020), Apr 2020, Honolulu, Hawaii, United States. 2700, CEUR Workshop Proceedings: Free Open-Access Proceedings for Scientific Conferences and Workshops, RWTH Aachen University, 2020
Proceedings/Recueil des communications hal-03099224 v1

Proceedings of 15th International Conference on Human Computer Interaction, Cluj-Napoca, 26/09/18 - 26/09/19

Adrian Sabou , Philippe Palanque
Sabou, Adrian; Palanque, Philippe. 15th International Conference on Human Computer Interaction - RoCHI 2018, Sep 2018, Cluj-Napoca, Romania. Matrix Rom, Bucharest, Romania; ACM SIGCHI (Special Interest Group for Human Computer Interaction) Romania, 2018
Proceedings/Recueil des communications hal-03023428 v1

ATACCS '15: Proceedings of the 5th International Conference on Application and Theory of Automation in Command and Control Systems

Michael S. Feary , Thomas Feuerle , Cristina Gonzalez Rechea , Francisco Javier Saez , Chris Johnson et al.
5th International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2015), ACM : Association for Computing Machinery, New York, 2015, 978-1-4503-3562-1
Proceedings/Recueil des communications hal-03209345 v1

ATACCS '13: Proceedings of the 3rd International Conference on Application and Theory of Automation in Command and Control Systems, Naples, Italy, 28-30 may 2013

Guillaume Brat , Eduardo Garcia , Antonio Moccia , Philippe Palanque , Alberto Pasquini et al.
Brat, Guillaume; Garcia, Eduardo; Moccia, Antonio; Palanque, Philippe; Pasquini, Alberto; Saez, Francisco; Winckler, Marco Antonio. 3rd International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2013), May 2013, Naples, Italy. ACM: Association for Computing Machinery, New York, 2013, 978-1-4503-2249-2. ⟨10.1145/2494493⟩
Proceedings/Recueil des communications hal-03644319 v1

ATACCS '12: 2nd International Conference on Application and Theory of Automation in Command and Control Systems, London, UK, May 29-31 2012

Eduardo Garcia , Chris Johnson , Washington Yotto Ochieng , Philippe Palanque , Francisco Javier Saez et al.
Garcia, Eduardo; Johnson, Chris; Ochieng, Washington Yotto; Palanque, Philippe; Saez, Francisco; Vilaplana Miguel Angel; Winckler, Marco Antonio. 2nd International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2012), May 2012, London, United Kingdom. IRIT : Institut en Recherche Informatique de Toulouse, 2012, 978-2-917490-20-4. ⟨10.5555/2325676⟩
Proceedings/Recueil des communications hal-03647151 v1

Proceedings of the 1st International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2011) May 26-27, 2011, Barcelona, Spain

Eduardo Garcia , Arnab Majumdar , Philippe Palanque , Alberto Pasquini , Francisco Saez et al.
Garcia, Eduardo; Majumdar, Arnab; Palanque, Philippe; Pasquini, Alberto; Saez, Francisco; Winckler, Marco Antonio. 1st International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS 2011), Barcelone, Spain. IRIT Press, Toulouse, 188 p., 2011, 978-1-4503-1506-7
Proceedings/Recueil des communications hal-03651203 v1

Human-Computer Interaction - INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, 4 vol. : Part I à IV

Pedro Campos , Nicholas Graham , Joaquim Jorge , Nuno Jardim Nunes , Philippe Palanque et al.
Campos, Pedro; Graham, Nicholas; Jorge, Joaquim; Nuno, Nunes; Palanque, Philippe; Winckler, Marco Antonio. 13th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2011), Sep 2011, Lisbon, Portugal. 6946 à 6949 (Part 1 à 4), Springer, 2011, Lecture Notes in Computer Science (LNCS), ‎978-3642237737 ; 978-3642237706 ; 978-3642237645 ; 978-3642237676
Proceedings/Recueil des communications hal-03647168 v1

Human-Computer Interaction – INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part IV

Pedro Campos , Nicholas Graham , Joaquim Jorge , Nunes Nuno , Philippe Palanque et al.
Campos, Pedro; Graham, Nicholas; Jorge, Joaquim; Nuno, Nunes; Palanque, Philippe; Winckler, Marco Antonio. 13th IFIP TC13 International Conference on Human-Computer Interaction (INTERACT 2011), Sep 2011, Lisbon, Portugal. 6949, Springer, pp.Part 4, 2011, Lecture Notes in Computer Science book series (LNCS), ⟨10.1007/978-3-642-23768-3⟩
Proceedings/Recueil des communications hal-03651202 v1

Human Error, Safety and Systems Development: 7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers

Philippe Palanque , Jean Vanderdonckt , Marco Winckler
Palanque, Philippe; Vanderdonckt, Jean; Winckler, Marco Antonio. 7th IFIP WG 13.5 Working Conference on Human Error, Safety and Systems Development (HESSD 2009), Sep 2009, Brussels, Belgium. 5962, Springer-Verlag, 2010, Lecture Notes in Computer Science book series (LNCS), 978-3-642-11749-7. ⟨10.1007/978-3-642-11750-3⟩
Proceedings/Recueil des communications hal-03651217 v1

Task Models and Diagrams for User Interface Design: 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers

David England , Philippe Palanque , Jean Vanderdonckt , Peter Wilde
England, David; Palanque, Philippe; Vanderdonckt, Jean; Wilde, Peter. 8th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA 2009), Sep 2009, Brussels, Belgium. 5963, Springer-Verlag, 2010, Lecture Notes in Computer Science book series (LNCS), 978-3-642-11796-1. ⟨10.1007/978-3-642-11797-8⟩
Proceedings/Recueil des communications hal-03651218 v1

Human-Computer Interaction – INTERACT 2009: 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part I and Part 2

Tom Gross , Jan Gulliksen , Paula Kotzé , Lars Oestreicher , Philippe Palanque et al.
Gross, Tom; Gulliksen, Jan; Kotze, Paula; Oestreicher, Lars; Palanque, Philippe; Prates, Raquel Oliveira; Winckler, Marco Antonio. 12th TC13 IFIP Conference on Human-Computer Interaction (INTERACT 2009), Uppsala, Sweden. 5726 et 5727, Springer, 2009, Lecture Notes in Computer Science book series (LNCS), 978-3-642-03654-5 et 978-3-642-03657-6
Proceedings/Recueil des communications hal-03653365 v1

Engineering Interactive Systems: EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers

Jan Gulliksen , Morton Borup Harning , Philippe Palanque , Gerrit van Der Veer , Janet Wesson
Gulliksen, Jan; Harning, Morten; Palanque, Philippe; Van Der Veer, Gerrit; Wesson, Janet. 14th International conference DSV-IS 2007 and EIS 2007, Salamanca, Spain. 4940, Springer-Verlag, 2008, Lecture Notes in Computer Science book series (LNCS), 978-3-540-92697-9. ⟨10.1007/978-3-540-92698-6⟩
Proceedings/Recueil des communications hal-03662270 v1

Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers

T.C. Nicholas Graham , Philippe Palanque
Graham, T.C. Nicholas; Palanque, Philippe. 15th International Workshop on Interactive Systems: Design, Specification, and Verification (DSV-IS 2008), Jul 2008, Kingston, Canada. Springer-Verlag, 2008, 978-3-540-70568-0. ⟨10.1007/978-3-540-70569-7⟩
Proceedings/Recueil des communications hal-03662271 v1

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 D. J. Barbosa
Baranauskas, Cecilia; Palanque, Philippe; Abascal, Julio; Barbosa, Simone D. J. 11th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2007), Sep 2007, Rio de Janeiro, Brazil. 4662, Springer-Verlag, 2007, Lecture Notes in Computer Science (LNCS), 978-3-540-74799-4. ⟨10.1007/978-3-540-74800-7⟩
Proceedings/Recueil des communications hal-03662284 v1

Human-Computer Interaction - INTERACT 2007: 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part I

Cecilia Baranauskas , Philippe Palanque , Julio Abascal , Simone D. J. Barbosa
Baranauskas, Cecilia; Palanque, Philippe; Abascal, Julio; Barbosa, Simone D. J. 11th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT 2007), Sep 2007, Rio de Janeiro, Brazil. 4662 (Part 1), Springer-Verlag, 2007, Lecture Notes in Computer Science book series (LNCS), 978-3540747949. ⟨10.1007/978-3-540-74796-3⟩
Proceedings/Recueil des communications hal-03662283 v1

Task Models and Diagrams for User Interface Design: 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007 Proceedings

Marco Winckler , Hilary Johnson , Philippe Palanque
Winckler, Marco Antonio; Johnson, Hilary; Palanque, Philippe. 6th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA 2007), Toulouse, France. 4849, Springer-Verlag, 2007, Lecture Notes in Computer Science book series (LNCS), 978-3-540-77222-4. ⟨10.1007/978-3-540-77222-4⟩
Proceedings/Recueil des communications hal-03662282 v1

Engineering Human Computer Interaction and Interactive Systems : Joint Working Conferences EHCI-DSVIS 2004 Hamburg, Germany, July 11-13, 2004, Revised Selected Papers

Rémi Bastide , Philippe Palanque , Jörg Roth
Bastide, Rémi; Palanque, Philippe; Roth, Jörg. 9th IFIP Working Conference on Engineering for Human-Computer Interaction, Jointly with The 11th International Workshop on Design, Specification and Verification of Interactive Systems, Jul 2004, Hamburg, Germany. 3425, Springer, 2005, Lecture Notes in Computer Science (LNCS), 978-3-540-26097-4. ⟨10.1007/b136790⟩
Proceedings/Recueil des communications hal-03663648 v1

Human Error, Safety and Systems Development: IFIP 18th World Computer Congress TC13 / WG13.5 7th Working Conference on Human Error, Safety and Systems Development 22–27 August 2004 Toulouse, France

Chris Johnson , Philippe Palanque
Palanque, Philippe; Johnson, Chris. IFIP 18th World Computer Congress TC13 / WG13.5 and 7th Working Conference on Human Error, Safety and Systems Development (HESSD 2004), 152, Springer New York, NY, XVIII, 322 p., 2004, IFIP Advances in Information and Communication Technology book series, 978-1-4419-5487-9. ⟨10.1007/b98984⟩
Proceedings/Recueil des communications hal-03664735 v1

TAMODIA '04: Proceedings of the 3rd annual conference on Task models and diagrams

Pavel Slavik , Philippe Palanque , Marco Winckler
Slavik, Pavel; Palanque, Philippe; Winckler, Marco Antonio. 3rd International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA 2004), Nov 2004, Prague, Czech Republic. ACM : Association for Computing Machinery, 2004, 978-1-59593-000-2. ⟨10.1145/1045446⟩
Proceedings/Recueil des communications hal-03664730 v1

People and Computers XVII - Designing for Society: Proceedings of HCI 2003

Eamonn O'Neill , Philippe Palanque , Peter Johnson
O'Neill, Eamonn; Palanque, Philippe; Johnson, Peter. 17th annual Human Computer Interaction Conference, Sep 2003, Bath, United Kingdom. Springer Verlag, 2003, 978-1-85233-766-7. ⟨10.1007/978-1-4471-3754-2⟩
Proceedings/Recueil des communications hal-03667065 v1

Principles of Task Analysis and Modeling: Understanding Activity, Modeling Tasks, and Analyzing Models

Célia Martinie , Philippe Palanque , Eric Barboni
Jean Vanderdonckt; Philippe Palanque; Marco Winckler. Handbook of Human Computer Interaction, Springer International Publishing, pp.1-40, 2022, 978-3-319-27648-9. ⟨10.1007/978-3-319-27648-9_57-1⟩
Chapitre d'ouvrage hal-03862234 v1

A-RCRAFT Framework for Analysing Automation: Application to SAE J3016 Levels of Driving Automation

Elodie Bouzekri , Célia Martinie , Philippe Palanque
Cristina Olaverri-Monreal, Fernando García-Fernández, Rosaldo J. F. Rossetti. Human Factors in Intelligent Vehicles, River Publishers, 2020, 9788770222037
Chapitre d'ouvrage hal-02939069 v1
Image document

A Classification of Faults Covering the Human-Computer Interaction Loop

Philippe Palanque , Andy Cockburn , Carl Gutwin
Computer Safety, Reliability, and Security 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings, 12234, , pp.434-448, 2020, Lecture Notes in Computer Science book series (LNCS), ⟨10.1007/978-3-030-54549-9_29⟩
Chapitre d'ouvrage hal-03099205 v1

Performance Evaluation of Interactive Systems with Interactive Cooperative Objects Models

Célia Martinie , Philippe Palanque , Camille Fayollas
Antti Oulasvirta, Per Ola Kristensson, Xiaojun Bi, Andrew Howes. Computational Interaction, Oxford University Press, 2018, 9780198799610
Chapitre d'ouvrage hal-02939168 v1
Image document

Topics of Formal Methods in HCI

Judy Bowen , Alan Dix , Philippe Palanque , Benjamin Weyers
Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.57--64, 2017, Human–Computer Interaction Series book series (HCIS), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_2⟩
Chapitre d'ouvrage hal-03131905 v1
Image document

State of the Art on Formal Methods for Interactive Systems

Raquel Araujo Oliveira , Philippe Palanque , Benjamin Weyers , Judy Bowen , Alan Dix
Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. The Handbook of Formal Methods in Human-Computer Interaction., 1, Springer International Publishing, pp.3--55, 2017, Human–Computer Interaction Series book series (HCIS), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_1⟩
Chapitre d'ouvrage hal-03120285 v1

Dealing with Faults During Operations: Beyond Classical Use of Formal Methods

Camille Fayollas , Philippe Palanque , Jean-Charles Fabre , Célia Martinie , Yannick Deleris
Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. The Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.549--575, 2017, Human–Computer Interaction Series book series (HCIS), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_20⟩
Chapitre d'ouvrage hal-03131879 v1
Image document

Web Augmentation as a Promising Technology for End User Development

Iñigo Aldalur , Marco Winckler , Oscar Díaz , Philippe Palanque
Fabio Paternò; Volker Wulf. New Perspectives in End-User Development, Springer, pp.433-459, 2017, 978-3-319-60290-5. ⟨10.1007/978-3-319-60291-2_17⟩
Chapitre d'ouvrage hal-02138443 v1

Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment

Camille Fayollas , Célia Martinie , Philippe Palanque , Eric Barboni , Racim Fahssi et al.
Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. The Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.465--504, 2017, Human–Computer Interaction Series book series (HCIS), 978-3-319-51837-4. ⟨10.1007/978-3-319-51838-1_17⟩
Chapitre d'ouvrage hal-03131880 v1

Case Studies

Benjamin Weyers , Michael Harrison , Judy Bowen , Alan Dix , Philippe Palanque
Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.89--121, 2017, 978-3319518374
Chapitre d'ouvrage hal-03131883 v1

Trends and Gaps

Alan Dix , Benjamin Weyers , Judy Bowen , Philippe Palanque
Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, pp.65--88, 2017, Human–Computer Interaction Series, 978-3319518374
Chapitre d'ouvrage hal-03131884 v1
Image document

Designing and Assessing Interactive Systems Using Task Models

Célia Martinie , Philippe Palanque , Marco Winckler
Kronbauer, Arthur; Mattos, Ecivaldo; Sampaio, Andreia Libório; Boscarioli, Clodis. Book of Tutorials of the 14th Brazilian Symposium on Human Factors in Computing Systems (IHC 2015), Salvador Brazil, November 3-6, 2, Brazilian Computing Society, pp.29--58, 2015
Chapitre d'ouvrage hal-03209324 v1
Image document

Models as Representations for Supporting the Development of e-Procedures

Marco Winckler , Philippe Palanque
Usability in Government Systems: User Experience Design for Citizens and Public Servants, 3 (1 : Chapter 19 : Models as Abstract Representations for supporting the development of e-Procedures), MDPI AG, Switzerland, pp.1-3, 2012, 978-0-12-391063-9. ⟨10.3390/admsci3010001⟩
Chapitre d'ouvrage hal-02911555 v1

Formal Description Techniques for Human-Machine Interfaces - Model-Based Approaches for the Design and Evaluation of Dependable Usable Interactive Systems

David Navarre , Philippe Palanque , Célia Martinie , Sandra Steere
Guy A. Boy. The Handbook of Human-Machine Interaction : A Human-Centered Approach, CRC Press, 2011, 978-1315557380. ⟨10.1201/9781315557380-12⟩
Chapitre d'ouvrage hal-03647156 v1

A Formal Model-Based Approach for Designing Interruptions-Tolerant Advanced User Interfaces

Philippe Palanque , Marco Winckler , Célia Martinie
Hussmann, Heinrich; Meixner, Gerrit; Zuehlke, Detlef. Model-Driven Development of Advanced User Interfaces, 340, Springer, pp.143-170, 2011, Studies in Computational Intelligence book series (SCI), 978-3-642-14561-2. ⟨10.1007/978-3-642-14562-9_8⟩
Chapitre d'ouvrage istex hal-03651204 v1

Task Models and System Models as a Bridge between HCI and Sofware Engineering

David Navarre , Philippe Palanque , Marco Winckler
Seffah, Ahmed; Vanderdonckt, Jean; Desmarais, Michel C. Human-Centered Software Engineering Software Engineering Models, Patterns and Architectures for HCI, Chapter 17, Springer, pp.357-385, 2009, Human-Computer Interaction Series book series (HCIS), 978-1-84800-907-3. ⟨10.1007/978-1-84800-907-3_17⟩
Chapitre d'ouvrage hal-03653356 v1

Model-Based Evaluation: A New Way to Support Usability Evaluation of Multimodal Interactive Applications

Regina Bernhaupt , David Navarre , Philippe Palanque , Marco Winckler
Law, Effie; Hvannberg Ebba; Cockton Gilbert; Vanderdonckt, Jean. Maturing Usability: Quality in Software, Interaction and Quality, Springer, pp.96-122, 2008, Human-Computer Interaction Series book series (HCIS), ⟨10.1007/978-1-84628-941-5_5⟩
Chapitre d'ouvrage hal-03662268 v1

From DREAM to Realitiy: Specificities of Interactive Systems Development with respect to Rationale Management

Xavier Lacaze , Philippe Palanque , Eric Barboni , Rémi Bastide , David Navarre
Allen H. Dutoit; Raymond McCall; Ivan Mistrík; Barbara Paech. Rationale Management in Software Engineering, Springer-Verlag, pp.155-172, 2007, 978-3-540-30998-7
Chapitre d'ouvrage hal-03662272 v1

Design Rationale for Increasing Profitability of Interactive Systems Development

Xavier Lacaze , Philippe Palanque , Eric Barboni , David Navarre
Ghaoui, Claude. Encyclopedia of Human Computer Interaction, Idea Group Reference, pp.1-6, 2006, 978-1591405627
Chapitre d'ouvrage hal-03663643 v1

Tool Support for Interactive Prototyping of Safety Critical Interactive Applications

Rémi Bastide , David Navarre , Philippe Palanque
Claude Ghaoui. Encyclopedia of Human Computer Interaction, Idea Group Reference Pub, pp.603-608, 2005, 1-59140-562-9
Chapitre d'ouvrage hal-03663647 v1

Notations en IHM pour une modélisation synergique des tâches et du système

David Navarre , Rémi Bastide , Philippe Palanque
Boy, Guy. Ingénierie cognitive - IHM et cognition, 2ème partie : Développement centré sur l'homme., Hermès, 2003, Traité des sciences cognitives, 978-2746205710
Chapitre d'ouvrage hal-03667064 v1

AutomationXP 2021: Automation Experience at the Workplace 2021

Matthias Baldauf , Peter Fröhlich , Shadan Sadeghian , Philippe Palanque , Virpi Roto et al.
Workshop on Automation Experience at the Workplace, co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2021), Yokohama (virtual), Japan. CEUR Workshop Proceedings, 2905, pp.1-180, 2021, ISSN: 1613-0073
N°spécial de revue/special issue hal-03376245 v1

Human-Centered Software Engineering - 7th IFIP WG 13.2 International Working Conference, HCSE 2018

Cristian Bogdan , Kati Kuusinen , Marta Larusdottir , Philippe Palanque , Marco Winckler
Bogdan, Cristian; Kuusinen, Kati; Larusdottir, Marta; Palanque, Philippe; Winckler, Marco Antonio. 7th IFIP WG 13.2 International Working Conference - HCSE 2018, Sep 2018, Nice Sophia Antipolis, France. Lecture Notes in Computer Science, 11262, 2019, Human-Centered Software Engineering, 978-3030059088
N°spécial de revue/special issue hal-03012558 v1

Human-Computer Interaction - INTERACT 2015 - 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part I à IV

Julio Abascal , Simone D. J. Barbosa , Mirko Fetter , Tom Gross , Philippe Palanque et al.
Abascal, Julio; Barbosa, Simone D. J.; Fetter, Mirko; Gross, Tom; Palanque, Philippe; Winckler, Marco Antonio. 15th IFIP TC.13 International Conference on Human-Computer Interaction (INTERACT 2015), Sep 2015, Bamberg, Germany. Lecture Notes in Computer Science, 9297 à 9299, 2015, Lecture Notes in Computer Science book series (LNCS) - IFIP-LNCS Volumes, ⟨10.1007/978-3-319-22701-6⟩
N°spécial de revue/special issue hal-03193133 v1

Human-Centered Software Engineering

Cristian Bogdan , Kati Kuusinen , Marta Larusdottir , Philippe Palanque , Marco Winckler
Springer International Publishing, LNCS-11262, 2019, Lecture Notes in Computer Science, 978-3-030-05908-8. ⟨10.1007/978-3-030-05909-5⟩
Ouvrages hal-02270716 v1

The Handbook of Formal Methods in Human-Computer Interaction

Benjamin Weyers , Judy Bowen , Alan Dix , Philippe Palanque
Weyers, Benjamin; Bowen, Judy; Dix, Alan; Palanque, Philippe. Springer International Publishing, 2017, Human–Computer Interaction Series, 978-3319518374
Ouvrages hal-03131881 v1

Human-Centered and Error-Resilient Systems Development

Cristian Bogdan , Jan Gulliksen , Stefan Sauer , Peter Forbrig , Marco Winckler et al.
Springer International Publishing, LNCS-9856, 2016, Lecture Notes in Computer Science (LNCS), 978-3-319-44901-2. ⟨10.1007/978-3-319-44902-9⟩
Ouvrages hal-01647710 v1

Human-Computer Interaction – INTERACT 2015

Julio Abascal , Simone Barbosa , Mirko Fetter , Tom Gross , Philippe Palanque et al.
LNCS-9296, 2015, Lecture Notes in Computer Science, 978-3-319-22700-9. ⟨10.1007/978-3-319-22701-6⟩
Ouvrages hal-01599654 v1

Human-Computer Interaction – INTERACT 2015

Julio Abascal , Simone Barbosa , Mirko Fetter , Tom Gross , Philippe Palanque et al.
LNCS-9297, 2015, Lecture Notes in Computer Science, 978-3-319-22667-5. ⟨10.1007/978-3-319-22668-2⟩
Ouvrages hal-01599894 v1

Human-Computer Interaction – INTERACT 2015

Julio Abascal , Simone Barbosa , Mirko Fetter , Tom Gross , Philippe Palanque et al.
LNCS-9299, 2015, Lecture Notes in Computer Science, 978-3-319-22722-1. ⟨10.1007/978-3-319-22723-8⟩
Ouvrages hal-01610767 v1

Human-Computer Interaction – INTERACT 2015

Julio Abascal , Simone Barbosa , Mirko Fetter , Tom Gross , Philippe Palanque et al.
LNCS-9298, 2015, Lecture Notes in Computer Science, 978-3-319-22697-2. ⟨10.1007/978-3-319-22698-9⟩
Ouvrages hal-01609409 v1

Human-Computer Interaction – INTERACT 2011, Part IV

Pedro Campos , Nicholas Graham , Joaquim Jorge , Nuno Nunes , Philippe Palanque et al.
Springer, LNCS-6949, 2011, Lecture Notes in Computer Science book series (LNCS), 978-3-642-23767-6. ⟨10.1007/978-3-642-23768-3⟩
Ouvrages hal-01597099 v1

Human-Computer Interaction – INTERACT 2011, Part III: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings

Pedro Campos , Nicholas Graham , Joaquim Jorge , Nuno Nunes , Philippe Palanque et al.
Pedro Campos; Nicholas Graham; Joaquim Jorge; Nuno Nunes; Philippe Palanque; Marco Antonio Winckler. Springer, LNCS-6948, 2011, Lecture Notes in Computer Science book series (LNCS), 978-3-642-23773-7. ⟨10.1007/978-3-642-23765-2⟩
Ouvrages hal-01590548 v1

Human-Computer Interaction – INTERACT 2011, Part I

Pedro Campos , Nicholas Graham , Joaquim Jorge , Nuno Nunes , Philippe Palanque et al.
Springer, LNCS-6946, 2011, Lecture Notes in Computer Science book series (LNCS), 978-3-642-23773-7. ⟨10.1007/978-3-642-23774-4⟩
Ouvrages hal-01591820 v1

Human-Computer Interaction – INTERACT 2011, Part II

Pedro Campos , Nicholas Graham , Joaquim Jorge , Nuno Nunes , Philippe Palanque et al.
Springer, LNCS-6947, 2011, Lecture Notes in Computer Science, 978-3-642-23770-6. ⟨10.1007/978-3-642-23771-3⟩
Ouvrages hal-01590866 v1

Mobile Context-Aware Applications for Ubiquitous Computing (J.UCS Special Issue)

María D. Lozano , Jose A. Gallud , Philippe Palanque
Lozano, María D.; Gallud, Jose A.; Palanque, Philippe. John Wiley and Sons, 16 (15), pp.1927-2139, 2010, Journal of Universal Computer Science, Special Issue, 978-3-85125-159-3
Ouvrages hal-03651222 v1
Image document

Exploiting Tasks Descriptions to Assess and Ensure Effectiveness during the programming of interactive Java software

Célia Martinie , David Navarre , Philippe Palanque
Tutoriels of 10th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2018), 2018
Autre publication scientifique hal-04338194 v1
Image document

HAMSTERS : un environnement d’édition et de simulation de modèles de tâches

Racim Fahssi , Célia Martinie , Philippe Palanque , Racim Mehdi Fahssi
26ème Conférence francophone sur l'Interaction Homme-Machine (IHM 2014), Oct 2014, Lille, France. pp.5-6, 2014
Poster de conférence hal-01089607 v1

Clinical Application Design: Task Modeling with Failure in Mind (poster)

Svetlena Tavena , Philippe Palanque , Sandra Basnyat , Marco Winckler , Effie Law
World Congress on Internet in Medicine (MedNet 2006), Oct 2006, Toronto, Canada. eHealthNews.eu, pp.(electronic medium), 2006
Poster de conférence hal-03663639 v1

MAUSE: Network of Usability Excellence

Effie Law , Ebba Hvannberg , Jean Vanderdonckt , Dominique L. Scapin , Philippe Palanque
Baltic Conference Series HCI 2005, Sep 2005, Edinburgh, Scotland, United Kingdom. 2005
Poster de conférence hal-03663656 v1

Report on the requirements for careers kits identifying the content of the Kits

Célia Martinie , Michel Galindo , Philippe Palanque
[Research Report] Rapport de recherche D3.2, IRIT : Institut de Recherche Informatique de Toulouse. 2013
Rapport (rapport de recherche) hal-03644322 v1

Report on skills, knowledge and background of Career Advisors and counsellors in most European countries

Philippe Palanque , Célia Martinie , Michel Galindo , Aurélie Maroni
[Research Report] Rapport de recherche D3.1, IRIT : Institut de Recherche Informatique de Toulouse. 2013
Rapport (rapport de recherche) hal-03644320 v1