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

2020

  • International journals articlesJosé Creissac Campos, Camille Fayollas, Michael Douglas Harrison, Célia Martinie, Paolo Masci, Philippe Palanque. Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. ACM Transactions on Computer-Human Interaction. p:1-48.

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 conferences articlesAlexandre Canny, Camille Fayollas, Célia Martinie, David Navarre, Philippe Palanque, Christine Gris, Yannick Déléris. Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems. 12th IEEE International Conference on Cyber Physical and Social Computing (CPSCom 2019).

2018

  • Books partsCélia Martinie, Philippe Palanque, Camille Fayollas. Performance Evaluation of Interactive Systems with Interactive Cooperative Objects Models. Computational Interaction. Computational Interaction. Oxford University Press.
  • International conferences articlesPhilippe Palanque, Célia Martinie, Camille Fayollas. Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems (CHI 2018). ACM Conference on Human Factors in Computing Systems (CHI 2018). p:1-4. ACM: Association for Computing Machinery, New York.

2017

  • International journals articlesJosé Creissac Campos, Camille Fayollas, Marcelo Gonçalves, Célia Martinie, David Navarre, Philippe Palanque, Miguel Pinto. A More Intelligent Test Case Generation Approach through Task Models Manipulation. Proceedings of the ACM on Human-Computer Interaction vol:19. p:1-20. ACM SIGCHI.
  • 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.
  • Books partsCamille Fayollas, Philippe Palanque, Jean-Charles Fabre, Célia Martinie, Yannick Déléris. Dealing with Faults During Operations: Beyond Classical Use of Formal Methods. p:549-575. 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.
  • International conferences articlesCamille Fayollas, Célia Martinie, Philippe Palanque, Yamine Aït-Ameur. QBP Notation for Explicit Representation of Properties, their Refinement and their Potential Conflicts: Application to Interactive Systems. Workshop on Dealing with Conflicting User Interface Properties in User-Centered Development Processes at INTERACT 2017. p:91-105. Springer.
  • International conferences articlesPhilippe Palanque, Célia Martinie, Camille Fayollas. Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems. ACM International Conference on Human Factors in Computing Systems 2017 (ACM CHI). p:1257-1260. ACM : Association for Computing Machinery.
  • International conferences articlesCamille Fayollas, Célia Martinie, Philippe Palanque, Paolo Masci, Michael Douglas Harrison, José Creissac Campos, Saulo Rodrigues E Silva. Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web. Workshop on Formal Integrated Development Environment 2017 (F-IDE). Open Publishing Association.

