ETHiC. Efficient Thermas Comfort
| Entidad financiadora | Arce Clima Sistemas y Aplicaciones S.L. |
| Investigadores principales | Laura Milagros Castro Souto y Jorge Novo Buján |
| Tipo | Contrato |
| Fechas | Desde 01/03/2016 a 01/07/2016 |
| Departamento | Ciencias de la Computación y Tecnologías de la Información |
| Área | Ciencia de la computación e inteligencia artificial |
| Investigación | Grupo de investigación Models and Applications of Distributed Systems |
| Líneas de investigación | Deseño e arquitectura de sistemas de información; sistemas concorrentes e distribuídos; verificación e validación de software. |
| Palabras clave | concorrencia, distribución, dispoñibilidade, escalabilidade, programación funcional, validación automática, probas baseadas en modelos, probas baseadas en propiedades |
| Evaluación de méritos docentes | 2 quinquenio(s) |
| Evaluación de méritos de investigación | 2 sexenio(s) |
| Contacto | Directorio de la UDC |
| Orcid id0000-0002-3028-1523 ResearcherIDA-6404-2011 Scopus15755224100 | |
En este apartado se muestra la docencia impartida en grados, másteres y resto de estudios oficiales en los últimos 6 años.
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Arquitectura del Software
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
Máster Universitario en Ingeniería Informática
|
Optativo | 0 | 63 |
| Trabajo Fin de Grado. Mención en Computación | Obligatorio | 0 | 16 |
| Trabajo Fin de Grado. Mención en Ingeniería de Computadores | Obligatorio | 0 | 0 |
|
Trabajo Fin de Grado. Mención en Ingeniería del Software
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 16 |
| Trabajo Fin de Grado. Mención en Sistemas de Información | Obligatorio | 0 | 0 |
|
Trabajo Fin de Grado. Mención en Tecnologías de la Información
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 16 |
|
Trabajo Fin de Máster
Máster Universitario en Ingeniería Informática
|
Obligatorio | 0 | 10 |
|
Validación y Verificación del Software
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
|
Optativo | 0 | 42 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Arquitectura del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
Máster Universitario en Ingeniería Informática
|
Optativo | 0 | 63 |
|
Trabajo Fin de Grado. Mención en Computación
Grado en Ingeniería Informática
|
Obligatorio | 0 | 0 |
|
Trabajo Fin de Grado. Mención en Ingeniería de Computadores
Grado en Ingeniería Informática
|
Obligatorio | 0 | 0 |
|
Trabajo Fin de Grado. Mención en Ingeniería del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 8 |
|
Trabajo Fin de Grado. Mención en Sistemas de Información
Grado en Ingeniería Informática
|
Obligatorio | 0 | 4 |
|
Trabajo Fin de Grado. Mención en Tecnologías de la Información
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 0 |
|
Validación y Verificación del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
|
Optativo | 0 | 35 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Arquitectura del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
Máster Universitario en Ingeniería Informática
|
Optativo | 0 | 63 |
|
Trabajo Fin de Grado. Mención en Computación
Grado en Ingeniería Informática
|
Obligatorio | 0 | 0 |
|
Trabajo Fin de Grado. Mención en Ingeniería de Computadores
Grado en Ingeniería Informática
|
Obligatorio | 0 | 0 |
|
Trabajo Fin de Grado. Mención en Ingeniería del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 0 |
|
Trabajo Fin de Grado. Mención en Sistemas de Información
Grado en Ingeniería Informática
|
Obligatorio | 0 | 0 |
|
Trabajo Fin de Grado. Mención en Tecnologías de la Información
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 8 |
|
Trabajo Fin de Máster
Máster Universitario en Ingeniería Informática
|
Obligatorio | 0 | 5 |
|
Validación y Verificación del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
|
Optativo | 0 | 35 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Arquitectura del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
Máster Universitario en Ingeniería Informática
|
Optativo | 0 | 63 |
|
Paradigmas de Programación
Grado en Ingeniería Informática
|
Obligatorio | 0 | 20 |
|
Trabajo Fin de Grado. Mención en Computación
Grado en Ingeniería Informática
|
Obligatorio | 0 | 0 |
|
Trabajo Fin de Grado. Mención en Ingeniería de Computadores
Grado en Ingeniería Informática
|
Obligatorio | 0 | 0 |
|
Trabajo Fin de Grado. Mención en Ingeniería del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 10,7 |
|
Trabajo Fin de Grado. Mención en Sistemas de Información
Grado en Ingeniería Informática
|
Obligatorio | 0 | 0 |
|
Trabajo Fin de Grado. Mención en Tecnologías de la Información
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 0 |
|
Validación y Verificación del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
|
Optativo | 0 | 35 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Arquitectura del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
Máster Universitario en Ingeniería Informática
|
Optativo | 0 | 70 |
|
Concurrencia y Paralelismo
Grado en Ingeniería Informática
|
Obligatorio | 0 | 3 |
|
Paradigmas de Programación
Grado en Ingeniería Informática
|
Obligatorio | 0 | 20 |
|
Prácticas en Empresa
Grado en Ingeniería Informática
Grado en Ingeniería Informática
|
Optativo | 0 | 10 |
|
Prácticas en Empresa
Máster Universitario en Ingeniería Informática
|
Obligatorio | 0 | 8 |
|
Proyecto Fin de Carrera
Ingeniero en Informática
|
Obligatorio | 0 | 8 |
|
Trabajo Fin de Grado. Mención en Computación
Grado en Ingeniería Informática
|
Obligatorio | 0 | 0 |
|
Trabajo Fin de Grado. Mención en Ingeniería de Computadores
Grado en Ingeniería Informática
|
Obligatorio | 0 | 0 |
|
Trabajo Fin de Grado. Mención en Ingeniería del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 16 |
|
Trabajo Fin de Grado. Mención en Sistemas de Información
Grado en Ingeniería Informática
|
Obligatorio | 0 | 0 |
|
Trabajo Fin de Grado. Mención en Tecnologías de la Información
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 4 |
|
Validación y Verificación del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
|
Optativo | 0 | 35 |
| Asignatura y estudios en la que se imparte | Carácter | Horas a distancia | Horas totales |
|---|---|---|---|
|
Arquitectura del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
Máster Universitario en Ingeniería Informática
|
Optativo | 0 | 23 |
|
Prácticas en Empresa
Máster Universitario en Ingeniería Informática
|
Obligatorio | 0 | 6 |
|
Proyecto Fin de Carrera
Ingeniero en Informática
|
Obligatorio | 0 | 27 |
|
Trabajo Fin de Grado. Mención en Computación
Grado en Ingeniería Informática
|
Obligatorio | 0 | 8 |
|
Trabajo Fin de Grado. Mención en Ingeniería del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 | 24 |
|
Validación y Verificación del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
|
Optativo | 0 | 35 |
Tutorías definidas por el/la docente para el curso académico 2021/2022.
| Cuatrimestre | Día | Lugar |
|---|---|---|
| Primer cuatrimestre |
lunes
17:00 a 18:30 |
Despacho 4.15 |
| Primer cuatrimestre |
martes
15:30 a 17:00 |
Online (Teams, correo electrónico, Telegram) |
| Primer cuatrimestre |
miércoles
15:30 a 17:00 |
Online (Teams, correo electrónico, Telegram) |
| Segundo cuatrimestre |
martes
17:00 a 18:30 |
Online (Teams, correo electrónico, Telegram) |
| Segundo cuatrimestre |
miércoles
17:00 a 18:30 |
Online (Teams, correo electrónico, Telegram) |
| Segundo cuatrimestre |
viernes
10:00 a 11:30 |
Despacho 4.15 |
Dirigidos o codirigidos por el/la docente desde el año 2013.
| ErlNote: Aplicación web de planificación persoal |
| Solución de integración de procesos relacionados con la calidade a través de un sistema BPM |
Puede consultar los méritos de investigación seleccionando un tipo de mérito y el año.
ETHiC. Efficient Thermas Comfort
| Entidad financiadora | Arce Clima Sistemas y Aplicaciones S.L. |
| Investigadores principales | Laura Milagros Castro Souto y Jorge Novo Buján |
| Tipo | Contrato |
| Fechas | Desde 01/03/2016 a 01/07/2016 |
Contrato Art. 83 para el desarrollo de aplicaciones y servicios para la Televisión Digital Interactiva v5.0
| Entidad financiadora | CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L |
| Tipo | Contrato |
| Fechas | Desde 01/01/2014 a 15/06/2014 |
Axuda de consolidación e estruturación de unidades de investigación competitivas. Modalidade :Grupos de Referencia Competitiva.
| Entidad financiadora | Consellería de Educación e Ordenación Universitaria |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | Desde 22/10/2014 a 30/10/2017 |
Contrato entre Indra Software Labs y CITIC en el marco del proyecto Feder Innterconecta, convocatoria 2013 Galicia, "GOAL"
| Entidad financiadora | INDRA SOFTWARE LABS S.L.U. |
| Investigadores principales | Nieves Rodríguez Brisaboa e Laura M. Castro Souto |
| Tipo | Contrato |
| Fechas | Desde 05/04/2013 a 31/12/2014 |
Desarrollo de aplicaciones y servicios para la TV Digital Interactiva v4.0 (Contrato Art.83)
| Entidad financiadora | CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L |
| Tipo | Contrato |
| Fechas | Desde 31/10/2013 a 31/10/2014 |
Ayudas para la consolidación y estructuración de unidades de investigación competitiva. Modalidad de agrupaciones estratégicas (CITIC)
| Entidad financiadora | Xunta de Galicia |
| Investigadores principales | Ricardo Cao Abad |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | Desde 01/01/2012 a 31/12/2013 |
Arquitectura Distribuida altamente escalable en el marco del proyecto Platino (Contrato Art. 83)
| Entidad financiadora | CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L |
| Investigadores principales | David Cabrero Souto |
| Tipo | Contrato |
| Fechas | Desde 16/04/2012 a 15/04/2014 |
Property- Based Testing of Web Services (PROWESS)
| Entidad financiadora | Union Europea |
| Investigadores principales | Laura Milagros Castro Souto |
| Tipo | Proyecto UE |
| Fechas | Desde 02/10/2012 a 01/11/2015 |
Desarrollo de aplicaciones y servicios para la TV Digital Interactiva v3.0 (Contrato Art.83)
| Entidad financiadora | CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L |
| Tipo | Contrato |
| Fechas | Desde 30/11/2011 a 30/11/2012 |
Iniciativa para la implementación e integración de sistemas correctos y eficientes no triviales basado en modelos (AMBITIIONS)
| Entidad financiadora | Ministerio de Economía y Competitividad (MINECO) |
| Investigadores principales | David Cabrero Souto |
| Tipo | Proyecto Programas Nacionales |
| Fechas | Desde 01/01/2011 a 31/12/2013 |
Optiband- Optimization of Bandwidth for IPTV video streaming (FP7-ICT-2009-4)
| Entidad financiadora | Union Europea |
| Investigadores principales | Laura M. Castro Souto |
| Tipo | Proyecto Internacional |
| Fechas | Desde 01/01/2010 a 30/12/2012 |
Recursos funcionales para la construcción de sistemas distribuidos complejos de alta disponibilidad
| Entidad financiadora | MINISTERIO DE EDUCACIÓN Y CIENCIA |
| Investigadores principales | Víctor M. Gulías Fernández |
| Tipo | Proyecto Programas Nacionales |
| Fechas | Desde 15/10/2005 a 14/10/2008 |
Verificación, rendimiento y disponibilidad de aplicaciones distribuidas en un entorno real (VRDADER) (Incentivo)
| Entidad financiadora | Xunta de Galicia |
| Investigadores principales | Víctor M. Gulías Fernández |
| Tipo | Proyecto Programas Autonomicos |
| Fechas | Desde 15/07/2003 a 15/07/2006 |
Verificación, rendimiento y disponibilidad de aplicaciones distribuidas en un entorno real (VRDADER)
| Entidad financiadora | Ministerio de Ciencia y Tecnología |
| Investigadores principales | Víctor M. Gulías Fernández |
| Tipo | Proyecto Programas Nacionales |
| Fechas | Desde 05/11/2002 a 05/11/2005 |
Advanced RMIS Server: Tracking of Insurances, Claims and Exposures (ARMISTICE Server)
| Tipo | Software Registrado |
| Entidad | Universidade da Coruña (UDC) |
| Autores | Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Laura M. Castro Souto |
| Fecha de solicitud | 17/08/2007 |
| Fecha de concesión | 17/08/2007 |
Advaced RMIS Management Desktop: Tracking of Insurances, Claims and Exposures (ARMISTICE Desktop)
| Tipo | Software Registrado |
| Entidad | Universidade da Coruña (UDC) |
| Autores | Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Laura M. Castro Souto |
| Fecha de solicitud | 17/08/2007 |
| Fecha de concesión | 17/08/2007 |
Making Property-based Testing Easier to Read Humans (JCR)
| Autores | Laura Milagros Castro Souto, Pablo Lamela, Simon Thompson |
| Revista | COMPUTING AND INFORMATICS Vol. 35 Núm. 4 (págs. 890 a 913) |
Sitting Property-Based Testing at the Desktop
| Autores | Laura M. Castro |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 9520 (págs. 236 a 243) |
| DOI | https://doi.org/10.1007/978-3-319-27340-2_30 |
Advanced Management of Data Integrity: Property-based Testing for Business Rules
| Autores | Laura M. Castro |
| Revista | JOURNAL OF INTELLIGENT INFORMATION SYSTEMS Vol. 44 Núm. 3 (págs. 355 a 380) |
Assesing the effects of introducing a new software development process: a methodological description
| Autores | Agneta Nilsson, Laura M. Castro, Samuel Rivas, Thomas Arts |
| Revista | International Journal on Software Tools for technology Transfer Vol. 17 Núm. 1 (págs. 1 a 16) |
| DOI | https://doi.org/10.1007/s10009-013-0275-0 |
Repeating history: Execution replay for parallel Haskell programs
| Autores | Henrique Ferreiro, Vladimir Janjic, Laura M. Castro, Kevin Hammond |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 7829 (págs. 231 a 246) |
Business Operation improvement through integrated infrastructure management
| Autores | Alberto Casanova, Laura M. Castro, Antonio Blanco-Ferro |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 8111 (págs. 158 a 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
| Autores | Laura M. Castro, Miguel A. Francisco |
| Revista | JOURNAL OF SYSTEMS AND SOFTWARE Vol. 86 Núm. 12 (págs. 3109 a 3122) |
| DOI | https://doi.org/10.1016/j.jss.2013.07.021 |
Feasibily of property-based testing for time-dependent systems
| Autores | Macías López, Laura M. Castro, David Cabrero |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 8112 (págs. 527 a 535) |
Automatic Generation of Test Models for Web Services using WSDL and OCL
| Autores | Macías López, Henrique Ferreiro, Miguel A. Francisco, Laura M. Castro |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 8274 (págs. 483 a 490) |
| DOI | https://doi.org/10.1007/978-3-642-45005-1_37 |
Building Web Applications with Erlang
| Autores | LAURA CASTRO |
| Revista | JOURNAL OF FUNCTIONAL PROGRAMMING Vol. 23 Núm. 2 (págs. 225 a 227) |
| DOI | https://doi.org/10.1017/s0956796812000342 |
A Practical Methodology for Integration Testing
| Autores | Laura Milagros Castro Souto, Miguel A. Francisco Fernández, Víctor Manuel Gulias Fernández |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5717 (págs. 881 a 888) |
Environment- Independence Methodology for Accesing External Data Sources
| Autores | Laura Milagros Castro Souto, Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Javier Paris Fernandez |
| Revista | WSEAS Transactions on Information Science & Applications Vol. 5 Núm. 9 (págs. 1355 a 1364) |
Managing the Risks of Risk Management
| Autores | Laura Milagros Castro Souto, Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, José Santiago Jorge Castro |
| Revista | JOURNAL OF DECISION SYSTEMS Vol. 17 Núm. 4 (págs. 501 a 521) |
Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server
| Autores | José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 5144 (págs. 296 a 299) |
Towards a decentralized and structured network of P2P public information screens
| Autores | Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (págs. 217 a 224) |
Verification of program properties using different theorem provers: a case study
| Autores | José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 4739 (págs. 233 a 240) |
Managing data integrity: property-based testing for business rules
| Autores | Laura Milagros Castro Souto |
| Libro |
Managing data integrity: property-based testing for business rules Edita Tech Science Press. ISBN: 980-953-307-209-3 |
| Páginas | De la 1 a la 1 |
Profiling of parallel programs in a non-strict functional language
| Autor | Henrique Ferreiro García |
| Director/es | Laura Milagros Castro Souto; Kevin Hammond |
| Ámbito | Computación |
| Calificación | 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/es | Laura M. Castro Souto |
| Ámbito | Facultad de Informática |
| Calificación | Sobresaliente Cum Laude |
Automatic Generation of UML Sequence Diagrams from Test Cointerexamples
ERLANG USER CONFERENCE 2016
Internacional
| Autores | Laura Milagros Castro Souto, Daniel Carballa |
| Organizador | Erlang Solutions |
| Lugar | 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
Internacional
| Autores | Laura Milagros Castro Souto, J. Daniel Fernández, José Carlos López Pampín |
| Organizador | Erlang Solutions |
| Lugar | 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)
Internacional
| Autores | Laura Milagros Castro Souto, Henrique Ferreiro García, Vladimir Janjic, Kevin Hammond |
| Lugar | 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
Nacional
| Autores | Laura Milagros Castro Souto |
| Organizador | Oficinas de Igualdad de Género de la UDC, USC y UVIGO. |
| Lugar | Santiago de Compostela (España) |
Testing FreeDesktop applications for free with D-Bus and QuickCheck
Computer Aided Systems Theory - EUROCAST 2015
Internacional
| Autores | Laura Milagros Castro Souto |
| Lugar | 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
Internacional
| Autores | Henrique Ferreiro García, Miguel A. Francisco Fernández, Clara Benac Earle, Laura Milagros Castro Souto, Macías López Iglesias |
| Lugar | Sophia (Francia) |
Property-Based testing for Non-functional Requirements- Erlang as Supporting Technology for reaching Software Architecture
Erlang User Conference 2014
Internacional
| Autores | Macías López Iglesias, Laura M. Castro Souto, Thomas Arts |
| Lugar | Estocolmo (Suecia) |
A Backpack to go the Extra-Functional Mile (a hitchet hike by the Prowess Proyect)
Erlang Factory 2014
Internacional
| Autores | Laura M. Castro Souto |
| Lugar | 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
Autonómico
| Autores | Laura M. Castro Souto |
| Organizador | Universidade da Coruña (UDC) |
| Lugar | Ferrol (España) |
Tuning web services descriptions into QuickCheck models for automatic Testing
ERLANG 2013
Internacional
| Autores | Laura M. Castro Souto, Macías López Iglesias, Henrique Ferreiro García, Miguel A. Francisco |
| Organizador | ACM |
| Lugar | Boston, Massachusetts (Estados Unidos) |
Using Property-Based Testing in Time-Dependent Systems: a case study
International Conference On Computer Aided Systems Theory. Eurocast 2013
Internacional
| Autores | Macías López Iglesias, Laura M. Castro Souto, David Cabrero Souto |
| Organizador | Universidad de Las Palmas de Gran Canaria (ULPGC) |
| Lugar | Palmas de Gran Canaria, Las (España) |
Integrated Infrastructure Management System
International Conference On Computer Aided Systems Theory. Eurocast 2013
Internacional
| Autores | Laura M. Castro Souto, Antonio Ángel Blanco Ferro, Alberto Casanova |
| Organizador | Universidad de Las Palmas de Gran Canaria (ULPGC) |
| Lugar | 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
Nacional
| Autores | Macías López Iglesias, Laura M. Castro Souto, Henrique Ferreiro García, Miguel A. Francisco |
| Organizador | UNIVERSIDAD POLITÉCNICA DE MADRID |
| Lugar | 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
Nacional
| Autores | Laura M. Castro Souto, Miguel A. Francisco |
| Organizador | UNIVERSIDAD POLITÉCNICA DE MADRID |
| Lugar | Madrid (España) |
Automatic generation of test models for Web Services using WSDL and OCL
11th International Conference on Service Oriented Computing (ICSOC 2013)
Internacional
| Autores | Miguel A. Francisco, Laura M. Castro Souto, Macías López Iglesias, Henrique Ferreiro García |
| Organizador | IBM RESEARCH |
| Lugar | Berlín (Alemania) |
A DSL for Web Services Automatic Test Data Generation
25th Symposium on Implementation and Application of Functional Languages - ILF 2013
Internacional
| Autores | Macías López Iglesias, Henrique Ferreiro García, Laura M. Castro Souto, Thomas Arts |
| Organizador | ACM |
| Lugar | Nijmegen (Países Bajos) |
Kindergarten Cop: Dynamic Nursery Resizing for GHC
25th Symposium on Implementation and Application of Functional Languages - ILF 2013
Internacional
| Autores | Henrique Ferreiro García, Laura M. Castro Souto, Vladimir Janjic, Tony Kevin Hammond |
| Organizador | ACM |
| Lugar | Nijmegen (Países Bajos) |
Declarative Distributed Advertisement System for IDTV: an Industrial Experience
Principles and Practice of Declarative Programming PPDP'12 - ACM SIGPLAN
Internacional
| Autores | Laura M. Castro Souto, David Cabrero Souto, Macías López Iglesias |
| Organizador | ACM |
| Lugar | Leuven (Bélgica) |
Failover and Takeover Contingency Mechanisms for Network Partition and Node Failure
ERLANG USER CONFERENCE 2012
Internacional
| Autores | David Cabrero Souto, Macías López Iglesias, Laura M. Castro Souto |
| Organizador | ACM |
| Lugar | Copenhague (Dinamarca) |
Sistema funcional distribuido de publicidad para IDTV
XII JORNADAS DE PROGRAMACIÓN Y LENGUAJE - PROLE 2012
Nacional
| Autores | Laura M. Castro Souto, Macías López Iglesias, David Cabrero Souto |
| Organizador | Universidad de Almería (UAL) |
| Lugar | Almería (España) |
Tecnología funcional en aplicaciones de televisión interactiva
XII JORNADAS DE PROGRAMACIÓN Y LENGUAJE - PROLE 2012
Nacional
| Autores | David Duque, Laura M. Castro Souto |
| Organizador | Universidad de Almería (UAL) |
| Lugar | Almería (España) |
Automatic generation of test models and properties from UML models with OCL constraints
OCL 2012
Internacional
| Autores | Laura M. Castro Souto, Miguel A. Francisco |
| Organizador | ACM |
| Lugar | Innsbruck (Austria) |
Testing Data Consistency of Data-Intensive Applications using QuickCheck
PROLE 2010
Nacional
| Autores | Laura Milagros Castro Souto, Thomas Arts |
| Organizador | Universidad Politécnica de Valencia |
| Lugar | 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
Nacional
| Autores | 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 |
| Organizador | Sociedad Española de Informática de la Salud (SEIS) |
| Lugar | Madrid (España) |
Testing erlang data types with quviq quickcheck
7th ACM SIGPLAN Erlang Workshop, Erlang ¿08
Internacional
| Autores | Thomas Arts, Laura Milagros Castro Souto, John Hughes |
| Lugar | Victoria-British Columbia (Canadá) |
Database Access and Patterns in Erlang/0TP
AIC¿08 - 8th WSEAS International Conference on APPLIED INFORMATICS and COMMUNICATIONS
Internacional
| Autores | Laura Milagros Castro Souto, Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Javier Paris Fernandez |
| Lugar | 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
Internacional
| Autores | Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Lugar | Atenas (Grecia) |
Applications integration: a testing experience
Servicewave 2008
Internacional
| Autores | Laura Milagros Castro Souto, Víctor Manuel Gulias Fernández, Miguel A. Francisco Fernández |
| Lugar | Madrid (España) |
Digital Watermarking of MPEG Videos: Empirical Studies and Open Source Tools
CLEI 2007, XXXIII Conferencia Latinoamericana de Informática
Internacional
| Autores | Laura Milagros Castro Souto, Cheng-Fang Yang, Natasha Simon, Ernst L. Leiss |
| Lugar | 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
Internacional
| Autores | Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Lugar | 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
Internacional
| Autores | José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Lugar | 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
Nacional
| Autores | José Santiago Jorge Castro, Alberto Valderruten Vidal, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Lugar | Zamora (España) |
Extending the VoDKA Architecture with P2P Aggregated Content Management
12th IEEE Symposium on Computers and Communications (ISCC 2007)
Internacional
| Autores | Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Lugar | 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
Internacional
| Autores | José Santiago Jorge Castro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto |
| Lugar | Lima (Perú) |
Earlang/OTP framework for complex management applications development
WEBIST 2007, 3rd International Conference on Web Information Systems and Technologies
Internacional
| Autores | Carlos Abalde Ramiro, Víctor Manuel Gulias Fernández, Laura Milagros Castro Souto, Carlos Varela Paz, José Santiago Jorge Castro |
| Lugar | Barcelona (España) |
Formalisation of a Functional Risk Management System
ICEIS¿06. 8th International Conference on Enterprise Information Systems
Internacional
| Autores | Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Laura M. Castro Souto, Carlos Varela Paz |
| Lugar | Paphos (Chipre) |
A New Risk Management Approach Deployed over a Client/Server
ICSENG 2005. 18th International Conference on Systems Engineering
Internacional
| Autores | Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Laura M. Castro Souto, Carlos Varela Paz |
| Lugar | Las Vegas (Estados Unidos) |
Armistice : An Experience Developing Management Software with Erlang
2nd ACM SIGPLAN Erlang Workshop
Internacional
| Autores | David Cabrero Souto, Carlos Abalde Ramiro, Laura Milagros Castro Souto, Carlos Varela Paz |
| Lugar | Uppsala (Suecia) |
ARMISTICE : Una experiencia desarrollando software de gestión con Erlang
III Jornadas de Programación y Lenguajes. PROLE 2003
Nacional
| Autores | Laura Castro Souto, Víctor Manuel Gulias Fernández, David Cabrero Souto, Carlos Abalde Ramiro, Carlos Varela Paz |
| Organizador | Universidad de Alicante |
| Lugar | España |
Cargos académicos o de gestión para el/la docente.