| 2008 |
|---|
| 33 | EE | María-del-Mar Gallardo,
Pedro Merino,
David Sanán:
Model Checking C Programs with Dynamic Memory Allocation.
COMPSAC 2008: 219-226 |
| 32 | EE | María Alpuente,
María-del-Mar Gallardo,
Ernesto Pimentel,
Alicia Villanueva:
An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation.
Electr. Notes Theor. Comput. Sci. 206: 3-21 (2008) |
| 2007 |
|---|
| 31 | EE | María-del-Mar Gallardo,
Pedro Merino,
Christophe Joubert,
David Sanán:
On-the-fly model checking for C programs with extended CADP in FMICS-jETI.
ICECCS 2007: 321-329 |
| 30 | EE | Pedro de la Cámara,
María-del-Mar Gallardo,
Pedro Merino:
Model Extraction for ARINC 653 Based Avionics Software.
SPIN 2007: 243-262 |
| 29 | EE | María-del-Mar Gallardo,
Christophe Joubert,
Pedro Merino,
David Sanán:
C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs.
SPIN 2007: 268-273 |
| 28 | EE | María-del-Mar Gallardo,
Christophe Joubert,
Pedro Merino:
On-the-Fly Data Flow Analysis Based on Verification Technology.
Electr. Notes Theor. Comput. Sci. 190(4): 33-48 (2007) |
| 27 | EE | María-del-Mar Gallardo,
Jesús Martínez,
Pedro Merino,
Pablo Nuñez,
Ernesto Pimentel:
PiXL: Applying xml standards to support the integration of analysis tools for protocols.
Sci. Comput. Program. 65(1): 57-69 (2007) |
| 2006 |
|---|
| 26 | | María-del-Mar Gallardo,
Pedro Merino,
David Sanán:
Towards Model Checking C Code with OPEN/CÆSAR.
MSVVEIS 2006: 198-201 |
| 25 | | María-del-Mar Gallardo,
Jesús Martínez,
Pedro Merino,
Pablo Nuñez,
Ernesto Pimentel:
PiXL: Applying XML Standards to Support the Integration of Analysis Tools for Protocols.
MSVVEIS 2006: 57-66 |
| 24 | EE | Pedro de la Cámara,
María-del-Mar Gallardo,
Pedro Merino:
Abstract Matching for Software Model Checking.
SPIN 2006: 182-200 |
| 23 | EE | María-del-Mar Gallardo,
Christophe Joubert,
Pedro Merino:
Static Analysis using Parameterised Boolean Equation Systems
CoRR abs/cs/0606092: (2006) |
| 22 | EE | María Alpuente,
María-del-Mar Gallardo,
Ernesto Pimentel,
Alicia Villanueva:
Verifying Real-Time Properties of tccp Programs.
J. UCS 12(11): 1551-1573 (2006) |
| 2005 |
|---|
| 21 | EE | Mariemma Inmaculada Yagüe del Valle,
María-del-Mar Gallardo,
Antonio Mana:
Semantic Access Control Model: A Formal Specification.
ESORICS 2005: 24-43 |
| 20 | EE | María-del-Mar Gallardo,
Jesús Martínez,
Pedro Merino:
Model checking active networks with SPIN.
Computer Communications 28(6): 609-622 (2005) |
| 19 | EE | María Alpuente,
María-del-Mar Gallardo,
Ernesto Pimentel,
Alicia Villanueva:
Abstract Model Checking of tccp programs.
Electr. Notes Theor. Comput. Sci. 112: 19-36 (2005) |
| 18 | EE | María-del-Mar Gallardo,
Jesús Martínez,
Pedro Merino,
Guillermo Rodriguez:
Integration of Reliability and Performance Analyses for Active Network Services.
Electr. Notes Theor. Comput. Sci. 133: 217-236 (2005) |
| 17 | EE | María Alpuente,
María-del-Mar Gallardo,
Ernesto Pimentel,
Alicia Villanueva:
A semantic framework for the abstract model checking of tccp programs.
Theor. Comput. Sci. 346(1): 58-95 (2005) |
| 2004 |
|---|
| 16 | EE | María-del-Mar Gallardo,
Pedro Merino,
Ernesto Pimentel:
A generalized semantics of PROMELA for abstract model checking.
Formal Asp. Comput. 16(3): 166-193 (2004) |
| 15 | EE | María-del-Mar Gallardo,
Jesús Martínez,
Pedro Merino,
Ernesto Pimentel:
aSPIN: A tool for abstract model checking.
STTT 5(2-3): 165-184 (2004) |
| 2003 |
|---|
| 14 | EE | María-del-Mar Gallardo,
Jesús Martínez,
Pedro Merino,
Ernesto Pimentel:
Abstract Model Checking and Refinement of Temporal Logic in aSPIN.
ACSD 2003: 245-246 |
| 13 | | María-del-Mar Gallardo,
Jesús Martínez,
Pedro Merino,
Ernesto Pimentel:
Applying Data Abstraction to XML Formal Designs.
SNPD 2003: 315-321 |
| 2002 |
|---|
| 12 | EE | María-del-Mar Gallardo,
Jesús Martínez,
Pedro Merino,
Estefanía Rosales:
Using XML to implement abstraction for Model Checking.
SAC 2002: 1021-1025 |
| 11 | EE | María-del-Mar Gallardo,
Pedro Merino,
Ernesto Pimentel:
Refinement of LTL Formulas for Abstract Model Checking.
SAS 2002: 395-410 |
| 10 | EE | María-del-Mar Gallardo,
Jesús Martínez,
Pedro Merino,
Ernesto Pimentel:
alpha SPIN: Extending SPIN with Abstraction.
SPIN 2002: 254-258 |
| 9 | EE | Guillermo Rodriguez,
Pedro Merino,
María-del-Mar Gallardo:
An extension of the ns simulator for active network research.
Computer Communications 25(3): 189-197 (2002) |
| 8 | EE | María-del-Mar Gallardo,
Jesús Martínez,
Pedro Merino,
Ernesto Pimentel:
A Tool for Abstraction in Model Checking.
Electr. Notes Theor. Comput. Sci. 66(2): (2002) |
| 7 | EE | María-del-Mar Gallardo,
Pedro Merino,
Ernesto Pimentel:
Comparing Under and Over-Approximations of LTL Properties for Model Checking.
Electr. Notes Theor. Comput. Sci. 76: (2002) |
| 6 | EE | María-del-Mar Gallardo,
Pedro Merino,
Ernesto Pimentel:
Debugging UML Designs with Model Checking.
Journal of Object Technology 1(2): 101-117 (2002) |
| 2000 |
|---|
| 5 | | María-del-Mar Gallardo,
Pedro Merino:
Verifying Distributed Systems with Model Checking and Static Analysis.
ICDCS Workshop on Distributed System Validation and Verification 2000: E87-E90 |
| 1999 |
|---|
| 4 | EE | María-del-Mar Gallardo,
Pedro Merino:
A Framework for Automatic Construction of Abstract Promela Models.
SPIN 1999: 184-199 |
| 1995 |
|---|
| 3 | | María-del-Mar Gallardo,
José M. Troya:
Studying the Cost of Logic Languages in an Abstract Interpretation Framework for Granularity Analysis.
LOPSTR 1995: 91-105 |
| 1994 |
|---|
| 2 | | María-del-Mar Gallardo,
José M. Troya:
Granularity Analysis of Concurrent Logic Languages based on Abstract Interpretation.
GULP-PRODE (1) 1994: 342-356 |
| 1993 |
|---|
| 1 | | María-del-Mar Gallardo,
José M. Troya:
Parlog Programs Nontermination Analysis.
GULP 1993: 237-250 |
