Recent Publications

Journal Articles
Conference Papers
Book Chapters
Workshop Papers
Technical Reports
Booklets

You can find my articles on my Google Scholar profile.

Journal Articles

Why do women pursue a PhD in Computer Science?

Published in Journal of Systems and Software, 2025

A comprehensive survey with more than 500 participants on the factors supporting, or deterring students from pursuing a PhD in Computer Science and how these factors vary by gender.

Recommended citation: Erika Ábrahám, Miguel Goulão, Milena Vujošević Janičić, Sarah Jane Delany, Amal Mersni, Oleksandra Yeremenko, Özge Büyükdağlı, Karima Boudaoud, Caroline Oehlhorn, Ute Schmid, Christina Büsing, Helen Bolke-Hermanns, Kaja Köhnle, Matilde Pato, Deniz Sunar Cerci, and Larissa Schmid, Journal of Systems and Software, August, 2025. https://doi.org/10.1016/j.jss.2025.112586

Human Factors in Model-Driven Engineering: Future Research Goals and Initiatives for MDE

Published in Software and Systems Modeling, 2024

Software modelling and Model-Driven Engineering (MDE) is traditionally studied from a technical perspective. […] human factors play a role in the success of MDE

Recommended citation: Grischa Liebel, Jil Klünder, Regina Hebig, Christopher Lazik, Inês Nunes, Isabella Graßl, Jan-Philipp Steghöfer, Joeri Exelmans, Julian Oertel, Kai Marquardt, Katharina Juhnke, Kurt Schneider, Lucas Gren, Lucia Happe, Marc Herrmann, Marvin Wyrich, Matthias Tichy, Miguel Goulão, Rebekka Wohlrab, Reyhaneh Kalantari, Robert Heinrich, Sandra Greiner, Satrio Adi, Shalini Chakraborty, Silvia Abrahão, Vasco Amaral, "Human Factors in Model-Driven Engineering: Future Research Goals and Initiatives for MDE." Software and Systems Modeling, 2024. https://doi.org/10.1007/s10270-024-01188-8

Making sense of the unknown: How managers make cyber security decisions

Published in ACM Transactions on Software Engineering and Methodology, 2023

Our work demonstrates how organisations and practitioners can enrich goal modelling to capture not only what security goals an organisation has (and how they can operationalise them) but also how and why these goals have been identified.

Recommended citation: Shreeve, Benjamin, Catarina Gralha, Awais Rashid, Joao Araujo, and Miguel Goulão. "Making sense of the unknown: How managers make cyber security decisions." ACM Transactions on Software Engineering and Methodology 32, Issue 4, Article No.: 83 (2023): 1-33. https://dl.acm.org/doi/full/10.1145/3548682

A social and technical sustainability requirements catalogue

Published in Data & Knowledge Engineering, 2023

A reusable sustainability requirements catalogue that helps developers be aware of sustainability-related properties worth considering during software development.

Recommended citation: Ana Moreira, João Araújo, Catarina Gralha, Miguel Goulão, Isabel Brito, Diogo Albuquerque, "A social and technical sustainability requirements catalogue." Data & Knowledge Engineering, vol 147, 2023. https://www.sciencedirect.com/science/article/pii/S0169023X22000982

Assessing user stories: the influence of template differences and gender-related problem-solving styles

Published in Requirements Engineering Journal, 2022

Our goal was to analyse the differences between 4 alternative user story templates when creating and understanding user stories. In addition, we used the GenderMag framework to assess the effects of different problem-solving styles, usually associated with gender, while performing the tasks.

Recommended citation: Catarina Gralha, Rita Pereira, Miguel Goulão, João Araújo, "Assessing user stories: the influence of template differences and gender-related problem-solving styles." Requirements Engineering Journal, vol. 27, pp 521-544, 2022. https://doi.org/10.1109/RE51729.2021.00026

Are there gender differences when interacting with social goal models?

Published in Empirical Software Engineering, 2020

