Publications of
Arnaud Hamon, Philippe Palanque, David Navarre, Celia Martinie De Almeida, Adrienne Tankeu Choitat, Eric Barboni
Interactive Cockpits Applications: Modelling and Validation using a Petri-net based Formalism (regular paper)
In : European Congress on Embedded Real-Time Software (ERTS 2012), Toulouse, France, 01/02/12-03/02/12, ERTS : Embedded Real Time Sofware and Systems, (electronic medium), February 2012.
Adrienne 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)
In : 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, pp. 164-173, 2011.
URL : 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)
In : European Workshop on Dependable Computing, Pisa, 05/05/11-07/05/11, ACM Digital Library, pp. 34-42, 2011.
Philippe Palanque, Adrienne Tankeu Choitat, David Navarre
An Approach for Assessing both Usability and Dependability of Interactive Systems: Application to Interactive Cockpits (regular paper)
In : International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2010), Floride, USA, 03/11/10-05/11/10, ACM Digital Library, pp. 120-130, November 2010.
Approches outillées pour le développement des systèmes interactifs intégrant les aspects sûreté de fonctionnement et utilisabilité
Master’s Thesis, Université Paul Sabatier, December 2011.
Abstract URL : http://tel.archives-ouvertes.fr/docs/00/65/43/83/PDF/These_Tankeu_Dec2011.pdf
BibTeX