M
María del Mar Prados Gallardo
Researcher at University of Málaga
Publications - 74
Citations - 696
María del Mar Prados Gallardo is an academic researcher from University of Málaga. The author has contributed to research in topics: Model checking & Software system. The author has an hindex of 14, co-authored 71 publications receiving 661 citations. Previous affiliations of María del Mar Prados Gallardo include University of Seville.
Papers
More filters
Journal ArticleDOI
La experiencia del voluntariado universitario en las tertulias dialógicas de las comunidades de aprendizaje
Antonio Aguilera Jiménez,María del Mar Prados Gallardo,María Teresa Gómez del Castillo Segurado +2 more
TL;DR: In this paper, the authors present the assessment that the dialogic gatherings make 23 psychology students who have participated in them, as well as the benefits that they say have obtained of such participation.
Manual de psicología de la educación para docentes de educación infantil y primaria
María del Mar Prados Gallardo,Virginia Sánchez Jiménez,Inmaculada Sánchez-Queija,Rosario Del Rey,J. A. Mora-Merchán,Miguel Ángel Pertegal Vega,María del Carmen Reina Flores,Pilar Ridao Ramírez,Javier Ortega-Rivera +8 more
Journal ArticleDOI
Toward Zero Touch Configuration of 5G Non-Public Networks for Time Sensitive Networking
Francisco Luque-Schempp,Laura Panizo,María del Mar Prados Gallardo,Pedro Merino,Javier Rivas +4 more
TL;DR: The aim is to learn from the live network to build a smart controller that can dynamically predict and apply a suitable configuration of the 5G NPN to satisfy the requirements of the current TSN traffic.
Journal ArticleDOI
Verification of complex dynamic data tree with mu-calculus
TL;DR: The expressiveness of mu-calculus makes it possible to naturally describe and analyze with model checking techniques dynamic data structures such as lists and trees, and following the ideas of separation logic, the logic has been extended with a new operator capable of describing the non-sharing property.
Proceedings ArticleDOI
Verification of Dynamic Data Tree with mu-calculus Extended with Separation
TL;DR: In this paper, the authors propose to use mu-calculus to describe and analyze, using model checking techniques, dynamic data such as lists, and non-linear data structures like trees.