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
Debugging UML Designs with Model Checking
TL;DR: This paper provides a comprehensive overview and rules to integrate model checking into UML-based designs, showing its usefulness from a practical point of view, and giving some guidelines to exploit the benefits of the integration.
Improving research through user engagement
TL;DR: This chapter discusses ways of thinking about User Engagement and its implications for Researchers and Research Processes and how to engage policy-makers and practitioners.
Journal Article
La educación a través de su discurso : prácticas educativas y construcción discursiva del conocimiento en el aula
Rosario Cubero Pérez,Mercedes Cubero Pérez,Andrés Santamaría Santigosa,Manuel de La Mata Benítez,María José Ignacio Carmona,María del Mar Prados Gallardo +5 more
TL;DR: In this paper, the authors present an enfoque cualitativo y etnografico for describir and analizar las estrategias de comunicacion and the naturaleza del discurso utilizado by profesores and alumnos in las actividades del aula, especificamente respecto a dos cuestiones principales: the descripcion de los procesos por medio de los cuales se crea la intersubjetividad en el discur
Journal ArticleDOI
źSPIN: A tool for abstract model checking
TL;DR: źspin this article is a tool for the integration of abstraction (for models and formulas) into the well-known model checker spin, which can reduce the state space and allow model checking of more complex systems.
Journal ArticleDOI
Model Checking Dynamic Memory Allocation in Operating Systems
TL;DR: A novel method to extend explicit model checking of C programs with dynamic memory management by defining a canonical representation of the heap, moving most of the information from the state vector to a global structure and providing a formal semantics of the method that allows us to prove the soundness of the representation.