default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEric Barboni
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
[j13]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): 1-31 (2024)- 2023
- [j12]Axel Carayon, 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): 1-23 (2023) - [j11]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): 2339-2366 (2023) - 2022
- [j10]Célia Martinie, David Navarre, Philippe A. Palanque, Eric Barboni, Sandra Steere:
Engineering Operations-based Training. Proc. ACM Hum. Comput. Interact. 6(EICS): 164:1-164:25 (2022) - [j9]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): 174:1-174:36 (2022) - 2021
- [j8]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): 207:1-207:30 (2021) - 2019
- [j7]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: 122-141 (2019) - [j6]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): 12:1-12:26 (2019) - 2014
- [j5]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: 3-29 (2014) - 2013
- [j4]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) - [j3]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): 202-226 (2013) - 2011
- [j2]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): 38-52 (2011) - 2009
- [j1]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): 18:1-18:56 (2009)
Conference and Workshop Papers
- 2021
- [c29]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: 290-301 - 2018
- [c28]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: 4:1-4:7 - 2017
- [c27]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: 42-55 - 2016
- [c26]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: 14-25 - 2015
- [c25]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: 211-230 - 2014
- [c24]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: 15-21 - [c23]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: 85-94 - [c22]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: 173-178 - [c21]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: 80-90 - [c20]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: 91-99 - 2013
- [c19]Hamon-Keromen Arnaud, Philippe A. Palanque, José Luís Silva, Yannick Deleris, Eric Barboni:
Formal description of multi-touch interactions. EICS 2013: 207-216 - 2012
- [c18]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: 81 - [c17]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: 72-93 - 2011
- [c16]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: 50-59 - [c15]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: 21-30 - [c14]Célia Martinie, Philippe A. Palanque, Eric Barboni, Martina Ragosta:
Task-model based assessment of automation levels: Application to space ground segments. SMC 2011: 3267-3273 - 2010
- [c13]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: 165-174 - [c12]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: 81-88 - 2009
- [c11]Philippe A. Palanque, Jean-François Ladry, David Navarre, Eric Barboni:
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too. HCI (1) 2009: 667-676 - [c10]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: 141-150 - 2007
- [c9]Stéphane Conversy, Eric Barboni, David Navarre, Philippe A. Palanque:
Improving Modularity of Interactive Software with the MDPC Architecture. EHCI/DS-VIS 2007: 321-338 - [c8]Eric Barboni, David Navarre, Philippe A. Palanque, Sandra Basnyat:
A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661. SIES 2007: 250-257 - [c7]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: 140-154 - 2006
- [c6]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: 25-38 - 2005
- [c5]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: 91-98 - [c4]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: 33-36 - [c3]Rémi Bastide, Eric Barboni:
Software Components: a Formal Semantics Based on Coloured Petri Nets. FACS 2005: 57-73 - [c2]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: 207-211 - 2004
- [c1]Marco Winckler, Eric Barboni, Christelle Farenc, Philippe A. Palanque:
SWCEDITOR: a Model-Based Tool for Interactive Modelling of Web Navigation. CADUI 2004: 55-66
Parts in Books or Collections
- 2017
- [p1]Camille Fayollas, Célia Martinie, Philippe A. Palanque, Eric Barboni, Racim Fahssi, Arnaud Hamon:
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 2017: 465-504
Informal and Other Publications
- 2022
- [i1]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 abs/2205.01333 (2022)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-03 21:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
