Eric Barboni

44 papers B 1Misc 6Journal 14Unranked 22
YearRankTypeTitle / Venue / Authors
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
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
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
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 J jnl
Engineering Operations-based Training.
Proc. ACM Hum. Comput. Interact.
Célia Martinie, David Navarre, Philippe A. Palanque, Eric Barboni, Sandra Steere
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 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
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 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
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
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 — 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
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 — 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
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
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 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é
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 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
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 — 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
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
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 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
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 — 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 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 — 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
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
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
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
2005 — conf
Modélisation orientée tâche de la navigation d'une application web: catalogue des thèses de I'AFIHM.
IHM
Marco Winckler, Christelle Farenc, Eric Barboni, Florence Pontico
2005 — conf
Software Components: a Formal Semantics Based on Coloured Petri Nets.
FACS
Rémi Bastide, Eric Barboni
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 — conf
SWCEDITOR: a Model-Based Tool for Interactive Modelling of Web Navigation.
CADUI
Marco Winckler, Eric Barboni, Christelle Farenc, Philippe A. Palanque