Publications de Camille FAYOLLAS
Elodie Bouzekri, Alexandre Canny, Camille Fayollas, Celia Martinie De Almeida, Philippe 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
Dans : International Journal of Human-Computer Studies, Elsevier, Vol. 121, p. 122-141, janvier 2019.
José Creissac Campos, Camille Fayollas, Marcelo Gonçalves, Celia Martinie De Almeida, David Navarre, Philippe Palanque, Miguel Pinto
A More Intelligent Test Case Generation Approach through Task Models Manipulation
Dans : Proceedings of the ACM on Human-Computer Interaction, ACM SIGCHI, USA, Vol. 1, (en ligne), juin 2017.
Celia Martinie De Almeida, Philippe Palanque, Racim Mehdi Fahssi, Jean-Paul Blanquart, Camille Fayollas, Christel Seguin
Task Model-Based Systematic Analysis of Both System Failures and Human Errors
Dans : IEEE Transactions on Human-Machine Systems, IEEE : Institute of Electrical and Electronics Engineers, Vol. 46 N. 2, p. 243-254, avril 2016.
Camille Fayollas, Celia Martinie De Almeida, 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
Dans : i-com, de Gruyter, Berlin – Germany, Numéro spécial Model-Based Interface Engineering, Vol. 14 N. 3, p. 170-191, décembre 2015.
Camille Fayollas, Jean-Charles Fabre, Philippe Palanque, Eric Barboni, David Navarre, Yannick Deleris
Interactive Cockpits as Critical Applications: a Model-Based and a Fault-Tolerant Approach
Dans : International Journal of Critical Computer-Based Systems, Inderscience Publishers, Numéro spécial Special Issue on Fault-Tolerant Computer Systems, Vol. 4 N. 3, p. 202-226, 2013.
Accès : http://www.inderscience.com/info/inarticle.php?artid=58407
BibTeX
Alexandre Canny, Camille Fayollas, Celia Martinie De Almeida, David Navarre, Philippe Palanque, Elodie Bouzekri, Christine Gris, Yannick Deleris
Divide to Conquer: Functional Decomposition to Support Model-Based Engineering of Command and Control of Cyber-Physical Systems (regular paper)
Dans : IEEE International Conference on Cyber Physical and Social Computing (CPSCom 2019), Atlanta, USA, 14/07/19-17/07/19, IEEE : Institute of Electrical and Electronics Engineers, (en ligne), juillet 2019.
Résumé Accès : https://doi.org/10.1109/iThings/GreenCom/CPSCom/SmartData.2019.00132 – https://oatao.univ-toulouse.fr/26212/
BibTeXPhilippe Palanque, Celia Martinie De Almeida, Camille Fayollas
Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems (short paper)
Dans : ACM International Conference on Human Factors in Computing Systems (ACM CHI 2018), Montréal, 21/04/18-26/04/18, ACM : Association for Computing Machinery, (en ligne), avril 2018.
Accès : https://doi.org/10.1145/3170427.3170652 – https://oatao.univ-toulouse.fr/22537/
BibTeXElodie Bouzekri, Alexandre Canny, Camille Fayollas, Celia Martinie De Almeida, Philippe Palanque, Eric Barboni, Yannick Deleris, Christine Gris
A List of Pre-Requisites to Make Recommender Systems Deployable in Critical Context (regular paper)
Dans : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2017), 2017, 26/06/17-26/06/17, Vol. 1945, CEUR-WS : Workshop proceedings, CEUR Workshop Proceedings, p. 42-55, 2017.
Résumé Accès : http://ceur-ws.org/Vol-1945/paper_7.pdf – https://oatao.univ-toulouse.fr/24797/
BibTeXCamille Fayollas, Celia Martinie De Almeida, Philippe Palanque, Yamine Ait Ameur
QBP Notation for Explicit Representation of Properties, their Refinement and their Potential Conflicts: Application to Interactive Systems (regular paper)
Dans : Workshop on Dealing with Conflicting User Interface Properties in User-Centered Development Processes at INTERACT 2017, Mumbai, India, 26/09/17-26/09/17, Springer, p. 91-105, septembre 2017.
Résumé Accès : https://doi.org/10.1007/978-3-319-92081-8_9 – https://hal.inria.fr/hal-01821411
BibTeXPhilippe Palanque, Celia Martinie De Almeida, Camille Fayollas
Automation: Danger or Opportunity? Designing and Assessing Automation for Interactive Systems (short paper)
Dans : ACM International Conference on Human Factors in Computing Systems (ACM CHI 2017), Denver, Colorado, USA, 06/05/17-11/05/17, ACM : Association for Computing Machinery, p. 1257-1260, mai 2017.
Résumé Accès : https://doi.org/10.1145/3027063.3027115 – https://oatao.univ-toulouse.fr/22126/
BibTeXCamille Fayollas, Celia Martinie De Almeida, Philippe Palanque, Paolo Masci, Michael 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 (regular paper)
Dans : Workshop on Formal Integrated Development Environment (F-IDE 2016), Limassol, Cyprus, 08/11/16-08/11/16, Open Publishing Association, (en ligne), 2017.
Accès : http://eptcs.web.cse.unsw.edu.au/paper.cgi?FIDE2016.1 – https://oatao.univ-toulouse.fr/18933/
BibTeXCamille Fayollas, Celia Martinie De Almeida, Philippe Palanque, Eric Barboni, Yannick Deleris
What Can Be Learnt from Engineering Safety Critical Partly-Autonomous Systems when Engineering Recommender Systems (regular paper)
Dans : EncWorkshop on Engineering Computer-Human Interaction in Recommender Systems (EnCHIReS 2016), Bruxelles, Belgique, 21/06/16, CEUR-WS : Workshop proceedings, (en ligne), 2016.
Résumé Accès : http://ceur-ws.org/Vol-1705/03-paper.pdf – https://oatao.univ-toulouse.fr/24687/
BibTeXDorrit Billman, Camille Fayollas, Michael Feary, Celia Martinie De Almeida, Philippe Palanque
Complementary Tools and Techniques for Supporting Fitness-for-Purpose of Interactive Critical Systems (regular paper)
Dans : International Working Conference on Human-Centred Software Engineering International Working Conference on Human Error, Safety, and System Development (HCSE+HESSD 2016), Stockholm, Suède, 29/08/16-31/08/16, Springer, (en ligne), 2016.
Résumé Accès : https://doi.org/10.1007/978-3-319-44902-9_12 – https://oatao.univ-toulouse.fr/24686/
BibTeXCamille Fayollas, Jean-Charles Fabre, Philippe Palanque, Martin Cronel, David Navarre, Yannick Deleris
A Three-fold Approach towards Increased Assurance Levels for Interactive Systems: A Flight Control Unit Case Study (regular paper)
Dans : International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2016), Paris, France, 14/09/16-16/09/16, ACM Digital Library, (en ligne), 2016.
Résumé Accès : https://doi.org/10.1145/2950112.2964578 – https://oatao.univ-toulouse.fr/24685/
BibTeXJosé Creissac Campos, Camille Fayollas, Celia Martinie De Almeida, David Navarre, Philippe Palanque, Miguel Pinto
Systematic automation of scenario-based testing of user interfaces (regular paper)
Dans : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2016), Bruxelles, Belgique, 21/06/16-24/06/16, ACM Digital Library, p. 138-148, 2016.
Accès : http://dx.doi.org/10.1145/2933242.2948735 – https://oatao.univ-toulouse.fr/17072/
BibTeXCamille Fayollas, Celia Martinie De Almeida, David Navarre, Philippe Palanque
Engineering mixed-criticality interactive applications (regular paper)
Dans : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2016), Bruxelles, Belgique, 21/06/16-24/06/16, ACM Digital Library, p. 108-119, 2016.
Accès : http://dx.doi.org/10.1145/2933242.2933258 – https://oatao.univ-toulouse.fr/17071/
BibTeXCamille Fayollas, Celia Martinie De Almeida, Philippe Palanque, Racim Mehdi Fahssi
Task Models for Supporting Function Allocation between Operators and Autonomous Systems: Application to Collision Avoidance Operations for Spacecraft (regular paper)
Dans : AAAI 2015 Spring Symposium on Intelligent systems for supporting distributed human teamwork, Stanford CA, USA, 21/03/16-23/03/16, AAAI Press, (support électronique), 2016.
Résumé Accès : https://portail.irit.fr/partage/data/public/f18f4ba5732c145f.php – https://oatao.univ-toulouse.fr/24684/
BibTeXCamille Fayollas, Celia Martinie De Almeida, Philippe Palanque, Racim Mehdi Fahssi
Accounting for Organisational faults in Task Model Based Systematic Analysis of System Failures and Human Errors (regular paper)
Dans : IFIP WG 13.5 Workshop on Resilience, Reliability, Safety and Human Error in System Development, Bamberg, Germany, 14/09/15, University of Bamberg Press, p. 101-116, 2015.
Camille Fayollas, Celia Martinie De Almeida, Philippe Palanque, Yannick Deleris
Beyond Formal Methods for Critical Interactive Systems: Dealing with Faults at Runtime (regular paper)
Dans : Workshop on Formal Methods in Human Computer Interaction (FoMHCI 2015), Duisburg, Germany, 23/06/15-23/06/15, RWTH Aachen University, p. 19-23, juin 2015.
Accès : https://publications.rwth-aachen.de/record/479353/files/FoMHCI2015proceedings.pdf – https://oatao.univ-toulouse.fr/15399/
BibTeXCelia Martinie De Almeida, David Navarre, Philippe Palanque, Camille Fayollas
A Generic Tool-Supported Framework for Coupling Task Models and Interactive Applications (regular paper)
Dans : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2015), Duisburg, 23/06/15-26/06/15, ACM Press, (support électronique), juin 2015.
Camille Fayollas, Celia Martinie De Almeida, David Navarre, Philippe Palanque, Racim Mehdi Fahssi
Fault-Tolerant User Interfaces for Critical Systems: Duplication, Redundancy and Diversity as New Dimensions of Distributed User Interfaces (regular paper)
Dans : Workshop on Distributed User Interfaces (DUI 2014), Toulouse, France, 01/07/14, ACM : Association for Computing Machinery, (en ligne), 2014.
Accès : http://dui.uclm.es/2014/submissions/Fault-Tolerant%20User%20Interfaces%20for%20Critical%20Systems.pdf
BibTeXCamille Fayollas, Jean-Charles Fabre, Philippe Palanque, Martin Cronel, David Navarre, Yannick Deleris
A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics (regular paper)
Dans : Pacific Rim International Symposium on Dependable Computing (PRDC 2014), Singapore, 18/11/14-21/11/14, IEEE : Institute of Electrical and Electronics Engineers, p. 21-30, 2014.
Camille Fayollas, Celia Martinie De Almeida, Philippe Palanque, Yannick Deleris, Jean-Charles Fabre, David Navarre
An approach for assessing the impact of dependability on usability: application to interactive cockpits. (regular paper)
Dans : European Dependable Computing Conference (EDCC 2014), Newcastle upon Tyne, UK, 13/05/14-16/05/14, IEEE : Institute of Electrical and Electronics Engineers, p. 198-209, mai 2014.
Camille Fayollas, Philippe Palanque, Jean-Charles Fabre, David Navarre, Yannick Deleris, Arnaud Hamon
A Fault-Tolerant Software Architecture and its Formal Specification for Embedded, Real-Time Interactive Systems (regular paper)
Dans : European Conference on Embedded Real Time Software and Systems (ERTS 2014), Toulouse, France, 05/02/14-07/02/14, ERTS : Embedded Real Time Sofware and Systems, (en ligne), 2014.
Accès : http://www.erts2014.org/Site/0R4UXE94/Fichier/erts2014_6C1.pdf
BibTeXAddressing dependability for interactive systems: application to interactive cockpits (student paper)
Dans : ACM Special Interest Group on Computer-Human Interaction – Conference Engineering Interactive Computing Systems (SIGCHI – EICS 2013), London, UK, 24/06/13-27/06/13, ACM : Association for Computing Machinery, p. 163-166, juin 2013.
Accès : http://dl.acm.org/citation.cfm?id=2494603.2480336&coll=DL&dl=ACM&CFID=415005785&CFTOKEN=57834103
BibTeXJosé Luis Silva, Camille Fayollas, Arnaud Hamon, Philippe Palanque, Celia Martinie De Almeida, Eric Barboni
Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification (regular paper)
Dans : International Workshop on Formal Methods for Interactive Systems (FMIS 2013), London, 24/06/13, Electronic Communications of the EASST, (support électronique), juin 2013.
Camille Fayollas, Jean-Charles Fabre, David Navarre, Philippe Palanque, Yannick Deleris
Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach (regular paper)
Dans : Software Engineering for Resilient Systems (SERENE 2012), Pisa, Italy, 27/09/12-28/09/12, Paris Avgeriou (Eds.), Springer-Verlag, p. 32-46, septembre 2012.
Accès : http://link.springer.com/chapter/10.1007/978-3-642-33176-3_3
BibTeXAdrienne Tankeu Choitat, David Navarre, Philippe Palanque, Yannick Deleris, Jean-Charles Fabre, Camille Fayollas
Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques (regular paper)
Dans : Pacific Rim International Symposium on Dependable Computing (PRDC 2011), Pasadena, California, USA, 12/12/11-14/12/11, IEEE : Institute of Electrical and Electronics Engineers, p. 164-173, 2011.
Accès : http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=6133078&queryText%3Dtankeu
BibTeX
Camille Fayollas, Philippe Palanque, Jean-Charles Fabre, David Navarre, Eric Barboni, Martin Cronel, Yannick Deleris
A fault-tolerant architecture for resilient interactive systems (regular paper)
Dans : Conférence Francophone sur l’Interaction Homme-Machine (IHM 2014), Lille, France, 28/10/14-31/10/14, ACM : Association for Computing Machinery, p. 80-90, 2014.
Accès : http://dl.acm.org/citation.cfm?doid=2670444.2670462
BibTeX
Celia Martinie De Almeida, Philippe Palanque, Camille Fayollas
Performance Evaluation of Interactive Systems with Interactive Cooperative Objects Models
Dans : Computational Interaction. Antti Oulasvirta, Per Ola Kristensson, Xiaojun Bi, Andrew Howes (Eds.) , Oxford University Press, p. 249-283, février 2018.
Camille Fayollas, Celia Martinie De Almeida, Philippe Palanque, Eric Barboni, Racim Mehdi Fahssi, Arnaud Hamon
Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment
Dans : Handbook of Formal Methods in Human-Computer Interaction. Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque (Eds.) , Springer, p. 465-504, septembre 2017.
Camille Fayollas, Philippe Palanque, Jean-Charles Fabre, Celia Martinie De Almeida, Yannick Deleris
Dealing with Faults During Operations: Beyond Classical Use of Formal Methods
Dans : Handbook of Formal Methods in Human-Computer Interaction. Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque (Eds.) , Springer, p. 549-575, septembre 2017.
Architecture logicielle générique et approche à base de modèles pour la sûreté de fonctionnement des systèmes interactifs critiques
Thèse de doctorat, Université Paul Sabatier, juillet 2015.