Search the dblp DataBase

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. Grégory Rogez, Carlos Orrite, Jesús Martínez, José Elías Herrero Jaraba
   Probabilistic Spatio-temporal 2D-Model for Pedestrian Motion Analysis in Monocular Sequences. [Citation Graph (0, 0)][DBLP]
   AMDO, 2006, pp:175-184 [Conf]
   
3. Gustavo Núñez, Leonid Sheremetov, Jesús Martínez, Adolfo Guzmán
   The Eva Teleteaching Project - The Concept and the FTurcsányiirst Experience in the Development of Virtual Learning Spaces. [Citation Graph (0, 0)][DBLP]
   Teleteaching, 1998, pp:769-778 [Conf]
   
4. 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]
   
5. 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]
   
6. 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]
   
7. 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]
   
8. 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]
   
9. 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]
   
10. 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]
    
11. 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]
    
12. 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]
    
13. 
    An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing. [Citation Graph (, )][DBLP]
    
    
14. 
    Software Model Checking for Internet Protocols with Java PathFinder. [Citation Graph (, )][DBLP]
    
    
15. 
    Applying MDE Methodologies to Design Communication Protocols for Distributed Systems. [Citation Graph (, )][DBLP]