Publications de
José Luis Silva, José Creissac Campos, Michael Harrison
Prototyping and analysing ubiquitous computing environments using multiple layers
Dans : International Journal of Human-Computer Studies, Elsevier, Vol. 72 N. 5, p. 488-506, mai 2014.
Accès : http://dx.doi.org/10.1016/j.ijhcs.2014.02.001
BibTeX
Camille 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/
BibTeXGiorgio Faconti, Michael Harrison, Mieke Massink, Philippe Palanque
The FAERUS Project: Formal Analysis of Evolving Resilient Usable Systems
Dans : European Dependable Computing Conference (EDCC 2008), Kaunaas, Lithuania, 07/05/08-09/05/08, IEEE Computer Society, p. 0-0, mai 2008.
Benjamin Weyers, Michael Harrison, Judy Bowen, Alan Dix, Philippe Palanque
Case Studies
Dans : Handbook of Formal Methods in Human-Computer Interaction. Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque (Eds.) , Springer, p. 89-121, septembre 2017.
Michael Harrison, Philippe Palanque, David Navarre
The future of Design Specification and Verification of Safety Critical Interactive Systems. Can our systems be SURE (Safe, Usable, Reliable and Evolvable)?
Tutoriel. 2010. ACM SIGCHI Conference on Human Factors for Computing Systems (CHI 2010)