Dra. Laura Milagros Castro Souto  

Profesor contratado doctor (PC-DR)

Departamento Computació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
Contacto Directorio de la UDC
Orcid id0000-0002-3028-1523 ResearcherIDA-6404-2011 Scopus15755224100

Docencia

Docencia impartida

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 Horas totales
Arquitectura del Software
Grado en Ingeniería Informática. Curso Puente (Obligatorio)
70
Concurrencia y Paralelismo 3
Paradigmas de Programación 20
Prácticas en Empresa 10
Prácticas en Empresa 8
Proyecto Fin de Carrera
Ingeniero en Informática
8
Trabajo Fin de Grado. Mención en Computación 0
Trabajo Fin de Grado. Mención en Ingeniería de Computadores 0
Trabajo Fin de Grado. Mención en Ingeniería del Software
Grado en Ingeniería Informática. Curso Puente
16
Trabajo Fin de Grado. Mención en Sistemas de Información 0
Trabajo Fin de Grado. Mención en Tecnología de la Información
Grado en Ingeniería Informática. Curso Puente
4
Validación y Verificación del Software
Grado en Ingeniería Informática. Curso Puente (Obligatorio)
35
Asignatura y estudios en la que se imparte 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
23
Prácticas en Empresa
Máster Universitario en Ingeniería Informática
6
Proyecto Fin de Carrera
Ingeniero en Informática
27
Trabajo Fin de Grado. Mención en Computación
Grado en Ingeniería Informática
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
24
Validación y Verificación del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente (Obligatorio)
35
Asignatura y estudios en la que se imparte 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
112
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
12
Validación y Verificación del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente (Obligatorio)
42
Asignatura y estudios en la que se imparte Horas totales
Arquitectura del Software
Grado en Ingeniería Informática
Máster Universitario en Ingeniería Informática
70
Arquitectura del Software
Grado en Ingeniería Informática. Curso Puente
28
Trabajo Fin de Grado. Mención en Ingeniería del Software
Grado en Ingeniería Informática
5
Validación y Verificación del Software
Grado en Ingeniería Informática
46
Asignatura y estudios en la que se imparte Horas totales
Arquitectura del Software
Grado en Ingeniería Informática
Máster Universitario en Ingeniería Informática
63
Arquitectura del Software
Grado en Ingeniería Informática. Curso Puente
21
Trabajo Fin de Grado. Mención en Ingeniería del Software
Grado en Ingeniería Informática
24
Trabajo fin de máster. Sistemas de Información
Máster Universitario en Ingeniería de Sistemas Informáticos
5,6
Validación y Verificación del Software
Grado en Ingeniería Informática
38
Validación y Verificación del Software
Grado en Ingeniería Informática. Curso Puente
11
Asignatura y estudios en la que se imparte Horas totales
Arquitectura del Software
Grado en Ingeniería Informática
77
Diseño de Sistemas de Información
Ingeniero en Informática
57
Diseño Software
Grado en Ingeniería Informática
59
Modelado de sistemas distribuídos y concurrentes
Máster Universitario en Ingeniería de Sistemas Informáticos
20

Tutorías definidas por el/la docente para el curso académico 2017/2018.

Facultad de Informática

Cuatrimestre Día Lugar
Primer cuatrimestre lunes
17:00 a 18:30
D4.15
Primer cuatrimestre miércoles
17:00 a 18:30
D4.15
Primer cuatrimestre jueves
18:30 a 19:30
D4.15
Segundo cuatrimestre miércoles
16:00 a 18:30
D4.15
Segundo cuatrimestre jueves
11:30 a 13:00
D4.15

Trabajos de fin de grado y máster

Dirigidos o codirigidos por el/la docente desde el año 2013.

Aplicación para la edición y visualización de diagramas de forma concurrente con baja latencia en entorno web
Estudio del impacto de la introducción de herramientas de automatización de pruebas
Estudio, definición e implementación de patrones de prueba inspirados en GoF
Generación automática de diagramas de secuencia UML a partir de contra-ejemplos en pruebas de unidad
Chat de voz distribuido
Desarrollo e integración de funcionalidades de gestión de proyectos en un sistema de control de versiones
Desarrollo e integración de funcionalidades de gestión de proyectos en un sistema de control de versiones
Diseño e implementación de un sistema distribuido para la ejecución de pruebas.
Diseño e implementación del despliegue en la nube de una plataforma altamente escalable de metadatos multimedia
El Software libre en la enseñanza de la asignatura informática del curso 4º de ESo
Librería para el desarrollo de crawlers web distribuidos

Resultados de investigación

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

Axuda para a consolidación e estructuración de unidades de investigación competitivas do SUG. Agrupación estratéxica CITIC

Entidad financiadora Consellería de Cultura, Educación e Ordenación Universitaria
Investigadores principales Bertha Guijarro Berdiñas
Tipo Proyecto Otros Programas
Fechas Desde 01/01/2012 a 31/12/2013

Property- Based Testing of Web Services (PROWESS)

Entidad financiadora Union Europea
Tipo Proyecto UE
Fechas Desde 01/10/2012 a 31/10/2015

Arquitectura Distribuida altamente escalable en el marco del proyecto Platino (Contrato Art. 83)

Entidad financiadora CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L
Tipo Contrato
Fechas Desde 14/12/2011 a 14/12/2013

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)
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 31/12/2005 a 30/12/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)

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

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
Internacional

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)

Wikinformática: visibilización del papel de la mujer en las nuevas tecnologías y promoción de la ingeniería en informática entre las estudiantes de secundaria
Jornadas de la Enseñanza Universitaria de la Informática (JENUI 2015)
Internacional

Autores Laura Milagros Castro Souto
Organizador Facultad de Informática
Lugar Coruña, A (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
Internacional

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
Internacional

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
Internacional

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
Internacional

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
Internacional

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
Internacional

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
Internacional

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
Internacional

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
Internacional

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

Cargos académicos o de gestión para el/la docente.

Profesorado responsable titulaciones Facultad de Informática

Grado en Ingeniería Informática
Profesor/a responsable de titulación