Petri net objects for the design, validation and prototyping of user-driven interfaces. - Rémi Bastide; Philippe A. Palanque (INTERACT, 1990)

Design of User-Driven Interfaces Using Petri Nets and Objects - Philippe A. Palanque; Rémi Bastide; Louis Dourte; Christophe Sibertin-Blanc (CAiSE, 1993)

Contextual Help for Free with Formal Dialogue Design. - Philippe A. Palanque; Rémi Bastide; Louis Dourte (HCI (2), 1993)

Petri net based Design of User-driven Interfaces Using the Interactive Cooperative Objects Formalism. - Philippe A. Palanque; Rémi Bastide (DSV-IS, 1994)

A Petri Net based Environment for the Design of Event-driven Interfaces. - Rémi Bastide; Philippe A. Palanque (Application and Theory of Petri Nets, 1995)

Formal Specification and Verification of CSCW using the Interactive Cooperative Object Formalism. - Philippe A. Palanque; Rémi Bastide (BCS HCI, 1995)

Validating interactive system design through the verification of formal task and system models. - Philippe A. Palanque; Rémi Bastide; V. Sengès (EHCI, 1995)

Whizz'Ed: a visual environment for building highly interactive software. - Olivier Esteban; Stéphane Chatty; Philippe A. Palanque (INTERACT, 1995)

Verification of an interactive software by analysis of its formal specification. - Philippe A. Palanque; Rémi Bastide (INTERACT, 1995)

Visual Construction of Highly Interactive Applications. - Olivier Esteban; Stéphane Chatty; Philippe A. Palanque (VDB, 1995)

Implementation Techniques for Petri Net Based Specifications of Human-Computer Dialogues. - Rémi Bastide; Philippe A. Palanque (CADUI, 1996)

Formal methods in computer human interaction: comparison, benefits, open questions. - Fabio Paternò; Gregory D. Abowd; Philippe A. Palanque (CHI Conference Companion, 1996)

A Formal Description of Low Level Interaction and its Application to Multimodal Interactive Systems. - Johnny Accot; Stéphane Chatty; Philippe A. Palanque (DSV-IS, 1996)

Monolingual, Articulated Modeling of Users, Devices, and Interfaces. - Tom Moher; Victor Dirda; Rémi Bastide; Philippe A. Palanque (DSV-IS, 1996)

Towards an Integrated Proposal for Interactive Systems Design Based on TLIM and ICO. - Philippe A. Palanque; Fabio Paternò; Rémi Bastide; M. Mezzanotte (DSV-IS, 1996)

Time modelling in Petri nets for the design of interaction active. - Philippe A. Palanque; Rémi Bastide (ACM SIGCHI Bull., 1996)

Formal methods in computer human interaction: comparison, benefits, open questions. - Fabio Paternò; Philippe A. Palanque (ACM SIGCHI Bull., 1996)

A Making-Movies Metaphor for Structuring Software Components in Highly Interactive Applications. - Michelle Jacomi; Stéphane Chatty; Philippe A. Palanque (BCS HCI, 1997)

Formal transducers: Models of devices and building bricks for the design of highly interactive systems. - Johnny Accot; Stéphane Chatty; Sébastien Maury; Philippe A. Palanque (DSV-IS, 1997)

Formal Specification as a Tool for Objective Assessment of Safety-Critical Interactive Systems. - Philippe A. Palanque; Rémi Bastide; Fabio Paternò (INTERACT, 1997)

Synergistic Modelling of Tasks, Users and Systems using Formal Specification Techniques. - Philippe A. Palanque; Rémi Bastide (Interact. Comput., 1997)

Designing user interfaces for safety critical systems. - Philippe A. Palanque; Fabio Paternò; Peter C. Wright (CHI Conference Summary, 1998)

Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems. - Rémi Bastide; Philippe A. Palanque; Duc-Hoa Le; Jaime Munoz (DSV-IS, 1998)

Designing user interfaces for safety critical systems. - Philippe A. Palanque; Fabio Paternò; Bob Fields (ACM SIGCHI Bull., 1998)

Petri Net Based Behavioural Specification of CORBA Systems. - Rémi Bastide; Philippe A. Palanque; Ousmane Sy; Duc-Hoa Le; David Navarre (ICATPN, 1999)

A Generic Framework based on Ergonomics Rules for Computer Aided Design of User Interface. - Christelle Farenc; Philippe A. Palanque (CADUI, 1999)

Formal Support for the Engineering of CORBA-based Distributed Object Systems. - Rémi Bastide; Ousmane Sy; Philippe A. Palanque (DOA, 1999)

Formal Specification and Prototyping of CORBA Systems. - Rémi Bastide; Ousmane Sy; Philippe A. Palanque (ECOOP, 1999)

An Extensible Architecture to Support the Structuring and the efficient Exploitation of Ergonomic Rules. - Christelle Farenc; Philippe A. Palanque (HCI (1), 1999)

Embedding Ergonomic Rules as Generic Requirements in a Formal Development Process of Interactive Software. - Philippe A. Palanque; Christelle Farenc; Rémi Bastide (INTERACT, 1999)

Introduction to the special issue on interface issues and designs for safety-critical interactive systems: when there is no room for user error. - Wayne D. Gray; Philippe A. Palanque; Fabio Paternò (ACM Trans. Comput. Hum. Interact., 1999)

A Visual and Formal Glue between Application and Interaction. - Rémi Bastide; Philippe A. Palanque (J. Vis. Lang. Comput., 1999)

Structuring Interactive Systems Specifications for Executability and Prototypability. - David Navarre; Philippe A. Palanque; Rémi Bastide; Ousmane Sy (DSV-IS, 2000)

A Formal Specification of the CORBA Event Service. - Rémi Bastide; Ousmane Sy; David Navarre; Philippe A. Palanque (FMOODS, 2000)

Design, specification, and verification of interactive systems (workshop session). - Philippe A. Palanque; Fabio Paternò (ICSE, 2000)

Formal specification of CORBA services: experience and lessons learned. - Rémi Bastide; Philippe A. Palanque; Ousmane Sy; David Navarre (OOPSLA, 2000)

Transferring Knowledge of User Interfaces Guidelines to the Web. - Dominique L. Scapin; Jean Vanderdonckt; Christelle Farenc; Rémi Bastide; J. M. Christian Bastien; Corinne Leulier; Céline Mariage; Philippe A. Palanque (TFWWG, 2000)

A formal notation and tool for the engineering of CORBA systems. - Rémi Bastide; Ousmane Sy; Philippe A. Palanque (Concurr. Pract. Exp., 2000)

A Cooperative Petri Net Editor. - Rémi Bastide; Charles Lakos; Philippe A. Palanque (Concurrent Object-Oriented Programming and Petri Nets, 2001)

Modeling a Groupware Editing Tool with Cooperative Objects. - Rémi Bastide; Philippe A. Palanque (Concurrent Object-Oriented Programming and Petri Nets, 2001)

