• International journals articlesJosé Creissac Campos, Camille Fayollas, Michael Douglas Harrison, Célia Martinie, Paolo Masci, Philippe Palanque. Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. ACM Transactions on Computer-Human Interaction. p:1-48.


  • International conferences articlesCamille Fayollas, Célia Martinie, Philippe Palanque, Paolo Masci, Michael Douglas 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. Workshop on Formal Integrated Development Environment 2017 (F-IDE). Open Publishing Association.