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
Posted Content
A denotational semantics for PROMELA addressing arbitrary jumps
TL;DR: In this article, a bottom-up fixpoint semantics for PROMELA programs is introduced, which aims to model the behavior of the programs in a more ambitious way, where analysis and verification techniques based on abstract interpretation would be defined.
Proceedings ArticleDOI
STAn: analysis of data traces using an event-driven interval temporal logic
TL;DR: In this article , the authors present the tool STAn , which performs runtime verification on data traces that combine timestamped discrete events and sampled real-valued magnitudes, and analyzes traces against properties described in the so-called event-driven interval temporal logic.
Book ChapterDOI
The Role of Abstraction in Model Checking
TL;DR: The intimate relationship between model checking and abstract interpretation has been shown in a large number of relevant papers in literature as discussed by the authors , and many contributions in this area have been focussed on the practical application of abstract interpretation in the context of model checking tools.
Journal ArticleDOI
Introduction to the Special Issue devoted to SPIN 2018
TL;DR: This special issue contains the extended and improved versions of the best papers presented at the 25th International Symposium on Model Checking Software, SPIN 2018, held in Málaga, Spain, June 20–22, 2018.