Displaying 63 out of 63 publications (Excluding: Ph.D Theses, Habilitation Theses)

2024

  • International journals articlesCélia Martinie, Philippe Palanque, David Navarre, Eric Barboni. Towards MBSE engineering dedicated to socio-technical interactive systems. CEAS Space Journal.

2023

  • International journals articlesCélia Martinie, Philippe Palanque, Eric Barboni. Increasing engagement and well-being of operators working with automation by integrating task models and gameful design. Personal and Ubiquitous Computing. p:1--28.
  • International journals articlesAxel Carayon, Juan Garrido, Célia Martinie, Philippe Palanque, Eric Barboni, María Dolores Lozano, Victor Penichet. Engineering Rehabilitation: Blending Two Tool-supported Approaches to Close the Loop from Tasks-based Rehabilitation to Exercises and Back Again. Proceedings of the ACM on Human-Computer Interaction. p:1-23.

2022

  • International journals articlesCélia Martinie, David Navarre, Philippe Palanque, Eric Barboni, Sandra Steere. Engineering Operations-based Training. Proceedings of the ACM on Human-Computer Interaction. p:1-25.
  • International journals articlesMarco Winckler, Philippe Palanque, Jean-Luc Hak, Eric Barboni, Olivier Nicolas, Laurent Goncalves. Engineering Annotations: A Generic Framework For Gluing Design Artefacts in Models of Interactive Systems. Proceedings of the ACM on Human-Computer Interaction. p:1-36.
  • Books partsCélia Martinie, Philippe Palanque, Eric Barboni. Principles of Task Analysis and Modeling: Understanding Activity, Modeling Tasks, and Analyzing Models. Handbook of Human Computer Interaction. Handbook of Human Computer Interaction. p:1-40. Springer International Publishing.
  • International conferences articlesSandra Steere, Eric Barboni, Célia Martinie, David Navarre, Philippe Palanque, Daniel Rodriguez Hernando, Francesc Tinto. Operator-centered and model-based design for critical HMIS. 3rd Ground-Based Space Facilities Symposium (GBSF 2022). p:1-9.

2021

  • International journals articlesAlexandre Canny, Célia Martinie, David Navarre, Philippe Palanque, Eric Barboni, Christine Gris. Engineering Model-Based Software Testing of WIMP Interactive Applications: A Process based on Formal Models and the SQUAMATA Tool. Proceedings of the ACM on Human-Computer Interaction. p:1-30.
  • International conferences articlesCélia Martinie, Philippe Palanque, Sandra Steere, David Navarre, Eric Barboni. A Generic Framework for Structuring Configuration Management for Socio-technical System: Application to Control Rooms. IFIP WG 13.5 Workshop: Control Rooms in Safety Critical Contexts: Design, Engineering and Evaluation Issues (WS07) @ INTERACT 2021. p:290-301. Springer.

2019

  • International journals articlesElodie Bouzekri, Alexandre Canny, Camille Fayollas, Célia Martinie, Philippe Palanque, Eric Barboni, Yannick Déléris, Christine Gris. Engineering Issues Related to the Development of a Recommender System in a Critical Context: Application to Interactive Cockpits. International Journal of Human-Computer Studies. p:122-141.
  • International journals articlesCélia Martinie, Philippe Palanque, Elodie Bouzekri, Andy Cockburn, Alexandre Canny, Eric Barboni. Analysing and Demonstrating Tool-Supported Customizable Task Notations. Proceedings of the ACM on Human-Computer Interaction. p:1-26.
  • International conferences articlesElodie Bouzekri, Alexandre Canny, Célia Martinie, Philippe Palanque, Eric Barboni, David Navarre, Christine Gris, Yannick Déléris. Revisiting system's pages in engine indication and alerting system for flight crew using the DSCU architecture and the OQCR system generic state description. INCOSE International Conference on Human System Integration (INCOSE HSI 2019). p:1-9.

2018

  • International conferences articlesCélia Martinie, David Navarre, Philippe Palanque, Eric Barboni, Alexandre Canny. TOUCAN: An IDE Supporting the Development of Effective Interactive Java Applications. ACM SIGCHI conference Engineering Interactive Computing Systems (EICS 2018). p:1-7. ACM.

2017

  • Books partsCamille Fayollas, Célia Martinie, Philippe 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. p:465-504. Springer.
  • International conferences articlesElodie Bouzekri, Alexandre Canny, Camille Fayollas, Célia Martinie, Philippe Palanque, Eric Barboni, Yannick Déléris, Christine Gris. A List of Pre-Requisites to Make Recommender Systems Deployable in Critical Context. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2017 (SIGCHI - EICS). CEUR Workshop Proceedingsvol:1945. p:42-55. CEUR-WS : Workshop proceedings.

