Macías López Igrexas  

Profesor asociado tipo 3 (ASOC-3)

Department Mathematics
Knowledgment area Statistics and Operational Research
Contacto UDC directory

Teaching

Subjects taught

This section shows the teaching given in degrees, masters and other officers studies in last 6 years.

Subject and involved studies Distance hours Total hours
Documentation and Health Statistics
Degree in Physiotherapy
0 9
Numerical and Statistical Methods
Degree in Nanoscience and Nanotechnology
0 25
Statistics
Concurrent Programme of Studies for Degree in Biology and Degree in Chemistry
Degree in Biology
0 56
Subject and involved studies Distance hours Total hours
Data Science
Degree on Digital Management of Information and Documents
0 44
Fundamentals of Statistics
Degree on Digital Management of Information and Documents
0 44
Mathematical Optimisation
Degree in Data Science and Engineering
0 18

Defined tutoring by teacher for 2023/2024 academic course.

Faculty of Science

Quarter Day Site
2nd quarter Monday
15:00 a 17:00 		Sala común do edificio anexo do aparcamento
2nd quarter Monday
18:00 a 19:00 		Sala común do edificio anexo do aparcamento
2nd quarter Wednesday
17:00 a 18:00 		Sala común do edificio anexo do aparcamento
2nd quarter Wednesday
19:00 a 21:00 		Sala común do edificio anexo do aparcamento

EOG works and final master thesis directed

No available EOG works or final master thesis directed by current teacher since 2013 year.

Research results

Select merit type and year to query research merits.

Feasibily of property-based testing for time-dependent systems

Authors Macías López, Laura M. Castro, David Cabrero
Journal LECTURE NOTES IN COMPUTER SCIENCE Vol. 8112 (pages 527 to 535)

Tuning web services descriptions into QuickCheck models for automatic Testing
ERLANG 2013
International

Authors Laura M. Castro Souto, Macías López Iglesias, Henrique Ferreiro García, Miguel A. Francisco
Organization ACM
Place Boston, Massachusetts (Estados Unidos)

Using Property-Based Testing in Time-Dependent Systems: a case study
International Conference On Computer Aided Systems Theory. Eurocast 2013
International

Authors Macías López Iglesias, Laura M. Castro Souto, David Cabrero Souto
Organization Universidad de Las Palmas de Gran Canaria (ULPGC)
Place 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
National

Authors Macías López Iglesias, Laura M. Castro Souto, Henrique Ferreiro García, Miguel A. Francisco
Organization UNIVERSIDAD POLITÉCNICA DE MADRID
Place Madrid (España)

Automatic generation of test models for Web Services using WSDL and OCL
11th International Conference on Service Oriented Computing (ICSOC 2013)
International

Authors Miguel A. Francisco, Laura M. Castro Souto, Macías López Iglesias, Henrique Ferreiro García
Organization IBM RESEARCH
Place Berlín (Alemania)

A DSL for Web Services Automatic Test Data Generation
25th Symposium on Implementation and Application of Functional Languages - ILF 2013
International

Authors Macías López Iglesias, Henrique Ferreiro García, Laura M. Castro Souto, Thomas Arts
Organization ACM
Place Nijmegen (Países Bajos)

Declarative Distributed Advertisement System for IDTV: an Industrial Experience
Principles and Practice of Declarative Programming PPDP'12 - ACM SIGPLAN
International

Authors Laura M. Castro Souto, David Cabrero Souto, Macías López Iglesias
Organization ACM
Place Leuven (Bélgica)

Failover and Takeover Contingency Mechanisms for Network Partition and Node Failure
ERLANG USER CONFERENCE 2012
International

Authors David Cabrero Souto, Macías López Iglesias, Laura M. Castro Souto
Organization ACM
Place Copenhague (Dinamarca)

Sistema funcional distribuido de publicidad para IDTV
XII JORNADAS DE PROGRAMACIÓN Y LENGUAJE - PROLE 2012
National

Authors Laura M. Castro Souto, Macías López Iglesias, David Cabrero Souto
Organization Universidad de Almería (UAL)
Place Almería (España)