We evaluated the impact of different levels of GenderMag facets on creating, modifying, understanding, and reviewing iStar 2.0 models. Participants with a comprehensive information processing style and a conservative attitude towards risk (characteristics frequently seen in females) solved the tasks with lower speed but higher accuracy. Participants with a selective information processing style (a characteristic frequently seen in males) were able to better separate what was relevant from what was not. The complementarity of results suggests there is more gain in leveraging people’s diversity.

Recommended citation: Catarina Gralha, Miguel Goulão, João Araújo, "Are there gender differences when interacting with social goal models?." Empirical Software Engineering, 25, 5416–5453, 2020. https://doi.org/10.1007/s10664-020-09883-y

Conference Papers

A Socio-Technical Grounded Theory on the Effect of Cognitive Dysfunctions in the Performance of Software Developers with ADHD and Autism

Published in In the proceedings of ICSE 2025 47th International Conference on Software Engineering, 2025

Our theory describes how neurodivergent cognitive dysfunctions affect SE performance, and how the individuals individual journey and various accommodations can regulate this effect.

Recommended citation: Kiev Gama, Grischa Liebel, Miguel Goulão, Aline Lacerda, Cristiana Lacerda. A Socio-Technical Grounded Theory on the Effect of Cognitive Dysfunctions in the Performance of Software Developers with ADHD and Autism. 2025 IEEE/ACM 47th International Conference on Software Engineering: Software Engineering in Society (ICSE-SEIS), Ottawa, ON, Canada, 2025, pp. 1-12. https://doi.org/10.1109/ICSE-SEIS66351.2025.00006

A Sustainability Requirements Catalogue for Software Modeling

Published in In the proceedings of 40th International Conference on Conceptual Modeling, 2021

We performed a systematic mapping to elicit and extract sustainability-related properties, and synthesized the results in feature models (creating a) sustainability catalog.

Recommended citation: Diogo Albuquerque, Ana Moreira, João Araujo, Catarina Gralha, Miguel Goulão, Isabel Sofia Brito, "A Sustainability Requirements Catalog for the Social and Technical Dimensions." In Ghose, A., Horkoff, J., Silva Souza, V.E., Parsons, J., Evermann, J. (eds), Proceedings of 40th International Conference on Conceptual Modeling (ER 2021), Lecture Notes in Computer Science, vol 13011. Springer, Cham., 2021. https://doi.org/10.1007/978-3-030-89022-3_30

On the impact of using different templates on creating and understanding user stories

Published in In the proceedings of 29th IEEE International Requirements Engineering Conference, 2021

We analysed the differences between 4 alternative user story templates when creating and understanding user stories (…) and we found no compelling evidence that one template is better than the others.

Recommended citation: Catarina Gralha, Rita Pereira, Miguel Goulão, João Araujo, "On the impact of using different templates on creating and understanding user stories." In the proceedings of 29th IEEE International Requirements Engineering Conference, 2021. https://doi.org/10.1109/RE51729.2021.00026

Book Chapters

WoCa Lunch: A Program for Female Students to Get Informed About PhD Studies

Published in Actions for Gender Balance in Informatics Across Europe, 2025

This chapter presents the Women Career Lunch (WoCa Lunch) program, designed to be executed in informatics/computer science departments to facilitate the transition to PhD, focusing on supporting women in this transition.

Recommended citation: Milena Vujošević Janičić, Erika Ábrahám, Amal Mersni, Oleksandra Yeremenko & Miguel Goulão, "WoCa Lunch: A Program for Female Students to Get Informed About PhD Studies", In: Penzenstadler, B., Boudaoud, K., Di Marco, A., Caner-Yıldırım, S. (eds) Actions for Gender Balance in Informatics Across Europe. Springer, Cham., pp. 137-173, August, 2025. https://doi.org/10.1007/978-3-031-78432-3_7

Voices of Female Informatics Students Across Universities

Published in Actions for Gender Balance in Informatics Across Europe, 2025

The underrepresentation of women in Informatics can lead to perceptions of potential challenges and concerns among female students. How do these students perceive the challenges they may encounter? How does this perception influence their decisions about pursuing a PhD in Informatics? In this chapter, we discuss these challenges and the opportunities the female PhD students experience, presenting them from their perspectives. Additionally, considering the “leaky pipeline” phenomenon, which causes even further attrition in the higher education pipeline, we incorporate the viewpoints of both bachelor’s and master’s students regarding pursuing a PhD in Informatics.