2016

  • International conferences articlesCamille Fayollas, Célia Martinie, Philippe Palanque, Eric Barboni, Yannick Déléris. What Can Be Learnt from Engineering Safety Critical Partly-Autonomous Systems when Engineering Recommender Systems. EncWorkshop on Engineering Computer-Human Interaction in Recommender Systems 2016 (EnCHIReS). CEUR-WS : Workshop proceedings.

2015

  • International conferences articlesEric Barboni, Arnaud Hamon, Célia Martinie, Philippe Palanque. A User-Centered View on Formal Methods: Interactive Support for Validation and Verification. Workshop on Formal Methods in Human Computer Interaction 2015 (FoMHCI). p:24-29. RWTH Aachen University.
  • International conferences articlesMarco Winckler, Carla Freitas, Philippe Palanque, Ricardo Cava, Eric Barboni. Usability aspects of the inside-in approach for ancillary search tasks on the web. IFIP TC 13 International Conference on Human-Computer Interaction 2015 (INTERACT). LNCSvol:9297. p:207-226. Springer.

2014

  • Books (monograph)Arnaud Hamon, Eric Barboni, Philippe Palanque, Raphaël André. A Notation and a Layered Architecture to Model Dynamic Instantiation of Input Devices and Interaction Techniques: Application to Multi-Touch Interactions. vol:1190. CEUR-WS : Workshop proceedings.
  • International journals articlesEric Barboni, Célia Martinie, David Navarre, Philippe Palanque, Marco Winckler. Bridging the Gap between a Behavioural Formal Description Technique and User Interface description language: Enhancing ICO with a Graphical User Interface markup language. Science of Computer Programming vol:86. p:3-29. Elsevier.
  • International conferences articlesMarco Winckler, Eric Barboni, Charly Carrère. Semantics of States and Transitions in statecharts-based markup languages: a comparative study between SWC and SCXML. Workshop on Engineering Interactive Computer Systems with SCXML 2014. p:28-32. Technical University of Darmstadt.
  • International conferences articlesRicardo Cava, Carla Freitas, Eric Barboni, Philippe Palanque, Marco Winckler. Inside-In Search: An Alternative for Performing Ancillary Search Tasks on the Web. Latin American Web Congress 2014 (LA-WEB). p:91-99. IEEE : Institute of Electrical and Electronics Engineers.
  • International conferences articlesArnaud Hamon, Philippe 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. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2014 (SIGCHI - EICS). p:173-178. ACM : Association for Computing Machinery.
  • International conferences articlesCélia Martinie, Eric Barboni, David Navarre, Philippe Palanque, Racim Fahssi, Erwann Poupart, Eliane Cubero-Castan. Multi-Models-Based Engineering of Collaborative Systems: Application to Collision Avoidance Operations for Spacecrafts. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2014 (SIGCHI - EICS). ACM Digital Library.
  • National conferences articlesCamille Fayollas, Philippe Palanque, Jean-Charles Fabre, David Navarre, Eric Barboni, Martin Cronel, Yannick Déléris. A fault-tolerant architecture for resilient interactive systems. Conférence Francophone sur l'Interaction Homme-Machine 2014 (IHM). p:80-90. ACM : Association for Computing Machinery.

2013

  • International journals articlesCamille Fayollas, Jean-Charles Fabre, Philippe Palanque, Eric Barboni, David Navarre, Yannick Déléris. Interactive Cockpits as Critical Applications: a Model-Based and a Fault-Tolerant Approach. International Journal of Critical Computer-Based Systems vol:43. p:202-226. Inderscience Publishers.
  • International conferences articlesArnaud Hamon, Philippe Palanque, José Luís Silva, Yannick Déléris, Eric Barboni. Formal description of multi-touch interactions. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2013 (SIGCHI - EICS). p:207-216. ACM : Association for Computing Machinery.
  • International conferences articlesJosé Luís Silva, Camille Fayollas, Arnaud Hamon, Philippe Palanque, Célia Martinie, Eric Barboni. Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification. International Workshop on Formal Methods for Interactive Systems 2013 (FMIS). Electronic Communications of the EASST.

