Publications de
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)
Dans : European Congress on Embedded Real-Time Software (ERTS 2012), Toulouse, France, 01/02/12-03/02/12, ERTS : Embedded Real Time Sofware and Systems, (support électronique), février 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)
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.
Philippe Palanque, Adrienne Tankeu Choitat, David Navarre
An Approach for Assessing both Usability and Dependability of Interactive Systems: Application to Interactive Cockpits (regular paper)
Dans : International Conference on Human-Computer Interaction in Aeronautics (HCI’Aero 2010), Floride, USA, 03/11/10-05/11/10, ACM Digital Library, p. 120-130, novembre 2010.
Approches outillées pour le développement des systèmes interactifs intégrant les aspects sûreté de fonctionnement et utilisabilité
Thèse de doctorat, Université Paul Sabatier, décembre 2011.
Résumé Accès : http://tel.archives-ouvertes.fr/docs/00/65/43/83/PDF/These_Tankeu_Dec2011.pdf
BibTeX