| 2025 | CLEI | Enhancing Software Requirements Education Through Active Learning: A Pilot Study on Role-Playing and Real-World Simulations. | Mauricio Hidalgo, Laura M. Castro, Hernn Astudillo, Fernando Montoya, Manuel Alejandro Goyo |
| 2023 | ICSA | Role-playing software architecture styles. | Laura M. Castro |
| 2019 | EUSPN | Validation of SDN policies: a property-based testing perspective. | Laura M. Castro, Nicolae Paladi |
| 2018 | ECSA | Teaching the next generation of software architects: a gender-focused survey on worldwide curricula. | Laura M. Castro |
| 2016 | CC | Kindergarten cop: dynamic nursery resizing for GHC. | Henrique Ferreiro, Laura M. Castro, Vladimir Janjic, Kevin Hammond |
| 2013 | ICSOC | Automatic Generation of Test Models for Web Services Using WSDL and OCL. | Macas Lpez, Henrique Ferreiro, Miguel A. Francisco, Laura M. Castro |
| 2012 | MODELS | Automatic generation of test models and properties from UML models with OCL constraints. | Miguel A. Francisco, Laura M. Castro |
| 2012 | PPDP | Declarative distributed advertisement system for iDTV: an industrial experience. | Macas Lpez, Laura M. Castro, David Cabrero |
| 2008 | AISC | Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server. | J. Santiago Jorge, Vctor M. Gulas, Laura M. Castro |
| 2008 | ICIW | Efficient Discovery of Widely Distributed and Non-volatile Resources on DHTs. | Carlos Abalde, Vctor M. Gulas, Laura M. Castro |
| 2007 | ISCC | Extending the VoDKA Architecture with P2P Aggregated Content Management. | Carlos Abalde, Vctor M. Gulas, Laura M. Castro |
| 2007 | WEBIST | Erlang/OTP Framework for Complex Management Applications Development. | Carlos Abalde, Vctor M. Gulas, Laura M. Castro, Carlos Varela, J. Santiago Jorge |