Macías López Igrexas  

Profesor asociado tipo 3 (ASOC-3)

Departamento Matemáticas
Área Estadística e investigación operativa
Contacto Directorio de la UDC

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 a distancia Horas totales
Documentación y Estadística Sanitaria
Grado en Fisioterapia. Curso Puente
0 9
Estadística 0 56
Métodos Numéricos y Estadísticos 0 25
Asignatura y estudios en la que se imparte Horas a distancia Horas totales
Ciencia de Datos
Grado en Gestión Digital de Información y Documentación
0 44
Fundamentos Estadísticos
Grado en Gestión Digital de Información y Documentación
0 44
Optimización Matemática
Grado en Ciencia e Ingeniería de Datos
0 18

Tutorías definidas por el/la docente para el curso académico 2023/2024.

Facultad de Ciencias

Cuatrimestre Día Lugar
Segundo cuatrimestre lunes
15:00 a 17:00
Sala común do edificio anexo do aparcamento
Segundo cuatrimestre lunes
18:00 a 19:00
Sala común do edificio anexo do aparcamento
Segundo cuatrimestre miércoles
17:00 a 18:00
Sala común do edificio anexo do aparcamento
Segundo cuatrimestre miércoles
19:00 a 21:00
Sala común do edificio anexo do aparcamento

Trabajos de fin de grado y máster

No figuran proyectos fin de grado o máster dirigidos por el/la docente desde el año 2013

Resultados de investigación

Puede consultar los méritos de investigación seleccionando un tipo de mérito y el año.

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)

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)

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)

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)

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)