Publications de
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
Camille 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, 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
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
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.