ARMISTICE: an experience developing management software with Erlang. - David Cabrero; Carlos Abalde; Carlos Varela; Laura M. Castro (Erlang Workshop, 2003)

On modelling agent systems with Erlang. - Carlos Varela; Carlos Abalde; Laura M. Castro; Jose Gulías (Erlang Workshop, 2004)

Formalisation of a Functional Risk Management System. - Víctor M. Gulías; Carlos Abalde; Laura M. Castro; Carlos Varela (ICEIS (3), 2006)

Towards a Decentralized and Structured Network of P2P Public Information Screens. - Carlos Abalde; Víctor M. Gulías; Laura M. Castro (EUROCAST, 2007)

Verification of Program Properties Using Different Theorem Provers: A Case Study. - J. Santiago Jorge; Víctor M. Gulías; Laura M. Castro (EUROCAST, 2007)

Extending the VoDKA Architecture with P2P Aggregated Content Management. - Carlos Abalde; Víctor M. Gulías; Laura M. Castro (ISCC, 2007)

Certificación de Propiedades Usando Distintos Probadores de Teoremas: Un Caso de Estudio. - J. Santiago Jorge; Víctor M. Gulías; Laura M. Castro (JIISIC, 2007)

Erlang/OTP Framework for Complex Management Applications Development. - Carlos Abalde; Víctor M. Gulías; Laura M. Castro; Carlos Varela; J. Santiago Jorge (WEBIST (1), 2007)

Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server. - J. Santiago Jorge; Víctor M. Gulías; Laura M. Castro (AISC/MKM/Calculemus, 2008)

Testing Erlang data types with quviq quickcheck. - Thomas Arts; Laura M. Castro; John Hughes 001 (Erlang Workshop, 2008)

Efficient Discovery of Widely Distributed and Non-volatile Resources on DHTs. - Carlos Abalde; Víctor M. Gulías; Laura M. Castro (ICIW, 2008)

Managing the Risks of Risk Management. - Laura M. Castro; Víctor M. Gulías; Carlos Abalde; J. Santiago Jorge (J. Decis. Syst., 2008)

A Practical Methodology for Integration Testing. - Laura M. Castro; Miguel A. Francisco; Víctor M. Gulías (EUROCAST, 2009)

Testing Data Consistency of Data-Intensive Applications Using QuickCheck. - Laura M. Castro; Thomas Arts (PROLE, 2010)

Model-based testing of data types with side effects. - Thomas Arts; Laura M. Castro (Erlang Workshop, 2011)

Failover and takeover contingency mechanisms for network partition and node failure. - Macías López; Laura M. Castro; David Cabrero (Erlang Workshop, 2012)

Automatic generation of test models and properties from UML models with OCL constraints. - Miguel A. Francisco; Laura M. Castro (OCL@MoDELS, 2012)

Declarative distributed advertisement system for iDTV: an industrial experience. - Macías López; Laura M. Castro; David Cabrero (PPDP, 2012)

Repeating History: Execution Replay for Parallel Haskell Programs. - Henrique Ferreiro; Vladimir Janjic; Laura M. Castro; Kevin Hammond (Trends in Functional Programming, 2012)

Turning web services descriptions into quickcheck models for automatic testing. - Miguel A. Francisco; Macías López; Henrique Ferreiro; Laura M. Castro (Erlang Workshop, 2013)

Business Operation Improvement through Integrated Infrastructure Management. - Alberto Casanova; Laura M. Castro; Antonio Blanco Ferro (EUROCAST (1), 2013)

Feasibility of Property-Based Testing for Time-Dependent Systems. - Macías López; Laura M. Castro; David Cabrero (EUROCAST (2), 2013)

Automatic Generation of Test Models for Web Services Using WSDL and OCL. - Macías López; Henrique Ferreiro; Miguel A. Francisco; Laura M. Castro (ICSOC, 2013)

Building Web Applications with Erlang, by Zachary Kessin, O'Reilly Media, Inc., 2012, ISBN 97-81-4493-20652. - Laura M. Castro (J. Funct. Program., 2013)

