NameCeballos Guerrero, Rafael
DepartmentLenguajes y Sistemas Informáticos
Knowledge areaLenguajes y Sistemas Informáticos
Professional categoryProfesor Contratado Doctor
E-mailRequest
           
  • No. publications

    85

  • No. visits

    3263

  • No. downloads

    5549


 

Book
Icon

IX Jornadas Nacionales de Investigación en Ciberseguridad

Reina Quintero, Antonia María; Ceballos Guerrero, Rafael; Varela Vaca, Ángel Jesús (2024)
La formación es una de las prioridades para el desarrollo de la ciberseguridad a nivel mundial, teniendo en cuenta el ...
Presentation
Icon

Pentesting en la Industria 5.0: metodología y tecnologías

Alcaraz, Cristina; Sánchez, José J.; López, Javier; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Se puede observar cada vez más como las nuevas tecnologías se adaptan a los ecosistemas industriales para ir modernizando ...
Presentation
Icon

Análisis del impacto de ciberataques neuronales aplicados a la vision

Lópezz Madejska, Victoria Magdalena; López Bernal, Sergio; Martínez Pérez, Gregorio; Huertas Celdrán, Alberto; Varela Vaca, Ángel Jesús; Reina Quintero, Antonia María; Ceballos Guerrero, Rafael (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Las interfaces cerebro-maquina (BCIs) son sistemas que interactúan con el cerebro para obtener información cerebral o ...
Presentation
Icon

Deteccion de Spear Phishing basada en métodos de decisión multicriterio

Velo, José Mariano; Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Una de las principales amenazas que existen hoy en día a nivel de ciberseguridad, es el phishing y especialmente el ...
Presentation
Icon

Ataque MitM a puntos de recarga AC

Jarauta Gastelu, Javier; Gesteira Miñarro, Roberto; Matanza, Javier; Palacios, Rafael; López, Gregorio; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
En este artículo presentamos un ataque MitM a puntos de recarga AC que permite controlar la carga del vehículo sin que el ...
Presentation
Icon

Analyzing frameworks to model disinformation attacks in online social networks

Cánovas López de Molina, Gonzalo; Sánchez González, Felipe; Nespoli, Pantaleone; Pastor Galindo, Javier; Ruipérez Valiente, José A.; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Disinformation campaigns are increasingly prevalent tactics employed by various actors to advance their agendas, underscoring ...
Presentation
Icon

Predicción conforme para enriquecer los modelos dinámicos de clasificación de aplicaciones maliciosas en escenarios de deriva conceptual

Escudero García, David; DeCastro García, Noemí; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
El aprendizaje automático es uno de los principales enfoques utilizados para la detección de malware, ya que permite obtener ...
Presentation
Icon

Migración de una aplicación industrial a un entorno Quantum Safe: Comunicaciones industriales QKD

Brazaola, Aitor; Ruiz, Alejandra; Moreno, Aitor; López, Jorge; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Este artículo presenta la transferencia de conocimiento realizada entre TECNALIA e I3B sobre la tecnología Quantum Key ...
Presentation
Icon

Integración de un laboratorio de ciberseguridad OT en un laboratorio de automatización industrial

López Gómez, Alejandro Manuel; Rodríguez, Mondéjar, José Antonio; López, Gregorio; Mohedano, Jaime; Valencia, Agustín; Jarauta, Javier; Carrasco, Atanasio; Palacios, Rafael; Gesteira Miñarro, Roberto; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Si la ciberseguridad en las Tecnologías de la Informacion (IT, Information Technology) es una persona adulta, la ciberseguridad ...
Presentation
Icon

Framework de Seguridad Reforzado por Blockchain para Federated Learning en Entornos MEC-IoT

García Sáez, Luis Miguel; Ruiz Villafranca, Sergio; Carrillo Mondéjar, Javier; Roldán Gómez, José; Martínez Martínez, José Luis; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
El auge de las arquitecturas distribuidas inherentes a los entornos Internet of Things (IoT) es notable en los últimos ...
Presentation
Icon

Segmentation of Illicit Behaviour in IoT via Artificial Immune Systems

Moreno Moreno, Mikel; Segurola Gil, Lander; Orduna Urrutia, Raúl; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
In recent years due to the increasing number of devices connected to the Internet in what is known as the era of the ...
Presentation
Icon

Análisis de supervivencia para la detección y clasificación de anomalías en vehículos

Menéndez Trillo, Pablo; Otero Vázquez, Fabián; Uña Álvarez, Jacobo; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Hoy en día la digitalización está presente en todos los ámbitos que nos podamos imaginar, y los vehículos no son una ...
Presentation
Icon

Diseño de un Grado en Ciberseguridad e Inteligencia Artificial

Román, Rodrigo; Agudo, Isaac; Ríos, Rubén; López, Javier; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
La ciberseguridad y la inteligencia artificial son disciplinas estrechamente relacionadas con una importancia cada vez ...
Presentation
Icon

HackingLab UEx: Aplicación Web Interactiva para la Formación en Seguridad Web

López Trigo, Alberto; Alonso, Díaz, Javier; Javier Di Bartolo, Agustín; Sancho Núñez, José Carlos; Ávila Vegas, María Mar; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
La cantidad de ataques cibernéticos que se producen en la actualidad y sus consecuencias son la razón de que las organizaciones ...
Presentation
Icon

Superación profesional en ciberseguridad, análisis y experiencias en la Universidad de las Ciencias Informáticas

González Brito, Henry Raúl; Montesino Perurena, Raydel; Pérez Pino, María Teresa; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
En el artículo se realiza un estudio sobre la importancia de la superación profesional en ciberseguridad para mantener ...
Presentation
Icon

Visualización y Estudio de un Ataque en Criptografía de Curva Elíptica

Cigala Álvarez, Óscar; Chinea Rangel, Luis; Caballero Gil, Pino; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Este trabajo presenta una implementación visual de algunos conceptos básicos de Criptografía de Curva Elíptica (ECC, ...
Presentation
Icon

Guardianes de la Galaxia: concienciación en Ciberseguridad

Fernández, Miguel; Lizárraga, Jesús; Vélez de Mendizábal, Iñaki; Rodríguez, Antón; Zurutuza, Urko; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
En este artículo se presenta una iniciativa de formación denominada “Guardianes de la Galaxia”, orientada a concienciar y ...
Presentation
Icon

Virtualización de un portafolio dinámico e interactivo para prácticas de laboratorio: la seguridad en redes de comunicaciones como ejemplo aplicado

Lanza, Jorge; Sostres, Pablo; Sánchez, Luis; Santana, Juan Ramón; García, Alberto E.; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
La digitalización está transformando la educación adaptándola al individuo y facilitando el acceso a recursos educativos ...
Presentation
Icon

IOTA-Enabled Decentralized Data Space for IIoT Ecosystems

Kovach, Anhelina; Montalvillo, Leticia; Urbieta, Aitor; Lanza, Jorge; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Securing interoperable and sovereign data exchange in the Industrial Internet of Things (IIoT) for machine data exploitation ...
Presentation
Icon

World App: El Secreto de tus Ojos está en los permisos Android

Aparicio, Amador; Martínez González, M. Mercedes; Criado Lozano, Pablo A.; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
A medida que se extiende el uso de dispositivos móviles, la privacidad en las aplicaciones móviles adquiere cada vez más ...
Presentation
Icon

Sistema de caracterización de técnicas MITRE & ATT&CK en incidentes de ciberseguridad

Sánchez Zas, Carmen; Larriva Novo, Xavier; Villagrá, Víctor A.; Rivera, Diego; Solera Cotanilla, Sonia; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
En la actualidad, la ciberseguridad es un aspecto crítico debido a la complejidad creciente de los incidentes. Por ello ...
Presentation
Icon

Mitigación de ataques bizantinos usando modelos históricos en aprendizaje federado descentralizado

Martínez Beltrán, Enrique Tomás; Sánchez Sánchez, Pedro Miguel; Bovet, Gérôme; Martínez Pérez, Gregorio; Huertas Celdrán, Alberto; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
El Aprendizaje Federado Descentralizado emerge como una solución prometedora para entrenar modelos de inteligencia artificial ...
Presentation
Icon

Automating cybersecurity TTP classification based on nnstructured attack descriptions

Castaño, Felipe; Gil Lerchundi, Amaia; Orduna Urrutia, Raúl; Fidalgo Fernández, Eduardo; Alaiz Rodríguez, Rocío; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
CTI sources help SOCs to share important information about incidents and attacks. Unstructured text processing gains ...
Presentation
Icon

Graphaviour: Bitcoin behaviour classification based on graph topological similarities

Medina, Jon Ander; Gorricho, Mikel; Segurola, Lander; Zola, Francesco; Orduna, Raúl; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (2024)
The” Graphaviour” study addresses the challenge of illicit activities in Bitcoin transactions by classifying behaviors ...
Presentation
Icon

Detection and Analysis of Hate-Driven Violence on Social Networks

Abuhamda, Yousef; García Teodoro, Pedro; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
In contemporary society, the widespread use of social networks such as Instagram, Facebook, TikTok and others facilitates ...
Presentation
Icon

Análisis de seguridad y privacidad de Asistentes Personales con voces reales y voces sintéticas

Palacios Castrillo, Clara; Palacios, Rafael; Gesteira Miñarro, Roberto; López, Gregorio; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
En este artículo se muestra el comportamiento de varios asistentes personales (Smart Personal Assistants, SPAs) en diversos ...
Presentation
Icon

Automated CyberExercise and CyberScenario generation framework

Cayuela Tudela, Alejandro David; Pastor Galindo, Javier; Nespoli, Pantaleone; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
The demand for cybersecurity and cyberdefence experts has increased to unprecedented levels. More qualified personnel are ...
Presentation
Icon

(Work in Progress): Clustering-Based Characterization of Database Server Ransom Scams

Liebergen, Kevin van; Gómez, Gibran; Matic, Srdjan; Caballero, Juan; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
We perform the first study of database server ransom scams, a class of attacks where attackers scan for database servers, ...
Presentation
Icon

GeoGebra para introducir los fundamentos de la criptografía basada en retículos

Pérez Ramos, Édgar; Caballero Gil, Pino; Reboso Morales, Héctor; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
El avance y la amenaza que representa la computación cuántica plantean desafíos significativos para la seguridad de la ...
Presentation
Icon

Atenea Lab: Un laboratorio de IoT basado en software para formación, investigación y transferencia de conocimiento

Fuentes García, Marta; Fernández, Celia; Torres Fever, Marina; El Moga Sarria, Luis; Benítez Martínez, Francisco L.; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
La cuarta Revolución Industrial ha tenido una fuerte explosión durante los últimos años. Muchas organizaciones invierten ...
Presentation
Icon

Minería de datos educativos para búsqueda de estrategias de resolución en Cyber Ranges

Alcantud Juárez, María del Carmen; Nespoli, Pantaleone; Ruipérez Valiente, José A.; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
El uso de Cyber Ranges en la formacion de expertos en ciberseguridad es cada vez más común. Estos entrenamientos generan ...
Presentation
Icon

Estudio del tráfico de fondo de Internet mediante un telescopio de red situado en España

García Peñas, Rodolfo; Rodríguez Gómez, Rafael, A.; Maciá Fernández, Gabriel; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
El tráfico de fondo de Internet está a formado por aquellos paquetes de red que son recibidos de forma no solicitada. Es ...
Presentation
Icon

Unleashing Security: Shaping the Resilient Future of 5G/B5G Network Orchestration

Landa Arrue, Aitor; Urbieta, Aitor; Garitano, Iñaki; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
In the era of Industry 4.0, expanding device connectivity via 5G and Beyond 5G (B5G) networks introduces significant ...
Presentation
Icon

Cyber Deception powered by Artificial Intelligence: Overview, Gaps, and Opportunities

Beltrán López, Pedro; Nespoli, Pantaleone; Gil Pérez, Manuel; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Cybersecurity is developing rapidly, and new methods of defense against attackers are appearing, such as Cyber Deception ...
Presentation
Icon

Hacia una propuesta de metodología para el desarrollo de proyectos de IA confiables

Braga, Carlos Mario; Serrano, Manuel A.; Fernández Medina, Eduardo; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
En los últimos meses hemos vivido la irrupción y rápida adopción de la Inteligencia Artificial Generativa (IAG), lo que ...
Presentation
Icon

Detección de contenido sensible en audio y vídeo mediante espectrogramas y aprendizaje por transferencia

Povedano Álvarez, Daniel; Sandoval Orozco, Ana Lucila; García Villalba; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Con la creciente proliferación del contenido multimedia en línea, surge la necesidad de garantizar la seguridad digital ...
Presentation
Icon

Usando un juego serio e IA causal para estudiar el ciberbullying

Pérez, Jaime; Castro, Mario; López, Gregorio; Awad, Edmond; Reneses, Maria; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
El ciberbullying entre los menores de edad es una preocupación creciente en nuestra sociedad digital, que requiere estrategias ...
Presentation
Icon

Clasificación zero-shot de contenidos de la Dark Web mediante GPT-3.5: Evaluación de rendimiento y análisis de errores del clasificador

Prado Sánchez, Víctor Pablo; Domínguez Díaz, Adrián; Marcos, Luis; Martínez Herráiz, José Javier; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
La clasificación automática de contenidos de la Dark Web es relevante para la detección e investigación de actividades ...
Presentation
Icon

Impacto de la evolución temporal de datasets reales en el rendimiento de un IDS basados en anomalías: estudio experimental sobre HTTP

Díaz Verdejo, J.; Estepa Alonso, R.; Muñoz Calle, F.J.; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
El desarrollo y evaluación de sistemas de detección de intrusiones basados en anomalías es de vital importancia en el ...
Presentation
Icon

Leveraging Digital Twins and SIEM Integration for Incident Response in OT Environments

Arias, Adei; Arellano, Cristobal; Zurutuza, Urko; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
The Industrial Internet of Things (IIoT) has digitally transformed industrial processes albeit at the expense of increasing ...
Presentation
Icon

Towards TabTransformer-based Operating System Fingerprinting: A Preliminary Approach using the Nmap Database

Pérez Jove, Rubén; Pazos, Alejandro; Vázquez Naya, José; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
This work explores TabTransformers for operating system fingerprinting, leveraging their ability to learn relationships ...
Presentation
Icon

Computación Multi-Parte en la Administración: Prueba de Concepto de Concesión de Becas en el Gobierno Vasco

Bernabé Rodríguez, Julen; Lage, Oscar; Guadilla Jiménez, Oscar; Urquiza, Borja; Gutiérrez Agüero, Iván; Gandarias Blanco, Endika; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Este trabajo aborda la necesidad de interoperabilidad en la prestación de servicios públicos y cómo, a pesar de su valor, ...
Presentation
Icon

MARISMA-SHIPS: Un nuevo patrón de riesgos para el entorno marítimo basado en la metodología MARISMA

Martínez, Ferney; Sánchez, Luis Enrique; Santos Olmo, Antonio; Rosado, David G.; Fernández Medina, Eduardo; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
La ciberseguridad es crucial para prevenir, detectar y responder rápidamente a los ataques garantizando la continuidad y ...
Presentation
Icon

Detección de recapturas de pantalla en onboarding digital: estrategias para entornos de datos restringidos

Barriga Rodríguez, Ángel; Hernández Martín, Álvaro; González Sánchez, Belén; Nieto Acero, Javier; Santos Anés, Daniel; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Con la creciente expansión de la transformación digital, la importancia de garantizar la seguridad en los procesos de ...
Presentation
Icon

Divulgación dinámica y selectiva de identidad basada en pruebas de conocimiento cero

Santos Cabaleiro, Pablo; Martínez Luaña, Xavier; Prieto González, Jesús; Jiménez Balsa, Gonzalo; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Reina Quintero, Antonia María (Universidad de Sevilla. Escuela Técnica Superior de Ingeniería Informática, 2024)
Las carteras digitales de identidad se encuentran en el foco de muchos investigadores en los últimos años debido a la ...
Article
Icon

Self-Adaptative Troubleshooting for to Guide Resolution of Malfunctions in Aircraft Manufacturing

Ramos Gutiérrez, Belén; Gómez López, María Teresa; Borrego Núñez, Diana; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Barea, Antonio (IEEE Computer Society, 2021)
The increasing complexity of systems and the heterogeneous origin of the possible malfunctions bring about the necessity ...
Article
Icon

Multi-criteria decision analysis for non-conformance diagnosis: A priority-based strategy combining data and business rules

Ceballos Guerrero, Rafael; Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael (Elsevier, 2021)
Business process analytics and verification have become a major challenge for companies, especially when process data is ...
Article
Icon

CyberSPL: Framework for the verification of cybersecurity policy compliance of system configurations using software product lines

Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Ceballos Guerrero, Rafael; Gómez López, María Teresa; Bernáldez Torres, Pedro (MDPI, 2019)
Cybersecurity attacks affect the compliance of cybersecurity policies of the organisations. Such disadvantages may be due ...
Chapter of Book
Icon

Model-Based Software Debugging

Ceballos Guerrero, Rafael; Abreu, Rui; Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Escobet, Teresa; Bregon, Anibal; Pulido, Belarmino; Puig, Vicenç (Springer, 2019)
The complexity and size of software systems have rapidly increased in recent years, with software engineers facing ...
Chapter of Book
Icon

Constraint-Driven Fault Diagnosis

Martínez Gasca, Rafael; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael; Escobet, Teresa; Bregon, Anibal; Pulido, Belarmino; Puig, Vicenç (Springer, 2019)
Constraint-Driven Fault Diagnosis (CDD) is based on the concept of constraint suspension [6], which was proposed as an ...
Presentation
Icon

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

Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Ceballos Guerrero, Rafael; Bernáldez Torres, Pedro (Universidad de Extremadura, 2019)
Los ataques de ciberseguridad se han convertido en un factor muy relevante que pueden contravenir el cumplimiento de las ...
Presentation
Icon

Hybrid Diagnosis Applied to Multiple Instances in Business Processes

Ceballos Guerrero, Rafael; Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael (Springer, 2016)
Business Process compliance is an important issue in control flow and data-flow perspectives. Control-flow correctness can ...
PhD Thesis
Icon

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

Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (2011)
Cada vez más la calidad en los productos software es primordial. En el desarrollo del software los costes asociados a la ...
Presentation
Icon

Improving the Diagnosability of Business Process Management Systems Using Test Points

Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael; Ceballos Guerrero, Rafael (Springer, 2010)
The management and automation of business processes have become an essential task within IT organizations, where the ...
Presentation
Icon

Determination of an optimal test points allocation for business process analysis

Borrego Núñez, Diana; Gómez López, María Teresa; Martínez Gasca, Rafael; Ceballos Guerrero, Rafael (IEEE Computer Society, 2010)
The management and automation of business processes have become an essential task within IT organizations. Diagnosis enables ...
Presentation
Icon

Efficient algorithms and abstract data types for local inconsistency isolation in firewall ACLS

Pozo Hidalgo, Sergio; Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael; Ceballos Guerrero, Rafael (Institute for Systems and Technologies of Information, Control and Communication (INSTICC), 2009)
Writing and managing firewall ACLs are hard, tedious, time-consuming and error-prone tasks for a wide range of reasons. ...
Article
Icon

A heuristic process for local inconsistency diagnosis in firewall rule sets

Pozo Hidalgo, Sergio; Martínez Gasca, Rafael; Ceballos Guerrero, Rafael (2009)
Article
Icon

Developing a labelled object-relational constraint database architecture for the projection operator

Gómez López, María Teresa; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (Elsevier, 2009)
Current relational databases have been developed in order to improve the handling of stored data, however, there are some ...
Article
Icon

Model-Based Development of firewall rule sets: Diagnosing model inconsistencies

Pozo Hidalgo, Sergio; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael (Elsevier, 2009)
The design and management of firewall rule sets is a very difficult and error-prone task because of the difficulty of ...
Presentation
Icon

Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates

Pozo Hidalgo, Sergio; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Varela Vaca, Ángel Jesús (IEEE Computer Society, 2008)
Filtering is a very important issue in next generation networks. These networks consist of a relatively high number of ...
Presentation
Icon

A heuristic polynomial algorithm for local inconsistency diagnosis in firewall rule sets

Pozo Hidalgo, Sergio; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael (SciTePress, 2008)
Firewall ACLs can contain inconsistencies. There is an inconsistency if different actions can be taken on the same flow ...
Presentation
Icon

Firewall Rule Set Inconsistency Characterization by Clustering

Pozo Hidalgo, Sergio; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael (SciTePress, 2008)
Firewall ACLs could have inconsistencies, allowing traffic that should be denied or vice-versa. In this paper, we analyze ...
Presentation
Icon

Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets

Pozo Hidalgo, Sergio; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Varela Vaca, Ángel Jesús (IEEE Computer Society, 2008)
Firewalls provide the first line of defence of nearly all networked institutions today. However, Firewall ACLs could have ...
Presentation
Icon

Fast algorithms for consistency-based diagnosis of firewall rule sets

Pozo Hidalgo, Sergio; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael (IEEE Computer Society, 2008)
Firewalls provide the first line of defence of nearly all networked institutions today. However, Firewall ACL management ...
Presentation
Icon

NMUS: Structural Analysis for Improving the Derivation of All MUSes in Overconstrained Numeric CSPs

Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Gómez López, María Teresa; Ceballos Guerrero, Rafael (Springer, 2007)
Models are used in science and engineering for experimentation, analysis, model-based diagnosis, design and ...
Article
Icon

An integration of model-based techniques for determining the minimal diagnosis

Ceballos Guerrero, Rafael; Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (Asociación Española para la Inteligencia Artificial, 2006)
Article
Icon

Integración de técnicas basadas en modelos para la determinación de la diagnosis mínima de un sistema

Ceballos Guerrero, Rafael; Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (Asociación Española para la Inteligencia Artificial (AEPIA), 2006)
Actualmente son dos las comunidades que trabajan en la diagnosis basada en modelos, FDI y DX. Aunque sus investigaciones ...
Article
Icon

Constraint satisfaction techniques for diagnosing errors in Design by Contract software

Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Borrego Núñez, Diana (Association for Computing Machinery (ACM), 2006)
Design by Contract enables the development of more reliable and robust software applications. In this paper, a methodology that ...
Presentation
Icon

Diagnosis con variables intervalares usando técnicas Max-CSP

Ceballos Guerrero, Rafael; Cejudo, V.; Valle Sevillano, Carmelo del; Martínez Gasca, Rafael; Ortega Ramírez, Juan Antonio (Edición Digital @tres, 2005)
En ingeniería son muchas las aplicaciones que usan modelos basados en variables y parámetros cuyos dominios aparecen ...
Presentation
Icon

Behavioral pattern analysis of secure migration and communications in eCommerce using cryptographic protocols on a mobile MAS platform

Pozo Hidalgo, Sergio; Martínez Gasca, Rafael; Ceballos Guerrero, Rafael (IEEE Computer Society, 2005)
Mobile Multi-Agent Systems (MAS) systems can be used with real success in a growing number of eCommerce applications ...
Presentation
Icon

Diagnosing Errors in DbC Programs Using Constraint Programming

Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Borrego Núñez, Diana (Springer, 2005)
Model-Based Diagnosis allows to determine why a correctly designed system does not work as it was expected. In this paper, ...
Article
Icon

Diagnostico de inconsistencia en contratos usando el diseño por contrato

Ceballos Guerrero, Rafael; Rosa Troyano, Francisco Fernando de la; Pozo Hidalgo, Sergio (IEEE Computer Society, 2005)
Design by contract allows to develop more reliable and robust applications. Software is reliable if it can perform its ...
Presentation
Icon

A Topological-Based Method for Allocating Sensors by Using CSP Techniques

Ceballos Guerrero, Rafael; Cejudo, V.; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (Springer, 2005)
Model-based diagnosis enables isolation of faults of a system. The diagnosis process uses a set of sensors (observations) ...
Presentation
Icon

An Integration of FDI and DX Techniques for Determining the Minimal Diagnosis in an Automatic Way

Ceballos Guerrero, Rafael; Pozo Hidalgo, Sergio; Valle Sevillano, Carmelo del; Martínez Gasca, Rafael (Springer, 2005)
Two communities work in parallel in model-based diagnosis: FDI and DX. In this work an integration of the FDI and the DX ...
Presentation
Icon

A model integration of DX an FDI techniques for automatic determination of minimal diagnosis

Ceballos Guerrero, Rafael; Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (2005)
Two communities work in parallel in model-based diagnosis: FDI and DX. In this work an integration of the FDI and the DX ...
Presentation
Icon

Constraint Databases Technology for Polynomial Models Diagnosis

Gómez López, María Teresa; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (2004)
Model-based Diagnosis allows the identification of the parts which fail in a system. The models are based on the knowledge of ...
Presentation
Icon

Interval model-based diagnosis using constraint programming

Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Toro Bonilla, Miguel (IEEE Computer Society, 2004)
Presentation
Icon

Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model-Based Diagnosis

Gómez López, María Teresa; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del (Springer, 2004)
Model-based Diagnosis allows the identification of the parts which fail in a system. The models are based on the knowledge ...
Presentation
Icon

Determination of Possible Minimal Conflict Sets Using Constraint Databases Technology and Clustering

Gómez López, María Teresa; Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Pozo Hidalgo, Sergio (Springer, 2004)
Model-based Diagnosis allows the identification of the parts which fail in a system. The models are based on the knowledge ...
Article
Icon

CSP aplicados a la diagnosis basada en modelos

Ceballos Guerrero, Rafael; Valle Sevillano, Carmelo del; Gómez López, María Teresa; Martínez Gasca, Rafael (Asociación Española para la Inteligencia Artificial, 2003)
En las ´ultimas d´ecadas, parte de la comunidad cient´ıfica ha dedicado sus esfuerzos al desarrollo de una metodolog´ıa ...
Article
Icon

CSP y Bases de Datos Restrictivas

Gómez López, María Teresa; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Ceballos Guerrero, Rafael (Asociación Española para la Inteligencia Artificial, 2003)
Las Bases de Datos Restrictivas se originaron ante la necesidad de representar de forma m´as compacta y modular datos de ...
Presentation
Icon

Diagnosis basada en modelos para la depuración de software mediante técnicas simbólicas.

Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Toro Bonilla, Miguel (Edición Digital @tres, 2002)
En la programación es esencial tener herramientas para la diagnosis del software que ayuden al pro­gramador y al ingeniero ...
Presentation
Icon

A Pomset-Based Model for Estimating Workcells' Setups in Assembly Sequence Planning

Valle Sevillano, Carmelo del; Toro Bonilla, Miguel; Ceballos Guerrero, Rafael; Aguilar, Jesús (Springer, 2002)
This paper presents a model based on pomsets (partially ordered multisets) for estimating the minimum number of setups in ...
Presentation
Icon

Max-CSP Approach for Software Diagnosis

Ceballos Guerrero, Rafael; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Toro Bonilla, Miguel (Springer, 2002)
In software development is essential to have tools for the software diagnosis to help the programmers and development ...
Presentation
Icon

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

Rosa Troyano, Francisco Fernando de la; Martínez Gasca, Rafael; Valle Sevillano, Carmelo del; Ceballos Guerrero, Rafael (Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software (SISTEDES), 2002)