A Tool Suite for Integrating Task and System Models through Scenarios. - David Navarre; Philippe A. Palanque; Fabio Paternò; Carmen Santoro; Rémi Bastide (DSV-IS, 2001)

Towards a general guidance and support tool for usability optimization. - Christelle Farenc; Philippe A. Palanque; J. M. Christian Bastien; Dominique L. Scapin; Marco Winckler (HCI, 2001)

A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications. - David Navarre; Philippe A. Palanque; Rémi Bastide; Ousmane Sy (IEEE International Workshop on Rapid System Prototyping, 2001)

Design, specification, and verification of interactive systems. - Philippe A. Palanque; Fabio Paternò (ACM SIGSOFT Softw. Eng. Notes, 2001)

Model-Based Interactive Prototyping of Highly Interactive Applications. - David Navarre; Philippe A. Palanque; Rémi Bastide (CADUI, 2002)

A model-based tool for interactive prototyping of highly interactive applications. - Rémi Bastide; David Navarre; Philippe A. Palanque (CHI Extended Abstracts, 2002)

Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems. - Xavier Lacaze; Philippe A. Palanque; David Navarre; Rémi Bastide (DSV-IS, 2002)

Analyse de performance et modéles de Tâches comme support â la conception rationnelle des systèmes interactifs. - Xavier Lacaze; Philippe A. Palanque; David Navarre (IHM, 2002)

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 A. Palanque (IHM, 2002)

Task-Based Assessment of Web Navigation Design. - Marco Winckler; Philippe A. Palanque; Christelle Farenc; Marcelo Soares Pimenta (TAMODIA, 2002)

StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications. - Marco Winckler; Philippe A. Palanque (DSV-IS, 2003)

User-Centered Point of View to End-User Development. - Philippe A. Palanque; Rémi Bastide (HCI (4), 2003)

Who does what with whom in Web Development? - Marco Winckler; Philippe A. Palanque; Christelle Farenc; Marcelo Soares Pimenta (HCI (4), 2003)

Formal description of a multimodal interaction technique in an immersive virtual reality application. - Amélie Schyn; David Navarre; Philippe A. Palanque; Luciana Porcher Nedel (IHM, 2003)

A Model-Based Approach for Engineering Multimodal Interactive Systems. - Philippe A. Palanque; Amélie Schyn (INTERACT, 2003)

A tool-supported design framework for safety critical interactive systems. - Rémi Bastide; David Navarre; Philippe A. Palanque (Interact. Comput., 2003)

SWCEDITOR: a Model-Based Tool for Interactive Modelling of Web Navigation. - Marco Winckler; Eric Barboni; Christelle Farenc; Philippe A. Palanque (CADUI, 2004)

Safety-critical interaction: usability in incidents and accidents. - Philippe A. Palanque; Floor Koornneef; Chris W. Johnson 001; Gerd Szwillus; Peter C. Wright (CHI Extended Abstracts, 2004)

Very-High-Fidelity Prototyping for Both Presentation and Dialogue Parts of Multimodal Interactive Systems. - David Navarre; Pierre Dragicevic; Philippe A. Palanque; Rémi Bastide; Amélie Schyn (EHCI/DS-VIS, 2004)

A model-based approach for real-time embedded multimodal systems in military aircrafts. - Rémi Bastide; David Navarre; Philippe A. Palanque; Amélie Schyn; Pierre Dragicevic (ICMI, 2004)

Task Patterns for Taking Into Account in an Efficient and Systematic Way Both Standard and Erroneous User Behaviours. - Philippe A. Palanque; Sandra Basnyat (Human Error, Safety and Systems Development, 2004)

Tasks and scenario-based evaluation of information visualization techniques. - Marco Winckler; Philippe A. Palanque; Carla Maria Dal Sasso Freitas (TAMODIA, 2004)

Incident and Accident Investigation Techniques to Inform Model-Based Design of Safety-Critical Interactive Systems. - Sandra Basnyat; Nick Chozos; Chris W. Johnson 001; Philippe A. Palanque (DSV-IS, 2005)

Towards the Maturation of IT Usability Evaluation (MAUSE). - Effie Lai-Chong Law; Ebba Thora Hvannberg; Gilbert Cockton; Philippe A. Palanque; Dominique L. Scapin; Mark Springett; Christian Stary; Jean Vanderdonckt (INTERACT, 2005)

A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications. - David Navarre; Philippe A. Palanque; Rémi Bastide; Amélie Schyn; Marco Winckler; Luciana Porcher Nedel; Carla Maria Dal Sasso Freitas (INTERACT, 2005)

Extending the Boundaries of Model-Based Development to Account for Errors. - Sandra Basnyat; Rémi Bastide; Philippe A. Palanque (MDDAUI@MoDELS, 2005)

What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications? - Marco Winckler; Eric Barboni; Philippe A. Palanque; Christelle Farenc (WWV, 2005)

Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. - Eric Barboni; Stéphane Conversy; David Navarre; Philippe A. Palanque (DSV-IS, 2006)

Usability and Computer Games: Working Group Report. - T. C. Nicholas Graham; Paul Curzon; Gavin J. Doherty; Philippe A. Palanque; Richard Potter; Christopher Roast; Shamus P. Smith (DSV-IS, 2006)

An approach integrating two complementary model-based environments for the construction of multimodal interactive applications. - David Navarre; Philippe A. Palanque; Pierre Dragicevic; Rémi Bastide (Interact. Comput., 2006)

Multidisciplinary perspective on accident investigation. - Sandra Basnyat; Nick Chozos; Philippe A. Palanque (Reliab. Eng. Syst. Saf., 2006)

Beyond usability for safety critical systems: how to be sure (safe, usable, reliable, and evolvable)? - Philippe A. Palanque; Sandra Basnyat; Regina Bernhaupt; Ronald L. Boring; Chris W. Johnson 001; Peter Johnson 001 (CHI Extended Abstracts, 2007)

Improving Modularity of Interactive Software with the MDPC Architecture. - Stéphane Conversy; Eric Barboni; David Navarre; Philippe A. Palanque (EHCI/DS-VIS, 2007)

Usability Study of Multi-modal Interfaces Using Eye-Tracking. - Regina Bernhaupt; Philippe A. Palanque; Marco Winckler; David Navarre (INTERACT (2), 2007)

DREAM & TEAM: A Tool and a Notation Supporting Exploration of Options and Traceability of Choices for Safety Critical Interactive Systems. - Xavier Lacaze; Philippe A. Palanque (INTERACT (2), 2007)

A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661. - Eric Barboni; David Navarre; Philippe A. Palanque; Sandra Basnyat (SIES, 2007)

On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing. - David Navarre; Philippe A. Palanque; Eric Barboni; Tomasz Mistrzyk (TAMODIA, 2007)

Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare. - Philippe A. Palanque; Sandra Basnyat; David Navarre (USAB, 2007)

