| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Pedro de la Cámara, J. Raúl Castro, María-del-Mar Gallardo, Pedro Merino |
Verification support for ARINC-653-based avionics software.  |
Softw. Test., Verif. Reliab.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Pedro Merino, David Sanán |
Model Checking Dynamic Memory Allocation in Operating Systems. |
J. Autom. Reasoning |
2009 |
DBLP DOI BibTeX RDF |
Model checking, Operating systems, Dynamic memory allocation |
| 1 | Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino, David Sanán |
Checking the reliability of socket based communication software. |
STTT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares |
Developing a Decision Support Tool for Dam Management with SPIN. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares |
Using SCADE for Decision Support in Dam Management. |
MSVVEIS |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán |
Web Services for Accessing Explicit State Space Verification Tools. |
ERCIM News |
2008 |
DBLP BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Pedro Merino, David Sanán |
Model Checking C Programs with Dynamic Memory Allocation. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
software model checking, pointers, dynamic memory, Model extraction |
| 1 | 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. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Christophe Joubert, Pedro Merino |
On-the-Fly Data Flow Analysis Based on Verification Technology. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino |
Model Extraction for ARINC 653 Based Avionics Software. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
apex, Real Time, software model checking, avionics, Model extraction |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva |
Verifying Real-Time Properties of tccp Programs. |
J. UCS |
2006 |
DBLP BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Christophe Joubert, Pedro Merino |
Static Analysis using Parameterised Boolean Equation Systems |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino |
Abstract Matching for Software Model Checking. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
Static Analysis, State Explosion, Model Extraction |
| 1 | María-del-Mar Gallardo, Pedro Merino, David Sanán |
Towards Model Checking C Code with OPEN/CÆSAR. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Christophe Joubert, Pedro Merino |
Implementing Influence Analysis Using Parameterised Boolean Equation Systems. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino |
Model checking active networks with SPIN. |
Computer Communications |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva |
Abstract Model Checking of tccp programs. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariemma Inmaculada Yagüe del Valle, María-del-Mar Gallardo, Antonio Mana |
Semantic Access Control Model: A Formal Specification. |
ESORICS |
2005 |
DBLP DOI BibTeX RDF |
Formal Methods in security, Access Control, Authorization, Distributed Systems Security |
| 1 | María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel |
A generalized semantics of PROMELA for abstract model checking. |
Formal Asp. Comput. |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Abstraction, spin, Structured operational semantics, promela |
| 1 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel |
aSPIN: A tool for abstract model checking. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Verification, Temporal logic, Abstraction, Spin |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel |
Applying Data Abstraction to XML Formal Designs. |
SNPD |
2003 |
DBLP BibTeX RDF |
|
| 1 | Guillermo Rodriguez, Pedro Merino, María-del-Mar Gallardo |
An extension of the ns simulator for active network research. |
Computer Communications |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel |
Debugging UML Designs with Model Checking. |
Journal of Object Technology |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Estefanía Rosales |
Using XML to implement abstraction for Model Checking. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
XML, XML, model checking, abstraction, SPIN |
| 1 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel |
alpha SPIN: Extending SPIN with Abstraction. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel |
Refinement of LTL Formulas for Abstract Model Checking. |
SAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Pedro Merino |
A Framework for Automatic Construction of Abstract Promela Models. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, José M. Troya |
Studying the Cost of Logic Languages in an Abstract Interpretation Framework for Granularity Analysis. |
LOPSTR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, José M. Troya |
Granularity Analysis of Concurrent Logic Languages based on Abstract Interpretation. |
GULP-PRODE |
1994 |
DBLP BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, José M. Troya |
Parlog Programs Nontermination Analysis. |
GULP |
1993 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")