Eric Barboni

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 14

Top Topics

Interactive Systems

Collision Avoidance

Top Venues

Proc. ACM Hum. Comput. Interact.

INTERACT (Workshops)

Publications

Axel Carayon, Célia Martinie, Philippe A. Palanque, Eric Barboni, Sandra Steere
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. 8 (EICS) (2024)
Carayon Axel, Juan Enrique Garrido, Célia Martinie, Philippe A. Palanque, Eric Barboni, María Dolores Lozano, Victor M. Ruiz Penichet
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. 7 (EICS) (2023)
Célia Martinie, Philippe A. Palanque, Eric Barboni
Increasing engagement and well-being of operators working with automation by integrating task models and gameful design. Pers. Ubiquitous Comput. 27 (6) (2023)
Marco Winckler, Philippe A. Palanque, Jean-Luc Hak, Eric Barboni, Olivier Nicolas, Laurent Goncalves
Engineering Annotations: A Generic Framework for Gluing Design Artefacts of Interactive Systems. Proc. ACM Hum. Comput. Interact. 6 (EICS) (2022)
Marco Winckler, Philippe A. Palanque, Jean-Luc Hak, Eric Barboni, Olivier Nicolas, Laurent Goncalves
Engineering Annotations: A Generic Framework For Gluing Design Artefacts in Models of Interactive Systems. CoRR (2022)
Célia Martinie, David Navarre, Philippe A. Palanque, Eric Barboni, Sandra Steere
Engineering Operations-based Training. Proc. ACM Hum. Comput. Interact. 6 (EICS) (2022)
Célia Martinie, Philippe A. Palanque, Sandra Steere, David Navarre, Eric Barboni
A Generic Framework for Structuring Configuration Management for Socio-technical System: Application to Control Rooms. INTERACT (Workshops) (2021)
Alexandre Canny, Célia Martinie, David Navarre, Philippe A. Palanque, Eric Barboni, Christine Gris
Engineering Model-Based Software Testing of WIMP Interactive Applications: A Process based on Formal Models and the SQUAMATA Tool. Proc. ACM Hum. Comput. Interact. 5 (EICS) (2021)
Elodie Bouzekri, Alexandre Canny, Camille Fayollas, Célia Martinie, Philippe A. Palanque, Eric Barboni, Yannick Deleris, Christine Gris
Engineering issues related to the development of a recommender system in a critical context: Application to interactive cockpits. Int. J. Hum. Comput. Stud. 121 (2019)
Célia Martinie, Philippe A. Palanque, Elodie Bouzekri, Andy Cockburn, Alexandre Canny, Eric Barboni
Analysing and Demonstrating Tool-Supported Customizable Task Notations. Proc. ACM Hum. Comput. Interact. 3 (EICS) (2019)
Célia Martinie, David Navarre, Philippe A. Palanque, Eric Barboni, Alexandre Canny
TOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications. EICS (2018)
Elodie Bouzekri, Alexandre Canny, Camille Fayollas, Célia Martinie, Philippe A. Palanque, Eric Barboni, Yannick Deleris, Christine Gris
A List of Pre-Requisites to Make Recommender Systems Deployable in Critical Context. EnCHIReS@EICS (2017)
Camille Fayollas, Célia Martinie, Philippe A. Palanque, Eric Barboni, Yannick Deleris
What Can Be Learnt from Engineering Safety Critical Partly-Autonomous Systems when Engineering Recommender Systems. EnCHIReS@EICS (2016)
Marco Winckler, Ricardo Andrade Cava, Eric Barboni, Philippe A. Palanque, Carla M. D. S. Freitas
Usability Aspects of the Inside-in Approach for Ancillary Search Tasks on the Web. INTERACT (2) (2015)
Arnaud Hamon, Philippe A. Palanque, Martin Cronel, Raphaël André, Eric Barboni, David Navarre
Formal modelling of dynamic instantiation of input devices and interaction techniques: application to multi-touch interactions. EICS (2014)
Ricardo Andrade Cava, Carla Maria Dal Sasso Freitas, Eric Barboni, Philippe A. Palanque, Marco Winckler
Inside-In Search: An Alternative for Performing Ancillary Search Tasks on the Web. LA-WEB (2014)
Célia Martinie, Eric Barboni, David Navarre, Philippe A. Palanque, Racim Fahssi, Erwann Poupart, Eliane Cubero-Castan
Multi-models-based engineering of collaborative systems: application to collision avoidance operations for spacecraft. EICS (2014)
Camille Fayollas, Philippe A. Palanque, Jean-Charles Fabre, David Navarre, Eric Barboni, Martin Cronel, Yannick Deleris
A fault-tolerant architecture for resilient interactive systems. IHM (2014)
Arnaud Hamon, Eric Barboni, Philippe A. Palanque, Raphaël André
Notation and a Layered Architecture to Model Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions. EGMI@EICS (2014)
Eric Barboni, Célia Martinie, David Navarre, Philippe A. Palanque, Marco Winckler
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. 86 (2014)
Hamon-Keromen Arnaud, Philippe A. Palanque, José Luís Silva, Yannick Deleris, Eric Barboni
Formal description of multi-touch interactions. EICS (2013)
Camille Fayollas, Jean-Charles Fabre, Philippe A. Palanque, Eric Barboni, David Navarre, Yannick Deleris
Interactive cockpits as critical applications: a model-based and a fault-tolerant approach. Int. J. Crit. Comput. Based Syst. 4 (3) (2013)
José Luís Silva, Camille Fayollas, Arnaud Hamon, Philippe A. Palanque, Célia Martinie, Eric Barboni
Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 69 (2013)
Célia Martinie, Philippe A. Palanque, David Navarre, Eric Barboni, Marco Winckler
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 (2012)
Célia Martinie, Philippe A. Palanque, David Navarre, Eric Barboni
A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments. HCSE (2012)
Célia Martinie, Philippe A. Palanque, Eric Barboni, Marco Winckler, Martina Ragosta, Alberto Pasquini, Paola Lanzi
Formal tasks and systems models as a tool for specifying and assessing automation designs. ATACCS (2011)
David Navarre, Philippe A. Palanque, Eric Barboni, Jean-François Ladry, Célia Martinie
Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach. Reliab. Eng. Syst. Saf. 96 (1) (2011)
Célia Martinie, Philippe A. Palanque, Eric Barboni, Martina Ragosta
Task-model based assessment of automation levels: Application to space ground segments. SMC (2011)
Philippe A. Palanque, Eric Barboni, Célia Martinie, David Navarre, Marco Winckler
A model-based approach for supporting engineering usability evaluation of interaction techniques. EICS (2011)
Jean-François Ladry, Philippe A. Palanque, David Navarre, Eric Barboni, Marco Winckler
Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction. IHM (2010)
Eric Barboni, Jean-François Ladry, David Navarre, Philippe A. Palanque, Marco Winckler
Beyond modelling: an integrated environment supporting co-execution of tasks and systems models. EICS (2010)
Philippe A. Palanque, Jean-François Ladry, David Navarre, Eric Barboni
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too. HCI (1) (2009)
David Navarre, Philippe A. Palanque, Jean-François Ladry, Eric Barboni
ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability. ACM Trans. Comput. Hum. Interact. 16 (4) (2009)
Philippe A. Palanque, Jean-François Ladry, Eric Barboni, David Navarre, Marco Winckler
Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs. IHM (2009)
David Navarre, Philippe A. Palanque, Eric Barboni, Tomasz Mistrzyk
On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing. TAMODIA (2007)
Stéphane Conversy, Eric Barboni, David Navarre, Philippe A. Palanque
Improving Modularity of Interactive Software with the MDPC Architecture. EHCI/DS-VIS (2007)
Eric Barboni, David Navarre, Philippe A. Palanque, Sandra Basnyat
A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661. SIES (2007)
Eric Barboni, Stéphane Conversy, David Navarre, Philippe A. Palanque
Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. DSV-IS (2006)
Rémi Bastide, Eric Barboni
Software Components: a Formal Semantics Based on Coloured Petri Nets. Electron. Notes Theor. Comput. Sci. 160 (2006)
Marco Winckler, Eric Barboni, Philippe A. Palanque, Christelle Farenc
What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications? Electron. Notes Theor. Comput. Sci. 157 (2) (2006)
Marco Winckler, Eric Barboni, Philippe A. Palanque, Christelle Farenc
What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications? WWV (2005)
Marco Winckler, Christelle Farenc, Eric Barboni, Florence Pontico
Modélisation orientée tâche de la navigation d'une application web: catalogue des thèses de I'AFIHM. IHM (2005)
Marco Winckler, Eric Barboni, Christelle Farenc, Philippe A. Palanque
SWCEDITOR: a Model-Based Tool for Interactive Modelling of Web Navigation. CADUI (2004)