Eric Barboni
Orcid: 0000-0002-4235-9543
According to our database1,
Eric Barboni
authored at least 43 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
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., 2024
2023
Increasing engagement and well-being of operators working with automation by integrating task models and gameful design.
Pers. Ubiquitous Comput., December, 2023
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., June, 2023
2022
Engineering Annotations: A Generic Framework for Gluing Design Artefacts of Interactive Systems.
Proc. ACM Hum. Comput. Interact., 2022
Engineering Annotations: A Generic Framework For Gluing Design Artefacts in Models of Interactive Systems.
CoRR, 2022
2021
Engineering Model-Based Software Testing of WIMP Interactive Applications: A Process based on Formal Models and the SQUAMATA Tool.
Proc. ACM Hum. Comput. Interact., 2021
A Generic Framework for Structuring Configuration Management for Socio-technical System: Application to Control Rooms.
Proceedings of the Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30, 2021
2019
Proc. ACM Hum. Comput. Interact., 2019
Engineering issues related to the development of a recommender system in a critical context: Application to interactive cockpits.
Int. J. Hum. Comput. Stud., 2019
2018
TOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2018
2017
Proceedings of the Second Workshop on Engineering Computer-Human Interaction in Recommender Systems co-located with the 9th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2017), 2017
Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment.
Proceedings of the Handbook of Formal Methods in Human-Computer Interaction., 2017
2016
What Can Be Learnt from Engineering Safety Critical Partly-Autonomous Systems when Engineering Recommender Systems.
Proceedings of the Workshop on Engineering Computer-Human Interaction in Recommender Systems co-located with the eight ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016
2015
Proceedings of the Human-Computer Interaction - INTERACT 2015, 2015
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.
Sci. Comput. Program., 2014
Proceedings of the 9th Latin American Web Congress, 2014
Proceedings of the 26th Conference on l'Interaction Homme-Machine, 2014
Multi-models-based engineering of collaborative systems: application to collision avoidance operations for spacecraft.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2014
Formal modelling of dynamic instantiation of input devices and interaction techniques: application to multi-touch interactions.
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2014
Notation and a Layered Architecture to Model Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions.
Proceedings of the Workshop on Engineering Gestures for Multimodal Interfaces Co-located with the 6th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2014
2013
Interactive cockpits as critical applications: a model-based and a fault-tolerant approach.
Int. J. Crit. Comput. Based Syst., 2013
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2013
2012
A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments.
Proceedings of the Human-Centered Software Engineering - 4th International Conference, 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.
Proceedings of the Ergonomie et Interaction Homme-Machine, 2012
2011
Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach.
Reliab. Eng. Syst. Saf., 2011
Task-model based assessment of automation levels: Application to space ground segments.
Proceedings of the IEEE International Conference on Systems, 2011
A model-based approach for supporting engineering usability evaluation of interaction techniques.
Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2011
Formal tasks and systems models as a tool for specifying and assessing automation designs.
Proceedings of the 1st International Conference on Application and Theory of Automation in Command and Control Systems, 2011
2010
Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction.
Proceedings of the Conference Internationale Francophone sur I'Interaction Homme-Machine, 2010
Beyond modelling: an integrated environment supporting co-execution of tasks and systems models.
Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2010
2009
ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability.
ACM Trans. Comput. Hum. Interact., 2009
Une approche formelle pour i'evaluation de la tolérance aux interruptions des système interactifs.
Proceedings of the 21st International Conference of the Association Francophone d'Interaction Homme-Machine, 2009
Proceedings of the Human-Computer Interaction. New Trends, 13th International Conference, 2009
2007
On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing.
Proceedings of the Task Models and Diagrams for User Interface Design, 2007
A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661.
Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007
Proceedings of the Engineering Interactive Systems - EIS 2007 Joint Working Conferences, 2007
2006
Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification.
Proceedings of the Interactive Systems. Design, 2006
2005
What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?
Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, 2005
Proceedings of the International Workshop on Formal Aspects of Component Software, 2005
Modélisation orientée tâche de la navigation d'une application web: catalogue des thèses de I'AFIHM.
Proceedings of the 17th international conference on Francophone sur l'Interaction Homme-Machine, 2005
2004
SWCEDITOR: a Model-Based Tool for Interactive Modelling of Web Navigation.
Proceedings of the Computer-Aided Design of User Interfaces IV, 2004