Rafael Ceballos Guerrero

Profesor Contratado Doctor
ceball@us.es
Área de conocimiento: Lenguajes y Sistemas Informáticos
Departamento: Lenguajes y Sistemas Informáticos
Grupo: Sin Grupo
Prog. doctorado: Programa de Doctorado en Ingeniería Informática (RD. 99/2011)
Tipo Año Título Fuente
Artículo2021 Multi-criteria decision analysis for non-conformance diagnosis: a priority-based strategy combining data and business rules EXPERT SYSTEMS WITH APPLICATIONS
Artículo2021 Self-adaptative troubleshooting for to guide resolution of malfunctions in Aircraft Manufacturing IEEE ACCESS
Artículo2019 CyberSPL: A framework for the verification of cybersecurity policy compliance of system configurations using software product lines APPLIED SCIENCES-BASEL
Ponencia2019 CyberSPL: Plataforma para la verificación del cumplimiento de políticas de ciberseguridad en configuraciones de sistemas usando modelos de características Actas de las V Jornadas Nacionales de Ciberseguridad Junio 5-7, 2019, Cáceres
Ponencia2016 Hybrid diagnosis applied to multiple instances in business processes ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, BPMDS 2016
Ponencia2011 Improving the diagnosability of business process management systems using test points BUSINESS PROCESS MANAGEMENT WORKSHOPS
Ponencia2010 Determination of an optimal test points allocation for business process analysis 2010 IEEE/IFIP Network Operations and Management Symposium Workshops, NOMS 2010
Ponencia2010 On the complexity of program debugging using constraints for modeling the program's syntax and semantics CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE
Artículo2009 A heuristic process for local inconsistency diagnosis in firewall rule sets Journal Of Networks
Artículo2009 Developing a labelled object-relational constraint database architecture for the projection operator DATA & KNOWLEDGE ENGINEERING
Ponencia2009 EFFICIENT ALGORITHMS AND ABSTRACT DATA TYPES FOR LOCAL INCONSISTENCY ISOLATION IN FIREWALL ACLS SECRYPT 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND CRYPTOGRAPHY
Artículo2009 Model-Based Development of firewall rule sets: Diagnosing model inconsistencies INFORMATION AND SOFTWARE TECHNOLOGY
Ponencia2008 A heuristic polynomial algorithm for local inconsistency diagnosis in firewall rule sets SECRYPT 2008: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND CRYPTOGRAPHY
Ponencia2008 AFPL, an abstract language model for firewall ACLs COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2008, PT 2, PROCEEDINGS
Ponencia2008 Fast algorithms for consistency-based diagnosis of firewall rule sets ARES 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON AVAILABILITY, SECURITY AND RELIABILITY
Ponencia2008 Fast algorithms for local inconsistency detection in firewall ACL updates Proceedings - 2nd Int. Conf. Emerging Security Inf., Systems and Technologies, SECURWARE 2008, Includes DEPEND 2008: 1st Int. Workshop on Dependability and Security in Complex and Critical Inf. Sys.
Ponencia2008 Firewall rule set inconsistency characterization by clustering WOSIS 2008: SECURITY IN INFORMATION SYSTEMS, PROCEEDINGS
Ponencia2008 Polynomial heuristic algorithms for inconsistency characterization in firewall rule sets Proceedings - 2nd Int. Conf. Emerging Security Inf., Systems and Technologies, SECURWARE 2008, Includes DEPEND 2008: 1st Int. Workshop on Dependability and Security in Complex and Critical Inf. Sys.
Artículo2007 A compiled model for faults diagnosis based on different techniques AI COMMUNICATIONS
Artículo2006 A topological-based method for allocating sensors by using CSP techniques CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE
Artículo2006 Diagnosing errors in DbC programs using Constraint Programming CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE
Artículo2006 INTEGRACIÓN DE TÉCNICAS BASADAS EN MODELOS PARA LA DETERMINACIÓN DE LA DIAGNOSIS MÍNIMA DE UN SISTEMA Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial
Capítulo2005 Acercando estrategias docentes entre teoría y práctica en las asignaturas de Ingeniería Informática La formación del profesorado universitario: programa de equipos docentes de la Universidad de Sevilla, curso 2003-2004
Artículo2005 An integration of FDI and DX techniques for determining the minimal diagnosis in an automatic way MICAI 2005: ADVANCES IN ARTIFICIAL INTELLIGENCE
Ponencia2005 Behavioral pattern analysis of secure migration and communications in eCommerce using cryptographic protocols on a mobile MAS platform Second IEEE International Workshop on Mobile Commerce and Services, Proceedings
Ponencia2005 Constraint satisfaction techniques for diagnosing errors in Design by Contract software Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS 2005
Ponencia2005 Diagnosis of inconsistency in contracts using design by contract IEEE LATIN AMERICA TRANSACTIONS
Artículo2004 Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model - Based Diagnosis Lecture Notes in Computer Science
Artículo2004 Determination of possible minimal conflict sets using constraint databases technology and clustering ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2004
Ponencia2004 Interval model-based diagnosis using constraint programming SOFT COMPUTING WITH INDUSTRIAL APPLICATIONS, VOL 17
Ponencia2002 A pomset-based model for estimating Workcells? setups in assembly sequence planning Lecture Notes in Computer Science
Artículo2002 A pomset-based model for estimating workcells' setups in assembly sequence planning ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2002, PROCEEDINGS
Artículo2002 Max-CSP approach for software diagnosis ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2002, PROCEEDINGS

