| Departamento | Ciencias da Computación e Tecnoloxías da Información |
| Área | Ciencia da computación e intelixencia artificial |
| Investigación | Grupo de investigación Cidadanía Dixital |
| Liñas 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 chave | concorrencia, distribución, dispoñibilidade, escalabilidade, programación funcional, validación automática, probas baseadas en modelos, probas baseadas en propiedades |
| Avaliación de méritos docentes | 3 quinquenio(s) |
| Avaliación de méritos de investigación | 2 sexenio(s) |
| Contacto | Directorio da UDC |
| Orcid id0000-0002-3028-1523 ResearcherIDA-6404-2011 Scopus15755224100 | |
Neste apartado móstrase a docencia impartida en graos, másteres e resto de titulacións oficiais ata os últimos 6 anos.
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
| Algoritmos | Obrigatorio | 0 | 3 |
|
Arquitectura do Software
Grao en Enxeñaría Informática. Curso Ponte
(Obrigatorio)
|
Optativo | 0 | 46 |
| Traballo Fin de Grao. Mención en Computación | Obrigatorio | 0 | 12 |
|
Traballo Fin de Grao. Mención en Enxeñaría do Software
Grao en Enxeñaría Informática. Curso Ponte
|
Obrigatorio | 0 | 36 |
| Traballo Fin de Grao. Mención en Sistemas de Información | Obrigatorio | 0 | 4 |
| Traballo Fin de Máster | Obrigatorio | 0 | 5 |
|
Validación e Verificación do Software
Grao en Enxeñaría Informática. Curso Ponte
(Obrigatorio)
|
Optativo | 0 | 14 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Arquitectura do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte
(Obrigatorio)
Máster Universitario en Enxeñaría Informática
|
Optativo | 0 | 63 |
|
Traballo Fin de Grao. Mención en Computación
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 18,6666666666667 |
|
Traballo Fin de Grao. Mención en Enxeñaría do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte
|
Obrigatorio | 0 | 12 |
|
Traballo Fin de Grao. Mención en Sistemas de Información
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 4 |
|
Validación e Verificación do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte
(Obrigatorio)
|
Optativo | 0 | 42 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Arquitectura do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte
(Obrigatorio)
Máster Universitario en Enxeñaría Informática
|
Optativo | 0 | 49 |
|
Traballo Fin de Grao. Mención en Computación
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 12 |
|
Traballo Fin de Grao. Mención en Enxeñaría do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte
|
Obrigatorio | 0 | 12 |
|
Traballo Fin de Grao. Mención en Sistemas de Información
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 8 |
|
Validación e Verificación do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte
(Obrigatorio)
|
Optativo | 0 | 42 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Arquitectura do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte
(Obrigatorio)
Máster Universitario en Enxeñaría Informática
Máster Universitario en Enxeñaría Informática
|
Optativo | 0 | 63 |
|
Traballo Fin de Grao. Mención en Computación
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 16 |
|
Traballo Fin de Grao. Mención en Enxeñaría de Computadores
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 0 |
|
Traballo Fin de Grao. Mención en Enxeñaría do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte
|
Obrigatorio | 0 | 16 |
|
Traballo Fin de Grao. Mención en Sistemas de Información
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 0 |
|
Traballo Fin de Grao. Mención en Tecnoloxías da Información
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte
|
Obrigatorio | 0 | 16 |
|
Traballo Fin de Máster
Máster Universitario en Enxeñaría Informática
|
Obrigatorio | 0 | 10 |
|
Validación e Verificación do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte
(Obrigatorio)
|
Optativo | 0 | 42 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Arquitectura do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte
(Obrigatorio)
Máster Universitario en Enxeñaría Informática
|
Optativo | 0 | 63 |
|
Traballo Fin de Grao. Mención en Computación
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 0 |
|
Traballo Fin de Grao. Mención en Enxeñaría de Computadores
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 0 |
|
Traballo Fin de Grao. Mención en Enxeñaría do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte
|
Obrigatorio | 0 | 8 |
|
Traballo Fin de Grao. Mención en Sistemas de Información
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 4 |
|
Traballo Fin de Grao. Mención en Tecnoloxías da Información
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte
|
Obrigatorio | 0 | 0 |
|
Validación e Verificación do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte
(Obrigatorio)
|
Optativo | 0 | 35 |
| Materia e estudos en que se imparte | Carácter | Horas a distancia | Horas totais |
|---|---|---|---|
|
Arquitectura do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte
(Obrigatorio)
Máster Universitario en Enxeñaría Informática
|
Optativo | 0 | 63 |
|
Traballo Fin de Grao. Mención en Computación
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 0 |
|
Traballo Fin de Grao. Mención en Enxeñaría de Computadores
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 0 |
|
Traballo Fin de Grao. Mención en Enxeñaría do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte
|
Obrigatorio | 0 | 0 |
|
Traballo Fin de Grao. Mención en Sistemas de Información
Grao en Enxeñaría Informática
|
Obrigatorio | 0 | 0 |
|
Traballo Fin de Grao. Mención en Tecnoloxías da Información
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte
|
Obrigatorio | 0 | 8 |
|
Traballo Fin de Máster
Máster Universitario en Enxeñaría Informática
|
Obrigatorio | 0 | 5 |
|
Validación e Verificación do Software
Grao en Enxeñaría Informática
Grao en Enxeñaría Informática. Curso Ponte
(Obrigatorio)
|
Optativo | 0 | 35 |
Titorías definidas polo/a docente para o curso académico 2024/2025.
| Cuadrimestre | Día | Lugar |
|---|---|---|
| Primeiro cuadrimestre |
luns
17:00 a 19:00 |
Online (Teams) ou D4.15 (confirmar antes) |
| Primeiro cuadrimestre |
mércores
17:00 a 19:00 |
Online (Teams) ou D4.15 (confirmar antes) |
| Primeiro cuadrimestre |
venres
17:00 a 19:00 |
Online (Teams) ou D4.15 (confirmar antes) |
Dirixidos ou codirixidos polo/a docente desde o ano 2013.
| Análise da xestión económica dunha consultora TIC cun sistema de Business Intelligence |
| Aplicación para a xestión de tickets online |
| Ferramenta de alcance xeral para a xestión de incidencias, peticións, recursos e fluxos de proceso |
| Libraría de probas de seguridade para programas en Elixir |
| Linguaxe de programación funcional executable sobre unha máquina virtual propia |
| Sintaxe de consulta de datos ao estilo SQL para Riak KV |
| ErlNote: Aplicación web de planificación persoal. |
| Solución de integración de procesos relacionados coa calidade a través dun sistema BPM |
| Chat de voz distribuído |
| Desenvolvemento e integración de funcionalidades de xestión de proxectos nun sistema de control de versións |
| Desenvolvemento e integración de funcionalidades de xestión de proxectos nun sistema de control de versións |
| Deseño e implementación do despregamento na nube dunha plataforma altamente escalable de metadatos multimedia |
| Deseño e implementación dun sistema distribuído para a execución de probas. |
| Librería para o desenvolvemento de crawlers web distribuídos |
| O Software libre no ensino da asignatura informática do curso 4º de ESO. |
Pode consultar os méritos de investigación seleccionando un tipo de mérito e o ano.
ADVANCED GENIUS ENERGY MANAGER FOR RETAIL SHOPS
| Entidade financiadora | Digital Innovation Hub Industrial de Galicia (DIHGIGAL) |
| Investigadores principais | Laura Milagros Castro Souto; José Luis Calvo Rolle |
| Tipo | Contrato |
| Datas | Desde 10/08/2022 ata 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
| Entidade financiadora | INSTITUTO DE LA MUJER. MINISTERIO DE IGUALDAD |
| Investigadores principais | María Teresa Piñeiro Otero |
| Tipo | Proxecto Outros Programas |
| Datas | Desde 01/01/2022 ata 31/12/2023 |
ETHiC. Efficient Thermas Comfort
| Entidade financiadora | Arce Clima Sistemas y Aplicaciones S.L. |
| Investigadores principais | Laura Milagros Castro Souto y Jorge Novo Buján |
| Tipo | Contrato |
| Datas | Desde 01/03/2016 ata 01/07/2016 |
Contrato Art. 83 para el desarrollo de aplicaciones y servicios para la Televisión Digital Interactiva v5.0
| Entidade financiadora | CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L |
| Tipo | Contrato |
| Datas | Desde 01/01/2014 ata 15/06/2014 |
Axuda de consolidación e estruturación de unidades de investigación competitivas. Modalidade :Grupos de Referencia Competitiva.
| Entidade financiadora | Consellería de Educación e Ordenación Universitaria |
| Tipo | Proxecto Programas Autonomicos |
| Datas | Desde 22/10/2014 ata 30/10/2017 |
Contrato entre Indra Software Labs y CITIC en el marco del proyecto Feder Innterconecta, convocatoria 2013 Galicia, "GOAL"
| Entidade financiadora | INDRA SOFTWARE LABS S.L.U. |
| Investigadores principais | Nieves Rodríguez Brisaboa e Laura M. Castro Souto |
| Tipo | Contrato |
| Datas | Desde 05/04/2013 ata 31/12/2014 |
Desarrollo de aplicaciones y servicios para la TV Digital Interactiva v4.0 (Contrato Art.83)
| Entidade financiadora | CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L |
| Tipo | Contrato |
| Datas | Desde 31/10/2013 ata 31/10/2014 |
Ayudas para la consolidación y estructuración de unidades de investigación competitiva. Modalidad de agrupaciones estratégicas (CITIC)
| Entidade financiadora | Xunta de Galicia |
| Investigadores principais | Ricardo Cao Abad |
| Tipo | Proxecto Programas Autonomicos |
| Datas | Desde 01/01/2012 ata 31/12/2013 |
Arquitectura Distribuida altamente escalable en el marco del proyecto Platino (Contrato Art. 83)
| Entidade financiadora | CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L |
| Investigadores principais | David Cabrero Souto |
| Tipo | Contrato |
| Datas | Desde 16/04/2012 ata 15/04/2014 |
Property- Based Testing of Web Services (PROWESS)
| Entidade financiadora | Union Europea |
| Investigadores principais | Laura Milagros Castro Souto |
| Tipo | Proxecto UE |
| Datas | Desde 02/10/2012 ata 01/11/2015 |
Desarrollo de aplicaciones y servicios para la TV Digital Interactiva v3.0 (Contrato Art.83)
| Entidade financiadora | CINFO CONTENIDOS INFORMATICIVOS PERSONALIZADOS S.L |
| Tipo | Contrato |
| Datas | Desde 30/11/2011 ata 30/11/2012 |
Iniciativa para la implementación e integración de sistemas correctos y eficientes no triviales basado en modelos (AMBITIIONS)
| Entidade financiadora | Ministerio de Economía y Competitividad (MINECO) |
| Investigadores principais | David Cabrero Souto |
| Tipo | Proxecto Programas Nacionales |
| Datas | Desde 01/01/2011 ata 31/12/2013 |
Optiband- Optimization of Bandwidth for IPTV video streaming (FP7-ICT-2009-4)
| Entidade financiadora | Union Europea |
| Investigadores principais | Laura M. Castro Souto |
| Tipo | Proxecto Internacional |
| Datas | Desde 01/01/2010 ata 30/12/2012 |
Recursos funcionales para la construcción de sistemas distribuidos complejos de alta disponibilidad
| Entidade financiadora | MINISTERIO DE EDUCACIÓN Y CIENCIA |
| Investigadores principais | Víctor M. Gulías Fernández |
| Tipo | Proxecto Programas Nacionales |
| Datas | Desde 15/10/2005 ata 14/10/2008 |
Verificación, rendimiento y disponibilidad de aplicaciones distribuidas en un entorno real (VRDADER) (Incentivo)
| Entidade financiadora | Xunta de Galicia |
| Investigadores principais | Víctor M. Gulías Fernández |
| Tipo | Proxecto Programas Autonomicos |
| Datas | Desde 15/07/2003 ata 15/07/2006 |
Verificación, rendimiento y disponibilidad de aplicaciones distribuidas en un entorno real (VRDADER)
| Entidade financiadora | Ministerio de Ciencia y Tecnología |
| Investigadores principais | Víctor M. Gulías Fernández |
| Tipo | Proxecto Programas Nacionales |
| Datas | Desde 05/11/2002 ata 05/11/2005 |
Advanced RMIS Server: Tracking of Insurances, Claims and Exposures (ARMISTICE Server)
| Tipo | Software Rexistrado |
| Entidade | Universidade da Coruña (UDC) |
| Autores | Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Laura M. Castro Souto |
| Data de solicitude | 17/08/2007 |
| Data de concesión | 17/08/2007 |
Advaced RMIS Management Desktop: Tracking of Insurances, Claims and Exposures (ARMISTICE Desktop)
| Tipo | Software Rexistrado |
| Entidade | Universidade da Coruña (UDC) |
| Autores | Víctor Manuel Gulias Fernández, Carlos Abalde Ramiro, Laura M. Castro Souto |
| Data de solicitude | 17/08/2007 |
| Data 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áxs. 890 ata 913) |
Sitting Property-Based Testing at the Desktop
| Autores | Laura M. Castro |
| Revista | LECTURE NOTES IN COMPUTER SCIENCE Vol. 9520 (páxs. 236 ata 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áxs. 355 ata 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áxs. 1 ata 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áxs. 231 ata 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áxs. 158 ata 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áxs. 3109 ata 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áxs. 527 ata 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áxs. 483 ata 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áxs. 225 ata 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áxs. 881 ata 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áxs. 1355 ata 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áxs. 501 ata 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áxs. 296 ata 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áxs. 217 ata 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áxs. 233 ata 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áxinas | Desde a 1 ata a 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 |
| Cualificación | Sobresainte |
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 |
| Cualificació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 ou de xestión para o/a docente.