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

Modélisation orientée tâche de la navigation d'une application web: catalogue des thèses de I'AFIHM. - Marco Winckler; Christelle Farenc; Eric Barboni; Florence Pontico (IHM, 2005)

Software Components: a Formal Semantics Based on Coloured Petri Nets. - Rémi Bastide; Eric Barboni (FACS, 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)

Improving Modularity of Interactive Software with the MDPC Architecture. - Stéphane Conversy; Eric Barboni; David Navarre; Philippe A. Palanque (EHCI/DS-VIS, 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)

High-Fidelity Prototyping of Interactive Systems Can Be Formal Too. - Philippe A. Palanque; Jean-François Ladry; David Navarre; Eric Barboni (HCI (1), 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)

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)

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)

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)

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)

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)

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)

Formal description of multi-touch interactions. - Hamon-Keromen Arnaud; Philippe A. Palanque; José Luís Silva 001; Yannick Deleris; Eric Barboni (EICS, 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)

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)

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)

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)

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)

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)

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)

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)

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 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)

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)

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)

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)

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)

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)

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)

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)

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)