Proyectos de Investigación

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
01/01/2016 31/12/2018 Investigador/a Sequoia-US: Support Intelligent Decisions for Business Processes Requirements Based on Big Data and Multiple Instances (TIN2015-63502-C3-2-R) Ministerio de Economía y Competitividad (Nacional)
15/11/2003 15/11/2006 Investigador/a Automatización de la detección y diagnosis de fallos de sistemas estáticos y dinámicos usando conocimiento semicualitativo (DPI2003-07146-C02-01) Ministerio de Ciencia y Tecnología (Nacional)
01/01/2010 31/12/2014 Investigador/a Técnicas para la diagnosis, confiabilidad y optimización en los sistemas de gestión de procesos de negocio (TIN2009-13714) Ministerio de Ciencia e Innovación (Nacional)
13/01/2009 31/07/2011 Investigador/a Opbus: Mejora de la Calidad de Procesos de Negocios Mediante Tecnologías de Optimización y Tolerancia a Fallos (P08-TIC-04095) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico)
01/01/2019 30/06/2021 Investigador/a Eclipse - Mejora de la Calidad de Datos y la Seguridad en Sistemas Ciberfísicos para Enriquecer los Procesos de Negocio y las Decisiones Estratégicas (RTI2018-094283-B-C33) Ministerio de Ciencia, Innovación y Universidades (Nacional)
01/10/2006 30/09/2009 Investigador/a Automatización de la detección, diagnosis y tolerancia a fallos en sistemas con incertidumbre y en sistemas distribuidos (DPI2006-15476-C02-01) Ministerio de Educación y Ciencia (Nacional)

Contratos

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
04/07/2014 04/09/2014 Responsable Modelo Declarativo de Reglas de Negocio para Acceso por Presencia de Recurso Preventivo (P020-14/E08) Clever Tecnología S.L. (Local)
05/01/2008 05/01/2009 Investigador/a Estudios para el Desarrollo de un Sistema de Información para la Programación Avanzada de Montajes Aeronáuticos (PAM) (P041-07/E08) EADS - Construcciones Aeronáuticas, S.A. (Nacional)
21/07/2008 13/10/2008 Investigador/a AGECTA Aplicación para la Gestión de Expedientes de la Corporación Tecnológica de Andalucía (P021-08/E08) Fundación Corporación Tecnológica de Andalucía (CTA) (Local)
01/10/2016 31/12/2016 Investigador/a Clean Sky 2: A-24 One Step Beyond On Automated Testing Technologies (P095-16/E08) Airbus Defence and Space S.A. (Local)