Concepedia

María del Mar Gallardo

MD

16

Publications

282

Citations

11

H-Index

2002

Active since

Affiliations

Universidad de Málaga(Current)

Universitat Politècnica de València

María del Mar Gallardo is an author at Universidad de Málaga specializing in formal verification, verification, and software analysis.

Top concepts

EngineeringSoftware AnalysisFormal VerificationVerificationComputer ScienceFormal MethodsProgram AnalysisSoftware EngineeringSystem SoftwareSoftware Testing

Publications per year

2002–2023

16

Publications

16

Debugging UML Designs with Model Checking.

María del Mar Gallardo, Pedro Merino, Ernesto Pimentel · The Journal of Object Technology · 2002 · 52 citations · Full text

αSPIN: A tool for abstract model checking

María del Mar Gallardo, Jesus Martinez‐Garcia, Pedro Merino et al. · International Journal on Software Tools for Technology Transfer · 2004 · 28 citations

Engineering, Automated Reasoning, Verification +8

Model Checking Dynamic Memory Allocation in Operating Systems

María del Mar Gallardo, Pedro Merino, David Sanán · Journal of Automated Reasoning · 2009 · 23 citations

Engineering, Operating Systems, Runtime Verification +10

A generalized semantics of PROMELA for abstract model checking

María del Mar Gallardo, Pedro Merino, Ernesto Pimentel · Formal Aspects of Computing · 2004 · 22 citations · Full text

Verification support for ARINC‐653‐based avionics software

Pedro de la Cámara, J. Raúl Castro, María del Mar Gallardo et al. · Software Testing Verification and Reliability · 2010 · 22 citations

Program Checking, Engineering, Software Systems +25

Rows per page

1–5 of 16