2012

  • International conferences articlesCélia Martinie, Philippe Palanque, David Navarre, Eric Barboni, Erwann Poupart. Systematic Approaches to Training Encompassing Operators' mission and Interaction Techniques. International Conference on Human-Computer Interaction in Aeronautics 2012 (HCI'Aero). ACM Digital Library.
  • International conferences articlesCélia Martinie, Philippe Palanque, David Navarre, Eric Barboni. A Development Process for Usable Large Scale Interactive Critical Systems: Application to Satellite Ground Segments. Human-Centered Software Engineering 2012 (HCSE). LNCS7623. p:112-134. Springer.
  • International conferences articlesArnaud Hamon, Philippe Palanque, David Navarre, Célia Martinie, Adrienne Tankeu Choitat, Eric Barboni. Interactive Cockpits Applications: Modelling and Validation using a Petri-net based Formalism. European Congress on Embedded Real-Time Software 2012 (ERTS). ERTS : Embedded Real Time Sofware and Systems.
  • International conferences articlesArnaud Hamon, Philippe Palanque, Yannick Déléris, David Navarre, Eric Barboni. A Tool-supported Development Process for Bringing Touch Interactions into Interactive Cockpits for Controlling Embedded Critical Systems. International Conference on Human-Computer Interaction in Aeronautics 2012 (HCI'Aero). ACM Digital Library.
  • International conferences articlesCélia Martinie, Philippe Palanque, David Navarre, Eric Barboni. A Tool-Supported Training Framework for Improving Operators: Dependability Confronted with Faults and Errors. Safety and Reliability for managing Risk 2012 (ESREL). p:25-36. Taylor & Francis Group.
  • National conferences articlesCélia Martinie, Philippe 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. Conférence Francophone sur l'Interaction Homme-Machine 2012 (IHM). ACM Digital Library.

2011

  • International journals articlesDavid Navarre, Philippe 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. Elsevier's Safety Science vol:96. p:38-52. Elsevier.
  • International conferences articlesEric Barboni, Célia Martinie, David Navarre, Philippe Palanque, Marco Winckler. UsiXML Concrete Behaviour with a Formal Description Technique for Interactive Systems. IFIP WG 2.7/13.4 Workshop on User Interface Description Languages 2011 (UIDL). Thales Research and Technology.
  • International conferences articlesCélia Martinie, Philippe Palanque, Eric Barboni, Martina Ragosta. Task-Model Based Assessment of Automation Levels: Application to Space Ground Segments. IEEE International Conference on Systems, Man and Cybernetics 2011. p:3267-3273. IEEE Computer Society - Conference Publishing Services.
  • International conferences articlesCélia Martinie, Philippe 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. International Conference on Application and Theory of Automation in Command and Control Systems 2011 (ATACCS). IRIT Press.
  • International conferences articlesPhilippe Palanque, Eric Barboni, Célia Martinie, David Navarre, Marco Winckler. A Tool Supported Model-based Approach for Engineering Usability Evaluation of Interaction Techniques. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2011 (SIGCHI - EICS). p:21-30. ACM Press.

2010

  • International conferences articlesJean-François Ladry, Philippe Palanque, Eric Barboni, David Navarre. Model-Based Usability Evaluation and Analysis of Interactive Techniques. Workshop on Model Driven Development of Advanced User Interfaces 2010 (MDDAUI). vol:617. p:21-24. CEUR-WS : Workshop proceedings.
  • International conferences articlesEric Barboni, Jean-François Ladry, David Navarre, Philippe Palanque, Marco Winckler. Beyond Modelling: An Integrated Environment Supporting Co-Execution of Tasks and Systems Models. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2010 (SIGCHI - EICS). p:143-152. ACM SIGCHI.
  • National conferences articlesJean-François Ladry, Philippe Palanque, David Navarre, Eric Barboni, Marco Winckler. Une approche à base de modèles pour l'ingénierie logicielle de techniques d'interaction. ACM ISBN : 978-1-4503-0410-8. p:81-88. ACM Digital Library.

2009

  • International journals articlesDavid Navarre, Philippe Palanque, Jean-François Ladry, Eric Barboni. ICOs: a Model-Based User Interface Description Technique dedicated to Interactive Systems Addressing Usability, Reliability and Scalability. Transactions on Computer-Human Interaction vol:164. p:1-56. ACM SIGCHI.
  • International conferences articlesPhilippe Palanque, Jean-François Ladry, David Navarre, Eric Barboni. High-Fidelity Prototyping of Interactive Systems can be Formal too. HCI International 2009. p:21-30. Springer-Verlag.
  • National conferences articlesPhilippe Palanque, Jean-François Ladry, Eric Barboni, David Navarre, Marco Winckler. Une Approche Formelle pour l'Evaluation de la Tolérance aux Interruptions des Système Interactifs. Conférence Francophone sur l'Interaction Homme-Machine 2009 (IHM). p:141-150. ACM Digital Library.

2008

  • International conferences articlesJean-François Ladry, Philippe Palanque, Sandra Steere, Eric Barboni, David Navarre. Dealing with Reliability and Evolvability in Description Techniques for Next Generation User Interfaces. ACM International Conference on Human Factors in Computing Systems 2008 (ACM CHI). ACM : Association for Computing Machinery.

2007

  • Books partsXavier Lacaze, Philippe Palanque, Eric Barboni, Rémi Bastide, David Navarre. From DREAM to Realitiy: Specificities of Interactive Systems Development with respect to Rationale Management. p:155-172. Springer-Verlag.
  • International conferences articlesStephane Conversy, Eric Barboni, David Navarre, Philippe Palanque. Improving modularity of interactive software with the MDPC architecture. Engineering Interactive Systems 2007 (EHCI-HCSE-DSVIS). p:321-338. Springer-Verlag.
  • International conferences articlesDavid Navarre, Philippe Palanque, Eric Barboni, Tomasz Mistrzyk. On the Benefit of Synergistic Model-based Approach for Safety Critical Interactive System Testing. TAsk MOdels DIAgrams for UI design 2007 (TAMODIA). p:0-0. Springer-Verlag.
  • International conferences articlesEric Barboni, David Navarre, Philippe Palanque, Sandra Steere. A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC Specification 661. IEEE International Symposium on Industrial Embedded Systems 2007 (SIES). 1-4244-0840-7. p:250-257. IEEE : Institute of Electrical and Electronics Engineers.

2006

  • International journals articlesMarco Winckler, Eric Barboni, Philippe Palanque, Christelle Farenc. What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?. Electronic Notes in Theoretical Computer Science vol:1572. p:207-211. Elsevier.
  • International conferences articlesEric Barboni, Stephane Conversy, David Navarre, Philippe Palanque. Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. Design Specification and Verification of Interactive Systems 2006 (DSV-IS). LNCS. p:25-38. Springer-Verlag.
  • International conferences articlesEric Barboni, David Navarre, Philippe Palanque, Sandra Steere. Addressing Issues Raised by the Exploitation of Formal Specification Techniques for Interactive Cockpit Applications. International Conference on Human-Computer Interaction in Aeronautics 2006 (HCI'Aero). Cépaduès.

2005

  • Books partsXavier Lacaze, Philippe Palanque, Eric Barboni, David Navarre. Design Rationale for Increasing Profitability of Interactive Systems Development. p:15. Idea Group Reference.
  • International conferences articlesRémi Bastide, Eric Barboni. Software Components: A Formal Semantics Based on Coloured Petri nets. FACS'05 - International Workshop on Formal Aspects of Component Software 2005. ENTCS.
  • International conferences articlesMarco Winckler, Eric Barboni, Christelle Farenc, Philippe Palanque. What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?. First International Workshop on Automated Specification and Verification of Web Sites (WWV'2005). p:33-36. LNCS.
  • International conferences articlesRémi Bastide, Eric Barboni, Xavier Lacaze, David Navarre, Philippe Palanque, Amélie Schyn, Didier Bazalgette. Supporting Intuition through Formal Specification of the User Interface for Military Aircraft Cockpit. HCI International 2005. TBD.
  • National conferences articlesMarco Winckler, Christelle Farenc, Eric Barboni, Florence Pontico. Modélisation orientée tâche de la navigation d'un application Web: catalogue des thèses de l'AFIHM. 17émé Conférence Francophone sur l'Interaction Homme-Machine 2005. p:91-99. ACM : Association for Computing Machinery.

2004

  • International conferences articlesRémi Bastide, Eric Barboni. Component-Based Behavioural Modelling with High-Level Petri Nets. MOCA '04 - Third Workshop on Modelling of Objects, Components and Agents 2004. p:37-46. DAIMI.
  • International conferences articlesMarco Winckler, Eric Barboni, Christelle Farenc, Philippe Palanque. SWCEditor: A Model-based Tool for interactive Modelling of Web Navigation. CADUI 2004 5th International Conference on Computer-Aided Design of User Interfaces. p:55-56. Kluwer Academic Publisher.
  • Conferences articles without published proceedingsRémi Bastide, Eric Barboni, Amélie Schyn. A Formal Model of Component Behaviour. WiSME@UML 2004 - Workshop WS5 at the 7th International Conference on the UML.
  • Conferences articles without published proceedingsEric Barboni. Une approche centrée utilisateur des outils logiciels pour les techniques de description formelles: Application aux réseaux de Petri. Colloque des doctorants de l'EDIT, EDIT' 04 2004.

2003

  • International conferences articlesEric Barboni, Rémi Bastide, Xavier Lacaze, David Navarre, Philippe Palanque. Petri Net Centered versus User Centered Petri Nets Tools. AWPN 2003 - 10th Workshop Algorithms and Tools for Petri Nets. ---.