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
Debugging UML designs with model checking
M del Mar Gallardo, P Merino, E Pimentel
Journal of Object Technology 1 (2), 101-117, 2002
842002
Semantic access control model: A formal specification
MI Yagüe, A Maña
European Symposium on Research in Computer Security, 24-43, 2005
362005
αSPIN: A tool for abstract model checking
M del Mar Gallardo, J Martínez, P Merino, E Pimentel
International Journal on Software Tools for Technology Transfer 5 (2-3), 165-184, 2004
332004
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
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
282005
A generalized semantics of PROMELA for abstract model checking
M del Mar Gallardo, P Merino, E Pimentel
Formal Aspects of Computing 16 (3), 166-193, 2004
262004
α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
24*2002
A framework for automatic construction of abstract promela models
P Merino
International SPIN Workshop on Model Checking of Software, 184-199, 1999
241999
Manual de psicología de la educación
MMP Gallardo, VS Jiménez, IS Queija, RDR Alamillo, MÁP Vega, ...
Ediciones Pirámide, 2016
232016
Model checking dynamic memory allocation in operating systems
M del Mar Gallardo, P Merino, D Sanán
Journal of Automated Reasoning 42 (2-4), 229-264, 2009
232009
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
222011
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
202006
Refinement of LTL formulas for abstract model checking
M del Mar Gallardo, P Merino, E Pimentel
International Static Analysis Symposium, 395-410, 2002
202002
La competencia de ‘conocimiento e interacción con el mundo físico y natural’: Análisis de las pruebas de evaluación de diagnóstico de Andalucía
M Gallardo Gil, MJ Mayorga Fernández, JE Sierra Nieto
Universidad de Cádiz/Asociación de Profesores Amigos de la Ciencia Eureka, 2014
192014
Model extraction for ARINC 653 based avionics software
P De La Cámara, M del Mar Gallardo, P Merino
International SPIN Workshop on Model Checking of Software, 243-262, 2007
182007
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
182006
Towards model checking c code with open/cæsar
M del Mar Gallardo, P Merino, D Sanán
MSVVEIS, 198-201, 2006
172006
Verifying Real-Time Properties of tccp Programs.
M Alpuente, María-del-Mar Gallardo, E Pimentel, A Villanueva
J. UCS 12 (11), 1551-1573, 2006
162006
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
142015
PiXL: Applying xml standards to support the integration of analysis tools for protocols
M del Mar Gallardo, J Martínez, P Merino, P Nuñez, E Pimentel
Science of Computer Programming 65 (1), 57-69, 2007
142007
The system can't perform the operation now. Try again later.
Articles 1–20