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 totales |
---|---|---|
Arquitectura del Software
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
|
Optativo | 63 |
Trabajo Fin de Grado. Mención en Computación | Obligatorio | 0 |
Trabajo Fin de Grado. Mención en Ingeniería de Computadores | Obligatorio | 0 |
Trabajo Fin de Grado. Mención en Ingeniería del Software
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 8 |
Trabajo Fin de Grado. Mención en Sistemas de Información | Obligatorio | 4 |
Trabajo Fin de Grado. Mención en Tecnología de la Información
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 |
Validación y Verificación del Software
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
|
Optativo | 35 |
Asignatura y estudios en la que se imparte | Carácter | 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 | 63 |
Trabajo Fin de Grado. Mención en Computación
Grado en Ingeniería Informática
|
Obligatorio | 0 |
Trabajo Fin de Grado. Mención en Ingeniería de Computadores
Grado en Ingeniería Informática
|
Obligatorio | 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 |
Trabajo Fin de Grado. Mención en Sistemas de Información
Grado en Ingeniería Informática
|
Obligatorio | 0 |
Trabajo Fin de Grado. Mención en Tecnología de la Información
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 8 |
Trabajo Fin de Máster
Máster Universitario en Ingeniería Informática
|
Obligatorio | 5 |
Validación y Verificación del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
|
Optativo | 35 |
Asignatura y estudios en la que se imparte | Carácter | 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 | 63 |
Paradigmas de Programación
Grado en Ingeniería Informática
|
Obligatorio | 20 |
Trabajo Fin de Grado. Mención en Computación
Grado en Ingeniería Informática
|
Obligatorio | 0 |
Trabajo Fin de Grado. Mención en Ingeniería de Computadores
Grado en Ingeniería Informática
|
Obligatorio | 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 | 10,7 |
Trabajo Fin de Grado. Mención en Sistemas de Información
Grado en Ingeniería Informática
|
Obligatorio | 0 |
Trabajo Fin de Grado. Mención en Tecnología de la Información
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 0 |
Validación y Verificación del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
|
Optativo | 35 |
Asignatura y estudios en la que se imparte | Carácter | 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 | 70 |
Concurrencia y Paralelismo
Grado en Ingeniería Informática
|
Obligatorio | 3 |
Paradigmas de Programación
Grado en Ingeniería Informática
|
Obligatorio | 20 |
Prácticas en Empresa
Grado en Ingeniería Informática
Grado en Ingeniería Informática
|
Optativo | 10 |
Prácticas en Empresa
Máster Universitario en Ingeniería Informática
|
Obligatorio | 8 |
Proyecto Fin de Carrera
Ingeniero en Informática
|
Obligatorio | 8 |
Trabajo Fin de Grado. Mención en Computación
Grado en Ingeniería Informática
|
Obligatorio | 0 |
Trabajo Fin de Grado. Mención en Ingeniería de Computadores
Grado en Ingeniería Informática
|
Obligatorio | 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 | 16 |
Trabajo Fin de Grado. Mención en Sistemas de Información
Grado en Ingeniería Informática
|
Obligatorio | 0 |
Trabajo Fin de Grado. Mención en Tecnología de la Información
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
|
Obligatorio | 4 |
Validación y Verificación del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
|
Optativo | 35 |
Asignatura y estudios en la que se imparte | Carácter | 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 | 23 |
Prácticas en Empresa
Máster Universitario en Ingeniería Informática
|
Obligatorio | 6 |
Proyecto Fin de Carrera
Ingeniero en Informática
|
Obligatorio | 27 |
Trabajo Fin de Grado. Mención en Computación
Grado en Ingeniería Informática
|
Obligatorio | 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 | 24 |
Validación y Verificación del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
|
Optativo | 35 |
Asignatura y estudios en la que se imparte | Carácter | 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 | 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
|
Obligatorio | 12 |
Validación y Verificación del Software
Grado en Ingeniería Informática
Grado en Ingeniería Informática. Curso Puente
(Obligatorio)
|
Optativo | 42 |
Tutorías definidas por el/la docente para el curso académico 2020/2021.
Cuatrimestre | Día | Lugar |
---|---|---|
Primer cuatrimestre |
lunes
17:00 a 18:00 |
Online (Teams, correo electrónico, Telegram) |
Primer cuatrimestre |
martes
17:00 a 18:00 |
Online (Teams, correo electrónico, Telegram) |
Primer cuatrimestre |
miércoles
16:00 a 18:00 |
Online (Teams, correo electrónico, Telegram) |
Primer cuatrimestre |
viernes
16:00 a 17:30 |
Online (Teams, correo electrónico, Telegram) |
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.