Philippe PALANQUE

395
Documents

Publications

Publications

Automation Design and Engineering in the Age of AI

Philippe Palanque

Human-Computer Interaction – INTERACT 2025, IFIP TC 13, Sep 2025, Belo Horizonte (Minas Gerais), Brazil. pp.26-31, ⟨10.1007/978-3-032-05008-3_6⟩

Communication dans un congrès hal-05533928v1

Engineering Methods for HCI and UX in AI-Driven Systems

Lucio Davide Spano , Philippe Palanque , Célia Martinie , José Creissac Campos , Albrecht Schmidt et al.

Human-Computer Interaction – INTERACT 2025, IFIP TC 13, Sep 2025, Bello Horizonte, Brazil. pp.351-357, ⟨10.1007/978-3-032-05008-3_66⟩

Communication dans un congrès hal-05533935v1

Multi-Variant UCD - A Process for the Design of Interactive System Variants: Application to Launch Vehicles Flight Safety Operations

Daniel Rodriguez-Hernando , Célia Martinie , Philippe Palanque , Sandra Steere

Human-Computer Interaction – INTERACT, Sep 2025, Belo Horizonte, Minas Gerais, France. pp.371-396, ⟨10.1007/978-3-032-05002-1_20⟩

Communication dans un congrès hal-05261385v1

Accounting Both Safety and Performance for Goal-Directed Training and Rehabilitation: A Generic Tool-Supported Multimodal Approach

Axel Carayon , Emilie Tortel , Célia Martinie , Philippe Palanque , Francesc Xavier Gaya Morey et al.

Human-Computer Interaction – INTERACT 2025, Sep 2025, Belo Horizonte, Minas Gerais, Brazil. pp.177-201, ⟨10.1007/978-3-032-05005-2_10⟩

Communication dans un congrès hal-05263782v1

Engineering Methods for HCI and UX in AI-Driven Systems

Lucio Davide Spano , Philippe Palanque , Célia Martinie , José Creissac Campos , Albrecht Schmidt et al.

Human-Computer Interaction – INTERACT 2025, Sep 2025, Belo Horizonte, MG, France. pp.351-357, ⟨10.1007/978-3-032-05008-3_66⟩

Communication dans un congrès hal-05264740v1

Hybrid Automation Experiences – Communication, Coordination, and Collaboration within Human-AI Teams

Philipp Spitzer , Matthias Baldauf , Philippe Palanque , Virpi Roto , Katelyn Morrison et al.

CHI EA '25: Extended Abstracts of the CHI Conference on Human Factors in Computing Systems, Automation, user experience, AI technologies, Apr 2025, Yokohama Japan, France. pp.1-6, ⟨10.1145/3706599.3706738⟩

Communication dans un congrès hal-05533914v1
Deposit thumbnail

Tracking Monitoring Activities of Operators to Ensure Operations Safety: Application to Monitoring & Control of Launcher Tracking Activities at Europe's Spaceport

Daniel Rodriguez-Hernando , Théo Saubanère , Philippe Palanque , Célia Martinie , Sandra Steere

SPACEOPS 2025, May 2025, Montréal (Québec), Canada

Communication dans un congrès hal-05024405v1

Engineering Interactive Systems Embedding AI Technologies (3rd workshop on)

Barbara Rita Barricelli , José Creissac Campos , Kris Luyten , Sven Mayer , Philippe Palanque et al.

EICS '25: The 17th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Jun 2025, Trier Germany, France. pp.71-75, ⟨10.1145/3731406.3735965⟩

Communication dans un congrès hal-05533920v1

Refining a Task Description Notation to Cover Perceptive, Cognitive, and Motor aspects of the HCI loop: Application to Post-stroke Rehabilitation Exercises

Axel Carayon , Célia Martinie , Philippe Palanque , Emmeline Montane , Evelyne Castel-Lacanal et al.

ECCE 2025: 36th Annual Conference of the European Association of Cognitive Ergonomics, Oct 2025, Tallinn Estonia, France. pp.1-11, ⟨10.1145/3746175.3746186⟩

Communication dans un congrès hal-05301757v1

Adding a Non-dependable AI Component to Increase Dependability of an Interactive Application

Axel Carayon , Camille Fayollas , Celia Martinie , David Navarre , Philippe Palanque

Engineering Interactive Computer Systems. EICS 2024 International Workshops, Jun 2024, Cagliari, Italy. pp.27-42, ⟨10.1007/978-3-031-91760-8_3⟩

Communication dans un congrès hal-05268550v1
Deposit thumbnail

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-04751768v1

