The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

María-del-Mar Gallardo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. María-del-Mar Gallardo, José M. Troya
    Parlog Programs Nontermination Analysis. [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:237-250 [Conf]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]

  31. Model Checking C Programs with Dynamic Memory Allocation. [Citation Graph (, )][DBLP]


  32. Implementing Influence Analysis Using Parameterised Boolean Equation Systems. [Citation Graph (, )][DBLP]


  33. Using SCADE for Decision Support in Dam Management. [Citation Graph (, )][DBLP]


  34. Developing a Decision Support Tool for Dam Management with SPIN. [Citation Graph (, )][DBLP]


  35. On-the-Fly Data Flow Analysis Based on Verification Technology. [Citation Graph (, )][DBLP]


  36. An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002