Follow
María del Mar Gallardo
María del Mar Gallardo
Professor of Computer Science, University of Malaga
Verified email at lcc.uma.es
Title
Cited by
Cited by
Year
La educación a través de su discurso. Prácticas educativas y construcción discursiva del conocimiento en el aula
R Cubero Pérez, M Cubero Pérez, A Santamaría Santigosa, ...
Revista de Educación, 346, 71-104, 2008
1842008
Debugging UML designs with model checking
M del Mar Gallardo, P Merino, E Pimentel
Journal of Object Technology 1 (2), 101-117, 2002
822002
Manual de psicología de la educación: para docentes de educación infantil y primaria
MMP Gallardo, VS Jiménez, IS Queija, RDR Alamillo, MÁP Vega, ...
Ediciones Pirámide, 2016
482016
A tool for abstraction in model checking
MM Gallardo, J Martínez, P Merino, E Pimentel
Electronic Notes in Theoretical Computer Science 66 (2), 1-16, 2002
482002
Semantic access control model: A formal specification
MI Yagüe, MM Gallardo, A Mana
Computer Security–ESORICS 2005: 10th European Symposium on Research in …, 2005
422005
Model checking dynamic memory allocation in operating systems
MM Gallardo, P Merino, D Sanán
Journal of Automated Reasoning 42 (2), 229-264, 2009
332009
A generalized semantics of PROMELA for abstract model checking
MM Gallardo, P Merino, E Pimentel
Formal Aspects of Computing 16, 166-193, 2004
312004
Model checking software with well-defined apis: the socket case
P de la Cámara, MM Gallardo, P Merino, D Sanan
Proceedings of the 10th international workshop on Formal methods for …, 2005
302005
Verification support for ARINC‐653‐based avionics software
P de la Cámara, JR Castro, MM Gallardo, P Merino
Software Testing, Verification and Reliability 21 (4), 267-298, 2011
282011
A semantic framework for the abstract model checking of tccp programs
M Alpuente, M del Mar Gallardo, E Pimentel, A Villanueva
Theoretical Computer Science 346 (1), 58-95, 2005
282005
Using model checking to generate test cases for android applications
AR Espada, MM Gallardo, A Salmerón, P Merino
arXiv preprint arXiv:1504.02440, 2015
262015
αSPIN: Extending SPIN with abstraction
M del Mar Gallardo, J Martinez, P Merino, E Pimentel
International SPIN Workshop on Model Checking of Software, 254-257, 2002
26*2002
La evaluación del Practicum: un proceso clave en la construcción y reconstrucción del pensamiento práctico. ENSAYOS
MP Sepúlveda, M Gallardo, MJ Mayorga, D Madrid
Revista de la Facultad de Educación de Albacete 32 (1), 93-110, 2017
252017
A framework for automatic construction of abstract promela models
MM Gallardo, P Merino
International SPIN Workshop on Model Checking of Software, 184-199, 1999
251999
Model extraction for arinc 653 based avionics software
P de la Cámara, M del Mar Gallardo, P Merino
Model Checking Software: 14th International SPIN Workshop, Berlin, Germany …, 2007
242007
Abstract matching for software model checking
P de la Cámara, M del Mar Gallardo, P Merino
International SPIN Workshop on Model Checking of Software, 182-200, 2006
242006
Refinement of LTL formulas for abstract model checking
MM Gallardo, P Merino, E Pimentel
Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain …, 2002
232002
Performance analysis of Spotify® for Android with model-based testing
AR Espada, MM Gallardo, A Salmerón, P Merino
Mobile Information Systems 2017, 2017
212017
Implementing influence analysis using parameterised boolean equation systems
M del Mar Gallardo, C Joubert, P Merino
Second International Symposium on Leveraging Applications of Formal Methods …, 2006
202006
Pixl: Applying xml standards to support the integration of analysis tools for protocols
M del Mar Gallardo, J Martínez, P Merino, P Nunez, E Pimentel
Science of Computer Programming 65 (1), 57-69, 2007
182007
The system can't perform the operation now. Try again later.
Articles 1–20