Rafael Ceballos Guerrero

• Colaboraciones en obras colectivas (7)
• Tesis (1)

• Colaboraciones en obras colectivas

  • Seleccionado

    CyberSPL: Plataforma para la verificación del cumplimiento de políticas de ciberseguridad en configuraciones de sistemas usando modelos de características

    Ángel Jesús Varela Vaca , Rafael Martínez Gasca , Rafael Ceballos Guerrero, Pedro Bernáldez Torres

    Actas de las V Jornadas Nacionales de Ciberseguridad: junio 5-7, 2019. Cáceres / coord. por Andrés Caro Lindo , Luis Javier García Villalba , Ana Lucila Sandoval Orozco , 2019, ISBN 978-84-09-12121-2, págs. 143-150

    • Texto Completo Libro
    
  • Seleccionado

    Constraint-Driven Fault Diagnosis

    Rafael Martínez Gasca , Ángel Jesús Varela Vaca , Rafael Ceballos Guerrero

    Fault Diagnosis of Dynamic Systems: Quantitative and Qualitative Approaches / coord. por Teresa Escobet , Aníbal Bregón Bregón , José Belarmino Pulido Junquera , Vicenç Puig , 2019, ISBN 978-3-030-17727-0, págs. 347-364

    
  • Seleccionado

    Model-Based Software Debugging

    Rafael Ceballos Guerrero, Rui Abreu, Ángel Jesús Varela Vaca , Rafael Martínez Gasca

    Fault Diagnosis of Dynamic Systems: Quantitative and Qualitative Approaches / coord. por Teresa Escobet , Aníbal Bregón Bregón , José Belarmino Pulido Junquera , Vicenç Puig , 2019, ISBN 978-3-030-17727-0, págs. 365-388

    
  • Seleccionado

    Acercando estrategias docentes entre teoría y práctica en las asignaturas de Ingeniería Informática

    Beatriz Bernárdez Jiménez , Rafael Ceballos Guerrero, Francisco Fernando de la Rosa Troyano, Antonia María Reina Quintero , Alicia Troncoso Lara

    La formación del profesorado universitario: programa de equipos docentes de la Universidad de Sevilla, curso 2003-2004 / coord. por Juan Antonio Mesa López-Colmenar , Rafael Juan Castañeda Barrena, Cristina Mayor Ruiz, Marita Sánchez Moreno, 2005, ISBN 84-86849-37-3, págs. 107-126

    
  • Seleccionado

    Diagnosis con variables intervalares usando técnicas Max-CSP

    Rafael Ceballos Guerrero, V. Cejudo, Carmelo del Valle Sevillano , Rafael Martínez Gasca

    VII Jornadas de ARCA.: Sistemas cualitativos y diagnosis / coord. por Antonio José Suárez Fábrega; Juan Antonio Ortega Ramírez (ed. lit.) , Pedro José Abad Herrera (ed. lit.) , 2005, ISBN 84-689-3357-0, págs. 61-68

    
  • Seleccionado

    Arquitectura de un Crawler para extraer las estructuras y contenidos de recursos electrónicos

    Francisco Fernando de la Rosa Troyano, Rafael Martínez Gasca , Carmelo del Valle Sevillano , Rafael Ceballos Guerrero

    VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002) / coord. por Matilde Celma Giménez , Oscar Pastor Acosta , Natalia Juristo Juzgado , Juan José Moreno Navarro , 2002, ISBN 84-688-0206-9, págs. 259-269

    
  • Seleccionado

    Diagnosis de Software usando técnicas Max-CSP

    Rafael Ceballos Guerrero, Rafael Martínez Gasca , Carmelo del Valle Sevillano , José Miguel Toro Bonilla

    VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002) / coord. por Matilde Celma Giménez , Oscar Pastor Acosta , Natalia Juristo Juzgado , Juan José Moreno Navarro , 2002, ISBN 84-688-0206-9, págs. 425-426

    

• Tesis

  • Seleccionado

    Técnicas automáticas para la diagnosis de errores en software diseñado por contrato

    Rafael Ceballos Guerrero

    Tesis doctoral dirigida por Rafael Martínez Gasca (dir. tes.) , Carmelo del Valle Sevillano (dir. tes.) . Universidad de Sevilla (2011).

    • Resumen
    • Tesis en acceso abierto en: Idus
    

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.