Bruno Teixeira and José Creissac Campos (2023) Towards Automated Load Testing Through the User Interface. In Human-Computer Interaction - INTERACT 2023, volume 14143 of Lecture Notes in Computer Science, pages 514-522. Springer.
Philippe A. Palanque and José Creissac Campos (2023) AMAN Case Study. In Rigorous State-Based Methods - ABZ 2023, volume 14010 of Lecture Notes in Computer Science, pages 265-283. Springer.
S. Caffieau, J.C. Campos, C. Martinie, L. Nigay, P. Palanque and L.D. Spano (2022) Teaching HCI Engineering: Four Case Studies. In Feel, Sense, Design - INTERACT 2021 IFIP TC 13 Workshops, volume 13198 of Lecture Notes in Computer Science, pages 195-210. Springer.
K. Baumann, J.C. Campos, A. Dix, L. Nigay, P. Palanque, J. Vanderdonckt, G. van der Veer and B. Weyers (2021) HCI-E2 : HCI Engineering Education - For Developers, Designers and More. In C. Ardito et al., editor, Human-Computer Interaction - INTERACT 2021, volume 12936 of Lecture Notes in Computer Science, pages 542-547. Springer.
A. Canny, D. Navarre, J.C. Campos and P. Palanque (2020) Model-Based Testing of Post-WIMP Interactions Using Petri-nets. In E. Sekerinski et al., editor, Formal Methods. FM 2019 International Workshops, volume 12232 of Lecture Notes in Computer Science, pages 486-502. Springer.
R. Couto and J.C. Campos (2019) High assurance on Cyber-Physical Interactive Systems. In HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints, pages 46-50.
R. Couto and J.C. Campos (2019) IVY 2 - A model-based analysis tool. In The 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS 2019, pages 5:1--5:6. ACM.
R. Couto, J.C. Campos, N. Macedo and A. Cunha (2018) Improving the Visualization of Alloy Instances. In Integrated Development Environment 2018 (F-IDE 2018), volume 284 of Electronic Proceedings in Theoretical Computer Science, pages 37-52.
M.D. Harrison, P. Masci and J.C. Campos (2018) Formal modelling as a component of user centred design. In M. Mazzara, I. Ober and G. Salaün, editors, Software Technologies: Applications and Foundations, volume 11176 of Lecture Notes in Computer Science, pages 274-289. Springer.
M. Pinto, M. Gonçalves, P. Masci, and J.C. Campos (2017) TOM: a Model-Based GUI Testing framework. In Formal Aspects of Component Software, volume 10487 of Lecture Notes in Computer Science, pages 155-161. Springer.
Machado, M., Couto, R. and Campos, J.C. (2017) MODUS: Model-based User Interfaces Prototyping. In Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pages 111--116. ACM.
Harrison, M.D., Masci, P.M., Campos, J.C. and Curzon, P. (2017) The specification and analysis of use properties of a nuclear control system. In Weyers, B., Palanque, P., Bowen, J. and Dix, A., editors, The Handbook on Formal Methods in Human Computer Interaction, Human-Computer Interaction Series, chapter 14. Springer.
P. Machado, R. Couto and J.C. Campos (2017) Um editor tabular para modelação de interfaces. In Atas do EPCGI 2017 - 24o. Encontro Português de Computação Gráfica e Interação, pages 243-244.
R. Couto, A.N. Ribeiro and J.C. Campos (2017) Avaliação de Usabilidade da ferramenta uCat. In Atas do EPCGI 2017 - 24o. Encontro Português de Computação Gráfica e Interação, pages 239-240.
R. Couto, A.N. Ribeiro and J.C. Campos (2016) Validating an approach to formalize use cases with ontologies. In Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, volume 205 of Electronic Proceedings in Theoretical Computer Science, pages 1-15. Open Publishing Association.
M. Harrison, J.C. Campos, P. Masci and P. Curzon (2015) Templates as heuristics for proving properties of medical devices. In 5th EAI International Conference on Wireless Mobile Communication and Healthcare - "Transforming healthcare through innovations in mobile and wireless technologies". ACM.
T. Abade, J.C. Campos, R. Moreira, C.C.L. Silva and J.L. Silva (2015) Immersiveness of Ubiquitous Computing Environments Prototypes: A case study. In N. Streitz and P. Markopoulos, editors, Distributed, Ambient and Pervasive Interactions, volume 9189 of Lecture Notes in Computer Science, pages 237-248. Springer.
D. Almeida, J.C. Campos, J. Saraiva and J.C. Silva (2015) Towards a Catalog of Usability Smells. In ACM SAC 2015 proceedings - Volume I: Artificial Intelligence and Agents, Distributed Systems, and Information Systems, pages 175-181. ACM.
J. Lamas, C.C.L. Silva, M. Silva, S. Mouta, J.C. Campos, J.A. Santos (2015) Measuring end-to-end delay in real-time auralisation systems. In Euronoise - 10th European Congress and Exposition on Noise Control Engineering, pages 791-796. EAA-NAG-ABAV.
R. Couto, A.N. Ribeiro and J.C. Campos (2014) A Study on the Viability of Formalizing Use Cases. In 9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014, pages 130-133. IEEE.
R. Couto, A.N. Ribeiro and J.C. Campos (2014) The Modelery: A Collaborative Web Based Repository. In Computational Science and Its Applications - ICCSA 2014, volume 8584 of Lecture Notes in Computer Science, pages 1-16. Springer.
T. Abade, T. Gomes, J.L. Silva and J.C. Campos (2014) Design and Evaluation of a Smart Library using the APEX Framework. In N. Streitz and P. Markopoulos, editors, Distributed, Ambient, and Pervasive Interactions, volume 8530 of Lecture Notes in Computer Science, pages 307-318. Springer.
A.I. Sampaio and J.C. Campos (2014) Towards a Framework for Adaptive Web Applications. In C. Stephanidis, editor, HCI International 2014 - Posters' Extended Abstracts, Part I, volume 434 of Communications in Computer and Information Science, pages 240-245. Springer.
J.C. Campos (2014) High assurance interactive computing systems. In J. Ziegler, J. C. Campos and L. Nigay, editors, HCI Engineering: Charting the Way towards Methods and Tools for Advanced Interactive Systems, pages 39-42.
R. Couto, A.N. Ribeiro and J.C. Campos (2014) Application of Ontologies in Identifying Requirements Patterns in Use Cases. In 11th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2014), volume 147 of Electronic Proceedings in Theoretical Computer Science, pages 62-76.
J.C. Silva, J.C. Campos, J. Saraiva and J.L. Silva (2014) An approach for graphical user interface external bad smells detection. In New Perspectives in Information Systems and Technologies, vol. 2, volume 276 of Advances in Intelligent Systems and Computing, pages 199-205. Springer.
T. Abade, T. Gomes, J.L. Silva and J. C. Campos (2013) Avaliação de Ambientes Ubíquos na Plataforma APEX. In Luís Magalhães and Beatriz Santos, editors, Atas da Conferência Interação 2013, pages 177-178. Universidade de Trás-os-Montes e Alto Douro.
T. Gomes, T. Abade, M.D. Harrison, J.L. Silva and J.C. Campos (2013) Developing Serious Games With The APEX Framework. In Proceedings of the Workshop on "Ubiquitous games and gamification for promoting behavior change and wellbeing", pages 37-40.
S. Moreira, R. José and J.C. Campos (2013) An empirical study on immersive prototyping dimensions. In M. Kurosu, editor, Human-Computer Interaction: Human-Centred Design Approaches, Methods, Tools and Environments, volume 8004 of Lecture Notes in Computer Science, pages 421-430. Springer.
L. Oliveira, A.N. Ribeiro and J.C. Campos (2013) The Mobile Context Framework: providing context to mobile applications. In N. Streitz and C. Stephanidis, editors, Distributed, Ambient and Pervasive Interactions, volume 8028 of Lecture Notes in Computer Science, pages 144-153. Springer.
R. Couto, A.N. Ribeiro and J.C. Campos (2013) MapIt: A model based pattern recovery tool. In R.J. Machado, R.S.P. Maciel, J. Rubin and G. Botterweck, editors, Model-Based Methodologies for Pervasive and Embedded Software, volume 7706 of Lecture Notes in Computer Science, pages 19-37. Springer.
C.E. Silva and J.C. Campos (2012) Can GUI implementation markup languages be used for modelling?. In Marco Winckler, Peter Forbrig and Regina Bernhaupt, editors, Human Centred Software Engineering (HCSE 2012), volume 7623 of Lecture Notes in Computer Science, pages 112-129. Springer.
A. Barbosa, A. Paiva and J.C. Campos (2011) Test case generation from mutated task models. In Fabio Paternò, Kris Luyten, Frank Maurer, Prasun Dewan and Carmen Santoro, editors, ACM Symposium on Engineering Interactive Computing Systems (EICS 2011), pages 175-184. ACM. (ISBN: 978-1-4503-0778-9)