Taking into Account Human Error when Assessing the Impact of Dependability on Usability

Camille Fayollas , Célia Martinie , Philippe Palanque

2024 IEEE 35th International Symposium on Software Reliability Engineering Workshops (ISSREW), Oct 2024, Tsukuba, France. pp.271-278, ⟨10.1109/ISSREW63542.2024.00090⟩

Communication dans un congrès hal-05268514v1

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-04696954v1
Deposit thumbnail

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-04726218v1

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-04696952v1
Deposit thumbnail

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-04790773v1

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-04790786v1
Deposit thumbnail

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 (HAISA), 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-04727127v1
Deposit thumbnail

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-04151435v1

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-04316076v1

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-04426794v1
Deposit thumbnail

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-04095980v1

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-04316101v1
Deposit thumbnail

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-04316131v1

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-04191536v1

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-04790777v1

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-04316086v1

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-04316070v1

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-04316116v1

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-03780438v1

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-03641769v1

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-04338764v1
Deposit thumbnail

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-03905124v1
Deposit thumbnail

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-03855027v1
Deposit thumbnail

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-03862889v1
Deposit thumbnail

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-04316193v1

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-03857747v1
Deposit thumbnail

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-05024431v1

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-03855035v1

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-03772286v1
Deposit thumbnail

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-03855009v1
Deposit thumbnail

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-03612380v1
Deposit thumbnail

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-03811274v1

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-03854927v1

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-03857754v1
Deposit thumbnail

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-03641764v1

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-03855026v1
Deposit thumbnail

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-03703922v1
Deposit thumbnail

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-03376237v1

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-03376233v1
Deposit thumbnail

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-03857803v2

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-03857734v1
Deposit thumbnail

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-03376240v1

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-03376232v1
Deposit thumbnail

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-03376276v1
Deposit thumbnail

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-03376236v1
Deposit thumbnail

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-03376253v1
Deposit thumbnail

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-03487118v2
Deposit thumbnail

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-03079809v1
Deposit thumbnail

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-02942303v1

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-03857854v1

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-02931902v1
Deposit thumbnail

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-03079818v1
Deposit thumbnail

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-03099193v1
Deposit thumbnail

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-02942767v1
Deposit thumbnail

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-03857822v1

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-03099192v1
Deposit thumbnail

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-03188820v1
Deposit thumbnail

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-03099228v1

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-02999148v1
Deposit thumbnail

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-03099199v1
Deposit thumbnail

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-03099196v1
Deposit thumbnail

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-02089260v1
Deposit thumbnail

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-02435352v1
Deposit thumbnail

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-02436127v1
Deposit thumbnail

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-02264626v1

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-03857839v1
Deposit thumbnail

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-03012559v1
Deposit thumbnail

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-02270703v1
Deposit thumbnail

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-02089252v1
Deposit thumbnail

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-03003823v1
Deposit thumbnail

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-02881970v1
Deposit thumbnail

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-02892786v1
Deposit thumbnail

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-02879313v1
Deposit thumbnail

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-02494116v1
Deposit thumbnail

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-02089262v1
Deposit thumbnail

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-02878649v1
Deposit thumbnail

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-02450862v1
Deposit thumbnail

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-02877685v1
Deposit thumbnail

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-03857851v1
Deposit thumbnail

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-02983160v1
Deposit thumbnail

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-02181965v1
Deposit thumbnail

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-01821411v1
Deposit thumbnail

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-03634998v1

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-02983158v1
Deposit thumbnail

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-02486116v1
Deposit thumbnail

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-01821420v1
Deposit thumbnail

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-03623020v1
Deposit thumbnail

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-02983159v1

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-03112697v1
Deposit thumbnail

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-02486107v1
Deposit thumbnail

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-02649024v1
Deposit thumbnail

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-02875050v1
Deposit thumbnail

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-01757338v1
Deposit thumbnail

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-02748859v2
Deposit thumbnail

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-02878791v1

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-03128348v1
Deposit thumbnail

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-01680275v1
Deposit thumbnail

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-01647709v1
Deposit thumbnail

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-02442019v1
Deposit thumbnail

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-04109595v1
Deposit thumbnail

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-01493791v1
Deposit thumbnail

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-01493786v1
Deposit thumbnail

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-02603527v2
Deposit thumbnail

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-01782561v1
Deposit thumbnail

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-04109570v1
Deposit thumbnail

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-02603671v1
Deposit thumbnail

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-02603674v1
Deposit thumbnail

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-04109418v1
Deposit thumbnail

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-01387758v1
Deposit thumbnail

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-01534807v1
Deposit thumbnail

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-01371784v1

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-03209331v1

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-03209330v1
Deposit thumbnail

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-01610829v1
Deposit thumbnail

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-01343048v1
Deposit thumbnail

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-01610848v1

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-03209329v1
Deposit thumbnail

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-01534806v1
Deposit thumbnail

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-01334684v1
Deposit thumbnail

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-01334722v1
Deposit thumbnail

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-04079370v1
Deposit thumbnail

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-03209327v1
Deposit thumbnail

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-04079374v1
Deposit thumbnail

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-03209328v1

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-03209332v1

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-03266925v1
Deposit thumbnail

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-04080721v1

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-03263715v1
Deposit thumbnail

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-01141437v1

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-03252263v1
Deposit thumbnail

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-01405071v1
Deposit thumbnail

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), 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-01090399v1
Deposit thumbnail

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-01145209v1
Deposit thumbnail

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-04080938v1
Deposit thumbnail

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-02272197v1

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-03224128v1

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-03263710v1
Deposit thumbnail

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-04083401v1
Deposit thumbnail

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-01178577v1

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-03644323v1
Deposit thumbnail

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-04083614v1
Deposit thumbnail

