Philippe A. Palanque

337 papers A* 3A 3B 25C 9Misc 23Journal 49Unranked 174
YearRankTypeTitle / Venue / Authors
2026 — conf
Agentic Automation Experiences - Rethinking the Interaction of Humans and AI Agents.
CHI Extended Abstracts
Philipp Spitzer, Matthias Baldauf, Philippe A. Palanque, Virpi Roto, Katelyn Morrison, Garoa Gomez-Beldarrain, Monika Westphal, Joshua Holstein
2026 — ed.
Human-Computer Interaction - INTERACT 2025 - 20th IFIP TC 13 International Conference, Belo Horizonte, Brazil, September 8-12, 2025, Proceedings, Part I
INTERACT (1)
Carmelo Ardito, Simone Diniz Junqueira Barbosa, Tayana Conte, André Pimenta Freire, Isabela Gasparini, Philippe A. Palanque, Raquel O. Prates
2026 — ed.
Human-Computer Interaction - INTERACT 2025 - 20th IFIP TC 13 International Conference, Belo Horizonte, Brazil, September 8-12, 2025, Proceedings, Part II
INTERACT (2)
Carmelo Ardito, Simone Diniz Junqueira Barbosa, Tayana Conte, André Freire, Isabela Gasparini, Philippe A. Palanque, Raquel O. Prates
2026 — ed.
Human-Computer Interaction - INTERACT 2025 - 20th IFIP TC 13 International Conference, Belo Horizonte, Brazil, September 8-12, 2025, Proceedings, Part III
INTERACT (3)
Carmelo Ardito, Simone Diniz Junqueira Barbosa, Tayana Conte, André Pimenta Freire, Isabela Gasparini, Philippe A. Palanque, Raquel O. Prates
2026 — ed.
Human-Computer Interaction - INTERACT 2025 - 20th IFIP TC 13 International Conference, Belo Horizonte, Brazil, September 8-12, 2025, Proceedings, Part IV
INTERACT (4)
Carmelo Ardito, Simone Diniz Junqueira Barbosa, Tayana Conte, André Pimenta Freire, Isabela Gasparini, Philippe A. Palanque, Raquel O. Prates
2025 — conf
AI4EUD: Empowering the End-User - Software Development with LLMs.
WWDD@IS-EUD
Thomas Weber, Passant Elagroudy, Philippe A. Palanque, Sven Mayer
2025 — conf
Accounting Both Safety and Performance for Goal-Directed Training and Rehabilitation: A Generic Tool-Supported Multimodal Approach.
INTERACT (3)
Axel Carayon, Emilie Tortel, Célia Martinie, Philippe A. Palanque, Francesc Xavier Gaya-Morey, Cristina Manresa-Yee
2025 — conf
Automation Design and Engineering in the Age of AI.
INTERACT (4)
Philippe A. Palanque
2025 J jnl
Deep Learning-Based Facial Expression Recognition for the Elderly: A Systematic Review.
CoRR
Francesc Xavier Gaya-Morey, Jose Maria Buades Rubio, Philippe A. Palanque, Raquel Lacuesta, Cristina Manresa-Yee
2025 — ed.
Engineering Interactive Computer Systems. EICS 2024 International Workshops - Cagliari, Sardinia, Italy, June 24-26, 2024, Revised Selected Papers
EICS (Workshops)
Luciana A. M. Zaina, José Creissac Campos, Lucio Davide Spano, Kris Luyten, Philippe A. Palanque, Gerrit C. van der Veer, Achim Ebert, Shah Rukh Humayoun, Vera Marie Memmesheimer
2025 — conf
Engineering Interactive Systems Embedding AI Technologies (3rd workshop on).
EICS (Companion)
Barbara Rita Barricelli, José Creissac Campos, Kris Luyten, Sven Mayer, Philippe A. Palanque, Emanuele Panizzi, Lucio Davide Spano, Simone Stumpf
2025 — conf
Engineering Methods for HCI and UX in AI-Driven Systems.
INTERACT (4)
Lucio Davide Spano, Philippe A. Palanque, Célia Martinie, José Creissac Campos, Albrecht Schmidt, Barbara Rita Barricelli, Passant El Agroudy, Kris Luyten
2025 — conf
Hybrid Automation Experiences - Communication, Coordination, and Collaboration within Human-AI Teams.
CHI Extended Abstracts
Philipp Spitzer, Matthias Baldauf, Philippe A. Palanque, Virpi Roto, Katelyn Morrison, Domenique Zipperling, Joshua Holstein
2025 J jnl
Introduction to the special issue Selected Papers at INTERACT 2023 Conference.
Interact. Comput.
Marco Winckler, Marta Lárusdóttir, Philippe A. Palanque, José L. Abdelnour-Nocera, Paula Kotzé, Simone D. J. Barbosa, Antonio Piccinno
2025 — conf
Multi-Variant UCD - A Process for the Design of Interactive System Variants: Application to Launch Vehicles Flight Safety Operations.
INTERACT (2)
Daniel Rodriguez-Hernando, Célia Martinie, Philippe A. Palanque, Sandra Steere
2025 — conf
Refining a Task Description Notation to Cover Perceptive, Cognitive, and Motor aspects of the HCI loop: Application to Post-stroke Rehabilitation Exercises.
ECCE
Axel Carayon, Célia Martinie, Philippe A. Palanque, Emmeline Montané, Evelyne Castel-Lacanal, Philippe Marque
2024 — conf
50 years of Research in Engineering Interactive Computing Systems: the CCL 1974 to EICS 2024 journey.
EICS (Companion)
José Creissac Campos, Kris Luyten, Laurence Nigay, Philippe A. Palanque, Fabio Paternò, Lucio Davide Spano, Jean Vanderdonckt
2024 J jnl
A Systematic Process to Engineer Dependable Integration of Frame-based Input Devices in a Multimodal Input Chain: Application to Rehabilitation in Healthcare.
Proc. ACM Hum. Comput. Interact.
Axel Carayon, Célia Martinie, Philippe A. Palanque, Eric Barboni, Sandra Steere
2024 — conf
A Systematic Task and Knowledge-Based Process to Tune Cybersecurity Training to User Learning Groups: Application to Email Phishing Attacks.
HAISA (1)
Nathan Monsoro, Célia Martinie, Philippe A. Palanque, Théo Saubanère
2024 — conf
Adding a Non-dependable AI Component to Increase Dependability of an Interactive Application.
EICS (Workshops)
Axel Carayon, Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque
2024 J jnl
Editorial: HCI and worker well-being.
Frontiers Comput. Sci.
Eva Geurts, Gustavo Alberto Rovelo Ruiz, Kris Luyten, Philippe A. Palanque
2024 — ed.
Engineering Interactive Computer Systems. EICS 2023 International Workshops and Doctoral Consortium - Swansea, UK, June 26-27, 2023, Selected Papers
EICS (Workshops)
Michael D. Harrison, Célia Martinie, Nicholas Micallef, Philippe A. Palanque, Albrecht Schmidt, Marco Winckler, Enes Yigitbas, Luciana A. M. Zaina
2024 — conf
Second Workshop on Engineering Interactive Systems Embedding AI Technologies.
EICS (Companion)
Alan J. Dix, Kris Luyten, Sven Mayer, Philippe A. Palanque, Emanuele Panizzi, Lucio Davide Spano, Jürgen Ziegler
2024 — conf
Taking into Account Human Error when Assessing the Impact of Dependability on Usability.
ISSRE (Workshops)
Camille Fayollas, Célia Martinie, Philippe A. Palanque
2023 — conf
7th International Workshop on Human Factors in Modeling / Modeling of Human Factors (HuFaMo 2023).
MoDELS (Companion)
Arnaud Blouin, Silvia Abrahão, Philippe A. Palanque, Bran Selic
2023 — conf
A Multi-perspective Panel on User-Centred Transparency, Explainability, and Controllability in Automations.
INTERACT (4)
Philippe A. Palanque, Fabio Paternò, Virpi Roto, Albrecht Schmidt, Simone Stumpf, Jürgen Ziegler
2023 B conf
ADL Monitoring of Elderly People in Smart Homes Based on Task Models.
Intelligent Environments (Workshops)
José Manuel Negrete Ramírez, Célia Martinie, Philippe A. Palanque, Yudith Cardinale
2023 C conf
AMAN Case Study.
ABZ
Philippe A. Palanque, José Creissac Campos
2023 — conf
Engineering AI-Similar Designs: Should I Engineer My Interactive System with AI Technologies?
EICS (Workshops)
David Navarre, Philippe A. Palanque, Célia Martinie
2023 — conf
Engineering Interactive Systems Embedding AI Technologies.
EICS (Companion)
Alan J. Dix, Sven Mayer, Philippe A. Palanque, Emanuele Panizzi, Lucio Davide Spano
2023 J jnl
Engineering Rehabilitation: Blending Two Tool-supported Approaches to Close the Loop from Tasks-based Rehabilitation to Exercises and Back Again.
Proc. ACM Hum. Comput. Interact.
Axel Carayon, Juan Enrique Garrido, Célia Martinie, Philippe A. Palanque, Eric Barboni, María Dolores Lozano, Victor M. Ruiz Penichet
2023 J jnl
F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID.
J. Softw. Evol. Process.
Neeraj Kumar Singh, Yamine Aït-Ameur, Ismaïl Mendil, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel
2023 J jnl
Formal domain-driven system development in Event-B: Application to interactive critical systems.
J. Syst. Archit.
Ismaïl Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Guillaume Dupont, Dominique Méry, Philippe A. Palanque
2023 — conf
From One to Many, from Onsite to Remote: Control Rooms as Diverse Contexts of Use.
INTERACT Workshops (1)
Tilo Mentler, Philippe A. Palanque, Kristof Van Laerhoven, Margareta Holtensdotter Lützhöft, Nadine Flegel
2023 — conf
Going Beyond Usability and UX: Adding Dependability, Safety and Security to Interactive Systems and Interactive Technologies.
CHI Extended Abstracts
Philippe A. Palanque
2023 — conf
I Perform My Work with My Body Too: Integrating Body Representations in and with Task Models.
INTERACT (2)
Axel Carayon, Célia Martinie, Philippe A. Palanque
2023 J jnl
Increasing engagement and well-being of operators working with automation by integrating task models and gameful design.
Pers. Ubiquitous Comput.
Célia Martinie, Philippe A. Palanque, Eric Barboni
2023 — conf
Intervening, Teaming, Delegating: Creating Engaging Automation Experiences.
CHI Extended Abstracts
Peter Fröhlich, Matthias Baldauf, Philippe A. Palanque, Virpi Roto, Fabio Paternò, Wendy Ju, Manfred Tscheligi
2023 — conf
MUMR-MIODMIT: A Generic Architecture Extending Standard Interactive Systems Architecture to Address Engineering Issues for Rehabilitation.
EICS (Workshops)
Axel Carayon, Célia Martinie, Philippe A. Palanque
2023 — conf
On Land, at Sea, and in the Air: Human-Computer Interaction in Safety-Critical Spaces of Control - IFIP WG 13.5 Workshop at INTERACT 2023.
INTERACT (4)
Tilo Mentler, Philippe A. Palanque, Kristof Van Laerhoven, Margareta Holtensdotter Lützhöft, Nadine Flegel
2023 — ed.
Proceedings of the Workshop on Intervening, Teaming, Delegating co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2023), Hamburg, Germany, April 23, 2023.
AutomationXP@CHI
Peter Fröhlich, Matthias Baldauf, Philippe A. Palanque, Virpi Roto, Fabio Paternò, Wendy Ju, Manfred Tscheligi
2023 C ed.
Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings
ABZ
Uwe Glässer, José Creissac Campos, Dominique Méry, Philippe A. Palanque
2023 — conf
Task Models as a Mean to Identify and Justify Automations in Development Tasks.
MoDELS (Companion)
Axel Carayon, Célia Martinie, Philippe A. Palanque
2022 B conf
A task-model based approach for detecting ADL-related anomalies.
WiMob
José Manuel Negrete Ramírez, Célia Martinie, Philippe A. Palanque, Yudith Cardinale
2022 — conf
Engaging with Automation: Understanding and Designing for Operation, Appropriation, and Behaviour Change.
CHI Extended Abstracts
Matthias Baldauf, Peter Fröhlich, Virpi Roto, Philippe A. Palanque, Siân Lindley, Jon Rogers, Wendy Ju, Manfred Tscheligi
2022 J jnl
Engineering Annotations: A Generic Framework For Gluing Design Artefacts in Models of Interactive Systems.
CoRR
Marco Winckler, Philippe A. Palanque, Jean-Luc Hak, Eric Barboni, Olivier Nicolas, Laurent Goncalves
2022 J jnl
Engineering Annotations: A Generic Framework for Gluing Design Artefacts of Interactive Systems.
Proc. ACM Hum. Comput. Interact.
Marco Winckler, Philippe A. Palanque, Jean-Luc Hak, Eric Barboni, Olivier Nicolas, Laurent Goncalves
2022 — conf
Engineering Awareness in Interfaces: Focus on Automation and Visualization.
EICS (Companion)
Juan Enrique Garrido, Philippe A. Palanque, Aaron Quigley, Marco Winckler
2022 J jnl
Engineering Interactive Computing Systems 2022: Editorial Introduction.
Proc. ACM Hum. Comput. Interact.
Kris Luyten, Philippe A. Palanque, Aaron J. Quigley, Marco Winckler
2022 J jnl
Engineering Operations-based Training.
Proc. ACM Hum. Comput. Interact.
Célia Martinie, David Navarre, Philippe A. Palanque, Eric Barboni, Sandra Steere
2022 B conf
HCI and worker well-being in manufacturing industry.
AVI
Eva Geurts, Gustavo Alberto Rovelo Ruiz, Kris Luyten, Steven Houben, Benjamin Weyers, An Jacobs, Philippe A. Palanque
2022 J jnl
HCI for general aviation: current state and research challenges.
Interactions
Sebastian S. Feger, Felix Ehrentraut, Christopher Katins, Philippe A. Palanque, Thomas Kosch
2022 — conf
How to Design and Assess Automation for Interactive Applications and Interaction Techniques.
CHI Extended Abstracts
Philippe A. Palanque
2022 — conf
Mining human factors general trends from +100k UML class diagrams.
MoDELS (Companion)
Maxime Savary-Leblanc, Xavier Le Pallec, Philippe A. Palanque, Célia Martinie, Arnaud Blouin, Frédéric Jouault, Mickael Clavreul, Thibault Raffaillac
2022 — conf
Models-Based Analysis of Both User and Attacker Tasks: Application to EEVEHAC.
HCSE
Sara Nikula, Célia Martinie, Philippe A. Palanque, Julius Hekkala, Outi-Marja Latvala, Kimmo Halunen
2022 C conf
Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours.
APSEC
Ismaïl Mendil, Peter Riviere, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque
2022 — ed.
Proceedings of the Workshop on Engaging with Automation co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2022), New Orleans, LA, USA, April 30, 2022.
AutomationXP@CHI
Matthias Baldauf, Peter Fröhlich, Virpi Roto, Philippe A. Palanque, Siân Lindley, Jon Rogers, Wendy Ju, Manfred Tscheligi
2022 — conf
Re-envisioning Interaction in the (General) Aviation Cockpit through Tangibles.
ETIS
Sebastian S. Feger, Christopher Katins, Philippe A. Palanque, Thomas Kosch
2022 — conf
Task Models Based Gameful Design as a Mean to Increase Engagement with Automation.
AutomationXP@CHI
Célia Martinie, Philippe A. Palanque
2021 — conf
A Generic Framework for Structuring Configuration Management for Socio-technical System: Application to Control Rooms.
INTERACT (Workshops)
Célia Martinie, Philippe A. Palanque, Sandra Steere, David Navarre, Eric Barboni
2021 — conf
Automation Experience at the Workplace.
CHI Extended Abstracts
Matthias Baldauf, Peter Fröhlich, Shadan Sadeghian, Philippe A. Palanque, Virpi Roto, Wendy Ju, Lynne Baillie, Manfred Tscheligi
2021 — conf
Control Rooms from a Human-Computer Interaction Perspective.
INTERACT (Workshops)
Tilo Mentler, Philippe A. Palanque, Michael D. Harrison, Kristof Van Laerhoven, Paolo Masci
2021 — conf
Control Rooms in Safety Critical Contexts: Design, Engineering and Evaluation Issues - IFIP WG 13.5 Workshop at INTERACT 2021.
INTERACT (5)
Tilo Mentler, Philippe A. Palanque, Susanne Boll, Chris Johnson, Kristof Van Laerhoven
2021 B conf
Dependability and Safety: Two Clouds in the Blue Sky of Multimodal Interaction.
ICMI
Philippe A. Palanque, David Navarre
2021 J jnl
Designing and Engineering Interactive Computing Systems.
Proc. ACM Hum. Comput. Interact.
Mathias Funk, Rong-Hao Liang, Philippe A. Palanque, Jun Hu, Panos Markopoulos
2021 Misc ed.
EICS '21: ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Virtual Event, The Netherlands, 8-11 June 2021
EICS
Panos Markopoulos, Jun Hu, Philippe A. Palanque
2021 J jnl
Engineering Model-Based Software Testing of WIMP Interactive Applications: A Process based on Formal Models and the SQUAMATA Tool.
Proc. ACM Hum. Comput. Interact.
Alexandre Canny, Célia Martinie, David Navarre, Philippe A. Palanque, Eric Barboni, Christine Gris
2021 J jnl
Engineering Task-based Augmented Reality Guidance: Application to the Training of Aircraft Flight Procedures.
Interact. Comput.
Giorgia Lallai, Giovanni Loi Zedda, Célia Martinie, Philippe A. Palanque, Mauro Pisano, Lucio Davide Spano
2021 — conf
From Human-Human Computer Mediated Communication to Human-Automation Collaboration in the Light of Large Civil Aircraft Workplace.
AutomationXP@CHI
Elodie Bouzekri, Célia Martinie, Philippe A. Palanque
2021 — conf
HCI-E
INTERACT (5)
Konrad Baumann, José Creissac Campos, Alan J. Dix, Laurence Nigay, Philippe A. Palanque, Jean Vanderdonckt, Gerrit C. van der Veer, Benjamin Weyers
2021 J jnl
Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems.
Interact. Comput.
Yamine Aït Ameur, Judy Bowen, José Creissac Campos, Philippe A. Palanque, Benjamin Weyers
2021 — conf
Introductory Course on Automation and its Use for Interactive Systems Design and Engineering.
CHI Extended Abstracts
Philippe A. Palanque
2021 Misc conf
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models.
SETTA
Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque
2021 J jnl
Model-based Engineering of Feedforward Usability Function for GUI Widgets.
Interact. Comput.
David Navarre, Philippe A. Palanque, Sven Coppers, Kris Luyten, Davy Vanacken
2021 J jnl
On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications.
Interact. Comput.
Neeraj Kumar Singh, Yamine Aït Ameur, Romain Geniet, Dominique Méry, Philippe A. Palanque
2021 — conf
POISE: A Framework for Designing Perfect Interactive Systems with and for Imperfect People.
INTERACT (1)
Philippe A. Palanque
2021 — ed.
Proceedings of the Workshop on Automation Experience at the Workplace, AutomationXP 2021, co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2021), Online Workshop (originally Yokohama, Japan), May 7, 2021.
AutomationXP@CHI
Matthias Baldauf, Peter Fröhlich, Shadan Sadeghian, Philippe A. Palanque, Virpi Roto, Wendy Ju, Lynne Baillie, Manfred Tscheligi
2021 — conf
Should I Add Recommendations to My Warning System? The RCRAFT Framework Can Answer This and Other Questions About Supporting the Assessment of Automation Designs.
INTERACT (4)
Elodie Bouzekri, Célia Martinie, Philippe A. Palanque, Katrina Atwood, Christine Gris
2021 C conf
Standard Conformance-by-Construction with Event-B.
FMICS
Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque
2021 — conf
Teaching HCI Engineering: Four Case Studies.
INTERACT (Workshops)
Sybille Caffiau, José Creissac Campos, Célia Martinie, Laurence Nigay, Philippe A. Palanque, Lucio Davide Spano
2021 — conf
The Curriculum for Education in Engineering Interactive Systems at the Master in HCI of the University Toulouse III - Paul Sabatier.
INTERACT (Workshops)
Philippe A. Palanque, Célia Martinie
2021 — conf
UX for Some and Usability for Others: Issues of Blending Multi-user and Multi-property in Control Centers.
INTERACT (Workshops)
Elodie Bouzekri, Célia Martinie, Philippe A. Palanque, Erwann Poupart, Sandra Steere
2020 B conf
A Classification of Faults Covering the Human-Computer Interaction Loop.
SAFECOMP
Philippe A. Palanque, Andy Cockburn, Carl Gutwin
2020 — conf
A Generic Multimodels-Based Approach for the Analysis of Usability and Security of Authentication Mechanisms.
HCSE
Nicolas Broders, Célia Martinie, Philippe A. Palanque, Marco Winckler, Kimmo Halunen
2020 — conf
A Generic Visualization Approach Supporting Task-Based Evaluation of Usability and User Experience.
HCSE
Regina Bernhaupt, Célia Martinie, Philippe A. Palanque, Günter Wallner
2020 — conf
A-RCRAFT: a Generic Framework for Automation Analysis and Design: Application to Automotive, Tactile in vehicle Interactions.
AutomationXP@CHI
Philippe A. Palanque, Dong-Bach Vo, Stephen A. Brewster, Elodie Bouzekri, Célia Martinie
2020 C conf
An Integrated Framework for the Formal Analysis of Critical Interactive Systems.
APSEC
Ismaïl Mendil, Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, Philippe A. Palanque
2020 — conf
Automation Experience across Domains: Designing for Intelligibility, Interventions, Interplay and Integrity.
CHI Extended Abstracts
Peter Fröhlich, Matthias Baldauf, Philippe A. Palanque, Virpi Roto, Thomas Meneweger, Manfred Tscheligi, Zoe M. Becerra, Fabio Paternò
2020 — conf
Designing Safety Critical Interactions: Hunting Down Human Error.
CHI Extended Abstracts
Susanne Boll, Philippe A. Palanque, Alexander G. Mirnig, Jessica R. Cauchard, Margareta Holtensdotter Lützhöft, Michael S. Feary
2020 — conf
Model-Based Testing of GUI Applications Featuring Dynamic Instanciation of Widgets.
ICST Workshops
Alexandre Canny, Philippe A. Palanque, David Navarre
2020 — ed.
Proceedings of the Workshop on Automation Experience across Domains, AutomationXP 2020, co-located with the ACM Conference on Human Factors in Computing Systems (CHI 2020), Honolulu, Hawaii, US, April 26, 2020.
AutomationXP@CHI
Peter Fröhlich, Matthias Baldauf, Philippe A. Palanque, Virpi Roto, Thomas Meneweger, Manfred Tscheligi, Zoe M. Becerra, Fabio Paternò
2020 J jnl
Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools.
ACM Trans. Comput. Hum. Interact.
José Creissac Campos, Camille Fayollas, Michael D. Harrison, Célia Martinie, Paolo Masci, Philippe A. Palanque
2020 Misc conf
Task models based engineering of interactive systems.
EICS
Célia Martinie, Philippe A. Palanque
2020 B conf
Ten Objectives and Ten Rules for Designing Automations in Interaction Techniques, User Interfaces and Interactive Systems.
AVI
Philippe A. Palanque
2020 — conf
User Tasks Description: a Retrospective, Recent Contributions and some Research Challenges.
RoCHI
Philippe A. Palanque
2019 — conf
A Roadmap and Some Directions Towards the Engineering of Interactive Systems Deployable in Safety Critical Contexts.
EICS Workshops
David Navarre, Philippe A. Palanque, Célia Martinie
2019 — conf
An Attempt to Fathom the Role of Annotations in User-Centered Design Process.
EICS Workshops
Jean-Luc Hak, Olivier Nicolas, Philippe A. Palanque, Marco Winckler
2019 J jnl
Analysing and Demonstrating Tool-Supported Customizable Task Notations.
Proc. ACM Hum. Comput. Interact.
Célia Martinie, Philippe A. Palanque, Elodie Bouzekri, Andy Cockburn, Alexandre Canny, Eric Barboni
2019 B conf
Brace Touch: A Dependable, Turbulence-Tolerant, Multi-touch Interaction Technique for Interactive Cockpits.
SAFECOMP
Philippe A. Palanque, Andy Cockburn, Léopold Désert-Legendre, Carl Gutwin, Yannick Deleris
2019 — conf
Characterizing Sets of Systems: Representation and Analysis of Across-Systems Properties.
INTERACT Workshops
Elodie Bouzekri, Alexandre Canny, Célia Martinie, Philippe A. Palanque
2019 — conf
Deep System Knowledge Required: Revisiting UCD Contribution in the Design of Complex Command and Control Systems.
INTERACT (1)
Elodie Bouzekri, Alexandre Canny, Célia Martinie, Philippe A. Palanque, Christine Gris
2019 J jnl
Design and evaluation of braced touch for touchscreen input stabilisation.
Int. J. Hum. Comput. Stud.
Andy Cockburn, Damien Masson, Carl Gutwin, Philippe A. Palanque, Alix Goguey, Marcus Yung, Christine Gris, Catherine Trask
2019 — conf
Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems.
iThings/GreenCom/CPSCom/SmartData
Alexandre Canny, Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque, Christine Gris, Yannick Deleris
2019 J jnl
Engineering issues related to the development of a recommender system in a critical context: Application to interactive cockpits.
Int. J. Hum. Comput. Stud.
Elodie Bouzekri, Alexandre Canny, Camille Fayollas, Célia Martinie, Philippe A. Palanque, Eric Barboni, Yannick Deleris, Christine Gris
2019 — conf
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661.
FTSCS
Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, David Navarre, Philippe A. Palanque, Marc Pantel
2019 — conf
Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets.
FM Workshops (1)
David Navarre, Philippe A. Palanque, Sven Coppers, Kris Luyten, Davy Vanacken
2019 J jnl
Fortunettes: Feedforward about the Future State of GUI Widgets.
Proc. ACM Hum. Comput. Interact.
Sven Coppers, Kris Luyten, Davy Vanacken, David Navarre, Philippe A. Palanque, Christine Gris
2019 — conf
Handling Security, Usability, User Experience and Reliability in User-Centered Development Processes - IFIP WG 13.2 and WG 13.5 Workshop at INTERACT 2019.
INTERACT (4)
Carmelo Ardito, Regina Bernhaupt, Philippe A. Palanque, Stefan Sauer
2019 — ed.
Human-Centered Software Engineering - 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3-5, 2018, Revised Selected Papers
HCSE
Cristian Bogdan, Kati Kuusinen, Marta Kristín Lárusdóttir, Philippe A. Palanque, Marco Winckler
2019 — conf
Introduction to Automation and to Its Potential for Interactive Systems Design.
INTERACT (4)
Philippe A. Palanque, Célia Martinie, Elodie Bouzekri
2019 — conf
Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets.
FM Workshops (1)
Alexandre Canny, David Navarre, José Creissac Campos, Philippe A. Palanque
2019 — conf
On the Importance of Supporting Multiple Stakeholders Points of View for the Testing of Interactive Systems.
EICS Workshops
Alexandre Canny, Elodie Bouzekri, Célia Martinie, Philippe A. Palanque
2019 J jnl
The new SIGCHI EC's values and strategic initiatives.
Interactions
Helena M. Mentis, Cliff Lampe, Regina Bernhaupt, Anirudha Joshi, Susan R. Fussell, Susan M. Dray, Dan Olsen, Aaron Quigley, Julie R. Williamson, Eunice Ratna Sari, Loren Terveen, Allison Druin, Philippe A. Palanque
2019 Misc conf
Trends on engineering interactive systems: an overview of works presented in workshops at EICS 2019.
EICS
Damiano Distante, Marco Winckler, Regina Bernhaupt, Judy Bowen, José Creissac Campos, Florian Müller, Philippe A. Palanque, Jan Van den Bergh, Benjamin Weyers, Alexandra Voit
2019 — conf
User Experience in an Automated World.
INTERACT (4)
Philippe A. Palanque, Pedro F. Campos, José L. Abdelnour-Nocera, Torkil Clemmensen, Virpi Roto
2018 — ed.
15th International Conference on Human Computer Interaction, RoCHI 2018, Cluj-Napoca, Romania, September 3-4, 2018.
RoCHI
Adrian Sabou, Philippe A. Palanque
2018 — conf
Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems.
CHI Extended Abstracts
Philippe A. Palanque, Célia Martinie, Camille Fayollas
2018 — conf
Engaging Automation at Work - A Literature Review.
HWID
Virpi Roto, Philippe A. Palanque, Hannu Karvonen
2018 Misc conf
Engineering Automations: From a Human Factor Perspective to Design, Implementation and Validation Challenges.
EICS
Philippe A. Palanque
2018 — conf
Enriching Task Models with Usability and User Experience Evaluation Data.
HCSE
Regina Bernhaupt, Philippe A. Palanque, Dimitri Drouet, Célia Martinie
2018 — conf
Interacting with Autonomous Vehicles: Learning from other Domains.
CHI Extended Abstracts
Alexander Meschtscherjakov, Manfred Tscheligi, Bastian Pfleging, Shadan Sadeghian Borojeni, Wendy Ju, Philippe A. Palanque, Andreas Riener, Bilge Mutlu, Andrew L. Kun
2018 — conf
MIODMIT: A Generic Architecture for Dynamic Multimodal Interactive Systems.
HCSE
Martin Cronel, Bruno Dumas, Philippe A. Palanque, Alexandre Canny
2018 — ch.
Performance Evaluation of Interactive Systems with Interactive Cooperative Objects Models.
Computational Interaction
Célia Martinie, Philippe A. Palanque, Camille Fayollas
2018 — conf
Rationalizing the Need of Architecture-Driven Testing of Interactive Systems.
HCSE
Alexandre Canny, Elodie Bouzekri, Célia Martinie, Philippe A. Palanque
2018 Misc conf
TOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications.
EICS
Célia Martinie, David Navarre, Philippe A. Palanque, Eric Barboni, Alexandre Canny
2018 J jnl
The evolution of SIGCHI conferences and the future of CHI.
Interactions
Loren G. Terveen, Helena M. Mentis, Aaron Quigley, Philippe A. Palanque
2018 — conf
Using Task Descriptions with Explicit Representation of Allocation of Functions, Authority and Responsibility to Design and Assess Automation.
HWID
Elodie Bouzekri, Alexandre Canny, Célia Martinie, Philippe A. Palanque, Christine Gris
2017 — conf
A List of Pre-Requisites to Make Recommender Systems Deployable in Critical Context.
EnCHIReS@EICS
Elodie Bouzekri, Alexandre Canny, Camille Fayollas, Célia Martinie, Philippe A. Palanque, Eric Barboni, Yannick Deleris, Christine Gris
2017 J jnl
A More Intelligent Test Case Generation Approach through Task Models Manipulation.
Proc. ACM Hum. Comput. Interact.
José Creissac Campos, Camille Fayollas, Marcelo Gonçalves, Célia Martinie, David Navarre, Philippe A. Palanque, Miguel Pinto
2017 — conf
Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems.
CHI Extended Abstracts
Philippe A. Palanque, Célia Martinie, Camille Fayollas
2017 — ch.
Case Studies.
Handbook of Formal Methods in Human-Computer Interaction
Benjamin Weyers, Michael D. Harrison, Judy Bowen, Alan J. Dix, Philippe A. Palanque
2017 — ch.
Dealing with Faults During Operations: Beyond Classical Use of Formal Methods.
Handbook of Formal Methods in Human-Computer Interaction
Camille Fayollas, Philippe A. Palanque, Jean-Charles Fabre, Célia Martinie, Yannick Déléris
2017 — conf
Designing and Assessing Interactive Systems Using Task Models.
INTERACT (4)
Philippe A. Palanque, Célia Martinie, Marco Winckler
2017 — ch.
Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment.
Handbook of Formal Methods in Human-Computer Interaction
Camille Fayollas, Célia Martinie, Philippe A. Palanque, Eric Barboni, Racim Fahssi, Arnaud Hamon
2017 J jnl
Making the field of computing more inclusive.
Commun. ACM
Jonathan Lazar, Elizabeth F. Churchill, Tovi Grossman, Gerrit C. van der Veer, Philippe A. Palanque, John Morris, Jennifer Mankoff
2017 B conf
Mobile interaction with and in autonomous vehicles.
MobileHCI
Alexander Meschtscherjakov, Manfred Tscheligi, Peter Fröhlich, Rod McCall, Andreas Riener, Philippe A. Palanque
2017 — conf
QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems.
INTERACT Workshops
Camille Fayollas, Célia Martinie, Philippe A. Palanque, Yamine Aït Ameur
2017 — conf
Similarity as a Design Driver for User Interfaces of Dependable Critical Systems.
INTERACT Workshops
David Navarre, Philippe A. Palanque, Arnaud Hamon, Sabrina Della Pasqua
2017 — ch.
State of the Art on Formal Methods for Interactive Systems.
Handbook of Formal Methods in Human-Computer Interaction
Raquel Oliveira Prates, Philippe A. Palanque, Benjamin Weyers, Judy Bowen, Alan J. Dix
2017 — book
The Handbook of Formal Methods in Human-Computer Interaction.
Benjamin Weyers, Judy Bowen, Alan J. Dix, Philippe A. Palanque
2017 — ch.
Topics of Formal Methods in HCI.
Handbook of Formal Methods in Human-Computer Interaction
Judy Bowen, Alan J. Dix, Philippe A. Palanque, Benjamin Weyers
2017 — ch.
Trends and Gaps.
Handbook of Formal Methods in Human-Computer Interaction
Alan J. Dix, Benjamin Weyers, Judy Bowen, Philippe A. Palanque
2017 A* conf
Turbulent Touch: Touchscreen Input for Cockpit Flight Displays.
CHI
Andy Cockburn, Carl Gutwin, Philippe A. Palanque, Yannick Deleris, Catherine Trask, Ashley Coveney, Marcus Yung, Karon E. MacLean
2017 — ch.
Web Augmentation as a Promising Technology for End User Development.
New Perspectives in End-User Development
Iñigo Aldalur, Marco Winckler, Oscar Díaz, Philippe A. Palanque
2016 — conf
A three-fold approach towards increased assurance levels for interactive systems: a flight control unit case study.
HCI-Aero
Camille Fayollas, Jean-Charles Fabre, Philippe A. Palanque, Martin Cronel, David Navarre, Yannick Deleris
2016 — conf
Complementary Tools and Techniques for Supporting Fitness-for-Purpose of Interactive Critical Systems.
HCSE/HESSD
Dorrit Billman, Camille Fayollas, Michael Feary, Célia Martinie, Philippe A. Palanque
2016 — conf
Designing and Assessing Interactive Systems Using Task Models.
CHI Extended Abstracts
Philippe A. Palanque, Célia Martinie
2016 B conf
Embedding explicit representation of cyber-physical elements in task models.
SMC
Racim Fahssi, Célia Martinie, Philippe A. Palanque
2016 Misc conf
Engineering mixed-criticality interactive applications.
EICS
Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque
2016 — conf
Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web.
F-IDE@FM
Camille Fayollas, Célia Martinie, Philippe A. Palanque, Paolo Masci, Michael D. Harrison, José Creissac Campos, Saulo Rodrigues e Silva
2016 — ed.
Human-Centered and Error-Resilient Systems Development - IFIP WG 13.2/13.5 Joint Working Conference 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016 Stockholm, Sweden, August 29-31, 2016, Proceedings
HCSE/HESSD
Cristian Bogdan, Jan Gulliksen, Stefan Sauer, Peter Forbrig, Marco Winckler, Chris W. Johnson, Philippe A. Palanque, Regina Bernhaupt, Filip Kis
2016 — conf
Multiple Views on Safety-Critical Automation: Aircrafts, Autonomous Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives.
CHI Extended Abstracts
Michael Feary, Célia Martinie, Philippe A. Palanque, Manfred Tscheligi
2016 Misc ed.
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2016, Brussels, Belgium, June 21-24, 2016
EICS
Kris Luyten, Philippe A. Palanque
2016 Misc conf
Systematic automation of scenario-based testing of user interfaces.
EICS
José Creissac Campos, Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque, Miguel Pinto
2016 J jnl
Task Model-Based Systematic Analysis of Both System Failures and Human Errors.
IEEE Trans. Hum. Mach. Syst.
Célia Martinie, Philippe A. Palanque, Racim Fahssi, Jean-Paul Blanquart, Camille Fayollas, Christel Seguin
2016 — conf
User-Test Results Injection into Task-Based Design Process for the Assessment and Improvement of Both Usability and User Experience.
HCSE/HESSD
Regina Bernhaupt, Philippe A. Palanque, François Manciet, Célia Martinie
2016 — conf
What Can Be Learnt from Engineering Safety Critical Partly-Autonomous Systems when Engineering Recommender Systems.
EnCHIReS@EICS
Camille Fayollas, Célia Martinie, Philippe A. Palanque, Eric Barboni, Yannick Deleris
2015 J jnl
A Generic Approach for Assessing Compatibility Between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Unit.
i-com
Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque
2015 Misc conf
A generic tool-supported framework for coupling task models and interactive applications.
EICS
Célia Martinie, David Navarre, Philippe A. Palanque, Camille Fayollas
2015 — conf
Concept Maps for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systems.
ATACCS
Martina Ragosta, Célia Martinie, Philippe A. Palanque, David Navarre, Mark-Alexander Sujan
2015 C conf
Dependable multi-touch interactions in safety critical industrial contexts: Application to aeronautics.
INDIN
Arnaud Hamon, Philippe A. Palanque, Martin Cronel
2015 — conf
Design, Development and Evaluation Challenges for Future Mobile User Interfaces in Safety-Critical Contexts.
FutureMobileUI@MobiSys
Célia Martinie, Philippe A. Palanque
2015 — conf
Designing and Assessing Interactive Systems Using Task Models.
CHI Extended Abstracts
Philippe A. Palanque, Célia Martinie
2015 — conf
Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors.
INTERACT (4)
Racim Fahssi, Célia Martinie, Philippe A. Palanque
2015 — ed.
Human-Computer Interaction - INTERACT 2015 - 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part I
INTERACT (1)
Julio Abascal, Simone D. J. Barbosa, Mirko Fetter, Tom Gross, Philippe A. Palanque, Marco Winckler
2015 — ed.
Human-Computer Interaction - INTERACT 2015 - 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part II
INTERACT (2)
Julio Abascal, Simone D. J. Barbosa, Mirko Fetter, Tom Gross, Philippe A. Palanque, Marco Winckler
2015 — ed.
Human-Computer Interaction - INTERACT 2015 - 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III
INTERACT (3)
Julio Abascal, Simone D. J. Barbosa, Mirko Fetter, Tom Gross, Philippe A. Palanque, Marco Winckler
2015 — ed.
Human-Computer Interaction - INTERACT 2015 - 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part IV
INTERACT (4)
Julio Abascal, Simone D. J. Barbosa, Mirko Fetter, Tom Gross, Philippe A. Palanque, Marco Winckler
2015 — conf
IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development.
INTERACT (4)
Chris W. Johnson, Michael Feary, Célia Martinie, Philippe A. Palanque, Regina Peldszus
2015 — ed.
Proceedings of the 5th International Conference on Application and Theory of Automation in Command and Control Systems, ATACCS 2015, Toulouse, France, September 30 - October 2, 2015
ATACCS
Michael Feary, Thomas Feuerle, Cristina Gonzalez Rechea, Francisco Javier Saez, Chris W. Johnson, Célia Martinie, Philippe A. Palanque, Alberto Pasquini, Pim van Leeuwen, Marco Winckler
2015 — conf
Role of Conferences in Shaping the Field of HCI.
INTERACT (4)
Jan Gulliksen, Simone Diniz Junqueira Barbosa, Anirudha Joshi, Shaun W. Lawson, Philippe A. Palanque
2015 — conf
Transparent Automation for Assessing and Designing better Interactions between Operators and Partly-Autonomous Interactive Systems.
ATACCS
Regina Bernhaupt, Martin Cronel, François Manciet, Célia Martinie, Philippe A. Palanque
2015 — conf
Usability Aspects of the Inside-in Approach for Ancillary Search Tasks on the Web.
INTERACT (2)
Marco Winckler, Ricardo Andrade Cava, Eric Barboni, Philippe A. Palanque, Carla M. D. S. Freitas
2015 Misc conf
Workshop on formal methods in human computer interaction.
EICS
Benjamin Weyers, Judy Bowen, Alan J. Dix, Philippe A. Palanque
2014 C conf
A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics.
PRDC
Camille Fayollas, Jean-Charles Fabre, Philippe A. Palanque, Martin Cronel, David Navarre, Yannick Deleris
2014 — conf
A fault-tolerant architecture for resilient interactive systems.
IHM
Camille Fayollas, Philippe A. Palanque, Jean-Charles Fabre, David Navarre, Eric Barboni, Martin Cronel, Yannick Deleris
2014 J jnl
A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems.
Int. J. Hum. Comput. Stud.
Célia Martinie, David Navarre, Philippe A. Palanque
2014 Misc conf
An Approach for Assessing the Impact of Dependability on Usability: Application to Interactive Cockpits.
EDCC
Camille Fayollas, Célia Martinie, Philippe A. Palanque, Yannick Deleris, Jean-Charles Fabre, David Navarre
2014 J jnl
An approach for supporting distributed user interface orchestration over the Web.
Int. J. Hum. Comput. Stud.
Sergio Firmenich, Gustavo Rossi, Marco Winckler, Philippe A. Palanque
2014 J jnl
Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface markup language.
Sci. Comput. Program.
Eric Barboni, Célia Martinie, David Navarre, Philippe A. Palanque, Marco Winckler
2014 A* ed.
CHI Conference on Human Factors in Computing Systems, CHI'14, Toronto, ON, Canada - April 26 - May 01, 2014
CHI
Matt Jones, Philippe A. Palanque, Albrecht Schmidt, Tovi Grossman
2014 — ed.
CHI Conference on Human Factors in Computing Systems, CHI'14, Toronto, ON, Canada - April 26 - May 01, 2014, Extended Abstracts
CHI Extended Abstracts
Matt Jones, Philippe A. Palanque, Albrecht Schmidt, Tovi Grossman
2014 — conf
Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces.
DUI@ICWE
Camille Fayollas, Célia Martinie, David Navarre, Philippe A. Palanque, Racim Fahssi
2014 — conf
Fine Grain Modeling of Task Deviations for Assessing Qualitatively the Impact of Both System Failures and Human Error on Operator Performance.
AAAI Spring Symposia
Célia Martinie, Philippe A. Palanque
2014 Misc conf
Formal modelling of dynamic instantiation of input devices and interaction techniques: application to multi-touch interactions.
EICS
Arnaud Hamon, Philippe A. Palanque, Martin Cronel, Raphaël André, Eric Barboni, David Navarre
2014 — conf
Inside-In Search: An Alternative for Performing Ancillary Search Tasks on the Web.
LA-WEB
Ricardo Andrade Cava, Carla Maria Dal Sasso Freitas, Eric Barboni, Philippe A. Palanque, Marco Winckler
2014 Misc conf
Multi-models-based engineering of collaborative systems: application to collision avoidance operations for spacecraft.
EICS
Célia Martinie, Eric Barboni, David Navarre, Philippe A. Palanque, Racim Fahssi, Erwann Poupart, Eliane Cubero-Castan
2014 — conf
Notation and a Layered Architecture to Model Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions.
EGMI@EICS
Arnaud Hamon, Eric Barboni, Philippe A. Palanque, Raphaël André
2014 — conf
Rapid Task-Models Development Using Sub-models, Sub-routines and Generic Components.
HCSE
Peter Forbrig, Célia Martinie, Philippe A. Palanque, Marco Winckler, Racim Fahssi
2013 B conf
A generic framework for executable gestural interaction models.
VL/HCC
Romuald Deshayes, Philippe A. Palanque, Tom Mens
2013 J jnl
Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
José Luís Silva, Camille Fayollas, Arnaud Hamon, Philippe A. Palanque, Célia Martinie, Eric Barboni
2013 — ed.
European Conference on Cognitive Ergonomics 2013, ECCE '13, Toulouse, France, August 26 - 28, 2013
ECCE
Philippe A. Palanque, Françoise Détienne, André Tricot
2013 — conf
Extending procedural task models by systematic explicit integration of objects, knowledge and information.
ECCE
Célia Martinie, Philippe A. Palanque, Martina Ragosta, Racim Fahssi
2013 Misc conf
Formal description of multi-touch interactions.
EICS
Hamon-Keromen Arnaud, Philippe A. Palanque, José Luís Silva, Yannick Deleris, Eric Barboni
2013 J jnl
Interactive cockpits as critical applications: a model-based and a fault-tolerant approach.
Int. J. Crit. Comput. Based Syst.
Camille Fayollas, Jean-Charles Fabre, Philippe A. Palanque, Eric Barboni, David Navarre, Yannick Deleris
2013 — conf
Model-based dynamic distribution of user interfaces of critical interactive systems.
ATACCS
David Navarre, Célia Martinie, Philippe A. Palanque, Alberto Pasquini, Martina Ragosta
2013 B conf
PetriNect: A tool for executable modeling of gestural interaction.
VL/HCC
Romuald Deshayes, Tom Mens, Philippe A. Palanque
2013 — conf
Proposta de um framework para visualização de dados agregados por similaridade para auxiliar consultas durante a navegação na web.
IHC
Caio Stein D'Agostini, Ricardo Andrade Cava, Carina F. Dorneles, Sergio Firmenich, Carla M. D. S. Freitas, Philippe A. Palanque, Marco Winckler
2013 — conf
Supportive User Interfaces and Task Migratability in Smart Environments.
DUI@EICS
Peter Forbrig, Michael Zaki, Philippe A. Palanque, Marco Winckler
2013 — conf
The role of engineering work in CHI.
CHI Extended Abstracts
Philippe A. Palanque, Fabio Paternò, Jeffrey Nichols, Nuno Jardim Nunes, Brad A. Myers
2013 — conf
Tuning an HCI Curriculum for Master Students to Address Interactive Critical Systems Aspects.
HCI (1)
Michel Galindo, Célia Martinie, Philippe A. Palanque, Marco Winckler, Peter Forbrig
2013 B conf
Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study.
SAFECOMP
Célia Martinie, Philippe A. Palanque, Martina Ragosta, Mark-Alexander Sujan, David Navarre, Alberto Pasquini
2013 — conf
V&V of Lexical, Syntactic and Semantic Properties for Interactive Systems through Model Checking of Formal Description of Dialog.
HCI (1)
Guillaume Brat, Célia Martinie, Philippe A. Palanque
2013 — conf
Workshop on engaging the human-computer interaction community with public policymaking internationally.
CHI Extended Abstracts
Jonathan Lazar, Simone Diniz Junqueira Barbosa, Jan Gulliksen, Tom McEwan, Loïc Martínez Normand, Philippe A. Palanque, Raquel Oliveira Prates, Janice Y. Tsai, Marco Winckler, Volker Wulf
2012 — conf
A Design Process for Exhibiting Design Choices and Trade-Offs in (Potentially) Conflicting User Interface Guidelines.
HCSE
Llúcia Masip, Célia Martinie, Marco Winckler, Philippe A. Palanque, Toni Granollers, Marta Oliva
2012 — conf
A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments.
HCSE
Célia Martinie, Philippe A. Palanque, David Navarre, Eric Barboni
2012 Misc ed.
ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12, Copenhagen, Denmark - June 25 - 28, 2012
EICS
Simone Diniz Junqueira Barbosa, José Creissac Campos, Rick Kazman, Philippe A. Palanque, Michael D. Harrison, Steve Reeves
2012 Misc conf
Engineering animations in user interfaces.
EICS
Thomas Mirlacher, Philippe A. Palanque, Regina Bernhaupt
2012 — conf
Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach.
SERENE
Camille Fayollas, Jean-Charles Fabre, David Navarre, Philippe A. Palanque, Yannick Deleris
2012 — conf
Invited engineering community SIG: the role of engineering work in CHI.
CHI Extended Abstracts
Ruven Brooks, T. C. Nicholas Graham, Jeffrey Nichols, Philippe A. Palanque, Fabio Paternò
2012 — conf
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.
Ergo'IHM
Célia Martinie, Philippe A. Palanque, David Navarre, Eric Barboni, Marco Winckler
2012 — conf
Using complementary models-based approaches for representing and analysing ATM systems' variability.
ATACCS
Célia Martinie, Philippe A. Palanque, Alberto Pasquini, Martina Ragosta, E. Rigaud, Sara Silvagni
2011 — ch.
A Formal Model-Based Approach for Designing Interruptions-Tolerant Advanced User Interfaces.
Model-Driven Development of Advanced User Interfaces
Philippe A. Palanque, Marco Winckler, Célia Martinie
2011 Misc conf
A model-based approach for supporting engineering usability evaluation of interaction techniques.
EICS
Philippe A. Palanque, Eric Barboni, Célia Martinie, David Navarre, Marco Winckler
2011 J jnl
Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach.
Reliab. Eng. Syst. Saf.
David Navarre, Philippe A. Palanque, Eric Barboni, Jean-François Ladry, Célia Martinie
2011 — conf
Engineering automation in interactive critical systems.
CHI Extended Abstracts
Regina Bernhaupt, Guy A. Boy, Michael Feary, Philippe A. Palanque
2011 — conf
Exploiting gaming research and practice for engineering interactive critical systems.
ATACCS
Philippe A. Palanque, Regina Bernhaupt, Florent Montesano, Célia Martinie
2011 — conf
Formal tasks and systems models as a tool for specifying and assessing automation designs.
ATACCS
Célia Martinie, Philippe A. Palanque, Eric Barboni, Marco Winckler, Martina Ragosta, Alberto Pasquini, Paola Lanzi
2011 — ed.
Human-Computer Interaction - INTERACT 2011 - 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part I
INTERACT (1)
Pedro F. Campos, T. C. Nicholas Graham, Joaquim A. Jorge, Nuno Jardim Nunes, Philippe A. Palanque, Marco Winckler
2011 — ed.
Human-Computer Interaction - INTERACT 2011 - 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part II
INTERACT (2)
Pedro F. Campos, T. C. Nicholas Graham, Joaquim A. Jorge, Nuno Jardim Nunes, Philippe A. Palanque, Marco Winckler
2011 — ed.
Human-Computer Interaction - INTERACT 2011 - 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part III
INTERACT (3)
Pedro F. Campos, T. C. Nicholas Graham, Joaquim A. Jorge, Nuno Jardim Nunes, Philippe A. Palanque, Marco Winckler
2011 — ed.
Human-Computer Interaction - INTERACT 2011 - 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part IV
INTERACT (4)
Pedro F. Campos, T. C. Nicholas Graham, Joaquim A. Jorge, Nuno Jardim Nunes, Philippe A. Palanque, Marco Winckler
2011 Misc conf
Model-based training: an approach supporting operability of critical interactive systems.
EICS
Célia Martinie, Philippe A. Palanque, David Navarre, Marco Winckler, Erwann Poupart
2011 C conf
Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques.
PRDC
A. Tankeu-Choitat, David Navarre, Philippe A. Palanque, Yannick Deleris, Jean-Charles Fabre, Camille Fayollas
2011 — conf
Self-checking widgets for interactive cockpits.
EWDC
A. Tankeu-Choitat, Jean-Charles Fabre, Philippe A. Palanque, David Navarre, Yannick Deleris
2011 — conf
Structuring and Composition Mechanisms to Address Scalability Issues in Task Models.
INTERACT (3)
Célia Martinie, Philippe A. Palanque, Marco Winckler
2011 B conf
Task-model based assessment of automation levels: Application to space ground segments.
SMC
Célia Martinie, Philippe A. Palanque, Eric Barboni, Martina Ragosta
2010 Misc conf
Beyond modelling: an integrated environment supporting co-execution of tasks and systems models.
EICS
Eric Barboni, Jean-François Ladry, David Navarre, Philippe A. Palanque, Marco Winckler
2010 — conf
DREAMER: a design rationale environment for argumentation, modeling and engineering requirements.
SIGDOC
Célia Martinie, Philippe A. Palanque, Marco Winckler, Stéphane Conversy
2010 — ed.
Human Error, Safety and Systems Development, 7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
HESSD
Philippe A. Palanque, Jean Vanderdonckt, Marco Winckler
2010 J jnl
Mobile Context-Aware Applications for Ubiquitous Computing.
J. Univers. Comput. Sci.
María Dolores Lozano, José A. Gallud, Philippe A. Palanque
2010 — ed.
Task Models and Diagrams for User Interface Design, 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
TAMODIA
David England, Philippe A. Palanque, Jean Vanderdonckt, Peter J. Wild
2010 — conf
Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction.
IHM
Jean-François Ladry, Philippe A. Palanque, David Navarre, Eric Barboni, Marco Winckler
2009 Misc conf
A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems.
EICS
Philippe A. Palanque, Marco Winckler, Jean-François Ladry, Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink
2009 B conf
Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces.
ICMI
Jean-François Ladry, David Navarre, Philippe A. Palanque
2009 B conf
Fusion engines for multimodal input: a survey.
ICMI
Denis Lalanne, Laurence Nigay, Philippe A. Palanque, Peter Robinson, Jean Vanderdonckt, Jean-François Ladry
2009 — conf
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too.
HCI (1)
Philippe A. Palanque, Jean-François Ladry, David Navarre, Eric Barboni
2009 — ed.
Human-Computer Interaction - INTERACT 2009, 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part I
INTERACT (1)
Tom Gross, Jan Gulliksen, Paula Kotzé, Lars Oestreicher, Philippe A. Palanque, Raquel Oliveira Prates, Marco Winckler
2009 — ed.
Human-Computer Interaction - INTERACT 2009, 12th IFIP TC 13 International Conference, Uppsala, Sweden, August 24-28, 2009, Proceedings, Part II
INTERACT (2)
Tom Gross, Jan Gulliksen, Paula Kotzé, Lars Oestreicher, Philippe A. Palanque, Raquel Oliveira Prates, Marco Winckler
2009 J jnl
ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability.
ACM Trans. Comput. Hum. Interact.
David Navarre, Philippe A. Palanque, Jean-François Ladry, Eric Barboni
2009 — ed.
Proceedings of the 21st International Conference of the Association Francophone d'Interaction Homme-Machine, Grenoble, France, October 13-16, 2009
IHM
Gaëlle Calvary, Joëlle Coutaz, Philippe A. Palanque
2009 — conf
Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach.
INTERACT (1)
Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink, Philippe A. Palanque, Marco Winckler
2009 — ch.
Task Models and System Models as A Bridge Between Hci and Software Engineering.
Human-Centered Software Engineering
David Navarre, Philippe A. Palanque, Marco Winckler
2009 Misc conf
The future of design specification and verification of safety critical interactive systems.: can our systems be sure (safe, usable, reliable and evolvable)?
EICS
David Navarre, Philippe A. Palanque
2009 — conf
Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs.
IHM
Philippe A. Palanque, Jean-François Ladry, Eric Barboni, David Navarre, Marco Winckler
2008 B conf
A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems.
SAFECOMP
David Navarre, Philippe A. Palanque, Sandra Basnyat
2008 — conf
An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces.
DSV-IS
David Navarre, Philippe A. Palanque, Jean-François Ladry, Sandra Basnyat
2008 — ed.
Engineering Interactive Systems - EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers
EHCI/DS-VIS
Jan Gulliksen, Morten Borup Harning, Philippe A. Palanque, Gerrit C. van der Veer, Janet Wesson
2008 — ed.
Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers
DSV-IS
T. C. Nicholas Graham, Philippe A. Palanque
2008 — ch.
Tailoring Usability into Agile Software Development Projects.
Maturing Usability
Regina Bernhaupt, David Navarre, Philippe A. Palanque, Marco Winckler
2007 — conf
A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661.
SIES
Eric Barboni, David Navarre, Philippe A. Palanque, Sandra Basnyat
2007 — conf
Beyond usability for safety critical systems: how to be sure (safe, usable, reliable, and evolvable)?
CHI Extended Abstracts
Philippe A. Palanque, Sandra Basnyat, Regina Bernhaupt, Ronald L. Boring, Chris W. Johnson, Peter Johnson
2007 — conf
DREAM & TEAM: A Tool and a Notation Supporting Exploration of Options and Traceability of Choices for Safety Critical Interactive Systems.
INTERACT (2)
Xavier Lacaze, Philippe A. Palanque
2007 — ed.
Human-Computer Interaction - INTERACT 2007, 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part I
INTERACT (1)
Maria Cecília Calani Baranauskas, Philippe A. Palanque, Julio Abascal, Simone Diniz Junqueira Barbosa
2007 — ed.
Human-Computer Interaction - INTERACT 2007, 11th IFIP TC 13 International Conference, Rio de Janeiro, Brazil, September 10-14, 2007, Proceedings, Part II
INTERACT (2)
Maria Cecília Calani Baranauskas, Philippe A. Palanque, Julio Abascal, Simone Diniz Junqueira Barbosa
2007 — conf
Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare.
USAB
Philippe A. Palanque, Sandra Basnyat, David Navarre
2007 — conf
Improving Modularity of Interactive Software with the MDPC Architecture.
EHCI/DS-VIS
Stéphane Conversy, Eric Barboni, David Navarre, Philippe A. Palanque
2007 — conf
On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing.
TAMODIA
David Navarre, Philippe A. Palanque, Eric Barboni, Tomasz Mistrzyk
2007 — ed.
Task Models and Diagrams for User Interface Design, 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007, Proceedings
TAMODIA
Marco Winckler, Hilary Johnson, Philippe A. Palanque
2007 — conf
Usability Study of Multi-modal Interfaces Using Eye-Tracking.
INTERACT (2)
Regina Bernhaupt, Philippe A. Palanque, Marco Winckler, David Navarre
2006 J jnl
An approach integrating two complementary model-based environments for the construction of multimodal interactive applications.
Interact. Comput.
David Navarre, Philippe A. Palanque, Pierre Dragicevic, Rémi Bastide
2006 — conf
Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification.
DSV-IS
Eric Barboni, Stéphane Conversy, David Navarre, Philippe A. Palanque
2006 J jnl
Multidisciplinary perspective on accident investigation.
Reliab. Eng. Syst. Saf.
Sandra Basnyat, Nick Chozos, Philippe A. Palanque
2006 — conf
Usability and Computer Games: Working Group Report.
DSV-IS
T. C. Nicholas Graham, Paul Curzon, Gavin J. Doherty, Philippe A. Palanque, Richard Potter, Christopher Roast, Shamus P. Smith
2005 B conf
A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications.
INTERACT
David Navarre, Philippe A. Palanque, Rémi Bastide, Amélie Schyn, Marco Winckler, Luciana Porcher Nedel, Carla Maria Dal Sasso Freitas
2005 — ed.
Engineering Human Computer Interaction and Interactive Systems, Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers
EHCI/DS-VIS
Rémi Bastide, Philippe A. Palanque, Jörg Roth
2005 — conf
Extending the Boundaries of Model-Based Development to Account for Errors.
MDDAUI@MoDELS
Sandra Basnyat, Rémi Bastide, Philippe A. Palanque
2005 — conf
Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems.
DSV-IS
Sandra Basnyat, Nick Chozos, Chris W. Johnson, Philippe A. Palanque
2005 B conf
Towards the Maturation of IT Usability Evaluation (MAUSE).
INTERACT
Effie Lai-Chong Law, Ebba Thora Hvannberg, Gilbert Cockton, Philippe A. Palanque, Dominique L. Scapin, Mark Springett, Christian Stary, Jean Vanderdonckt
2005 — conf
What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?
WWV
Marco Winckler, Eric Barboni, Philippe A. Palanque, Christelle Farenc
2005 — conf
What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?
WWV
Marco Winckler, Eric Barboni, Philippe A. Palanque, Christelle Farenc
2004 B conf
A model-based approach for real-time embedded multimodal systems in military aircrafts.
ICMI
Rémi Bastide, David Navarre, Philippe A. Palanque, Amélie Schyn, Pierre Dragicevic
2004 — ed.
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
Human Error, Safety and Systems Development
Chris W. Johnson, Philippe A. Palanque
2004 — conf
SWCEDITOR: a Model-Based Tool for Interactive Modelling of Web Navigation.
CADUI
Marco Winckler, Eric Barboni, Christelle Farenc, Philippe A. Palanque
2004 — conf
Safety-critical interaction: usability in incidents and accidents.
CHI Extended Abstracts
Philippe A. Palanque, Floor Koornneef, Chris W. Johnson, Gerd Szwillus, Peter C. Wright
2004 — ed.
Task Models and Diagrams for User Interface Design: Proceedings of the Third International Workshop on Task Models and Diagrams for User Interface Design - TAMODIA 2004, November 15 - 16, 2004, Prague, Czech Republic
TAMODIA
Pavel Slavík, Philippe A. Palanque
2004 — conf
Task Patterns for Taking Into Account in an Efficient and Systematic Way Both Standard and Erroneous User Behaviours.
Human Error, Safety and Systems Development
Philippe A. Palanque, Sandra Basnyat
2004 — conf
Tasks and scenario-based evaluation of information visualization techniques.
TAMODIA
Marco Winckler, Philippe A. Palanque, Carla Maria Dal Sasso Freitas
2004 — conf
Very-High-Fidelity Prototyping for Both Presentation and Dialogue Parts of Multimodal Interactive Systems.
EHCI/DS-VIS
David Navarre, Pierre Dragicevic, Philippe A. Palanque, Rémi Bastide, Amélie Schyn
2003 B conf
A Model-Based Approach for Engineering Multimodal Interactive Systems.
INTERACT
Philippe A. Palanque, Amélie Schyn
2003 J jnl
A tool-supported design framework for safety critical interactive systems.
Interact. Comput.
Rémi Bastide, David Navarre, Philippe A. Palanque
2003 — conf
Formal description of a multimodal interaction technique in an immersive virtual reality application.
IHM
Amélie Schyn, David Navarre, Philippe A. Palanque, Luciana Porcher Nedel
2003 — conf
StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications.
DSV-IS
Marco Winckler, Philippe A. Palanque
2003 — conf
User-Centered Point of View to End-User Development.
HCI (4)
Philippe A. Palanque, Rémi Bastide
2003 — conf
Who does what with whom in Web Development?
HCI (4)
Marco Winckler, Philippe A. Palanque, Christelle Farenc, Marcelo Soares Pimenta
2002 — conf
A model-based tool for interactive prototyping of highly interactive applications.
CHI Extended Abstracts
Rémi Bastide, David Navarre, Philippe A. Palanque
2002 — conf
Analyse de performance et modéles de Tâches comme support â la conception rationnelle des systèmes interactifs.
IHM
Xavier Lacaze, Philippe A. Palanque, David Navarre
2002 — conf
Model-Based Interactive Prototyping of Highly Interactive Applications.
CADUI
David Navarre, Philippe A. Palanque, Rémi Bastide
2002 — conf
Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems.
DSV-IS
Xavier Lacaze, Philippe A. Palanque, David Navarre, Rémi Bastide
2002 — conf
Task-Based Assessment of Web Navigation Design.
TAMODIA
Marco Winckler, Philippe A. Palanque, Christelle Farenc, Marcelo Soares Pimenta
2002 — conf
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.
IHM
Marco Winckler, Christelle Farenc, Philippe A. Palanque
2001 — conf
A Cooperative Petri Net Editor.
Concurrent Object-Oriented Programming and Petri Nets
Rémi Bastide, Charles Lakos, Philippe A. Palanque
2001 C conf
A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications.
IEEE International Workshop on Rapid System Prototyping
David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy
2001 — conf
A Tool Suite for Integrating Task and System Models through Scenarios.
DSV-IS
David Navarre, Philippe A. Palanque, Fabio Paternò, Carmen Santoro, Rémi Bastide
2001 J jnl
Design, specification, and verification of interactive systems.
ACM SIGSOFT Softw. Eng. Notes
Philippe A. Palanque, Fabio Paternò
2001 — conf
Modeling a Groupware Editing Tool with Cooperative Objects.
Concurrent Object-Oriented Programming and Petri Nets
Rémi Bastide, Philippe A. Palanque
2001 Misc conf
Towards a general guidance and support tool for usability optimization.
HCI
Christelle Farenc, Philippe A. Palanque, J. M. Christian Bastien, Dominique L. Scapin, Marco Winckler
2000 — conf
A Formal Specification of the CORBA Event Service.
FMOODS
Rémi Bastide, Ousmane Sy, David Navarre, Philippe A. Palanque
2000 J jnl
A formal notation and tool for the engineering of CORBA systems.
Concurr. Pract. Exp.
Rémi Bastide, Ousmane Sy, Philippe A. Palanque
2000 A* conf
Design, specification, and verification of interactive systems (workshop session).
ICSE
Philippe A. Palanque, Fabio Paternò
2000 A conf
Formal specification of CORBA services: experience and lessons learned.
OOPSLA
Rémi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre
2000 — ed.
Interactive Systems: Design, Specification, and Verification, 7th International Workshop DSV-IS, Limerick, Ireland, June 5-6, 2000, Proceedings
DSV-IS
Philippe A. Palanque, Fabio Paternò
2000 — conf
Structuring Interactive Systems Specifications for Executability and Prototypability.
DSV-IS
David Navarre, Philippe A. Palanque, Rémi Bastide, Ousmane Sy
2000 — conf
Transferring Knowledge of User Interfaces Guidelines to the Web.
TFWWG
Dominique L. Scapin, Jean Vanderdonckt, Christelle Farenc, Rémi Bastide, J. M. Christian Bastien, Corinne Leulier, Céline Mariage, Philippe A. Palanque
1999 — conf
A Generic Framework based on Ergonomics Rules for Computer Aided Design of User Interface.
CADUI
Christelle Farenc, Philippe A. Palanque
1999 J jnl
A Visual and Formal Glue between Application and Interaction.
J. Vis. Lang. Comput.
Rémi Bastide, Philippe A. Palanque
1999 — conf
An Extensible Architecture to Support the Structuring and the efficient Exploitation of Ergonomic Rules.
HCI (1)
Christelle Farenc, Philippe A. Palanque
1999 B conf
Embedding Ergonomic Rules as Generic Requirements in a Formal Development Process of Interactive Software.
INTERACT
Philippe A. Palanque, Christelle Farenc, Rémi Bastide
1999 A conf
Formal Specification and Prototyping of CORBA Systems.
ECOOP
Rémi Bastide, Ousmane Sy, Philippe A. Palanque
1999 — conf
Formal Support for the Engineering of CORBA-based Distributed Object Systems.
DOA
Rémi Bastide, Ousmane Sy, Philippe A. Palanque
1999 J jnl
Introduction to the special issue on interface issues and designs for safety-critical interactive systems: when there is no room for user error.
ACM Trans. Comput. Hum. Interact.
Wayne D. Gray, Philippe A. Palanque, Fabio Paternò
1999 — conf
Petri Net Based Behavioural Specification of CORBA Systems.
ICATPN
Rémi Bastide, Philippe A. Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre
1998 — conf
Designing user interfaces for safety critical systems.
CHI Conference Summary
Philippe A. Palanque, Fabio Paternò, Peter C. Wright
1998 J jnl
Designing user interfaces for safety critical systems.
ACM SIGCHI Bull.
Philippe A. Palanque, Fabio Paternò, Bob Fields
1998 — conf
Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems.
DSV-IS
Rémi Bastide, Philippe A. Palanque, Duc-Hoa Le, Jaime Munoz
1997 — conf
A Making-Movies Metaphor for Structuring Software Components in Highly Interactive Applications.
BCS HCI
Michelle Jacomi, Stéphane Chatty, Philippe A. Palanque
1997 B conf
Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems.
INTERACT
Philippe A. Palanque, Rémi Bastide, Fabio Paternò
1997 — conf
Formal transducers: Models of devices and building bricks for the design of highly interactive systems.
DSV-IS
Johnny Accot, Stéphane Chatty, Sébastien Maury, Philippe A. Palanque
1997 J jnl
Synergistic Modelling of Tasks, Users and Systems using Formal Specification Techniques.
Interact. Comput.
Philippe A. Palanque, Rémi Bastide
1996 — conf
A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems.
DSV-IS
Johnny Accot, Stéphane Chatty, Philippe A. Palanque
1996 — conf
Formal methods in computer human interaction: comparison, benefits, open questions.
CHI Conference Companion
Fabio Paternò, Gregory D. Abowd, Philippe A. Palanque
1996 J jnl
Formal methods in computer human interaction: comparison, benefits, open questions.
ACM SIGCHI Bull.
Fabio Paternò, Philippe A. Palanque
1996 — conf
Implementation Techniques for Petri Net Based Specifications of Human-Computer Dialogues.
CADUI
Rémi Bastide, Philippe A. Palanque
1996 — conf
Monolingual, Articulated Modeling of Users, Devices, and Interfaces.
DSV-IS
Tom Moher, Victor Dirda, Rémi Bastide, Philippe A. Palanque
1996 J jnl
Time modelling in Petri nets for the design of interaction active.
ACM SIGCHI Bull.
Philippe A. Palanque, Rémi Bastide
1996 — conf
Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO.
DSV-IS
Philippe A. Palanque, Fabio Paternò, Rémi Bastide, M. Mezzanotte
1995 — conf
A Petri Net based Environment for the Design of Event-driven Interfaces.
Application and Theory of Petri Nets
Rémi Bastide, Philippe A. Palanque
1995 — ed.
Design, Specification and Verification of Interactive Systems '95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995
DSV-IS
Philippe A. Palanque, Rémi Bastide
1995 — conf
Formal Specification and Verification of CSCW using the Interactive Cooperative Object Formalism.
BCS HCI
Philippe A. Palanque, Rémi Bastide
1995 — conf
Validating interactive system design through the verification of formal task and system models.
EHCI
Philippe A. Palanque, Rémi Bastide, V. Sengès
1995 B conf
Verification of an interactive software by analysis of its formal specification.
INTERACT
Philippe A. Palanque, Rémi Bastide
1995 — conf
Visual Construction of Highly Interactive Applications.
VDB
Olivier Esteban, Stéphane Chatty, Philippe A. Palanque
1995 B conf
Whizz'Ed: a visual environment for building highly interactive software.
INTERACT
Olivier Esteban, Stéphane Chatty, Philippe A. Palanque
1994 — conf
Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects Formalism.
DSV-IS
Philippe A. Palanque, Rémi Bastide
1993 — conf
Contextual Help for Free with Formal Dialogue Design.
HCI (2)
Philippe A. Palanque, Rémi Bastide, Louis Dourte
1993 A conf
Design of User-Driven Interfaces Using Petri Nets and Objects
CAiSE
Philippe A. Palanque, Rémi Bastide, Louis Dourte, Christophe Sibertin-Blanc
1990 B conf
Petri net objects for the design, validation and prototyping of user-driven interfaces.
INTERACT
Rémi Bastide, Philippe A. Palanque