2016

  • International journals articlesCélia Martinie, Philippe Palanque, Racim Fahssi, Jean-Paul Blanquart, Camille Fayollas, Christel Seguin. Task Model-Based Systematic Analysis of Both System Failures and Human Errors. IEEE Transactions on Human-Machine Systems vol:462. p:243-254. IEEE : Institute of Electrical and Electronics Engineers.
  • 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.
  • International conferences articlesDorrit Billman, Camille Fayollas, Michael Feary, Célia Martinie, Philippe Palanque. Complementary Tools and Techniques for Supporting Fitness-for-Purpose of Interactive Critical Systems. International Working Conference on Human-Centred Software Engineering International Working Conference on Human Error, Safety, and System Development 2016 (HCSE+HESSD). Springer.
  • International conferences articlesCamille Fayollas, Jean-Charles Fabre, Philippe Palanque, Martin Cronel, David Navarre, Yannick Déléris. A Three-fold Approach towards Increased Assurance Levels for Interactive Systems: A Flight Control Unit Case Study. International Conference on Human-Computer Interaction in Aeronautics 2016 (HCI'Aero). ACM Digital Library.
  • International conferences articlesJosé Creissac Campos, Camille Fayollas, Célia Martinie, David Navarre, Philippe Palanque, Miguel Pinto. Systematic automation of scenario-based testing of user interfaces. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2016 (SIGCHI - EICS). p:138-148. ACM Digital Library.
  • International conferences articlesCamille Fayollas, Célia Martinie, David Navarre, Philippe Palanque. Engineering mixed-criticality interactive applications. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2016 (SIGCHI - EICS). p:108-119. ACM Digital Library.
  • International conferences articlesCamille Fayollas, Célia Martinie, Philippe Palanque, Racim Fahssi. Task Models for Supporting Function Allocation between Operators and Autonomous Systems: Application to Collision Avoidance Operations for Spacecraft. AAAI 2015 Spring Symposium on Intelligent systems for supporting distributed human teamwork 2016. AAAI Press.

2015

  • International journals articlesCamille Fayollas, Célia Martinie, David Navarre, Philippe Palanque. A Generic Approach for Assessing Compatibility between Task Descriptions and Interactive Systems: Application to the Effectiveness of a Flight Control Unit. i-com vol:143. p:170-191. de Gruyter.
  • International conferences articlesCamille Fayollas, Célia Martinie, Philippe Palanque, Racim Fahssi. Accounting for Organisational faults in Task Model Based Systematic Analysis of System Failures and Human Errors. IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development 2015. p:101-116. University of Bamberg Press.
  • International conferences articlesCamille Fayollas, Célia Martinie, Philippe Palanque, Yannick Déléris. Beyond Formal Methods for Critical Interactive Systems: Dealing with Faults at Runtime. Workshop on Formal Methods in Human Computer Interaction 2015 (FoMHCI). p:19-23. RWTH Aachen University.
  • International conferences articlesCélia Martinie, David Navarre, Philippe Palanque, Camille Fayollas. A Generic Tool-Supported Framework for Coupling Task Models and Interactive Applications. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2015 (SIGCHI - EICS). ACM Press.

2014

  • International conferences articlesCamille Fayollas, Célia Martinie, David Navarre, Philippe Palanque, Racim Fahssi. Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces. Workshop on Distributed User Interfaces 2014 (DUI). ACM : Association for Computing Machinery.
  • International conferences articlesCamille Fayollas, Jean-Charles Fabre, Philippe Palanque, Martin Cronel, David Navarre, Yannick Déléris. A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics. Pacific Rim International Symposium on Dependable Computing 2014 (PRDC). p:21-30. IEEE : Institute of Electrical and Electronics Engineers.
  • International conferences articlesCamille Fayollas, Célia Martinie, Philippe Palanque, Yannick Déléris, Jean-Charles Fabre, David Navarre. An approach for assessing the impact of dependability on usability: application to interactive cockpits. European Dependable Computing Conference 2014 (EDCC). p:198-209. IEEE : Institute of Electrical and Electronics Engineers.
  • International conferences articlesCamille Fayollas, Philippe Palanque, Jean-Charles Fabre, David Navarre, Yannick Déléris, Arnaud Hamon. A Fault-Tolerant Software Architecture and its Formal Specification for Embedded, Real-Time Interactive Systems. European Conference on Embedded Real Time Software and Systems 2014 (ERTS). ERTS : Embedded Real Time Sofware and Systems.
  • 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 articlesCamille Fayollas. Addressing dependability for interactive systems: application to interactive cockpits. ACM Special Interest Group on Computer-Human Interaction - Conference Engineering Interactive Computing Systems 2013 (SIGCHI - EICS). p:163-166. 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 articlesCamille Fayollas, Jean-Charles Fabre, David Navarre, Philippe Palanque, Yannick Déléris. Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach. Software Engineering for Resilient Systems 2012 (SERENE). p:32-46. Springer-Verlag.

2011

  • International conferences articlesAdrienne Tankeu Choitat, David Navarre, Philippe Palanque, Yannick Déléris, Jean-Charles Fabre, Camille Fayollas. Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques. Pacific Rim International Symposium on Dependable Computing 2011 (PRDC). p:164-173. IEEE : Institute of Electrical and Electronics Engineers.