ADVANCED GENIUS ENERGY MANAGER FOR RETAIL SHOPS
| Funding entity | Digital Innovation Hub Industrial de Galicia (DIHGIGAL) |
| Main researches | Laura Milagros Castro Souto; José Luis Calvo Rolle |
| Type | Contrato |
| Dates | From 10/08/2022 to 10/06/2023 |
| Department | Computer Science and Information Technologies |
| Knowledgment area | Computational Science and Artificial Intelligence |
| Research | Research group Digital Citizenship |
| Research lines | Deseño e arquitectura de sistemas de información; sistemas concorrentes e distribuídos; verificación e validación de software. |
| Keywords | concorrencia, distribución, dispoñibilidade, escalabilidade, programación funcional, validación automática, probas baseadas en modelos, probas baseadas en propiedades |
| Teaching merits evaluation | 3 five years period(s) |
| Research merits evaluation | 2 six years period(s) |
| Contacto | UDC directory |
| Orcid id0000-0002-3028-1523 ResearcherIDA-6404-2011 Scopus15755224100 | |
This section shows the teaching given in degrees, masters and other officers studies in last 6 years.
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
| Algorithms | Compulsory | 0 | 3 |
| Final Year Dissertation. Mention in Computer Science | Compulsory | 0 | 12 |
| Final Year Dissertation. Mention in Information Systems | Compulsory | 0 | 4 |
| Final Year Dissertation. Mention in Software Engineering | Compulsory | 0 | 36 |
| Master's Dissertation | Compulsory | 0 | 5 |
| Software Architecture | Optional | 0 | 46 |
| Software Verification and Validation | Optional | 0 | 14 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Final Year Dissertation. Mention in Computer Science
Degree in Computer Engineering
|
Compulsory | 0 | 18.6666666666667 |
|
Final Year Dissertation. Mention in Information Systems
Degree in Computer Engineering
|
Compulsory | 0 | 4 |
|
Final Year Dissertation. Mention in Software Engineering
Degree in Computer Engineering
|
Compulsory | 0 | 12 |
|
Software Architecture
Degree in Computer Engineering
Master's in Computer Engineering
|
Optional | 0 | 63 |
|
Software Verification and Validation
Degree in Computer Engineering
|
Optional | 0 | 42 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Final Year Dissertation. Mention in Computer Science
Degree in Computer Engineering
|
Compulsory | 0 | 12 |
|
Final Year Dissertation. Mention in Information Systems
Degree in Computer Engineering
|
Compulsory | 0 | 8 |
|
Final Year Dissertation. Mention in Software Engineering
Degree in Computer Engineering
|
Compulsory | 0 | 12 |
|
Software Architecture
Degree in Computer Engineering
Master's in Computer Engineering
|
Optional | 0 | 49 |
|
Software Verification and Validation
Degree in Computer Engineering
|
Optional | 0 | 42 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Final Year Dissertation. Mention in Computer Engineering
Degree in Computer Engineering
|
Compulsory | 0 | 0 |
|
Final Year Dissertation. Mention in Computer Science
Degree in Computer Engineering
|
Compulsory | 0 | 16 |
|
Final Year Dissertation. Mention in Information Systems
Degree in Computer Engineering
|
Compulsory | 0 | 0 |
|
Final Year Dissertation. Mention in Information Technology
Degree in Computer Engineering
|
Compulsory | 0 | 16 |
|
Final Year Dissertation. Mention in Software Engineering
Degree in Computer Engineering
|
Compulsory | 0 | 16 |
|
Master's Dissertation
Master's in Computer Engineering
|
Compulsory | 0 | 10 |
|
Software Architecture
Degree in Computer Engineering
Master's in Computer Engineering
Master's in Computer Engineering
|
Optional | 0 | 63 |
|
Software Verification and Validation
Degree in Computer Engineering
|
Optional | 0 | 42 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Final Year Dissertation. Mention in Computer Engineering
Degree in Computer Engineering
|
Compulsory | 0 | 0 |
|
Final Year Dissertation. Mention in Computer Science
Degree in Computer Engineering
|
Compulsory | 0 | 0 |
|
Final Year Dissertation. Mention in Information Systems
Degree in Computer Engineering
|
Compulsory | 0 | 4 |
|
Final Year Dissertation. Mention in Information Technology
Degree in Computer Engineering
|
Compulsory | 0 | 0 |
|
Final Year Dissertation. Mention in Software Engineering
Degree in Computer Engineering
|
Compulsory | 0 | 8 |
|
Software Architecture
Degree in Computer Engineering
Master's in Computer Engineering
|
Optional | 0 | 63 |
|
Software Verification and Validation
Degree in Computer Engineering
|
Optional | 0 | 35 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Final Year Dissertation. Mention in Computer Engineering
Degree in Computer Engineering
|
Compulsory | 0 | 0 |
|
Final Year Dissertation. Mention in Computer Science
Degree in Computer Engineering
|
Compulsory | 0 | 0 |
|
Final Year Dissertation. Mention in Information Systems
Degree in Computer Engineering
|
Compulsory | 0 | 0 |
|
Final Year Dissertation. Mention in Information Technology
Degree in Computer Engineering
|
Compulsory | 0 | 8 |
|
Final Year Dissertation. Mention in Software Engineering
Degree in Computer Engineering
|
Compulsory | 0 | 0 |
|
Master's Dissertation
Master's in Computer Engineering
|
Compulsory | 0 | 5 |
|
Software Architecture
Degree in Computer Engineering
Master's in Computer Engineering
|
Optional | 0 | 63 |
|
Software Verification and Validation
Degree in Computer Engineering
|
Optional | 0 | 35 |
Defined tutoring by teacher for 2024/2025 academic course.
| Quarter | Day | Site |
|---|---|---|
| 1st quarter |
Monday
17:00 a 19:00 |
Online (Teams) ou D4.15 (confirmar antes) |
| 1st quarter |
Wednesday
17:00 a 19:00 |
Online (Teams) ou D4.15 (confirmar antes) |
| 1st quarter |
Friday
17:00 a 19:00 |
Online (Teams) ou D4.15 (confirmar antes) |
Directed or codirected by current teacher since 2013 year.
| Audio-to-text transcription for instant messaging |
| Comparative study of property-based testing tools for Python |
| Design-first framework for REST API development in Erlang |
| Development, validation and optimization of a PL/I to java migration project |
| Economic management analysis of an IT consultancy with a Business Intelligence system |
| Fact-cheking web application to fight missinformation |
| Knowledge Management System of an IT consultancy’s Knowledge based on Technological Taxonomic definitions |
| Mobile application for interactive teaching in the Semente project |
| Open source software for the communication of producers and consumers of locally-grown, seasonal groceries |
| Reengineering of a dye weighing program |
| Transport AIS patterns: detection of irregularities in complex networks |
| Unveiling the Dark Side of Social Media: Developing the First Galician Corpus for Misogyny Detectio on Twitter and Mastodon |
| Web application for the management of an animal shelter |
| Application for online ticket management |
| Economic management analysis of an IT consultancy with a Business Intelligence system |
| Functional programming language executable on a virtual machine |
| General outreach tool for the management of incidents, requests, resources and process flows |
| Security testing library for Elixir |
| SQL-like querying syntax for Riak KV |
| ErlNote: Personal management web application. |
| Integration solution for processes related to quality through a BPM system |
| Design and Deployment a distributed test execution system. |
| Design and implementation of the deployment in the cloud of a highly-scalable platform for multimedia metadata |
| Development and integration of project management features in a version control system |
| Development and integration of project management features in a version control system |
| Distributed voice chat |
| Free Software in teaching the subject of I.T Course 4th ESO |
| Library for the development of distributed Web crawlers |
Select merit type and year to query research merits.
ADVANCED GENIUS ENERGY MANAGER FOR RETAIL SHOPS
| Funding entity | Digital Innovation Hub Industrial de Galicia (DIHGIGAL) |
| Main researches | Laura Milagros Castro Souto; José Luis Calvo Rolle |
| Type | Contrato |
| Dates | From 10/08/2022 to 10/06/2023 |
ASIMETRÍAS DE GÉNERO EN LA COMUNICACIÓN POLÍTICA DIGITAL. PRÁCTICAS, ESTRUCTURAS DE PODER Y VIOLENCIAS EN LA TUITESFERA ESPAÑOLA
| Funding entity | INSTITUTO DE LA MUJER. MINISTERIO DE IGUALDAD |
| Main researches | María Teresa Piñeiro Otero |
| Type | Proyecto Otros Programas |
| Dates | From 01/01/2022 to 31/12/2023 |
ETHiC. Efficient Thermas Comfort
| Funding entity | Arce Clima Sistemas y Aplicaciones S.L. |
| Main researches | Laura Milagros Castro Souto y Jorge Novo Buján |
| Type | Contrato |
| Dates | From 01/03/2016 to 01/07/2016 |
Contrato Art. 83 para el desarrollo de aplicaciones y servicios para la Televisión Digital Interactiva v5.0
| Funding entity | CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L |
| Type | Contrato |
| Dates | From 01/01/2014 to 15/06/2014 |
Axuda de consolidación e estruturación de unidades de investigación competitivas. Modalidade :Grupos de Referencia Competitiva.
| Funding entity | Consellería de Educación e Ordenación Universitaria |
| Type | Proyecto Programas Autonomicos |
| Dates | From 22/10/2014 to 30/10/2017 |
Contrato entre Indra Software Labs y CITIC en el marco del proyecto Feder Innterconecta, convocatoria 2013 Galicia, "GOAL"
| Funding entity | INDRA SOFTWARE LABS S.L.U. |
| Main researches | Nieves Rodríguez Brisaboa e Laura M. Castro Souto |
| Type | Contrato |
| Dates | From 05/04/2013 to 31/12/2014 |
Desarrollo de aplicaciones y servicios para la TV Digital Interactiva v4.0 (Contrato Art.83)
| Funding entity | CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L |
| Type | Contrato |
| Dates | From 31/10/2013 to 31/10/2014 |
Ayudas para la consolidación y estructuración de unidades de investigación competitiva. Modalidad de agrupaciones estratégicas (CITIC)
| Funding entity | Xunta de Galicia |
| Main researches | Ricardo Cao Abad |
| Type | Proyecto Programas Autonomicos |
| Dates | From 01/01/2012 to 31/12/2013 |
Arquitectura Distribuida altamente escalable en el marco del proyecto Platino (Contrato Art. 83)
| Funding entity | CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L |
| Main researches | David Cabrero Souto |
| Type | Contrato |
| Dates | From 16/04/2012 to 15/04/2014 |
Property- Based Testing of Web Services (PROWESS)
| Funding entity | Union Europea |
| Main researches | Laura Milagros Castro Souto |
| Type | Proyecto UE |
| Dates | From 02/10/2012 to 01/11/2015 |
Desarrollo de aplicaciones y servicios para la TV Digital Interactiva v3.0 (Contrato Art.83)
| Funding entity | CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L |
| Type | Contrato |
| Dates | From 30/11/2011 to 30/11/2012 |
Iniciativa para la implementación e integración de sistemas correctos y eficientes no triviales basado en modelos (AMBITIIONS)
| Funding entity | Ministerio de Economía y Competitividad (MINECO) |
| Main researches | David Cabrero Souto |
| Type | Proyecto Programas Nacionales |
| Dates | From 01/01/2011 to 31/12/2013 |
Optiband- Optimization of Bandwidth for IPTV video streaming (FP7-ICT-2009-4)
| Funding entity | Union Europea |
| Main researches | Laura M. Castro Souto |
| Type | Proyecto Internacional |
| Dates | From 01/01/2010 to 30/12/2012 |
Recursos funcionales para la construcción de sistemas distribuidos complejos de alta disponibilidad
| Funding entity | MINISTERIO DE EDUCACIÓN Y CIENCIA |
| Main researches | Víctor M. Gulías Fernández |
| Type | Proyecto Programas Nacionales |
| Dates | From 15/10/2005 to 14/10/2008 |
Verificación, rendimiento y disponibilidad de aplicaciones distribuidas en un entorno real (VRDADER) (Incentivo)
| Funding entity | Xunta de Galicia |
| Main researches | Víctor M. Gulías Fernández |
| Type | Proyecto Programas Autonomicos |
| Dates | From 15/07/2003 to 15/07/2006 |
Verificación, rendimiento y disponibilidad de aplicaciones distribuidas en un entorno real (VRDADER)
| Funding entity | Ministerio de Ciencia y Tecnología |
| Main researches | Víctor M. Gulías Fernández |
| Type | Proyecto Programas Nacionales |
| Dates | From 05/11/2002 to 05/11/2005 |
Advanced RMIS Server: Tracking of Insurances, Claims and Exposures (ARMISTICE Server)
| Type | Software Registrado |
| Entity | Universidade da Coruña (UDC) |
| Authors | Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Laura M. Castro Souto |
| Application date | 17/08/2007 |
| Approval date | 17/08/2007 |
Advaced RMIS Management Desktop: Tracking of Insurances, Claims and Exposures (ARMISTICE Desktop)
| Type | Software Registrado |
| Entity | Universidade da Coruña (UDC) |
| Authors | Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Laura M. Castro Souto |
| Application date | 17/08/2007 |
| Approval date | 17/08/2007 |
Making Property-based Testing Easier to Read Humans (JCR)
| Authors | Laura Milagros Castro Souto, Pablo Lamela, Simon Thompson |
| Journal | COMPUTING AND INFORMATICS Vol. 35 Num. 4 (pages 890 to 913) |
Sitting Property-Based Testing at the Desktop
| Authors | Laura M. Castro |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 9520 (pages 236 to 243) |
| DOI | https://doi.org/10.1007/978-3-319-27340-2_30 |
Advanced Management of Data Integrity: Property-based Testing for Business Rules
| Authors | Laura M. Castro |
| Journal | JOURNAL OF INTELLIGENT INFORMATION SYSTEMS Vol. 44 Num. 3 (pages 355 to 380) |
Assesing the effects of introducing a new software development process: a methodological description
| Authors | Agneta Nilsson, Laura M. Castro, Samuel Rivas, Thomas Arts |
| Journal | International Journal on Software Tools for technology Transfer Vol. 17 Num. 1 (pages 1 to 16) |
| DOI | https://doi.org/10.1007/s10009-013-0275-0 |
Repeating history: Execution replay for parallel Haskell programs
| Authors | Henrique Ferreiro, Vladimir Janjic, Laura M. Castro, Kevin Hammond |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 7829 (pages 231 to 246) |
Business Operation improvement through integrated infrastructure management
| Authors | Alberto Casanova, Laura M. Castro, Antonio Blanco-Ferro |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 8111 (pages 158 to 165) |
| DOI | https://doi.org/10.1007/978-3-642-53856-8_20 |
A language-independent approach to black-box testing using Erlang as Test Specification language
| Authors | Laura M. Castro, Miguel A. Francisco |
| Journal | JOURNAL OF SYSTEMS AND SOFTWARE Vol. 86 Num. 12 (pages 3109 to 3122) |
| DOI | https://doi.org/10.1016/j.jss.2013.07.021 |
Feasibily of property-based testing for time-dependent systems
| Authors | Macías López, Laura M. Castro, David Cabrero |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 8112 (pages 527 to 535) |
Automatic Generation of Test Models for Web Services using WSDL and OCL
| Authors | Macías López, Henrique Ferreiro, Miguel A. Francisco, Laura M. Castro |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 8274 (pages 483 to 490) |
| DOI | https://doi.org/10.1007/978-3-642-45005-1_37 |
Building Web Applications with Erlang
| Authors | LAURA CASTRO |
| Journal | JOURNAL OF FUNCTIONAL PROGRAMMING Vol. 23 Num. 2 (pages 225 to 227) |
| DOI | https://doi.org/10.1017/s0956796812000342 |
A Practical Methodology for Integration Testing
| Authors | Laura Milagros Castro Souto, Miguel A. Francisco Fernández, Víctor Manuel Gulias Fernández |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5717 (pages 881 to 888) |
Environment- Independence Methodology for Accesing External Data Sources
| Authors | Laura Milagros Castro Souto, Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Javier Paris Fernandez |
| Journal | WSEAS Transactions on Information Science & Applications Vol. 5 Num. 9 (pages 1355 to 1364) |
Managing the Risks of Risk Management
| Authors | Laura Milagros Castro Souto, Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, José Santiago Jorge Castro |
| Journal | JOURNAL OF DECISION SYSTEMS Vol. 17 Num. 4 (pages 501 to 521) |
Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server
| Authors | José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5144 (pages 296 to 299) |
Towards a decentralized and structured network of P2P public information screens
| Authors | Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (pages 217 to 224) |
Verification of program properties using different theorem provers: a case study
| Authors | José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Journal | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (pages 233 to 240) |
Managing data integrity: property-based testing for business rules
| Authors | Laura Milagros Castro Souto |
| Book |
Managing data integrity: property-based testing for business rules Publishing: Tech Science Press. ISBN: 980-953-307-209-3 |
| Pages | From 1 to 1 |
Profiling of parallel programs in a non-strict functional language
| Autor | Henrique Ferreiro García |
| Director/s | Laura Milagros Castro Souto; Kevin Hammond |
| Scope | Computación |
| Qualification | Sobresaliente |
Aplicación de técnicas de pruebas automáticas basadas en propiedades a los diferentes niveles de prueba del software
| Autor | Miguel Ángel Francisco Fernández |
| Director/s | Laura M. Castro Souto |
| Scope | Facultad de Informática |
| Qualification | Sobresaliente Cum Laude |
Automatic Generation of UML Sequence Diagrams from Test Cointerexamples
ERLANG USER CONFERENCE 2016
International
| Authors | Laura Milagros Castro Souto, Daniel Carballa |
| Organization | Erlang Solutions |
| Place | Nara (Japón) |
| DOI | https://doi.org/10.1145/2975969.2975971 |
Making everybody comfortable with Erlang: A SCADA System for Thermal Control
ERLANG USER CONFERENCE 2016
International
| Authors | Laura Milagros Castro Souto, J. Daniel Fernández, José Carlos López Pampín |
| Organization | Erlang Solutions |
| Place | Nara (Japón) |
| DOI | https://doi.org/10.1145/2975969.2975971 |
Kindergarten Cop: Dynamic Nursery Resizing for GHC
25th International Conference on Compiler Construction (CC'16)
International
| Authors | Laura Milagros Castro Souto, Henrique Ferreiro García, Vladimir Janjic, Kevin Hammond |
| Place | Barcelona (España) |
O software libre como vehículo de introdución á perspectiva de xénero
XUGeX. IV Jornada Universitaria Gallega en Género: Perspectiva de género en la docencia universitaria
National
| Authors | Laura Milagros Castro Souto |
| Organization | Oficinas de Igualdad de Género de la UDC, USC y UVIGO. |
| Place | Santiago de Compostela (España) |
Testing FreeDesktop applications for free with D-Bus and QuickCheck
Computer Aided Systems Theory - EUROCAST 2015
International
| Authors | Laura Milagros Castro Souto |
| Place | Palmas de Gran Canaria, Las (España) |
Using property-based testing to automate test case generation and diagnosis in web-based graphical user interfaces
INTUITEST 2015
International
| Authors | Henrique Ferreiro García, Miguel A. Francisco Fernández, Clara Benac Earle, Laura Milagros Castro Souto, Macías López Iglesias |
| Place | Sophia (Francia) |
Property-Based testing for Non-functional Requirements- Erlang as Supporting Technology for reaching Software Architecture
Erlang User Conference 2014
International
| Authors | Macías López Iglesias, Laura M. Castro Souto, Thomas Arts |
| Place | Estocolmo (Suecia) |
A Backpack to go the Extra-Functional Mile (a hitchet hike by the Prowess Proyect)
Erlang Factory 2014
International
| Authors | Laura M. Castro Souto |
| Place | San Francisco (Estados Unidos) |
Cuantificación da perda das novas xeracións de mulleres técnicas. O caso da UDC.
II Xornada Universitaria Galega en Xénero
Autonomous
| Authors | Laura M. Castro Souto |
| Organization | Universidade da Coruña (UDC) |
| Place | Ferrol (España) |
Tuning web services descriptions into QuickCheck models for automatic Testing
ERLANG 2013
International
| Authors | Laura M. Castro Souto, Macías López Iglesias, Henrique Ferreiro García, Miguel A. Francisco |
| Organization | ACM |
| Place | Boston, Massachusetts (Estados Unidos) |
Using Property-Based Testing in Time-Dependent Systems: a case study
International Conference On Computer Aided Systems Theory. Eurocast 2013
International
| Authors | Macías López Iglesias, Laura M. Castro Souto, David Cabrero Souto |
| Organization | Universidad de Las Palmas de Gran Canaria (ULPGC) |
| Place | Palmas de Gran Canaria, Las (España) |
Integrated Infrastructure Management System
International Conference On Computer Aided Systems Theory. Eurocast 2013
International
| Authors | Laura M. Castro Souto, Antonio Ángel Blanco Ferro, Alberto Casanova |
| Organization | Universidad de Las Palmas de Gran Canaria (ULPGC) |
| Place | Palmas de Gran Canaria, Las (España) |
Automatización de Pruebas para Servicios Web: Generación de Propiedades y Modelos
XII JORNADAS DE PROGRAMACIÓN Y LENGUAJE- PROLE
National
| Authors | Macías López Iglesias, Laura M. Castro Souto, Henrique Ferreiro García, Miguel A. Francisco |
| Organization | UNIVERSIDAD POLITÉCNICA DE MADRID |
| Place | Madrid (España) |
Uso de propiedades y modelos para las pruebas de sistemas distribuidos basados en la integración de componetnes heterogéneos
XII JORNADAS DE PROGRAMACIÓN Y LENGUAJE- PROLE
National
| Authors | Laura M. Castro Souto, Miguel A. Francisco |
| Organization | UNIVERSIDAD POLITÉCNICA DE MADRID |
| Place | Madrid (España) |
Automatic generation of test models for Web Services using WSDL and OCL
11th International Conference on Service Oriented Computing (ICSOC 2013)
International
| Authors | Miguel A. Francisco, Laura M. Castro Souto, Macías López Iglesias, Henrique Ferreiro García |
| Organization | IBM RESEARCH |
| Place | Berlín (Alemania) |
A DSL for Web Services Automatic Test Data Generation
25th Symposium on Implementation and Application of Functional Languages - ILF 2013
International
| Authors | Macías López Iglesias, Henrique Ferreiro García, Laura M. Castro Souto, Thomas Arts |
| Organization | ACM |
| Place | Nijmegen (Países Bajos) |
Kindergarten Cop: Dynamic Nursery Resizing for GHC
25th Symposium on Implementation and Application of Functional Languages - ILF 2013
International
| Authors | Henrique Ferreiro García, Laura M. Castro Souto, Vladimir Janjic, Tony Kevin Hammond |
| Organization | ACM |
| Place | Nijmegen (Países Bajos) |
Declarative Distributed Advertisement System for IDTV: an Industrial Experience
Principles and Practice of Declarative Programming PPDP'12 - ACM SIGPLAN
International
| Authors | Laura M. Castro Souto, David Cabrero Souto, Macías López Iglesias |
| Organization | ACM |
| Place | Leuven (Bélgica) |
Failover and Takeover Contingency Mechanisms for Network Partition and Node Failure
ERLANG USER CONFERENCE 2012
International
| Authors | David Cabrero Souto, Macías López Iglesias, Laura M. Castro Souto |
| Organization | ACM |
| Place | Copenhague (Dinamarca) |
Sistema funcional distribuido de publicidad para IDTV
XII JORNADAS DE PROGRAMACIÓN Y LENGUAJE - PROLE 2012
National
| Authors | Laura M. Castro Souto, Macías López Iglesias, David Cabrero Souto |
| Organization | Universidad de Almería (UAL) |
| Place | Almería (España) |
Tecnología funcional en aplicaciones de televisión interactiva
XII JORNADAS DE PROGRAMACIÓN Y LENGUAJE - PROLE 2012
National
| Authors | David Duque, Laura M. Castro Souto |
| Organization | Universidad de Almería (UAL) |
| Place | Almería (España) |
Automatic generation of test models and properties from UML models with OCL constraints
OCL 2012
International
| Authors | Laura M. Castro Souto, Miguel A. Francisco |
| Organization | ACM |
| Place | Innsbruck (Austria) |
Testing Data Consistency of Data-Intensive Applications using QuickCheck
PROLE 2010
National
| Authors | Laura Milagros Castro Souto, Thomas Arts |
| Organization | Universidad Politécnica de Valencia |
| Place | Valencia (España) |
Desarrollo de un Sistema para la Definición, Generación Automática y Gestión de Protocolos para Vías Clínicas
INFORSALUD 2010. XIII Congreso Nacional de Informática de la Salud
National
| Authors | Yago Méndez Vidal, Lino Carrajo García, Antonio Ángel Blanco Ferro, Laura Milagros Castro Souto, Fátima Rodríguez Calvo, Daniel Llamas Gómez, Guillermo Vázquez González |
| Organization | Sociedad Española de Informática de la Salud (SEIS) |
| Place | Madrid (España) |
Testing erlang data types with quviq quickcheck
7th ACM SIGPLAN Erlang Workshop, Erlang ¿08
International
| Authors | Thomas Arts, Laura Milagros Castro Souto, John Hughes |
| Place | Victoria-British Columbia (Canadá) |
Database Access and Patterns in Erlang/0TP
AIC¿08 - 8th WSEAS International Conference on APPLIED INFORMATICS and COMMUNICATIONS
International
| Authors | Laura Milagros Castro Souto, Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Javier Paris Fernandez |
| Place | Rhodes (Grecia) |
Efficient Discovery of Widely Distributed And Non-Volatile Resources on DHTs
ICIW 2008 - The Third International conference on Internet and Web Applications and Services
International
| Authors | Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Place | Atenas (Grecia) |
Applications integration: a testing experience
Servicewave 2008
International
| Authors | Laura Milagros Castro Souto, Víctor Manuel Gulias Fernández, Miguel A. Francisco Fernández |
| Place | Madrid (España) |
Digital Watermarking of MPEG Videos: Empirical Studies and Open Source Tools
CLEI 2007, XXXIII Conferencia Latinoamericana de Informática
International
| Authors | Laura Milagros Castro Souto, Cheng-Fang Yang, Natasha Simon, Ernst L. Leiss |
| Place | San José (Costa Rica) |
Deploying VoDKA in a Network of Peer-to-Peer Public Information Screems
EUROCAST 2007, 11th Internacional Conference on Computer Aided Systems Theory
International
| Authors | Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Place | España |
Using Coq and Pvs for Certifying Properties on the Cache Subsystem of a Functional Video-on-Demand Server
EUROCAST 2007, 11th Internacional Conference on Computer Aided Systems Theory
International
| Authors | José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Place | España |
Adaptación al espacio europeo de educación superior de la asignatura de algoritmos en la facultad de informática de la Universidad de A Coruña
II Jornadas de Innovación Educativa (EPS). El espacio europeo de educación superior: una oportunidad para las enseñanzas técnicas
National
| Authors | José Santiago Jorge Castro, Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Place | Zamora (España) |
Extending the VoDKA Architecture with P2P Aggregated Content Management
12th IEEE Symposium on Computers and Communications (ISCC 2007)
International
| Authors | Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Place | Aveiro (Portugal) |
Certificación de propiedades usando distintos probadores de teoremas: un caso de estudio
JIISIC 2007, VI Jornadas Iberoamericanas de Ingeniería del Software e Ingeniería del Conocimiento
International
| Authors | José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Place | Lima (Perú) |
Earlang/OTP framework for complex management applications development
WEBIST 2007, 3rd International Conference on Web Information Systems and Technologies
International
| Authors | Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto, Carlos Varela Paz, José Santiago Jorge Castro |
| Place | Barcelona (España) |
Formalisation of a Functional Risk Management System
ICEIS¿06. 8th International Conference on Enterprise Information Systems
International
| Authors | Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Laura M. Castro Souto, Carlos Varela Paz |
| Place | Paphos (Chipre) |
A New Risk Management Approach Deployed over a Client/Server
ICSENG 2005. 18th International Conference on Systems Engineering
International
| Authors | Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Laura M. Castro Souto, Carlos Varela Paz |
| Place | Las Vegas (Estados Unidos) |
Armistice : An Experience Developing Management Software with Erlang
2nd ACM SIGPLAN Erlang Workshop
International
| Authors | David Cabrero Souto, Carlos Abalde Ramiro, Laura Milagros Castro Souto, Carlos Varela Paz |
| Place | Uppsala (Suecia) |
ARMISTICE : Una experiencia desarrollando software de gestión con Erlang
III Jornadas de Programación y Lenguajes. PROLE 2003
National
| Authors | Laura Castro Souto, Víctor Manuel Gulias Fernández, David Cabrero Souto, Carlos Abalde Ramiro, Carlos Varela Paz |
| Organization | Universidad de Alicante |
| Place | España |
Academic or management positions held by teacher.