Recommended citation: Özge Büyükdağlı, Miguel Goulão, Milena Vujošević Janičić & Amal Mersni, "Voices of Female Informatics Students Across Universities", In: Penzenstadler, B., Boudaoud, K., Di Marco, A., Caner-Yıldırım, S. (eds) Actions for Gender Balance in Informatics Across Europe. Springer, Cham., pp. 105-135, August, 2025. https://doi.org/10.1007/978-3-031-78432-3_6

The Impact of Peers, Mentors and Role Models on Successful PhD Studies

Published in Actions for Gender Balance in Informatics Across Europe, 2025

This chapter discusses the importance of role models, mentors, and peers in supporting female students’ decision to pursue a PhD. Role models inspire individuals to emulate successful behaviours and set a standard for excellence, while mentors provide guidance, share experiences, and challenge their mentees to reach their full potential.

Recommended citation: Judith Knoblach, Ute Schmid, Miguel Goulão, Larissa Schmid, Milena Vujošević Janičić & Karima Boudaoud, "The Impact of Peers, Mentors and Role Models on Successful PhD Studies", In: Penzenstadler, B., Boudaoud, K., Di Marco, A., Caner-Yıldırım, S. (eds) Actions for Gender Balance in Informatics Across Europe. Springer, Cham., pp. 175-195, August, 2025. https://doi.org/10.1007/978-3-031-78432-3_8

Agent-based cyber-physical system development with SEA_ML++

Published in Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, 2021

An MDE methodology is introduced in which SEA_ML++ can be used to design agent-based CPS and implement these systems on various agent execution platforms.

Recommended citation: Moharram Challenger, Baris Tekin, Vasco Amaral, Miguel Goulão, Geylani Kardas, "Agent-based cyber-physical system development with SEA_ML++." Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, 2021. https://doi.org/10.1016/B978-0-12-819105-7.00013-1

Introduction

Published in Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, 2020

This introductory chapter provides the context and the motivation for multi-paradigm modeling for cyber-physical systems (MPM4CPS). Three basic parts are presented, including an ontological framework for MPM4CPS, methods and tools, and case studies.

Recommended citation: Bedir Tekinerdogan, Dominique Blouin, Hans Vangheluwe, Miguel Goulão, Paulo Carreira, Vasco Amaral, "Introduction." Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, 2021. https://doi.org/10.1016/B978-0-12-819105-7.00006-4

Workshop Papers

A Survey of Federative Approaches for Model Management in MBSE

Published in In the proceedings of Proceedings of the ACM / IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2024

Model Management (MoM) is a possible approach to manage inter-related collections of models among which Model Federation (MF) provides unique capabilities, like independence of development in individual modelling domains. In this paper, we propose a survey and a critical discussion of carefully selected papers about MF.

Recommended citation: Moussa Amrani, Rakshit Mittal, Miguel Goulão, Vasco Amaral, Sylvain Guérin, Salvador Martínez, Dominique Blouin, Anish Bhobe, Yara Hallak, "A Survey of Federative Approaches for Model Management in MBSE." In MODELS Companion 24: Proceedings of the ACM / IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 990-999, 2024. https://doi.org/10.1145/3652620.3688221

SCCD Debugger: a Debugger for Statecharts and Class Diagrams

Published in In the proceedings of Proceedings of the ACM / IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2024

This paper introduces a debugger for models specified in the SCCD (SCXML extended with class diagrams) formalism, which combines statecharts with class diagrams. The debugger, a crucial tool in the context of MDD, supports debugging model-generated applications at the model level rather than at the level of the synthesized code.

Recommended citation: Francisco Simões, Miguel Goulão, Vasco Amaral, Joeri Exelmans, Hans Vangheluwe, "SCCD Debugger: a Debugger for Statecharts and Class Diagrams." Proceedings of the ACM / IEEE 27th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2024. https://doi.org/10.1145/3652620.3687792