É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-00881102v1
Deposit thumbnail

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-04083635v1
Deposit thumbnail

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-04083399v1
Deposit thumbnail

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-04083623v1
Deposit thumbnail

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-01166951v1
Deposit thumbnail

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-04083405v1

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-03644326v1
Deposit thumbnail

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-01231775v1
Deposit thumbnail

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-01223183v1
Deposit thumbnail

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-01178580v1

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-03644327v1

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-03644318v1
Deposit thumbnail

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-02189909v1
Deposit thumbnail

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-01556835v1
Deposit thumbnail

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-03644335v1

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-03647154v1

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-03644331v1

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-03647153v1
Deposit thumbnail

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-00776470v1
Deposit thumbnail

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-03647155v1

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-03653369v1
Deposit thumbnail

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-03644340v1

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-03644330v1

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-03644328v1

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-03644337v1

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-03644339v1

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-03644336v1

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-03644334v1

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-03644329v1
Deposit thumbnail

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-00776429v1
Deposit thumbnail

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-03644333v1
Deposit thumbnail

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-01556811v1

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-03644338v1

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-03649531v1
Deposit thumbnail

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-01591816v1
Deposit thumbnail

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-03651207v1

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-03647157v1

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-03651205v1
Deposit thumbnail

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-03647161v1

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-03647166v1
Deposit thumbnail

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-03647163v1

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-03647158v1

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-03647164v1
Deposit thumbnail

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-03647159v1
Deposit thumbnail

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-00660440v1

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-03651208v1

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-03651206v1

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-03647160v1

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-03651221v1
Deposit thumbnail

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-03651212v1
Deposit thumbnail

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-03651216v1
Deposit thumbnail

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-01022256v1
Deposit thumbnail

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-03651209v1

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-03651219v1

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-03651220v1
Deposit thumbnail

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-03651215v1

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-03651210v1
Deposit thumbnail

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-03651211v1

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-03653361v1

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-03653358v1

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-03653367v1

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-00953686v1

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-03653368v1

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-03653364v1
Deposit thumbnail

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-03653360v1

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-03653363v1

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-03653359v1

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-03653362v1

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-03653357v1

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-03653366v1

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-03653373v1

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-03653372v1

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-03653371v1

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-03653374v1
Deposit thumbnail

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-03662269v1

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-03653375v1

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-03653370v1

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-03662285v1

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-03662276v1

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-03662279v1

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-03662281v1
Deposit thumbnail

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-01021985v1
Deposit thumbnail

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-03662278v1
Deposit thumbnail

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-03662274v1
Deposit thumbnail

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-01021771v1

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-03662286v1
Deposit thumbnail

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-03662290v1
Deposit thumbnail

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-03663642v1

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-03663640v1

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-03662288v1

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-03662289v1

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-03663653v1
Deposit thumbnail

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-03664725v1

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-03663650v1
Deposit thumbnail

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-03663652v1

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, France. pp.CDRom