An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces. - David Navarre; Philippe A. Palanque; Jean-François Ladry; Sandra Basnyat (DSV-IS, 2008)

A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems. - David Navarre; Philippe A. Palanque; Sandra Basnyat (SAFECOMP, 2008)

Tailoring Usability into Agile Software Development Projects. - Regina Bernhaupt; David Navarre; Philippe A. Palanque; Marco Winckler (Maturing Usability, 2008)

The future of design specification and verification of safety critical interactive systems.: can our systems be sure (safe, usable, reliable and evolvable)? - David Navarre; Philippe A. Palanque (EICS, 2009)

A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems. - Philippe A. Palanque; Marco Winckler; Jean-François Ladry; Maurice H. ter Beek; Giorgio P. Faconti; Mieke Massink (EICS, 2009)

High-Fidelity Prototyping of Interactive Systems Can Be Formal Too. - Philippe A. Palanque; Jean-François Ladry; David Navarre; Eric Barboni (HCI (1), 2009)

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 A. Palanque (ICMI, 2009)

Fusion engines for multimodal input: a survey. - Denis Lalanne; Laurence Nigay; Philippe A. Palanque; Peter Robinson 001; Jean Vanderdonckt; Jean-François Ladry (ICMI, 2009)

Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs. - Philippe A. Palanque; Jean-François Ladry; Eric Barboni; David Navarre; Marco Winckler (IHM, 2009)

Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach. - Maurice H. ter Beek; Giorgio P. Faconti; Mieke Massink; Philippe A. Palanque; Marco Winckler (INTERACT (1), 2009)

ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability. - David Navarre; Philippe A. Palanque; Jean-François Ladry; Eric Barboni (ACM Trans. Comput. Hum. Interact., 2009)

Task Models and System Models as A Bridge Between Hci and Software Engineering. - David Navarre; Philippe A. Palanque; Marco Winckler (Human-Centered Software Engineering, 2009)

Beyond modelling: an integrated environment supporting co-execution of tasks and systems models. - Eric Barboni; Jean-François Ladry; David Navarre; Philippe A. Palanque; Marco Winckler (EICS, 2010)

Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction. - Jean-François Ladry; Philippe A. Palanque; David Navarre; Eric Barboni; Marco Winckler (IHM, 2010)

DREAMER: a design rationale environment for argumentation, modeling and engineering requirements. - Célia Martinie; Philippe A. Palanque; Marco Winckler; Stéphane Conversy (SIGDOC, 2010)

Mobile Context-Aware Applications for Ubiquitous Computing. - María Dolores Lozano 001; José A. Gallud; Philippe A. Palanque (J. Univers. Comput. Sci., 2010)

Formal tasks and systems models as a tool for specifying and assessing automation designs. - Célia Martinie; Philippe A. Palanque; Eric Barboni; Marco Winckler; Martina Ragosta; Alberto Pasquini; Paola Lanzi (ATACCS, 2011)

Exploiting gaming research and practice for engineering interactive critical systems. - Philippe A. Palanque; Regina Bernhaupt; Florent Montesano; Célia Martinie (ATACCS, 2011)

Engineering automation in interactive critical systems. - Regina Bernhaupt; Guy A. Boy; Michael Feary; Philippe A. Palanque (CHI Extended Abstracts, 2011)

Model-based training: an approach supporting operability of critical interactive systems. - Célia Martinie; Philippe A. Palanque; David Navarre; Marco Winckler; Erwann Poupart (EICS, 2011)

A model-based approach for supporting engineering usability evaluation of interaction techniques. - Philippe A. Palanque; Eric Barboni; Célia Martinie; David Navarre; Marco Winckler (EICS, 2011)

Self-checking widgets for interactive cockpits. - A. Tankeu-Choitat; Jean-Charles Fabre; Philippe A. Palanque; David Navarre; Yannick Deleris (EWDC, 2011)

Structuring and Composition Mechanisms to Address Scalability Issues in Task Models. - Célia Martinie; Philippe A. Palanque; Marco Winckler (INTERACT (3), 2011)

Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques. - A. Tankeu-Choitat; David Navarre; Philippe A. Palanque; Yannick Deleris; Jean-Charles Fabre; Camille Fayollas (PRDC, 2011)

Task-model based assessment of automation levels: Application to space ground segments. - Célia Martinie; Philippe A. Palanque; Eric Barboni; Martina Ragosta (SMC, 2011)

Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach. - David Navarre; Philippe A. Palanque; Eric Barboni; Jean-François Ladry; Célia Martinie (Reliab. Eng. Syst. Saf., 2011)

A Formal Model-Based Approach for Designing Interruptions-Tolerant Advanced User Interfaces. - Philippe A. Palanque; Marco Winckler; Célia Martinie (Model-Driven Development of Advanced User Interfaces, 2011)

Using complementary models-based approaches for representing and analysing ATM systems' variability. - Célia Martinie; Philippe A. Palanque; Alberto Pasquini; Martina Ragosta; E. Rigaud; Sara Silvagni (ATACCS, 2012)

Invited engineering community SIG: the role of engineering work in CHI. - Ruven Brooks; T. C. Nicholas Graham; Jeffrey Nichols 001; Philippe A. Palanque; Fabio Paternò (CHI Extended Abstracts, 2012)

