|
Search the dblp DataBase
María-del-Mar Gallardo:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
Abstract Model Checking and Refinement of Temporal Logic in aSPIN. [Citation Graph (0, 0)][DBLP] ACSD, 2003, pp:245-246 [Conf]
- María-del-Mar Gallardo, José M. Troya
Parlog Programs Nontermination Analysis. [Citation Graph (0, 0)][DBLP] GULP, 1993, pp:237-250 [Conf]
- María-del-Mar Gallardo, José M. Troya
Granularity Analysis of Concurrent Logic Languages based on Abstract Interpretation. [Citation Graph (0, 0)][DBLP] GULP-PRODE (1), 1994, pp:342-356 [Conf]
- Mariemma Inmaculada Yagüe del Valle, María-del-Mar Gallardo, Antonio Mana
Semantic Access Control Model: A Formal Specification. [Citation Graph (0, 0)][DBLP] ESORICS, 2005, pp:24-43 [Conf]
- María-del-Mar Gallardo, Pedro Merino
Verifying Distributed Systems with Model Checking and Static Analysis. [Citation Graph (0, 0)][DBLP] ICDCS Workshop on Distributed System Validation and Verification, 2000, pp:0-0 [Conf]
- María-del-Mar Gallardo, José M. Troya
Studying the Cost of Logic Languages in an Abstract Interpretation Framework for Granularity Analysis. [Citation Graph (0, 0)][DBLP] LOPSTR, 1995, pp:91-105 [Conf]
- María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Estefanía Rosales
Using XML to implement abstraction for Model Checking. [Citation Graph (0, 0)][DBLP] SAC, 2002, pp:1021-1025 [Conf]
- María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel
Refinement of LTL Formulas for Abstract Model Checking. [Citation Graph (0, 0)][DBLP] SAS, 2002, pp:395-410 [Conf]
- María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
Applying Data Abstraction to XML Formal Designs. [Citation Graph (0, 0)][DBLP] SNPD, 2003, pp:315-321 [Conf]
- Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino
Abstract Matching for Software Model Checking. [Citation Graph (0, 0)][DBLP] SPIN, 2006, pp:182-200 [Conf]
- María-del-Mar Gallardo, Pedro Merino
A Framework for Automatic Construction of Abstract Promela Models. [Citation Graph (0, 0)][DBLP] SPIN, 1999, pp:184-199 [Conf]
- María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
alpha SPIN: Extending SPIN with Abstraction. [Citation Graph (0, 0)][DBLP] SPIN, 2002, pp:254-258 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] MSVVEIS, 2006, pp:57-66 [Conf]
- María-del-Mar Gallardo, Pedro Merino, David Sanán
Towards Model Checking C Code with OPEN/CÆSAR. [Citation Graph (0, 0)][DBLP] MSVVEIS, 2006, pp:198-201 [Conf]
- María-del-Mar Gallardo, Jesús Martínez, Pedro Merino
Model checking active networks with SPIN. [Citation Graph (0, 0)][DBLP] Computer Communications, 2005, v:28, n:6, pp:609-622 [Journal]
- Guillermo Rodriguez, Pedro Merino, María-del-Mar Gallardo
An extension of the ns simulator for active network research. [Citation Graph (0, 0)][DBLP] Computer Communications, 2002, v:25, n:3, pp:189-197 [Journal]
- María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
Abstract Model Checking of tccp programs. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:19-36 [Journal]
- María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
A Tool for Abstraction in Model Checking. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:66, n:2, pp:- [Journal]
- María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Guillermo Rodriguez
Integration of Reliability and Performance Analyses for Active Network Services. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:217-236 [Journal]
- María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel
Comparing Under and Over-Approximations of LTL Properties for Model Checking. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
- María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel
A generalized semantics of PROMELA for abstract model checking. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2004, v:16, n:3, pp:166-193 [Journal]
- María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel
Debugging UML Designs with Model Checking. [Citation Graph (0, 0)][DBLP] Journal of Object Technology, 2002, v:1, n:2, pp:101-117 [Journal]
- María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
Verifying Real-Time Properties of tccp Programs. [Citation Graph (0, 0)][DBLP] J. UCS, 2006, v:12, n:11, pp:1551-1573 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2007, v:65, n:1, pp:57-69 [Journal]
- María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
aSPIN: A tool for abstract model checking. [Citation Graph (0, 0)][DBLP] STTT, 2004, v:5, n:2-3, pp:165-184 [Journal]
- María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
A semantic framework for the abstract model checking of tccp programs. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2005, v:346, n:1, pp:58-95 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] ICECCS, 2007, pp:321-329 [Conf]
- Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino
Model Extraction for ARINC 653 Based Avionics Software. [Citation Graph (0, 0)][DBLP] SPIN, 2007, pp:243-262 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] SPIN, 2007, pp:268-273 [Conf]
- María-del-Mar Gallardo, Christophe Joubert, Pedro Merino
Static Analysis using Parameterised Boolean Equation Systems [Citation Graph (0, 0)][DBLP] CoRR, 2006, v:0, n:, pp:- [Journal]
Model Checking C Programs with Dynamic Memory Allocation. [Citation Graph (, )][DBLP]
Implementing Influence Analysis Using Parameterised Boolean Equation Systems. [Citation Graph (, )][DBLP]
Using SCADE for Decision Support in Dam Management. [Citation Graph (, )][DBLP]
Developing a Decision Support Tool for Dam Management with SPIN. [Citation Graph (, )][DBLP]
On-the-Fly Data Flow Analysis Based on Verification Technology. [Citation Graph (, )][DBLP]
An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.153secs
|