default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLaura M. Castro
Person information
Other persons with a similar name
- Laura Castro
- Laura M. Cruz Castro (aka: Laura Melissa Cruz Castro)
- Laura Roa Castro
- Laura Cruz-Castro
- Laura Castro de la Guardia
- Laura Castro Montaña
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j11]Mauricio Hidalgo
, Hernán Astudillo, Laura M. Castro:
Challenges to Applying Role Playing in Software Engineering Education: A Taxonomy Derived from a Rapid Literature Review. SN Comput. Sci. 5(6): 694 (2024)- [c35]Carla Rodríguez Estévez, Laura M. Castro:
Elixir-Powered Low-Income Animal Shelter Support: An Experience Report from Conception to Production. Erlang 2024: 96-107 - [c34]Lucía M. Álvarez-Crespo, Laura M. Castro:
A Galician Corpus for Misogyny Detection Online. PROPOR 2024: 22-31 - 2023
- [c33]Mauricio Hidalgo, Hernán Astudillo, Laura M. Castro:
Challenges to Use Role Playing in Software Engineering Education: A Rapid Review. ICAI 2023: 245-260 - [c32]Laura M. Castro:
Role-playing software architecture styles. ICSA-C 2023: 171-174 - [c31]Mauricio Hidalgo, Hernán Astudillo, Laura M. Castro:
How Software Architects Learn: A pilot study of their learning style in Kolb's Learning Styles Inventory. SCCC 2023: 1-8 - [i3]Laura M. Castro:
Role-playing software architecture styles. CoRR abs/2302.14461 (2023) - 2021
- [j10]Ammar Boucherit, Laura M. Castro, Osman Hasan, Abdallah Khababa:
Towards a hybrid formal analysis technique for safety-critical software architectures. Int. J. Crit. Comput. Based Syst. 10(2): 95-119 (2021) - [c30]Fernando Benavides Rodríguez, Laura M. Castro:
Detecting oxbow code in Erlang codebases with the highest degree of certainty. Erlang Workshop 2021: 28-40 - [i2]Fernando Benavides Rodríguez, Laura M. Castro:
Detecting Oxbow Code in Erlang Codebases with the Highest Degree of Certainty. CoRR abs/2107.08699 (2021) - 2020
- [j9]Ammar Boucherit, Laura M. Castro, Abdallah Khababa, Osman Hasan:
Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems. Multiagent Grid Syst. 16(1): 47-66 (2020) - [i1]Laura M. Castro:
It was never about the language: paradigm impact on software design decisions. CoRR abs/2010.08292 (2020)
2010 – 2019
- 2019
- [c29]Laura M. Castro, Nicolae Paladi:
Validation of SDN policies: a property-based testing perspective. EUSPN/ICTH 2019: 23-29 - [c28]Virginia Grande, Clara Benac Earle, Cristina Manresa-Yee, Elena Gómez-Martínez, Laura M. Castro, Patricia Pons, Raúl Corobán:
Everybody Rock Your Equity: Experiences of Organizing a Women in Computing Event with Role Models for Diversity and Inclusion. I3E Workshops 2019: 5-16 - 2018
- [j8]Ammar Boucherit, Laura M. Castro, Abdallah Khababa, Osman Hasan:
Towards the Formal Development of Software Based Systems: Access Control System as a Case Study. Inf. Technol. Control. 47(3): 393-405 (2018) - [j7]Ammar Boucherit, Abdallah Khababa, Laura M. Castro:
Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets. Multiagent Grid Syst. 14(4): 403-418 (2018) - [c27]Laura M. Castro:
Teaching the next generation of software architects: a gender-focused survey on worldwide curricula. ECSA (Companion) 2018: 14:1-14:4 - 2016
- [j6]Laura M. Castro, Pablo Lamela, Simon Thompson:
Making Property-Based Testing Easier to Read for Humans. Comput. Informatics 35(4): 890-913 (2016) - [c26]Henrique Ferreiro, Laura M. Castro, Vladimir Janjic, Kevin Hammond:
Kindergarten cop: dynamic nursery resizing for GHC. CC 2016: 56-66 - [c25]Laura M. Castro, J. Daniel Fernández, Carlos López Pampín:
Making everybody comfortable with Erlang: a SCADA system for thermal control. Erlang Workshop 2016: 56-57 - [c24]Daniel Carballa, Laura M. Castro:
Automatic generation of UML sequence diagrams from test counterexamples. Erlang Workshop 2016: 58-59 - 2015
- [j5]Laura M. Castro:
Advanced management of data integrity: property-based testing for business rules. J. Intell. Inf. Syst. 44(3): 355-380 (2015) - [j4]Agneta Nilsson, Laura M. Castro, Samuel Rivas, Thomas Arts:
Assessing the effects of introducing a new software development process: a methodological description. Int. J. Softw. Tools Technol. Transf. 17(1): 1-16 (2015) - [c23]Laura M. Castro:
Sitting Property-Based Testing at the Desktop. EUROCAST 2015: 236-243 - 2014
- [e2]Laura M. Castro, Hans Svensson:
Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, Gothenburg, Sweden, September 5, 2014. ACM 2014, ISBN 978-1-4503-3038-1 [contents] - 2013
- [j3]Laura M. Castro:
Building Web Applications with Erlang, by Zachary Kessin, O'Reilly Media, Inc., 2012, ISBN 97-81-4493-20652. J. Funct. Program. 23(2): 225-226 (2013) - [j2]Laura M. Castro, Miguel A. Francisco:
A language-independent approach to black-box testing using Erlang as test specification language. J. Syst. Softw. 86(12): 3109-3122 (2013) - [c22]Miguel A. Francisco, Macías López, Henrique Ferreiro, Laura M. Castro:
Turning web services descriptions into quickcheck models for automatic testing. Erlang Workshop 2013: 79-86 - [c21]Alberto Casanova, Laura M. Castro, Antonio Blanco Ferro:
Business Operation Improvement through Integrated Infrastructure Management. EUROCAST (1) 2013: 158-165 - [c20]Macías López, Laura M. Castro, David Cabrero:
Feasibility of Property-Based Testing for Time-Dependent Systems. EUROCAST (2) 2013: 527-535 - [c19]Macías López, Henrique Ferreiro, Miguel A. Francisco, Laura M. Castro:
Automatic Generation of Test Models for Web Services Using WSDL and OCL. ICSOC 2013: 483-490 - [e1]Steve Vinoski, Laura M. Castro:
Proceedings of the Twelfth ACM SIGPLAN Erlang Workshop, Boston, Massachusetts, USA, September 28, 2013. ACM 2013, ISBN 978-1-4503-2385-7 [contents] - 2012
- [c18]Macías López, Laura M. Castro, David Cabrero:
Failover and takeover contingency mechanisms for network partition and node failure. Erlang Workshop 2012: 51-60 - [c17]Miguel A. Francisco, Laura M. Castro:
Automatic generation of test models and properties from UML models with OCL constraints. OCL@MoDELS 2012: 49-54 - [c16]Macías López, Laura M. Castro, David Cabrero:
Declarative distributed advertisement system for iDTV: an industrial experience. PPDP 2012: 185-194 - [c15]Henrique Ferreiro, Vladimir Janjic, Laura M. Castro, Kevin Hammond:
Repeating History: Execution Replay for Parallel Haskell Programs. Trends in Functional Programming 2012: 231-246 - 2011
- [c14]Thomas Arts, Laura M. Castro:
Model-based testing of data types with side effects. Erlang Workshop 2011: 30-38 - 2010
- [c13]Laura M. Castro, Thomas Arts:
Testing Data Consistency of Data-Intensive Applications Using QuickCheck. PROLE 2010: 41-62
2000 – 2009
- 2009
- [c12]Laura M. Castro, Miguel A. Francisco, Víctor M. Gulías:
A Practical Methodology for Integration Testing. EUROCAST 2009: 881-888 - 2008
- [j1]Laura M. Castro, Víctor M. Gulías, Carlos Abalde, J. Santiago Jorge:
Managing the Risks of Risk Management. J. Decis. Syst. 17(4): 501-521 (2008) - [c11]J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro:
Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server. AISC/MKM/Calculemus 2008: 296-299 - [c10]Thomas Arts, Laura M. Castro, John Hughes:
Testing Erlang data types with quviq quickcheck. Erlang Workshop 2008: 1-8 - [c9]Carlos Abalde, Víctor M. Gulías, Laura M. Castro:
Efficient Discovery of Widely Distributed and Non-volatile Resources on DHTs. ICIW 2008: 370-376 - 2007
- [c8]Carlos Abalde, Víctor M. Gulías, Laura M. Castro:
Towards a Decentralized and Structured Network of P2P Public Information Screens. EUROCAST 2007: 217-224 - [c7]J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro:
Verification of Program Properties Using Different Theorem Provers: A Case Study. EUROCAST 2007: 233-240 - [c6]Carlos Abalde, Víctor M. Gulías, Laura M. Castro:
Extending the VoDKA Architecture with P2P Aggregated Content Management. ISCC 2007: 1085-1090 - [c5]J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro:
Certificación de Propiedades Usando Distintos Probadores de Teoremas: Un Caso de Estudio. JIISIC 2007: 27-34 - [c4]Carlos Abalde, Víctor M. Gulías, Laura M. Castro, Carlos Varela, J. Santiago Jorge:
Erlang/OTP Framework for Complex Management Applications Development. WEBIST (1) 2007: 422-425 - 2006
- [c3]Víctor M. Gulías, Carlos Abalde, Laura M. Castro, Carlos Varela:
Formalisation of a Functional Risk Management System. ICEIS (3) 2006: 516-519 - 2004
- [c2]Carlos Varela, Carlos Abalde, Laura M. Castro, Jose Gulías:
On modelling agent systems with Erlang. Erlang Workshop 2004: 65-70 - 2003
- [c1]David Cabrero, Carlos Abalde, Carlos Varela, Laura M. Castro:
ARMISTICE: an experience developing management software with Erlang. Erlang Workshop 2003: 23-28
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-22 00:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