A language-independent approach to black-box testing using Erlang as test specification language. - Laura M. Castro; Miguel A. Francisco (J. Syst. Softw., 2013)

Sitting Property-Based Testing at the Desktop. - Laura M. Castro (EUROCAST, 2015)

Advanced management of data integrity: property-based testing for business rules. - Laura M. Castro (J. Intell. Inf. Syst., 2015)

Assessing the effects of introducing a new software development process: a methodological description. - Agneta Nilsson; Laura M. Castro; Samuel Rivas; Thomas Arts (Int. J. Softw. Tools Technol. Transf., 2015)

Kindergarten cop: dynamic nursery resizing for GHC. - Henrique Ferreiro; Laura M. Castro; Vladimir Janjic; Kevin Hammond (CC, 2016)

Automatic generation of UML sequence diagrams from test counterexamples. - Daniel Carballa; Laura M. Castro (Erlang Workshop, 2016)

Making everybody comfortable with Erlang: a SCADA system for thermal control. - Laura M. Castro; J. Daniel Fernández; Carlos López Pampín (Erlang Workshop, 2016)

Making Property-Based Testing Easier to Read for Humans. - Laura M. Castro; Pablo Lamela; Simon Thompson 001 (Comput. Informatics, 2016)

Teaching the next generation of software architects: a gender-focused survey on worldwide curricula. - Laura M. Castro (ECSA (Companion), 2018)

Towards the Formal Development of Software Based Systems: Access Control System as a Case Study. - Ammar Boucherit; Laura M. Castro; Abdallah Khababa; Osman Hasan (Inf. Technol. Control., 2018)

Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets. - Ammar Boucherit; Abdallah Khababa; Laura M. Castro (Multiagent Grid Syst., 2018)

Validation of SDN policies: a property-based testing perspective. - Laura M. Castro; Nicolae Paladi (EUSPN/ICTH, 2019)

Everybody Rock Your Equity: Experiences of Organizing a Women in Computing Event with Role Models for Diversity and Inclusion. - Virginia Grande; Clara Benac Earle; Cristina Manresa-Yee; Elena Gómez-Martínez; Laura M. Castro; Patricia Pons; Raúl Corobán (I3E Workshops, 2019)

It was never about the language: paradigm impact on software design decisions. - Laura M. Castro (CoRR, 2020)

Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems. - Ammar Boucherit; Laura M. Castro; Abdallah Khababa; Osman Hasan (Multiagent Grid Syst., 2020)

Detecting oxbow code in Erlang codebases with the highest degree of certainty. - Fernando Benavides Rodríguez; Laura M. Castro (Erlang Workshop, 2021)

Towards a hybrid formal analysis technique for safety-critical software architectures. - Ammar Boucherit; Laura M. Castro; Osman Hasan; Abdallah Khababa (Int. J. Crit. Comput. Based Syst., 2021)

Challenges to Use Role Playing in Software Engineering Education: A Rapid Review. - Mauricio Hidalgo; Hernán Astudillo; Laura M. Castro (ICAI, 2023)

Role-playing software architecture styles. - Laura M. Castro (ICSA-C, 2023)

How Software Architects Learn: A pilot study of their learning style in Kolb's Learning Styles Inventory. - Mauricio Hidalgo; Hernán Astudillo; Laura M. Castro (SCCC, 2023)

Elixir-Powered Low-Income Animal Shelter Support: An Experience Report from Conception to Production. - Carla Rodríguez Estévez; Laura M. Castro (Erlang, 2024)

Effective Teaching Strategies for Large Classes: A Case Study in Software Architecture Education. - Laura M. Castro; Mauricio Hidalgo; Hernán Astudillo (ICETC, 2024)

A Galician Corpus for Misogyny Detection Online. - Lucía M. Álvarez-Crespo; Laura M. Castro (PROPOR (1), 2024)

Challenges to Applying Role Playing in Software Engineering Education: A Taxonomy Derived from a Rapid Literature Review. - Mauricio Hidalgo; Hernán Astudillo; Laura M. Castro (SN Comput. Sci., 2024)