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
Indicadores y criterios de calidad de buenas prácticas coeducativas. Una propuesta innovadora
Francisco Javier Saavedra Macías,Miguel Jesús Bascón Díaz,María del Mar Prados Gallardo,Assumpta Sabuco I Cantó +3 more
TL;DR: In this article, a trabajo se plantea en el marco del proyecto Teon XXI sobre uso de las TIC aplicadas a la co-educación.
Un acercamiento a la construcción del conocimiento en las aulas universitarias a partir del análisis del discurso de profesores y alumnos
TL;DR: In this article, the authors present a study on the procesos de ensenanza-aprendizaje como construccion conjunta de significados in las aulas universitarias, así como describir el conjunto de funciones that estos cumplen in la construcción compartida del conocimiento.
Journal ArticleDOI
Comparing Under and Over-Approximations of LTL Properties for Model Checking
TL;DR: This paper develops an alternative method for abstracting temporal properties based on the idea of over-approximation and compares these two methods with respect to the satisfiability/refutation of universal/existential properties, proving that they produce complementary results.
Book ChapterDOI
C.OPEN and ANNOTATOR: tools for on-the-fly model checking C programs
TL;DR: A set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the functional correctness of Lotos specifications are described.
Journal ArticleDOI
Integration of Reliability and Performance Analyses for Active Network Services
TL;DR: This paper explores an alternative approach to keep the specification of different aspects to be analyzed consistent, taking into account the number and quality of existing tools for modelling and analyzing telecommunication software, and explores semi-automatic methods to integrate these tools in a way that is as transparent as possible for users.