Formal models for systems prototyping. - Leonor Maria Melo Torcato Barroca (1989)

Formal Methods for Real-Time Systems. - Leonor Barroca 001; John A. McDermid (NATO ASI RTC, 1992)

Formal Methods: Use and Relevance for the Development of Safety-Critical Systems. - Leonor Maria Melo Torcato Barroca; John A. McDermid (Comput. J., 1992)

The architectural specification of an avionic subsystem. - Leonor Maria Melo Torcato Barroca; John S. Fitzgerald; L. Spencer (WIFT, 1995)

Specification and Verification of Reactive System Behaviour: The Railroad Crossing Example. - James Armstrong; Leonor Barroca 001 (Real Time Syst., 1996)

Object-Oriented Real-Time Systems: Workshop Report. - Leonor Barroca 001; Eugène Dürr; François Terrier (ECOOP Workshops, 1997)

Workshop on Object-Oriented Real-Time Systems. - Leonor Barroca 001; Eugène Dürr; François Terrier (ECOOP Workshops, 1998)

A framework and patterns for the specification of reactive systems. - Leonor Barroca 001; Pedro Rangel Henriques (Inf. Softw. Technol., 1998)

Software architectures - advances and applications. - Leonor Barroca 001; Jon G. Hall; Patrick Hall (Springer, 2000)

Enterprise frameworks for workflow management systems. - Itana Maria de Souza Gimenes; Leonor Barroca 001 (Softw. Pract. Exp., 2002)

A Product Line Architecture for Workflow Management Systems According to the Component-based Development Approach. - Itana Maria de Souza Gimenes; Edson A. Oliveira Junior; Fabrício Ricardo Lazilha; Leonor Barroca 001 (IRI, 2003)

Problem Frames: A Case for Coordination. - Leonor Barroca 001; José Luiz Fiadeiro; Michael Jackson 001; Robin C. Laney; Bashar Nuseibeh (COORDINATION, 2004)

Composing Requirements Using Problem Frames. - Robin C. Laney; Leonor Barroca 001; Michael Jackson 001; Bashar Nuseibeh (RE, 2004)

A Component-based Product Line for Workflow Management Systems. - Itana Maria de Souza Gimenes; Fabrício Ricardo Lazilha; Edson Alves de Oliveira Junior; Leonor Barroca 001 (CLEI Electron. J., 2004)

Learning Software Engineering at a Distance. - Brendan Quinn; Leonor Barroca 001; Bashar Nuseibeh; Juan Fernández-Ramil; Lucia Rapanotti; Pete Thomas; Michel Wermelinger (IEEE Softw., 2006)

Customizing Choreography: Deriving Conversations from Organizational Dependencies. - Ayman Mahfouz; Leonor Barroca 001; Robin C. Laney; Bashar Nuseibeh (EDOC, 2008)

Requirements-Driven Collaborative Choreography Customization. - Ayman Mahfouz; Leonor Barroca 001; Robin C. Laney; Bashar Nuseibeh (ICSOC/ServiceWave, 2009)

From Organizational Requirements to Service Choreography. - Ayman Mahfouz; Leonor Barroca 001; Robin C. Laney; Bashar Nuseibeh (SERVICES I, 2009)

Deepthink: A Second Life Environment for Part-time Research Students at a Distance. - Lucia Rapanotti; Leonor Barroca 001; Maria Vargas-Vera; Ahmad J. Reeves (ICALT, 2010)

Requirements-Driven Design of Service-Oriented Interactions. - Ayman Mahfouz; Leonor Barroca 001; Robin C. Laney; Bashar Nuseibeh (IEEE Softw., 2010)

International workshop on distance learning support for postgraduate programs in software engineering (e-gradSE). - Itana Maria de Souza Gimenes; Leonor Barroca 001; Ellen Francine Barbosa (CSEE&T, 2011)

The Future of Human Resources Qualifications in Software Engineering - Meeting Demands from Industry and Benefiting from Educational and Technological Advances. - Itana Maria de Souza Gimenes; Leonor Barroca 001; Ellen Francine Barbosa (SBES, 2012)

Systematic Evaluation of Software Product Line Architectures. - Edson A. Oliveira Junior; Itana Maria de Souza Gimenes; José Carlos Maldonado; Paulo César Masiero; Leonor Barroca 001 (J. Univers. Comput. Sci., 2013)

Learning Design for Software Engineering Courses. - Itana Maria de Souza Gimenes; Leonor Barroca 001; Ellen Francine Barbosa; Edson A. Oliveira Junior (CSEDU (1), 2014)

Digital technologies for doctoral dialogues at a distance. - Marian Petre; Shailey Minocha; Leonor Barroca 001 (FIE, 2014)

Civic crowdfunding: how do offline communities engage online? - Alexandra Stiver; Leonor Barroca 001; Marian Petre; Mike Richards; Dave Roberts (BCS HCI, 2015)

Towards a Blended Learning Approach to Teach a Theoretical Computer Science Module. - Leila Silva; Leonor Barroca 001 (CSEDU (2), 2015)

