Laura M. Castro

54 papers A 1B 1C 4Journal 14Unranked 31

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Crosscutting Teaching Strategies for Software Development Teams: Insights from Kolb's Inventory. CLEI Electron. J. Mauricio Hidalgo, Kattia Rodriguez, Laura M. Castro, Fernando Montoya, Hernán Astudillo
2025	C	`conf`	Enhancing Software Requirements Education Through Active Learning: A Pilot Study on Role-Playing and Real-World Simulations. CLEI Mauricio Hidalgo, Laura M. Castro, Hernán Astudillo, Fernando Montoya, Manuel Alejandro Goyo
2024	—	`conf`	A Galician Corpus for Misogyny Detection Online. PROPOR (1) Lucía M. Álvarez-Crespo, Laura M. Castro
2024	J	`jnl`	Challenges to Applying Role Playing in Software Engineering Education: A Taxonomy Derived from a Rapid Literature Review. SN Comput. Sci. Mauricio Hidalgo, Hernán Astudillo, Laura M. Castro
2024	—	`conf`	Effective Teaching Strategies for Large Classes: A Case Study in Software Architecture Education. ICETC Laura M. Castro, Mauricio Hidalgo, Hernán Astudillo
2024	—	`conf`	Elixir-Powered Low-Income Animal Shelter Support: An Experience Report from Conception to Production. Erlang Carla Rodríguez Estévez, Laura M. Castro
2023	—	`conf`	Challenges to Use Role Playing in Software Engineering Education: A Rapid Review. ICAI Mauricio Hidalgo, Hernán Astudillo, Laura M. Castro
2023	—	`conf`	How Software Architects Learn: A pilot study of their learning style in Kolb's Learning Styles Inventory. SCCC Mauricio Hidalgo, Hernán Astudillo, Laura M. Castro
2023	—	`conf`	Role-playing software architecture styles. ICSA-C Laura M. Castro
2023	J	`jnl`	Role-playing software architecture styles. CoRR Laura M. Castro
2021	J	`jnl`	Detecting Oxbow Code in Erlang Codebases with the Highest Degree of Certainty. CoRR Fernando Benavides Rodríguez, Laura M. Castro
2021	—	`conf`	Detecting oxbow code in Erlang codebases with the highest degree of certainty. Erlang Workshop Fernando Benavides Rodríguez, Laura M. Castro
2021	J	`jnl`	Towards a hybrid formal analysis technique for safety-critical software architectures. Int. J. Crit. Comput. Based Syst. Ammar Boucherit, Laura M. Castro, Osman Hasan, Abdallah Khababa
2020	J	`jnl`	It was never about the language: paradigm impact on software design decisions. CoRR Laura M. Castro
2020	J	`jnl`	Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems. Multiagent Grid Syst. Ammar Boucherit, Laura M. Castro, Abdallah Khababa, Osman Hasan
2019	—	`conf`	Everybody Rock Your Equity: Experiences of Organizing a Women in Computing Event with Role Models for Diversity and Inclusion. I3E Workshops Virginia Grande, Clara Benac Earle, Cristina Manresa-Yee, Elena Gómez-Martínez, Laura M. Castro, Patricia Pons, Raúl Corobán
2019	—	`conf`	Validation of SDN policies: a property-based testing perspective. EUSPN/ICTH Laura M. Castro, Nicolae Paladi
2018	J	`jnl`	Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets. Multiagent Grid Syst. Ammar Boucherit, Abdallah Khababa, Laura M. Castro
2018	—	`conf`	Teaching the next generation of software architects: a gender-focused survey on worldwide curricula. ECSA (Companion) Laura M. Castro
2018	J	`jnl`	Towards the Formal Development of Software Based Systems: Access Control System as a Case Study. Inf. Technol. Control. Ammar Boucherit, Laura M. Castro, Abdallah Khababa, Osman Hasan
2016	—	`conf`	Automatic generation of UML sequence diagrams from test counterexamples. Erlang Workshop Daniel Carballa, Laura M. Castro
2016	B	`conf`	Kindergarten cop: dynamic nursery resizing for GHC. CC Henrique Ferreiro, Laura M. Castro, Vladimir Janjic, Kevin Hammond
2016	J	`jnl`	Making Property-Based Testing Easier to Read for Humans. Comput. Informatics Laura M. Castro, Pablo Lamela, Simon Thompson
2016	—	`conf`	Making everybody comfortable with Erlang: a SCADA system for thermal control. Erlang Workshop Laura M. Castro, J. Daniel Fernández, Carlos López Pampín
2015	J	`jnl`	Advanced management of data integrity: property-based testing for business rules. J. Intell. Inf. Syst. Laura M. Castro
2015	J	`jnl`	Assessing the effects of introducing a new software development process: a methodological description. Int. J. Softw. Tools Technol. Transf. Agneta Nilsson, Laura M. Castro, Samuel Rivas, Thomas Arts
2015	—	`conf`	Sitting Property-Based Testing at the Desktop. EUROCAST Laura M. Castro
2014	—	`ed.`	Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, Gothenburg, Sweden, September 5, 2014 Erlang Workshop Laura M. Castro, Hans Svensson
2013	J	`jnl`	A language-independent approach to black-box testing using Erlang as test specification language. J. Syst. Softw. Laura M. Castro, Miguel A. Francisco
2013	A	`conf`	Automatic Generation of Test Models for Web Services Using WSDL and OCL. ICSOC Macías López, Henrique Ferreiro, Miguel A. Francisco, Laura M. Castro
2013	—	`conf`	Business Operation Improvement through Integrated Infrastructure Management. EUROCAST (1) Alberto Casanova, Laura M. Castro, Antonio Blanco Ferro
2013	—	`conf`	Feasibility of Property-Based Testing for Time-Dependent Systems. EUROCAST (2) Macías López, Laura M. Castro, David Cabrero
2013	—	`ed.`	Proceedings of the Twelfth ACM SIGPLAN Erlang Workshop, Boston, Massachusetts, USA, September 28, 2013 Erlang Workshop Steve Vinoski, Laura M. Castro
2013	—	`conf`	Turning web services descriptions into quickcheck models for automatic testing. Erlang Workshop Miguel A. Francisco, Macías López, Henrique Ferreiro, Laura M. Castro
2012	—	`conf`	Automatic generation of test models and properties from UML models with OCL constraints. OCL@MoDELS Miguel A. Francisco, Laura M. Castro
2012	C	`conf`	Declarative distributed advertisement system for iDTV: an industrial experience. PPDP Macías López, Laura M. Castro, David Cabrero
2012	—	`conf`	Failover and takeover contingency mechanisms for network partition and node failure. Erlang Workshop Macías López, Laura M. Castro, David Cabrero
2012	—	`conf`	Repeating History: Execution Replay for Parallel Haskell Programs. Trends in Functional Programming Henrique Ferreiro, Vladimir Janjic, Laura M. Castro, Kevin Hammond
2011	—	`conf`	Model-based testing of data types with side effects. Erlang Workshop Thomas Arts, Laura M. Castro
2010	—	`—`	On the development life cycle of distributed functional applications: a case study. Laura M. Castro
2010	—	`conf`	Testing Data Consistency of Data-Intensive Applications Using QuickCheck. PROLE Laura M. Castro, Thomas Arts
2009	—	`conf`	A Practical Methodology for Integration Testing. EUROCAST Laura M. Castro, Miguel A. Francisco, Víctor M. Gulías
2008	C	`conf`	Efficient Discovery of Widely Distributed and Non-volatile Resources on DHTs. ICIW Carlos Abalde, Víctor M. Gulías, Laura M. Castro
2008	J	`jnl`	Managing the Risks of Risk Management. J. Decis. Syst. Laura M. Castro, Víctor M. Gulías, Carlos Abalde, J. Santiago Jorge
2008	—	`conf`	Testing Erlang data types with quviq quickcheck. Erlang Workshop Thomas Arts, Laura M. Castro, John Hughes
2008	—	`conf`	Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server. AISC/MKM/Calculemus J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro
2007	—	`conf`	Certificación de Propiedades Usando Distintos Probadores de Teoremas: Un Caso de Estudio. JIISIC J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro
2007	—	`conf`	Erlang/OTP Framework for Complex Management Applications Development. WEBIST (1) Carlos Abalde, Víctor M. Gulías, Laura M. Castro, Carlos Varela, J. Santiago Jorge
2007	C	`conf`	Extending the VoDKA Architecture with P2P Aggregated Content Management. ISCC Carlos Abalde, Víctor M. Gulías, Laura M. Castro
2007	—	`conf`	Towards a Decentralized and Structured Network of P2P Public Information Screens. EUROCAST Carlos Abalde, Víctor M. Gulías, Laura M. Castro
2007	—	`conf`	Verification of Program Properties Using Different Theorem Provers: A Case Study. EUROCAST J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro
2006	—	`conf`	Formalisation of a Functional Risk Management System. ICEIS (3) Víctor M. Gulías, Carlos Abalde, Laura M. Castro, Carlos Varela
2004	—	`conf`	On modelling agent systems with Erlang. Erlang Workshop Carlos Varela, Carlos Abalde, Laura M. Castro, Jose Gulías
2003	—	`conf`	ARMISTICE: an experience developing management software with Erlang. Erlang Workshop David Cabrero, Carlos Abalde, Carlos Varela, Laura M. Castro