1
TITLE: Teaching HCI Engineering: Four Case Studies
AUTHORS: Caffiau, Sybille; Campos, Jose C. ; Martinie, Celia; Nigay, Laurence; Palanque, Philippe; Spano, Lucio Davide;
PUBLISHED: 2022, SOURCE: 18th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT) in SENSE, FEEL, DESIGN, INTERACT 2021, VOLUME: 13198
INDEXED IN: Scopus WOS DBLP CrossRef
2
TITLE: Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. An Exploration of Three Formal Tools  Full Text
AUTHORS: Jose Creissac Campos ; Camille Fayollas; Michael D Harrison; Celia Martinie; Paolo Masci; Philippe Palanque;
PUBLISHED: 2020, SOURCE: ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION, VOLUME: 27, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef
3
TITLE: Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web PDF  Full Text
AUTHORS: Fayollas, C; Martinie, C; Palanque, P; Masci, P ; Harrison, MD ; Campos, JC ; Silva, SRE ;
PUBLISHED: 2017, SOURCE: 3rd Workshop on Formal Integrated Development Environment, F-IDE 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/1701.07925, ISSUE: 240
INDEXED IN: Scopus WOS DBLP arXiv CrossRef: 1
4
TITLE: A More Intelligent Test Case Generation Approach through Task Models Manipulation
AUTHORS: José Creissac Campos ; Camille Fayollas; Marcelo Gonçalves; Célia Martinie; David Navarre; Philippe A Palanque; Miguel Pinto;
PUBLISHED: 2017, SOURCE: PACMHCI, VOLUME: 1, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 10
5
TITLE: Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2017, Lisbon, Portugal, June 26-29, 2017
AUTHORS: José Creissac Campos ; Nuno Nunes; Pedro Campos; Gaëlle Calvary; Jeffrey Nichols; Célia Martinie; José Luís Silva;
PUBLISHED: 2017, SOURCE: EICS
INDEXED IN: DBLP CrossRef: 2
6
TITLE: Systematic Automation of Scenario-Based Testing of User Interfaces
AUTHORS: Campos, JC ; Fayollas, C; Martinie, C; Navarre, D; Palanque, P; Pinto, M;
PUBLISHED: 2016, SOURCE: 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in EICS'16: PROCEEDINGS OF THE 8TH ACM SIGCHI SYMPOSIUM ON ENGINEERING INTERACTIVE COMPUTING SYSTEMS
INDEXED IN: Scopus WOS DBLP CrossRef