An agile learning design method for open educational resources. - Maurício Massaru Arimoto; Ellen Francine Barbosa; Leonor Barroca 001 (FIE, 2015)

Teaching Software Systems Thinking at The Open University. - Michel Wermelinger; Jon G. Hall; Lucia Rapanotti; Leonor Barroca 001; Magnus Ramage; Arosha K. Bandara (ICSE (2), 2015)

Agile Challenges in Practice: A Thematic Analysis. - Peggy Gregory; Leonor Barroca 001; Katie Taylor; Dina Salah; Helen Sharp (XP, 2015)

Civic crowdfunding research: Challenges, opportunities, and future agenda. - Alexandra Stiver; Leonor Barroca 001; Shailey Minocha; Mike Richards; Dave Roberts (New Media Soc., 2015)

Strategies for doing Agile in a non-Agile Environment. - Kati Kuusinen; Peggy Gregory; Helen Sharp; Leonor Barroca 001 (ESEM, 2016)

Remote Working and Collaboration in Agile Teams. - Advait Deshpande; Helen Sharp; Leonor Barroca 001; Peggy Gregory (ICIS, 2016)

AM-OER: An Agile Method for the Development of Open Educational Resources. - Maurício Massaru Arimoto; Leonor Barroca 001; Ellen F. Barbosa (Informatics Educ., 2016)

The challenges that challenge: Engaging with agile practitioners' concerns. - Peggy Gregory; Leonor Barroca 001; Helen Sharp; Advait Deshpande; Katie Taylor (Inf. Softw. Technol., 2016)

Knowledge Sharing in a Large Agile Organisation: A Survey Study. - Kati Kuusinen; Peggy Gregory; Helen Sharp; Leonor Barroca 001; Katie Taylor; Laurence Wood (XP, 2017)

Sustaining Agile Beyond Adoption. - Leonor Barroca 001; Peggy Gregory; Kati Kuusinen; Helen Sharp; Raid AlQaisi (SEAA, 2018)

Enterprise Agility: Why Is Transformation so Hard? - Teemu Karvonen; Helen Sharp; Leonor Barroca 001 (XP, 2018)

Bridging the gap between research and agile practice: an evolutionary model. - Leonor Barroca 001; Helen Sharp; Dina Salah; Katie Taylor; Peggy Gregory (Int. J. Syst. Assur. Eng. Manag., 2018)

Agile Transformation: A Summary and Research Agenda from the First International Workshop. - Leonor Barroca 001; Torgeir Dingsøyr; Marius Mikalsen (XP Workshops, 2019)

Enterprise Agility: A Balancing Act - A Local Government Case Study. - Leonor Barroca 001; Helen Sharp; Torgeir Dingsøyr; Peggy Gregory; Katie Taylor; Raid AlQaisi (XP, 2019)

Stakeholder Perceptions of IT Business Value in a Public Sector IT digitalisation Project. - Peggy Gregory; Diane E. Strode; Leonor Barroca 001; Helen Sharp; Katie Taylor (ECIS, 2020)

Onboarding: How Newcomers Integrate into an Agile Project Team. - Peggy Gregory; Diane E. Strode; Raid AlQaisi; Helen Sharp; Leonor Barroca 001 (XP, 2020)

UX information in the daily work of an agile team: A distributed cognition analysis. - Luciana A. M. Zaina; Helen Sharp; Leonor Barroca 001 (Int. J. Hum. Comput. Stud., 2021)

Towards Understanding How Software Startups Deal with UX from Customer and User Information. - Joelma Choma; Letícia Machado; Cleidson R. B. de Souza; Helen Sharp; Leonor Barroca 001; Luciana A. M. Zaina (ICSOB, 2022)

An onboarding model for integrating newcomers into agile project teams. - Peggy Gregory; Diane E. Strode; Helen Sharp; Leonor Barroca 001 (Inf. Softw. Technol., 2022)

Tensions in Organizations Transforming to Agility. - Diane E. Strode; Helen Sharp; Leonor Barroca 001; Peggy Gregory; Katie Taylor (IEEE Trans. Engineering Management, 2022)

Sustaining Agility: Organizational Change, Factors and Theoretical Lenses. - Leonor Barroca 001; Helen Sharp; Advait Deshpande; Peggy Gregory; Stavros Papadeas (XP, 2023)

What do software startups need from UX work? - Luciana A. M. Zaina; Joelma Choma; Jullia Saad; Leonor Barroca 001; Helen Sharp; Letícia Machado; Cleidson R. B. de Souza (Empir. Softw. Eng., 2023)

Data-Driven Agility: Assessing Agile Culture transformation in a technology organisation. - Chukwudi Uwasomba; Advait Deshpande; Helen Sharp; Peggy Gregory; Rod Willis; Leonor Barroca 001; Maduka C. Uwadi; Katie Taylor (Inf. Softw. Technol., 2025)

UX-work related needs in software startups: Diagnosis and resolution. - Joelma Choma; Helen Sharp; Letícia S. Machado; Leonor Barroca 001; Cleidson R. B. de Souza; Luciana Zaina (J. Syst. Softw., 2025)