María del Mar Gallardo Melgarejo

• Colaboraciones en obras colectivas (5)
• Libros (1)
• Tesis (1)
• Tesis dirigidas (5)

• Colaboraciones en obras colectivas

  • Seleccionado

    Integration of interval logic specifications into the model Checker SPIN

    María del Mar Gallardo Melgarejo, Miguel J. Hornos Barranco , Jesús Martínez, Pedro Merino Gómez

    Actas de las XII Jornadas de Concurrencia y Sistemas Distribuidos: Las Navas del Marqués (Ávila), 9 al 11 de junio de 2004, 2004, ISBN 84-9772-320-1, págs. 317-322

    
  • Seleccionado

    aSPIN: implementing model checking wih data abstraction

    Ernesto Pimentel Sánchez , María del Mar Gallardo Melgarejo, Pedro Merino Gómez , Jesús Martínez Cruz

    Concurrencia y sistemas distribuidos: actas de las XI Jornadas de Concurrencia / coord. por Miguel Pérez Francisco, Pablo Boronat Pérez, 2003, ISBN 84-8021-434-1, págs. 193-206

    
  • Seleccionado

    Comparing Abstract Semantics for Model Checking

    María del Mar Gallardo Melgarejo, Pedro Merino Gómez , Ernesto Pimentel Sánchez

    III Jornadas de Programación y Lenguajes (PROLE'03): Actas, Alicante, del 12 al 14 de noviembre de 2003 / coord. por Juan José Moreno Navarro , Manuel Palomar Sanz , 2003, ISBN MU-2299-2003, pág. 167

    
  • Seleccionado

    Abstract Satisfiability of Linear Temporal Logic

    María del Mar Gallardo Melgarejo, Pedro A. Merino Calvo, Ernesto Pimentel Sánchez

    Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001 / Fernando Orejas Valdés (ed. lit.) , Fernando Cuartero Gómez (ed. lit.) , Diego Cazorla López (ed. lit.) , 2001, págs. 163-178

    
  • Seleccionado

    Property preserving abstractions of SDL

    María del Mar Gallardo Melgarejo, Pedro Merino Gómez , José María Troya Linero

    Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000 / coord. por Diego Cazorla López , 2000, ISBN 84-8427-074-2, págs. 111-124

    

• Libros

  • Seleccionado

    Actas de las XXIII Jornadas de Concurrencia y Sistemas Distribuidos

    María del Mar Gallardo Melgarejo (ed. lit.), Universidad de Málaga (coord.)

    Mª M. Gallardo Melgarejo, 2015. ISBN 978-84-606-8792-4

    

• Tesis

  • Seleccionado

    Análisis de lenguajes lógicos concurrentes mediante interpretación abstracta

    María del Mar Gallardo Melgarejo

    Tesis doctoral dirigida por José María Troya Linero (dir. tes.) . Universidad de Málaga (1998).

    • Resumen
    

• Tesis dirigidas

  • Seleccionado

    Model Learning for Time-Sensitive Networking over 5G networks

    Francisco Luque Schempp

    Tesis doctoral dirigida por Pedro Merino Gómez (dir. tes.) , María del Mar Gallardo Melgarejo (codir. tes.). Universidad de Málaga (2024).

    • Resumen
    • Tesis en acceso abierto en: RIUMA
    
  • Seleccionado

    Análisis de aplicaciones móviles utilizando métodos formales

    Ana Rosario Espada Sandi

    Tesis doctoral dirigida por María del Mar Gallardo Melgarejo (dir. tes.). Universidad de Málaga (2017).

    • Resumen
    • Tesis en acceso abierto en: RIUMA
    
  • Seleccionado

    Hybrid system analysis with finite-state model checkers

    Laura Panizo Jaime

    Tesis doctoral dirigida por María del Mar Gallardo Melgarejo (dir. tes.). Universidad de Málaga (2013).

    • Resumen
    
  • Seleccionado

    Model checking for verification of avionics software

    Pedro Manuel de la Cámara Cruz

    Tesis doctoral dirigida por María del Mar Gallardo Melgarejo (codir. tes.), Pedro Merino Gómez (codir. tes.) . Universidad de Málaga (2013).

    • Resumen
    
  • Seleccionado

    técnicas para el análisis automático de software descrito en lenguajes de programación

    David Sanan Baena

    Tesis doctoral dirigida por María del Mar Gallardo Melgarejo (dir. tes.). Universidad de Málaga (2009).

    • Resumen
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.