Publications de
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, 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/
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
BibTeXCamille 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
BibTeXAdrienne Tankeu Choitat, Jean-Charles Fabre, Philippe Palanque, David Navarre, Yannick Deleris
Self-Checking Widgets for Interactive Cockpits (regular paper)
Dans : European Workshop on Dependable Computing, Pisa, 05/05/11-07/05/11, ACM Digital Library, p. 34-42, 2011.
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
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.