Communication dans un congrès hal-03663646v1

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-03663658v1

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-03663655v1

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-03663645v1

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-03663651v1
Deposit thumbnail

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-03663644v1

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-03663649v1

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-03664728v1

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-03664734v1

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-03664729v1

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-03664727v1

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-03664726v1

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-03664733v1

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-03664732v1
Deposit thumbnail

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-03664731v1
Deposit thumbnail

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-03664736v1
Deposit thumbnail

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-03664741v1
Deposit thumbnail

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-03664744v1

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-03664742v1
Deposit thumbnail

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-03664737v1

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-03664738v1

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-03664743v1

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-03664739v1
Deposit thumbnail

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-03667071v1

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-03667066v1

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-03667069v1

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-03667075v1

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-03667074v1
Deposit thumbnail

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-03667067v1
Deposit thumbnail

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-03667070v1
Deposit thumbnail

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-03667082v1
Deposit thumbnail

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-03667068v1

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-03667083v1

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-03667080v1
Deposit thumbnail

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-03667078v1
Deposit thumbnail

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-03667081v1

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-03667077v1

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-03667084v1
Deposit thumbnail

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-01319628v1

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-03667085v1

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-02430968v1

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.

Acta Astronautica, 2025, ⟨10.1016/j.actaastro.2025.09.015⟩

Article dans une revue hal-05261344v1
Deposit thumbnail

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-04633693v1

Towards MBSE engineering dedicated to socio-technical interactive systems

Célia Martinie , Philippe Palanque , David Navarre , Eric Barboni

CEAS Space Journal, 2024, 16, pp.Pages 183-202. ⟨10.1007/s12567-024-00536-0⟩

Article dans une revue hal-04480199v1

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-04308405v1

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, 35 (7), pp.e2439. ⟨10.1002/smr.2439⟩

Article dans une revue hal-03617603v1

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-04137240v1

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-03904803v1

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-04357894v1

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-04316159v1

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-03703942v1

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-03855018v1
Deposit thumbnail

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, 6 (174), pp.Pages 1-36. ⟨10.1145/3535063⟩

Article dans une revue hal-03657095v1

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-03376229v1

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-03376225v1

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-03376227v1

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-03376221v1

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, 33 (1), pp.Pages 92-114. ⟨10.1093/iwcomp/iwab016⟩

Article dans une revue hal-03224780v1

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, 33 (1), pp.Pages 17-39. ⟨10.1093/iwcomp/iwab007⟩

Article dans une revue hal-03198857v1

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-02931903v1

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-02976599v1
Deposit thumbnail

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-03498675v1
Deposit thumbnail

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-02451043v1
Deposit thumbnail

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-02450988v1
Deposit thumbnail

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-03608017v1
Deposit thumbnail

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-03507835v1
Deposit thumbnail

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-03857861v1
Deposit thumbnail

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-02879017v1
Deposit thumbnail

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-01787379v1
Deposit thumbnail

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-01839036v1

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-02933608v1
Deposit thumbnail

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-01130579v1
Deposit thumbnail

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-01153939v1
Deposit thumbnail

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-01119843v1

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-03644324v1

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-02933573v1

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-02570890v1

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-03662273v1

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-03662287v1

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-03663641v1

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-03663654v1

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-03664740v1

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-04678911v1

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-04183902v1

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-04316322v1

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-03376247v1

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-03099224v1

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-03023428v1

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-03209345v1

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-03644319v1

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-03647151v1

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-03651203v1

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-03647168v1

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-03651202v1

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-03651217v1

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-03651218v1

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-03653365v1

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-03662271v1

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-03662270v1

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-03662284v1

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-03662283v1

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-03662282v1

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-03663648v1

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-03664730v1

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-03664735v1

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-03667065v1

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-03862234v1
Deposit thumbnail

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-03099205v1

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-02939069v1

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-02939168v1
Deposit thumbnail

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-03120285v1
Deposit thumbnail

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-03131905v1

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-03131879v1
Deposit thumbnail

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-03131883v1
Deposit thumbnail

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-03131884v1
Deposit thumbnail

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-02138443v1

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-03131880v1
Deposit thumbnail

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-03209324v1
Deposit thumbnail

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-02911555v1

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-03651204v1

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-03647156v1

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-03653356v1

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-03662268v1

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-03662272v1

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-03663643v1

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-03663647v1

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-03667064v1

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-03376245v1

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-03012558v1

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-03193133v1

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-02270716v1

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-03131881v1

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-01647710v1

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-01599894v1

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-01610767v1

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-01609409v1

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-01599654v1

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-01590548v1

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-01591820v1

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-01590866v1

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-01597099v1

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-03651222v1
Deposit thumbnail

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-04338194v1
Deposit thumbnail

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-01089607v1

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-03663639v1

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-03663656v1

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-03644322v1

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-03644320v1