1
TITLE: AMAN Case Study
AUTHORS: Philippe A Palanque; José Creissac Campos ;
PUBLISHED: 2023, SOURCE: 9th International Conference on Rigorous State-Based Methods, ABZ 2023 in Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings, VOLUME: 14010
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
2
TITLE: HCI-E2-2023: Second IFIP WG 2.7/13.4 Workshop on HCI Engineering Education
AUTHORS: José Creissac Campos ; Laurence Nigay; Alan J Dix; Anke Dittmar; Simone D J Barbosa; Lucio Davide Spano;
PUBLISHED: 2023, SOURCE: 19th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2023 in Human-Computer Interaction - INTERACT 2023 - 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV, VOLUME: 14145
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
3
TITLE: Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred Design
AUTHORS: Rafael Braga da Costa ; José Creissac Campos ;
PUBLISHED: 2023, SOURCE: 19th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2023 in Human-Computer Interaction - INTERACT 2023 - 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part II, VOLUME: 14143
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
4
TITLE: Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings
AUTHORS: Uwe Glässer; José Creissac Campos ; Dominique Méry; Philippe A Palanque;
PUBLISHED: 2023, SOURCE: ABZ, VOLUME: 14010
INDEXED IN: DBLP
IN MY: ORCID | DBLP
5
TITLE: Towards Automated Load Testing Through the User Interface
AUTHORS: Bruno Teixeira; José Creissac Campos ;
PUBLISHED: 2023, SOURCE: 19th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2023 in Human-Computer Interaction - INTERACT 2023 - 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part II, VOLUME: 14143
INDEXED IN: Scopus DBLP
IN MY: DBLP
6
TITLE: Addressing Interactive Computing Systems' Concerns in Software Engineering Degrees
AUTHORS: Campos, Jose Creissac ; Ribeiro, Antonio Nestor ;
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
IN MY: ORCID | DBLP
7
TITLE: Sense, Feel, Design - INTERACT 2021 IFIP TC 13 Workshops, Bari, Italy, August 30 - September 3, 2021, Revised Selected Papers
AUTHORS: Carmelo Ardito; Rosa Lanzilotti; Alessio Malizia; Marta Lárusdóttir; Lucio Davide Spano; José Creissac Campos ; Morten Hertzum; Tilo Mentler; José L Abdelnour Nocera; Lara S G Piccolo; Stefan Sauer; Gerrit van v der Veer;
PUBLISHED: 2022, SOURCE: INTERACT (Workshops), VOLUME: 13198
INDEXED IN: DBLP
IN MY: ORCID | DBLP
8
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
IN MY: ORCID | DBLP
9
TITLE: Verification of railway network models with EVEREST
AUTHORS: João Martins; José M Fonseca; Rafael Costa ; José Creissac Campos ; Alcino Cunha ; Nuno Macedo ; José N Oliveira ;
PUBLISHED: 2022, SOURCE: 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022 in Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
10
TITLE: Balancing the Formal and the Informal in User-centred Design  Full Text
AUTHORS: Harrison, MD ; Masci, P; Campos, JC ;
PUBLISHED: 2021, SOURCE: INTERACTING WITH COMPUTERS, VOLUME: 33, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
Página 1 de 14. Total de resultados: 131.