Engineering animations in user interfaces. - Thomas Mirlacher; Philippe A. Palanque; Regina Bernhaupt (EICS, 2012)

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 A. Palanque; David Navarre; Eric Barboni; Marco Winckler (Ergo'IHM, 2012)

A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments. - Célia Martinie; Philippe A. Palanque; David Navarre; Eric Barboni (HCSE, 2012)

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 A. Palanque; Toni Granollers; Marta Oliva (HCSE, 2012)

Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach. - Camille Fayollas; Jean-Charles Fabre; David Navarre; Philippe A. Palanque; Yannick Deleris (SERENE, 2012)

Model-based dynamic distribution of user interfaces of critical interactive systems. - David Navarre; Célia Martinie; Philippe A. Palanque; Alberto Pasquini; Martina Ragosta (ATACCS, 2013)

Workshop on engaging the human-computer interaction community with public policymaking internationally. - 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 (CHI Extended Abstracts, 2013)

The role of engineering work in CHI. - Philippe A. Palanque; Fabio Paternò; Jeffrey Nichols 001; Nuno Jardim Nunes; Brad A. Myers (CHI Extended Abstracts, 2013)

Extending procedural task models by systematic explicit integration of objects, knowledge and information. - Célia Martinie; Philippe A. Palanque; Martina Ragosta; Racim Fahssi (ECCE, 2013)

Supportive User Interfaces and Task Migratability in Smart Environments. - Peter Forbrig; Michael Zaki; Philippe A. Palanque; Marco Winckler (DUI@EICS, 2013)

Formal description of multi-touch interactions. - Hamon-Keromen Arnaud; Philippe A. Palanque; José Luís Silva 001; Yannick Deleris; Eric Barboni (EICS, 2013)

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 A. Palanque (HCI (1), 2013)

Tuning an HCI Curriculum for Master Students to Address Interactive Critical Systems Aspects. - Michel Galindo; Célia Martinie; Philippe A. Palanque; Marco Winckler; Peter Forbrig (HCI (1), 2013)

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 Andrade Cava; Carina F. Dorneles; Sergio Firmenich; Carla M. D. S. Freitas; Philippe A. Palanque; Marco Winckler (IHC, 2013)

Understanding Functional Resonance through a Federation of Models: Preliminary Findings of an Avionics Case Study. - Célia Martinie; Philippe A. Palanque; Martina Ragosta; Mark-Alexander Sujan; David Navarre; Alberto Pasquini (SAFECOMP, 2013)

PetriNect: A tool for executable modeling of gestural interaction. - Romuald Deshayes; Tom Mens; Philippe A. Palanque (VL/HCC, 2013)

A generic framework for executable gestural interaction models. - Romuald Deshayes; Philippe A. Palanque; Tom Mens (VL/HCC, 2013)

Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification. - José Luís Silva 001; Camille Fayollas; Arnaud Hamon; Philippe A. Palanque; Célia Martinie; Eric Barboni (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Interactive cockpits as critical applications: a model-based and a fault-tolerant approach. - Camille Fayollas; Jean-Charles Fabre; Philippe A. Palanque; Eric Barboni; David Navarre; Yannick Deleris (Int. J. Crit. Comput. Based Syst., 2013)

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 A. Palanque (AAAI Spring Symposia, 2014)

An Approach for Assessing the Impact of Dependability on Usability: Application to Interactive Cockpits. - Camille Fayollas; Célia Martinie; Philippe A. Palanque; Yannick Deleris; Jean-Charles Fabre; David Navarre (EDCC, 2014)

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 A. Palanque; Raphaël André (EGMI@EICS, 2014)

Formal modelling of dynamic instantiation of input devices and interaction techniques: application to multi-touch interactions. - Arnaud Hamon; Philippe A. Palanque; Martin Cronel; Raphaël André; Eric Barboni; David Navarre (EICS, 2014)

Multi-models-based engineering of collaborative systems: application to collision avoidance operations for spacecraft. - Célia Martinie; Eric Barboni; David Navarre; Philippe A. Palanque; Racim Fahssi; Erwann Poupart; Eliane Cubero-Castan (EICS, 2014)

Rapid Task-Models Development Using Sub-models, Sub-routines and Generic Components. - Peter Forbrig; Célia Martinie; Philippe A. Palanque; Marco Winckler; Racim Fahssi (HCSE, 2014)

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 A. Palanque; Racim Fahssi (DUI@ICWE, 2014)

A fault-tolerant architecture for resilient interactive systems. - Camille Fayollas; Philippe A. Palanque; Jean-Charles Fabre; David Navarre; Eric Barboni; Martin Cronel; Yannick Deleris (IHM, 2014)

Inside-In Search: An Alternative for Performing Ancillary Search Tasks on the Web. - Ricardo Andrade Cava; Carla Maria Dal Sasso Freitas; Eric Barboni; Philippe A. Palanque; Marco Winckler (LA-WEB, 2014)

A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics. - Camille Fayollas; Jean-Charles Fabre; Philippe A. Palanque; Martin Cronel; David Navarre; Yannick Deleris (PRDC, 2014)

An approach for supporting distributed user interface orchestration over the Web. - Sergio Firmenich; Gustavo Rossi; Marco Winckler; Philippe A. Palanque (Int. J. Hum. Comput. Stud., 2014)

A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems. - Célia Martinie; David Navarre; Philippe A. Palanque (Int. J. Hum. Comput. Stud., 2014)

Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface markup language. - Eric Barboni; Célia Martinie; David Navarre; Philippe A. Palanque; Marco Winckler (Sci. Comput. Program., 2014)

Transparent Automation for Assessing and Designing better Interactions between Operators and Partly-Autonomous Interactive Systems. - Regina Bernhaupt; Martin Cronel; François Manciet; Célia Martinie; Philippe A. Palanque (ATACCS, 2015)

Concept Maps for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systems. - Martina Ragosta; Célia Martinie; Philippe A. Palanque; David Navarre; Mark-Alexander Sujan (ATACCS, 2015)

A generic tool-supported framework for coupling task models and interactive applications. - Célia Martinie; David Navarre; Philippe A. Palanque; Camille Fayollas (EICS, 2015)

Workshop on formal methods in human computer interaction. - Benjamin Weyers; Judy Bowen; Alan J. Dix; Philippe A. Palanque (EICS, 2015)

Dependable multi-touch interactions in safety critical industrial contexts: Application to aeronautics. - Arnaud Hamon; Philippe A. Palanque; Martin Cronel (INDIN, 2015)

Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors. - Racim Fahssi; Célia Martinie; Philippe A. Palanque (INTERACT (4), 2015)

Role of Conferences in Shaping the Field of HCI. - Jan Gulliksen; Simone Diniz Junqueira Barbosa; Anirudha Joshi; Shaun W. Lawson; Philippe A. Palanque (INTERACT (4), 2015)

IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development. - Chris W. Johnson 001; Michael Feary; Célia Martinie; Philippe A. Palanque; Regina Peldszus (INTERACT (4), 2015)

Usability Aspects of the Inside-in Approach for Ancillary Search Tasks on the Web. - Marco Winckler; Ricardo Andrade Cava; Eric Barboni; Philippe A. Palanque; Carla M. D. S. Freitas (INTERACT (2), 2015)

Design, Development and Evaluation Challenges for Future Mobile User Interfaces in Safety-Critical Contexts. - Célia Martinie; Philippe A. Palanque (FutureMobileUI@MobiSys, 2015)

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 A. Palanque (i-com, 2015)

Multiple Views on Safety-Critical Automation: Aircrafts, Autonomous Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives. - Michael Feary; Célia Martinie; Philippe A. Palanque; Manfred Tscheligi (CHI Extended Abstracts, 2016)

Designing and Assessing Interactive Systems Using Task Models. - Philippe A. Palanque; Célia Martinie (CHI Extended Abstracts, 2016)

Systematic automation of scenario-based testing of user interfaces. - José Creissac Campos; Camille Fayollas; Célia Martinie; David Navarre; Philippe A. Palanque; Miguel Pinto (EICS, 2016)

Engineering mixed-criticality interactive applications. - Camille Fayollas; Célia Martinie; David Navarre; Philippe A. Palanque (EICS, 2016)

What Can Be Learnt from Engineering Safety Critical Partly-Autonomous Systems when Engineering Recommender Systems. - Camille Fayollas; Célia Martinie; Philippe A. Palanque; Eric Barboni; Yannick Deleris (EnCHIReS@EICS, 2016)

A three-fold approach towards increased assurance levels for interactive systems: a flight control unit case study. - Camille Fayollas; Jean-Charles Fabre; Philippe A. Palanque; Martin Cronel; David Navarre; Yannick Deleris (HCI-Aero, 2016)

User-Test Results Injection into Task-Based Design Process for the Assessment and Improvement of Both Usability and User Experience. - Regina Bernhaupt; Philippe A. Palanque; François Manciet; Célia Martinie (HCSE/HESSD, 2016)

Complementary Tools and Techniques for Supporting Fitness-for-Purpose of Interactive Critical Systems. - Dorrit Billman; Camille Fayollas; Michael Feary; Célia Martinie; Philippe A. Palanque (HCSE/HESSD, 2016)

Embedding explicit representation of cyber-physical elements in task models. - Racim Fahssi; Célia Martinie; Philippe A. Palanque (SMC, 2016)

Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web. - Camille Fayollas; Célia Martinie; Philippe A. Palanque; Paolo Masci 001; Michael D. Harrison; José Creissac Campos; Saulo Rodrigues e Silva (F-IDE@FM, 2016)

Task Model-Based Systematic Analysis of Both System Failures and Human Errors. - Célia Martinie; Philippe A. Palanque; Racim Fahssi; Jean-Paul Blanquart; Camille Fayollas; Christel Seguin (IEEE Trans. Hum. Mach. Syst., 2016)

Web Augmentation as a Promising Technology for End User Development. - Iñigo Aldalur; Marco Winckler; Oscar Díaz 001; Philippe A. Palanque (New Perspectives in End-User Development, 2017)

Topics of Formal Methods in HCI. - Judy Bowen; Alan J. Dix; Philippe A. Palanque; Benjamin Weyers (Handbook of Formal Methods in Human-Computer Interaction, 2017)

Trends and Gaps. - Alan J. Dix; Benjamin Weyers; Judy Bowen; Philippe A. Palanque (Handbook of Formal Methods in Human-Computer Interaction, 2017)

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 A. Palanque; Eric Barboni; Racim Fahssi; Arnaud Hamon (Handbook of Formal Methods in Human-Computer Interaction, 2017)

Dealing with Faults During Operations: Beyond Classical Use of Formal Methods. - Camille Fayollas; Philippe A. Palanque; Jean-Charles Fabre; Célia Martinie; Yannick Déléris (Handbook of Formal Methods in Human-Computer Interaction, 2017)

State of the Art on Formal Methods for Interactive Systems. - Raquel Oliveira Prates; Philippe A. Palanque; Benjamin Weyers; Judy Bowen; Alan J. Dix (Handbook of Formal Methods in Human-Computer Interaction, 2017)

Case Studies. - Benjamin Weyers; Michael D. Harrison; Judy Bowen; Alan J. Dix; Philippe A. Palanque (Handbook of Formal Methods in Human-Computer Interaction, 2017)

Turbulent Touch: Touchscreen Input for Cockpit Flight Displays. - Andy Cockburn; Carl Gutwin; Philippe A. Palanque; Yannick Deleris; Catherine Trask; Ashley Coveney; Marcus Yung; Karon E. MacLean (CHI, 2017)

Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems. - Philippe A. Palanque; Célia Martinie; Camille Fayollas (CHI Extended Abstracts, 2017)

A List of Pre-Requisites to Make Recommender Systems Deployable in Critical Context. - Elodie Bouzekri; Alexandre Canny; Camille Fayollas; Célia Martinie; Philippe A. Palanque; Eric Barboni; Yannick Deleris; Christine Gris (EnCHIReS@EICS, 2017)

QBP Notation for Explicit Representation of Properties, Their Refinement and Their Potential Conflicts: Application to Interactive Systems. - Camille Fayollas; Célia Martinie; Philippe A. Palanque; Yamine Aït Ameur (INTERACT Workshops, 2017)

Similarity as a Design Driver for User Interfaces of Dependable Critical Systems. - David Navarre; Philippe A. Palanque; Arnaud Hamon; Sabrina Della Pasqua (INTERACT Workshops, 2017)

Designing and Assessing Interactive Systems Using Task Models. - Philippe A. Palanque; Célia Martinie; Marco Winckler (INTERACT (4), 2017)

Mobile interaction with and in autonomous vehicles. - Alexander Meschtscherjakov; Manfred Tscheligi; Peter Fröhlich 003; Rod McCall; Andreas Riener; Philippe A. Palanque (MobileHCI, 2017)

Making the field of computing more inclusive. - Jonathan Lazar; Elizabeth F. Churchill; Tovi Grossman; Gerrit C. van der Veer; Philippe A. Palanque; John Morris; Jennifer Mankoff (Commun. ACM, 2017)

A More Intelligent Test Case Generation Approach through Task Models Manipulation. - José Creissac Campos; Camille Fayollas; Marcelo Gonçalves; Célia Martinie; David Navarre; Philippe A. Palanque; Miguel Pinto (Proc. ACM Hum. Comput. Interact., 2017)

Performance Evaluation of Interactive Systems with Interactive Cooperative Objects Models. - Célia Martinie; Philippe A. Palanque; Camille Fayollas (Computational Interaction, 2018)

Interacting with Autonomous Vehicles: Learning from other Domains. - Alexander Meschtscherjakov; Manfred Tscheligi; Bastian Pfleging; Shadan Sadeghian Borojeni; Wendy Ju; Philippe A. Palanque; Andreas Riener; Bilge Mutlu; Andrew L. Kun (CHI Extended Abstracts, 2018)

TOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications. - Célia Martinie; David Navarre; Philippe A. Palanque; Eric Barboni; Alexandre Canny (EICS, 2018)

Engineering Automations: From a Human Factor Perspective to Design, Implementation and Validation Challenges. - Philippe A. Palanque (EICS, 2018)

Enriching Task Models with Usability and User Experience Evaluation Data. - Regina Bernhaupt; Philippe A. Palanque; Dimitri Drouet; Célia Martinie (HCSE, 2018)

Rationalizing the Need of Architecture-Driven Testing of Interactive Systems. - Alexandre Canny; Elodie Bouzekri; Célia Martinie; Philippe A. Palanque (HCSE, 2018)

MIODMIT: A Generic Architecture for Dynamic Multimodal Interactive Systems. - Martin Cronel; Bruno Dumas; Philippe A. Palanque; Alexandre Canny (HCSE, 2018)

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 A. Palanque; Christine Gris (HWID, 2018)

Engaging Automation at Work - A Literature Review. - Virpi Roto; Philippe A. Palanque; Hannu Karvonen (HWID, 2018)

The evolution of SIGCHI conferences and the future of CHI. - Loren G. Terveen; Helena M. Mentis; Aaron Quigley; Philippe A. Palanque (Interactions, 2018)

On the Importance of Supporting Multiple Stakeholders Points of View for the Testing of Interactive Systems. - Alexandre Canny; Elodie Bouzekri; Célia Martinie; Philippe A. Palanque (EICS Workshops, 2019)

Trends on engineering interactive systems: an overview of works presented in workshops at EICS 2019. - Damiano Distante; Marco Winckler; Regina Bernhaupt; Judy Bowen; José Creissac Campos; Florian Müller 003; Philippe A. Palanque; Jan Van den Bergh 001; Benjamin Weyers; Alexandra Voit (EICS, 2019)

An Attempt to Fathom the Role of Annotations in User-Centered Design Process. - Jean-Luc Hak; Olivier Nicolas; Philippe A. Palanque; Marco Winckler (EICS Workshops, 2019)

A Roadmap and Some Directions Towards the Engineering of Interactive Systems Deployable in Safety Critical Contexts. - David Navarre; Philippe A. Palanque; Célia Martinie (EICS Workshops, 2019)

Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-Nets. - Alexandre Canny; David Navarre; José Creissac Campos; Philippe A. Palanque (FM Workshops (1), 2019)

Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets. - David Navarre; Philippe A. Palanque; Sven Coppers; Kris Luyten; Davy Vanacken (FM Workshops (1), 2019)

Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661. - Neeraj Kumar Singh 001; Yamine Aït Ameur; Dominique Méry; David Navarre; Philippe A. Palanque; Marc Pantel (FTSCS, 2019)

Handling Security, Usability, User Experience and Reliability in User-Centered Development Processes - IFIP WG 13.2 and WG 13.5 Workshop at INTERACT 2019. - Carmelo Ardito; Regina Bernhaupt; Philippe A. Palanque; Stefan Sauer 001 (INTERACT (4), 2019)

Characterizing Sets of Systems: Representation and Analysis of Across-Systems Properties. - Elodie Bouzekri; Alexandre Canny; Célia Martinie; Philippe A. Palanque (INTERACT Workshops, 2019)

Deep System Knowledge Required: Revisiting UCD Contribution in the Design of Complex Command and Control Systems. - Elodie Bouzekri; Alexandre Canny; Célia Martinie; Philippe A. Palanque; Christine Gris (INTERACT (1), 2019)

User Experience in an Automated World. - Philippe A. Palanque; Pedro F. Campos; José L. Abdelnour-Nocera; Torkil Clemmensen; Virpi Roto (INTERACT (4), 2019)

Introduction to Automation and to Its Potential for Interactive Systems Design. - Philippe A. Palanque; Célia Martinie; Elodie Bouzekri (INTERACT (4), 2019)

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 A. Palanque; Christine Gris; Yannick Deleris (iThings/GreenCom/CPSCom/SmartData, 2019)

Brace Touch: A Dependable, Turbulence-Tolerant, Multi-touch Interaction Technique for Interactive Cockpits. - Philippe A. Palanque; Andy Cockburn; Léopold Désert-Legendre; Carl Gutwin; Yannick Deleris (SAFECOMP, 2019)

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 A. Palanque; Eric Barboni; Yannick Deleris; Christine Gris (Int. J. Hum. Comput. Stud., 2019)

Design and evaluation of braced touch for touchscreen input stabilisation. - Andy Cockburn; Damien Masson; Carl Gutwin; Philippe A. Palanque; Alix Goguey; Marcus Yung; Christine Gris; Catherine Trask (Int. J. Hum. Comput. Stud., 2019)

The new SIGCHI EC's values and strategic initiatives. - 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; et al. (Interactions, 2019)

Fortunettes: Feedforward about the Future State of GUI Widgets. - Sven Coppers; Kris Luyten; Davy Vanacken; David Navarre; Philippe A. Palanque; Christine Gris (Proc. ACM Hum. Comput. Interact., 2019)

Analysing and Demonstrating Tool-Supported Customizable Task Notations. - Célia Martinie; Philippe A. Palanque; Elodie Bouzekri; Andy Cockburn; Alexandre Canny; Eric Barboni (Proc. ACM Hum. Comput. Interact., 2019)

An Integrated Framework for the Formal Analysis of Critical Interactive Systems. - Ismaïl Mendil; Neeraj Kumar Singh 001; Yamine Aït Ameur; Dominique Méry; Philippe A. Palanque (APSEC, 2020)

Ten Objectives and Ten Rules for Designing Automations in Interaction Techniques, User Interfaces and Interactive Systems. - Philippe A. Palanque (AVI, 2020)

Designing Safety Critical Interactions: Hunting Down Human Error. - Susanne Boll; Philippe A. Palanque; Alexander G. Mirnig; Jessica R. Cauchard; Margareta Holtensdotter Lützhöft; Michael S. Feary (CHI Extended Abstracts, 2020)

Automation Experience across Domains: Designing for Intelligibility, Interventions, Interplay and Integrity. - Peter Fröhlich 003; Matthias Baldauf; Philippe A. Palanque; Virpi Roto; Thomas Meneweger; Manfred Tscheligi; Zoe M. Becerra; Fabio Paternò (CHI Extended Abstracts, 2020)

A-RCRAFT: a Generic Framework for Automation Analysis and Design: Application to Automotive, Tactile in vehicle Interactions. - Philippe A. Palanque; Dong-Bach Vo; Stephen A. Brewster; Elodie Bouzekri; Célia Martinie (AutomationXP@CHI, 2020)

Task models based engineering of interactive systems. - Célia Martinie; Philippe A. Palanque (EICS, 2020)

A Generic Visualization Approach Supporting Task-Based Evaluation of Usability and User Experience. - Regina Bernhaupt; Célia Martinie; Philippe A. Palanque; Günter Wallner (HCSE, 2020)

A Generic Multimodels-Based Approach for the Analysis of Usability and Security of Authentication Mechanisms. - Nicolas Broders; Célia Martinie; Philippe A. Palanque; Marco Winckler; Kimmo Halunen (HCSE, 2020)

Model-Based Testing of GUI Applications Featuring Dynamic Instanciation of Widgets. - Alexandre Canny; Philippe A. Palanque; David Navarre (ICST Workshops, 2020)

User Tasks Description: a Retrospective, Recent Contributions and some Research Challenges. - Philippe A. Palanque (RoCHI, 2020)

A Classification of Faults Covering the Human-Computer Interaction Loop. - Philippe A. Palanque; Andy Cockburn; Carl Gutwin (SAFECOMP, 2020)

Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. - José Creissac Campos; Camille Fayollas; Michael D. Harrison; Célia Martinie; Paolo Masci 001; Philippe A. Palanque (ACM Trans. Comput. Hum. Interact., 2020)

Automation Experience at the Workplace. - Matthias Baldauf; Peter Fröhlich 003; Shadan Sadeghian; Philippe A. Palanque; Virpi Roto; Wendy Ju; Lynne Baillie; Manfred Tscheligi (CHI Extended Abstracts, 2021)

From Human-Human Computer Mediated Communication to Human-Automation Collaboration in the Light of Large Civil Aircraft Workplace. - Elodie Bouzekri; Célia Martinie; Philippe A. Palanque (AutomationXP@CHI, 2021)

Introductory Course on Automation and its Use for Interactive Systems Design and Engineering. - Philippe A. Palanque (CHI Extended Abstracts, 2021)

Standard Conformance-by-Construction with Event-B. - Ismaïl Mendil; Yamine Aït Ameur; Neeraj Kumar Singh 001; Dominique Méry; Philippe A. Palanque (FMICS, 2021)

Dependability and Safety: Two Clouds in the Blue Sky of Multimodal Interaction. - Philippe A. Palanque; David Navarre (ICMI, 2021)

HCI-E2: HCI Engineering Education - For Developers, Designers and More. - Konrad Baumann; José Creissac Campos; Alan J. Dix; Laurence Nigay; Philippe A. Palanque; Jean Vanderdonckt; Gerrit C. van der Veer; Benjamin Weyers (INTERACT (5), 2021)

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 A. Palanque; Katrina Atwood; Christine Gris (INTERACT (4), 2021)

UX for Some and Usability for Others: Issues of Blending Multi-user and Multi-property in Control Centers. - Elodie Bouzekri; Célia Martinie; Philippe A. Palanque; Erwann Poupart; Sandra Steere (INTERACT (Workshops), 2021)

Teaching HCI Engineering: Four Case Studies. - Sybille Caffiau; José Creissac Campos; Célia Martinie; Laurence Nigay; Philippe A. Palanque; Lucio Davide Spano (INTERACT (Workshops), 2021)

A Generic Framework for Structuring Configuration Management for Socio-technical System: Application to Control Rooms. - Célia Martinie; Philippe A. Palanque; Sandra Steere; David Navarre; Eric Barboni (INTERACT (Workshops), 2021)

Control Rooms in Safety Critical Contexts: Design, Engineering and Evaluation Issues - IFIP WG 13.5 Workshop at INTERACT 2021. - Tilo Mentler; Philippe A. Palanque; Susanne Boll; Chris Johnson; Kristof Van Laerhoven (INTERACT (5), 2021)

Control Rooms from a Human-Computer Interaction Perspective. - Tilo Mentler; Philippe A. Palanque; Michael D. Harrison; Kristof Van Laerhoven; Paolo Masci 001 (INTERACT (Workshops), 2021)

POISE: A Framework for Designing Perfect Interactive Systems with and for Imperfect People. - Philippe A. Palanque (INTERACT (1), 2021)

The Curriculum for Education in Engineering Interactive Systems at the Master in HCI of the University Toulouse III - Paul Sabatier. - Philippe A. Palanque; Célia Martinie (INTERACT (Workshops), 2021)

Leveraging Event-B Theories for Handling Domain Knowledge in Design Models. - Ismaïl Mendil; Yamine Aït Ameur; Neeraj Kumar Singh 001; Dominique Méry; Philippe A. Palanque (SETTA, 2021)

Heterogeneous Models and Modelling Approaches for Engineering of Interactive Systems. - Yamine Aït Ameur; Judy Bowen; José Creissac Campos; Philippe A. Palanque; Benjamin Weyers (Interact. Comput., 2021)

Engineering Task-based Augmented Reality Guidance: Application to the Training of Aircraft Flight Procedures. - Giorgia Lallai; Giovanni Loi Zedda; Célia Martinie; Philippe A. Palanque; Mauro Pisano; Lucio Davide Spano (Interact. Comput., 2021)

Model-based Engineering of Feedforward Usability Function for GUI Widgets. - David Navarre; Philippe A. Palanque; Sven Coppers; Kris Luyten; Davy Vanacken (Interact. Comput., 2021)

On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications. - Neeraj Kumar Singh 001; Yamine Aït Ameur; Romain Geniet; Dominique Méry; Philippe A. Palanque (Interact. Comput., 2021)

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 A. Palanque; Eric Barboni; Christine Gris (Proc. ACM Hum. Comput. Interact., 2021)

Designing and Engineering Interactive Computing Systems. - Mathias Funk; Rong-Hao Liang; Philippe A. Palanque; Jun Hu 001; Panos Markopoulos 001 (Proc. ACM Hum. Comput. Interact., 2021)

Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours. - Ismaïl Mendil; Peter Riviere; Yamine Aït Ameur; Neeraj Kumar Singh 001; Dominique Méry; Philippe A. Palanque (APSEC, 2022)

HCI and worker well-being in manufacturing industry. - Eva Geurts; Gustavo Alberto Rovelo Ruiz; Kris Luyten; Steven Houben; Benjamin Weyers; An Jacobs; Philippe A. Palanque (AVI, 2022)

Engaging with Automation: Understanding and Designing for Operation, Appropriation, and Behaviour Change. - Matthias Baldauf; Peter Fröhlich 003; Virpi Roto; Philippe A. Palanque; Siân Lindley; Jon Rogers; Wendy Ju; Manfred Tscheligi (CHI Extended Abstracts, 2022)

Task Models Based Gameful Design as a Mean to Increase Engagement with Automation. - Célia Martinie; Philippe A. Palanque (AutomationXP@CHI, 2022)

How to Design and Assess Automation for Interactive Applications and Interaction Techniques. - Philippe A. Palanque (CHI Extended Abstracts, 2022)

Engineering Awareness in Interfaces: Focus on Automation and Visualization. - Juan Enrique Garrido; Philippe A. Palanque; Aaron Quigley; Marco Winckler (EICS (Companion), 2022)

Re-envisioning Interaction in the (General) Aviation Cockpit through Tangibles. - Sebastian S. Feger; Christopher Katins; Philippe A. Palanque; Thomas Kosch (ETIS, 2022)

Models-Based Analysis of Both User and Attacker Tasks: Application to EEVEHAC. - Sara Nikula; Célia Martinie; Philippe A. Palanque; Julius Hekkala; Outi-Marja Latvala; Kimmo Halunen (HCSE, 2022)

Mining human factors general trends from +100k UML class diagrams. - Maxime Savary-Leblanc; Xavier Le Pallec; Philippe A. Palanque; Célia Martinie; Arnaud Blouin; Frédéric Jouault; Mickael Clavreul; Thibault Raffaillac (MoDELS (Companion), 2022)

A task-model based approach for detecting ADL-related anomalies. - José Manuel Negrete Ramírez; Célia Martinie; Philippe A. Palanque; Yudith Cardinale (WiMob, 2022)

Engineering Annotations: A Generic Framework For Gluing Design Artefacts in Models of Interactive Systems. - Marco Winckler; Philippe A. Palanque; Jean-Luc Hak; Eric Barboni; Olivier Nicolas; Laurent Goncalves (CoRR, 2022)

HCI for general aviation: current state and research challenges. - Sebastian S. Feger; Felix Ehrentraut; Christopher Katins; Philippe A. Palanque; Thomas Kosch (Interactions, 2022)

Engineering Interactive Computing Systems 2022: Editorial Introduction. - Kris Luyten; Philippe A. Palanque; Aaron J. Quigley; Marco Winckler (Proc. ACM Hum. Comput. Interact., 2022)

Engineering Operations-based Training. - Célia Martinie; David Navarre; Philippe A. Palanque; Eric Barboni; Sandra Steere (Proc. ACM Hum. Comput. Interact., 2022)

Engineering Annotations: A Generic Framework for Gluing Design Artefacts of Interactive Systems. - Marco Winckler; Philippe A. Palanque; Jean-Luc Hak; Eric Barboni; Olivier Nicolas; Laurent Goncalves (Proc. ACM Hum. Comput. Interact., 2022)

Intervening, Teaming, Delegating: Creating Engaging Automation Experiences. - Peter Fröhlich 003; Matthias Baldauf; Philippe A. Palanque; Virpi Roto; Fabio Paternò; Wendy Ju; Manfred Tscheligi (CHI Extended Abstracts, 2023)

Going Beyond Usability and UX: Adding Dependability, Safety and Security to Interactive Systems and Interactive Technologies. - Philippe A. Palanque (CHI Extended Abstracts, 2023)

MUMR-MIODMIT: A Generic Architecture Extending Standard Interactive Systems Architecture to Address Engineering Issues for Rehabilitation. - Axel Carayon; Célia Martinie; Philippe A. Palanque (EICS (Workshops), 2023)

Engineering Interactive Systems Embedding AI Technologies. - Alan J. Dix; Sven Mayer; Philippe A. Palanque; Emanuele Panizzi; Lucio Davide Spano (EICS (Companion), 2023)

Engineering AI-Similar Designs: Should I Engineer My Interactive System with AI Technologies? - David Navarre; Philippe A. Palanque; Célia Martinie (EICS (Workshops), 2023)

ADL Monitoring of Elderly People in Smart Homes Based on Task Models. - José Manuel Negrete Ramírez; Célia Martinie; Philippe A. Palanque; Yudith Cardinale (Intelligent Environments (Workshops), 2023)

I Perform My Work with My Body Too: Integrating Body Representations in and with Task Models. - Axel Carayon; Célia Martinie; Philippe A. Palanque (INTERACT (2), 2023)

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. - Tilo Mentler; Philippe A. Palanque; Kristof Van Laerhoven; Margareta Holtensdotter Lützhöft; Nadine Flegel (INTERACT (4), 2023)

From One to Many, from Onsite to Remote: Control Rooms as Diverse Contexts of Use. - Tilo Mentler; Philippe A. Palanque; Kristof Van Laerhoven; Margareta Holtensdotter Lützhöft; Nadine Flegel (INTERACT Workshops (1), 2023)

A Multi-perspective Panel on User-Centred Transparency, Explainability, and Controllability in Automations. - Philippe A. Palanque; Fabio Paternò; Virpi Roto; Albrecht Schmidt 001; Simone Stumpf; Jürgen Ziegler 001 (INTERACT (4), 2023)

7th International Workshop on Human Factors in Modeling / Modeling of Human Factors (HuFaMo 2023). - Arnaud Blouin; Silvia Abrahão; Philippe A. Palanque; Bran Selic (MoDELS (Companion), 2023)

Task Models as a Mean to Identify and Justify Automations in Development Tasks. - Axel Carayon; Célia Martinie; Philippe A. Palanque (MoDELS (Companion), 2023)

AMAN Case Study. - Philippe A. Palanque; José Creissac Campos (ABZ, 2023)

Formal domain-driven system development in Event-B: Application to interactive critical systems. - Ismaïl Mendil; Yamine Aït-Ameur; Neeraj Kumar Singh 001; Guillaume Dupont; Dominique Méry; Philippe A. Palanque (J. Syst. Archit., 2023)

Engineering Rehabilitation: Blending Two Tool-supported Approaches to Close the Loop from Tasks-based Rehabilitation to Exercises and Back Again. - Axel Carayon; Juan Enrique Garrido; Célia Martinie; Philippe A. Palanque; Eric Barboni; María Dolores Lozano 001; Victor M. Ruiz Penichet (Proc. ACM Hum. Comput. Interact., 2023)

F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID. - Neeraj Kumar Singh 001; Yamine Aït-Ameur; Ismaïl Mendil; Dominique Méry; David Navarre; Philippe A. Palanque; Marc Pantel (J. Softw. Evol. Process., 2023)

Increasing engagement and well-being of operators working with automation by integrating task models and gameful design. - Célia Martinie; Philippe A. Palanque; Eric Barboni (Pers. Ubiquitous Comput., 2023)

50 years of Research in Engineering Interactive Computing Systems: the CCL 1974 to EICS 2024 journey. - José Creissac Campos; Kris Luyten; Laurence Nigay; Philippe A. Palanque; Fabio Paternò; Lucio Davide Spano; Jean Vanderdonckt (EICS (Companion), 2024)

Adding a Non-dependable AI Component to Increase Dependability of an Interactive Application. - Axel Carayon; Camille Fayollas; Célia Martinie; David Navarre; Philippe A. Palanque (EICS (Workshops), 2024)

Second Workshop on Engineering Interactive Systems Embedding AI Technologies. - Alan J. Dix; Kris Luyten; Sven Mayer; Philippe A. Palanque; Emanuele Panizzi; Lucio Davide Spano; Jürgen Ziegler 001 (EICS (Companion), 2024)

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 A. Palanque; Théo Saubanère (HAISA (1), 2024)

Taking into Account Human Error when Assessing the Impact of Dependability on Usability. - Camille Fayollas; Célia Martinie; Philippe A. Palanque (ISSRE (Workshops), 2024)

Editorial: HCI and worker well-being. - Eva Geurts; Gustavo Alberto Rovelo Ruiz; Kris Luyten; Philippe A. Palanque (Frontiers Comput. Sci., 2024)

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 A. Palanque; Eric Barboni; Sandra Steere (Proc. ACM Hum. Comput. Interact., 2024)

Hybrid Automation Experiences - Communication, Coordination, and Collaboration within Human-AI Teams. - Philipp Spitzer; Matthias Baldauf; Philippe A. Palanque; Virpi Roto; Katelyn Morrison; Domenique Zipperling; Joshua Holstein (CHI Extended Abstracts, 2025)

Engineering Interactive Systems Embedding AI Technologies (3rd workshop on). - Barbara Rita Barricelli; José Creissac Campos; Kris Luyten; Sven Mayer; Philippe A. Palanque; Emanuele Panizzi; Lucio Davide Spano; Simone Stumpf (EICS (Companion), 2025)

Introduction to the special issue Selected Papers at INTERACT 2023 Conference. - Marco Winckler; Marta Lárusdóttir; Philippe A. Palanque; José L. Abdelnour-Nocera; Paula Kotzé; Simone D. J. Barbosa; Antonio Piccinno (Interact. Comput., 2025)

Deep Learning-Based Facial Expression Recognition for the Elderly: A Systematic Review. - Francesc Xavier Gaya-Morey; Jose Maria Buades Rubio; Philippe A. Palanque; Raquel Lacuesta; Cristina Manresa-Yee (CoRR, 2025)