default search action

combined dblp search
author search
venue search
publication search

ask others

Laura M. Castro

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/sncs/HidalgoAC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sncs/HidalgoAC24
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)
2021
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/ijccbs/BoucheritCHK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijccbs/BoucheritCHK21
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)
2020
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/mags/BoucheritCKH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mags/BoucheritCKH20
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)
2018
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/itc/BoucheritCKH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/itc/BoucheritCKH18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/mags/BoucheritKC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mags/BoucheritKC18
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)
2016
[j6]
- view
  - electronic edition @ cai.sk (open access)
  - details & citations
- export record
  dblp key:
  - journals/cai/CastroLT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cai/CastroLT16
Laura M. Castro, Pablo Lamela, Simon Thompson:
Making Property-Based Testing Easier to Read for Humans. Comput. Informatics 35(4): 890-913 (2016)
2015
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/jiis/Castro15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jiis/Castro15
Laura M. Castro:
Advanced management of data integrity: property-based testing for business rules. J. Intell. Inf. Syst. 44(3): 355-380 (2015)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/NilssonCRA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/NilssonCRA15
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)
2013
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Castro13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Castro13
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/CastroF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/CastroF13
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)
2008
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jds/CastroVAJ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jds/CastroVAJ08
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)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/EstevezC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/EstevezC24
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]
- view
  - electronic edition @ aclanthology.org
  - details & citations
- export record
  dblp key:
  - conf/propor/AlvarezCrespoC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/propor/AlvarezCrespoC24
Lucía M. Álvarez-Crespo, Laura M. Castro:
A Galician Corpus for Misogyny Detection Online. PROPOR 2024: 22-31
2023
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/icai2/HidalgoAC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icai2/HidalgoAC23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icsa/Castro23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsa/Castro23
Laura M. Castro:
Role-playing software architecture styles. ICSA-C 2023: 171-174
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/sccc/HidalgoAC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sccc/HidalgoAC23
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
2021
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/RodriguezC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/RodriguezC21
Fernando Benavides Rodríguez, Laura M. Castro:
Detecting oxbow code in Erlang codebases with the highest degree of certainty. Erlang Workshop 2021: 28-40
2019
[c29]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/euspn/CastroP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euspn/CastroP19
Laura M. Castro, Nicolae Paladi:
Validation of SDN policies: a property-based testing perspective. EUSPN/ICTH 2019: 23-29
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/i3e/GrandeEMGCPC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/i3e/GrandeEMGCPC19
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
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsa/Castro18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/Castro18
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
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/cc/FerreiroCJH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cc/FerreiroCJH16
Henrique Ferreiro, Laura M. Castro, Vladimir Janjic, Kevin Hammond:
Kindergarten cop: dynamic nursery resizing for GHC. CC 2016: 56-66
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/CastroFP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/CastroFP16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/CarballaC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/CarballaC16
Daniel Carballa, Laura M. Castro:
Automatic generation of UML sequence diagrams from test counterexamples. Erlang Workshop 2016: 58-59
2015
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/eurocast/Castro15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocast/Castro15
Laura M. Castro:
Sitting Property-Based Testing at the Desktop. EUROCAST 2015: 236-243
2013
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/FranciscoLFC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/FranciscoLFC13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/eurocast/CasanovaCF13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocast/CasanovaCF13
Alberto Casanova, Laura M. Castro, Antonio Blanco Ferro:
Business Operation Improvement through Integrated Infrastructure Management. EUROCAST (1) 2013: 158-165
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/eurocast/LopezCC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocast/LopezCC13
Macías López, Laura M. Castro, David Cabrero:
Feasibility of Property-Based Testing for Time-Dependent Systems. EUROCAST (2) 2013: 527-535
[c19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icsoc/LopezFFC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/LopezFFC13
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
2012
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/LopezCC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/LopezCC12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/models/FranciscoC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/FranciscoC12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/LopezCC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/LopezCC12
Macías López, Laura M. Castro, David Cabrero:
Declarative distributed advertisement system for iDTV: an industrial experience. PPDP 2012: 185-194
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sfp/FerreiroJCH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/FerreiroJCH12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/ArtsC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/ArtsC11
Thomas Arts, Laura M. Castro:
Model-based testing of data types with side effects. Erlang Workshop 2011: 30-38
2010
[c13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CastroA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CastroA11
Laura M. Castro, Thomas Arts:
Testing Data Consistency of Data-Intensive Applications Using QuickCheck. PROLE 2010: 41-62
2009
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/eurocast/CastroFG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocast/CastroFG09
Laura M. Castro, Miguel A. Francisco, Víctor M. Gulías:
A Practical Methodology for Integration Testing. EUROCAST 2009: 881-888
2008
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/aisc/JorgeGC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aisc/JorgeGC08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/ArtsCH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/ArtsCH08
Thomas Arts, Laura M. Castro, John Hughes:
Testing Erlang data types with quviq quickcheck. Erlang Workshop 2008: 1-8
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/iciw/AbaldeGC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iciw/AbaldeGC08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/eurocast/AbaldeGC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocast/AbaldeGC07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/eurocast/JorgeGC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocast/JorgeGC07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iscc/AbaldeGC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscc/AbaldeGC07
Carlos Abalde, Víctor M. Gulías, Laura M. Castro:
Extending the VoDKA Architecture with P2P Aggregated Content Management. ISCC 2007: 1085-1090
[c5]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jiisic/JorgeGC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jiisic/JorgeGC07
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]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/webist/AbaldeGCVJ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/webist/AbaldeGCVJ07
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]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iceis/GuliasACV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/GuliasACV06
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]
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/VarelaACG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/VarelaACG04
Carlos Varela, Carlos Abalde, Laura M. Castro, Jose Gulías:
On modelling agent systems with Erlang. Erlang Workshop 2004: 65-70
2003
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/CabreroAVC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/CabreroAVC03
David Cabrero, Carlos Abalde, Carlos Varela, Laura M. Castro:
ARMISTICE: an experience developing management software with Erlang. Erlang Workshop 2003: 23-28

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2014
[e2]
- view
- export record
  dblp key:
  - conf/erlang/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/2014
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
[e1]
- view
- export record
  dblp key:
  - conf/erlang/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/2013
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]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-14461
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-14461
Laura M. Castro:
Role-playing software architecture styles. CoRR abs/2302.14461 (2023)
2021
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2107-08699
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-08699
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
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2010-08292
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-08292
Laura M. Castro:
It was never about the language: paradigm impact on software design decisions. CoRR abs/2010.08292 (2020)

Coauthor Index

see FAQ

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.