• International journals articlesPhilippe Palanque, José Creissac Campos, Paolo Masci, Michael Douglas Harrison, Camille Fayollas, Célia Martinie. 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.