Utilizamos cookies

Este sitio web utiliza cookies propias y de terceros para mantener la sesión, ofrecerle una mejor experiencia de usuario y obtener datos estadísticos de navegación de los usuarios. Para más información vea la Política de cookies.

Ver Investigador - - Prisma - Unidad de Bibliometría

Rafael Martínez Gasca

Profesor Emérito
gasca@us.es
Área de conocimiento: Lenguajes y Sistemas Informáticos
Departamento: Lenguajes y Sistemas Informáticos
Grupo: Data-centric Computing Research Hub - TIC-258 (Universidad de Sevilla)
Instituto de Inv.: I3US
Prog. doctorado: INGENIERÍA INFORMÁTICA

Investiga en

Palabras clave
Líneas de investigación
Resumen
Tipo Año Título Fuente
Artículo2025 Business process models and simulation to enable GDPR compliance International Journal of Information Security
Artículo2024 Automated trusted collaborative processes through blockchain & IoT integration: The fraud detection case Internet of Things (Netherlands)
Ponencia2024 Detección de Spear Phishing basada en métodos de decisión multicriterio IX Jornadas Nacionales de Investigación En Ciberseguridad
Artículo2024 Enabling security risk assessment and management for business process models Journal of Information Security and Applications
Capítulo2023 Ciberseguridad cognitiva aplicada al phishing Actas de las VIII Jornadas Nacionales de Investigación en Ciberseguridad: Vigo, 21 a 23 de junio de 2023
Artículo2023 Feature models to boost the vulnerability management process JOURNAL OF SYSTEMS AND SOFTWARE
Capítulo2022 Automatizando RGPD 2016/679 mediante Procesos de Negocio: El caso del Artículo 32 Investigación en Ciberseguridad Actas de las VII Jornadas Nacionales (7º.2022.Bilbao)
Artículo2022 Reasoning on the Usage Control Security policies over Data Artifact Business Process Models COMPUTER SCIENCE AND INFORMATION SYSTEMS
Artículo2021 CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems COMPUTERS IN INDUSTRY
Artículo2021 Decision-making support for input data in business processes according to former instances COMPUTER SCIENCE AND INFORMATION SYSTEMS
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
Ponencia2020 AMADEUS: Towards the AutoMAteD secUrity teSting ACM International Conference Proceeding Series
Ponencia2020 Definition and verification of security configurations of cyber-physical systems Lecture Notes in Computer Science
Artículo2020 Prognosis of multiple instances in time-aware declarative business process models COMPUTERS IN INDUSTRY
Artículo2020 Verifying the manipulation of data objects according to business process and data models KNOWLEDGE AND INFORMATION SYSTEMS
Artículo2019 Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models IEEE ACCESS
Capítulo2019 Constraint-Driven Fault Diagnosis Fault Diagnosis of Dynamic Systems: Quantitative and Qualitative Approaches
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
Capítulo2019 Model-Based Software Debugging Fault Diagnosis of Dynamic Systems: Quantitative and Qualitative Approaches
Artículo2018 Business Process Configuration According to Data Dependency Specification APPLIED SCIENCES-BASEL
Capítulo2018 FABIOLA: Towards the resolution of constraint optimization problems in big data environment Lecture Notes in Information Systems and Organisation
Ponencia2017 FABIOLA: Defining the components for constraint optimization problems in big data environment Information Systems Development: Advances in Methods, Tools and Management - Proceedings of the 26th International Conference on Information Systems Development, ISD 2017
Ponencia2017 FABIOLA: herramienta para la optimización de problemas en entornos de Big Data Actas de las 22nd Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2017
Ponencia2017 Governance knowledge management and decision support using fuzzy governance maps Lecture Notes in Business Information Processing
Ponencia2017 Guiding the creation of choreographed processes with multiple instances based on data models Lecture Notes in Business Information Processing
Ponencia2016 A usage control model extension for the verification of security policies in artifact-centric business process models BUSINESS INFORMATION SYSTEMS (BIS 2016)
Ponencia2016 Computing alignments with constraint programming: The acyclic case CEUR workshop proceedings
Artículo2016 Hybrid business process modeling for the optimization of outcome data INFORMATION AND SOFTWARE TECHNOLOGY
Ponencia2016 Hybrid diagnosis applied to multiple instances in business processes ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, BPMDS 2016
Ponencia2016 PAIS-DQ: Extending process-aware information systems to support data quality in PAIS life-cycle 2016 IEEE TENTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS)
Ponencia2016 Process Instance Query Language to Include Process Performance Indicators in DMN 2016 IEEE 20TH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING WORKSHOP (EDOCW)
Ponencia2015 An open-source proactive security infrastructure for Business Process Management Proceedings of the 26th International Business Information Management Association Conference - Innovation Management and Sustainable Economic Competitive Advantage: From Regional Development to Global Growth, IBIMA 2015
Artículo2015 Automating correctness verification of artifact-centric business process models INFORMATION AND SOFTWARE TECHNOLOGY
Artículo2015 Compliance validation and diagnosis of business data constraints in business processes at runtime INFORMATION SYSTEMS
Artículo2015 Formalization of security patterns as a means to infer security controls in business processes Logic Journal of the IGPL
Ponencia2015 Towards Automatic Integration of Information Security Governance and Management using a BPMS approach Actas de las primeras Jornadas Nacionales de Investigación en Ciberseguridad: León, 14, 15, 16 de septiembre de 2015: I JNIC2015
Ponencia2014 Automatic generation of questionnaires for supporting users during the execution of declarative business process models Lecture Notes in Business Information Processing
Ponencia2014 Data state description for the migration to activity-centric business process model maintaining legacy databases Lecture Notes in Business Information Processing
Artículo2014 Data-driven bounded-error fault detection INTERNATIONAL JOURNAL OF ADAPTIVE CONTROL AND SIGNAL PROCESSING
Artículo2014 Decision-Making Support for the Correctness of Input Data at Runtime in Business Processes INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS
Ponencia2014 Prognosing the compliance of declarative business processes using event trace robustness ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2014 CONFERENCES
Ponencia2014 Service level agreement for data quality governed by Iso 8000-1X0 Proceedings of the 19th International Conference on Information Quality, ICIQ 2014
Artículo2014 Using Constraint Programming in Selection Operators for Constraint Databases EXPERT SYSTEMS WITH APPLICATIONS
Ponencia2013 A security pattern-driven approach toward the automation of risk treatment in business processes INTERNATIONAL JOINT CONFERENCE CISIS'12 - ICEUTE'12 - SOCO'12 SPECIAL SESSIONS
Ponencia2013 CombiS-BP Editor: Combining Declarative and Imperative Languages in BP Modelling 2013 IEEE SEVENTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS)
Ponencia2013 CombiS-BP editor: Combining declarative and imperative languages in BP modelling: Demonstration paper 2013 IEEE SEVENTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS)
Artículo2013 Diagnosing correctness of semantic workflow models DATA & KNOWLEDGE ENGINEERING
Ponencia2013 Explaining the Incorrect Temporal Events During Business Process Monitoring by means of Compliance Rules and Model-based Diagnosis 17TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE WORKSHOPS (EDOCW 2013)
Ponencia2013 I8K: An implementation of ISO 8000-1X0 Proceedings of the 18th International Conference on Information Quality, ICIQ 2013
Artículo2013 Minimizing test-point allocation to improve diagnosability in business process models JOURNAL OF SYSTEMS AND SOFTWARE
Artículo2013 Towards the automatic and optimal selection of risk treatments for business processes using a constraint programming approach INFORMATION AND SOFTWARE TECHNOLOGY
Artículo2012 CONFIDDENT: A model-driven consistent and non-redundant layer-3 firewall ACL design, development and maintenance framework JOURNAL OF SYSTEMS AND SOFTWARE
Ponencia2012 Extending BPMN 2.0 for modelling the combination of activities that involve data constraints BUSINESS PROCESS MODEL AND NOTATION, BPMN 2012
Artículo2012 FT-FW: A cluster-based fault-tolerant architecture for stateful firewalls COMPUTERS & SECURITY
Artículo2012 Improvement of Optimization Agreements in Business Processes involving Web Services IBIMA Communications
Ponencia2011 A Model-Driven engineering approach with diagnosis of non-conformance of security objectives in business process models 2011 fifth international conference on research challenges in information science
Ponencia2011 An Approach For Optimization Agreements In Business Processes Based On Web Services CREATING GLOBAL COMPETITIVE ECONOMIES: A 360-DEGREE APPROACH, VOLS 1-4
Ponencia2011 Contract-based test generation for data flow of business processes using constraint programming 2011 fifth international conference on research challenges in information science
Artículo2011 Extensiones para el Ciclo de Mejora Continua en la enseñanza e investigación de Ingeniería Informática Revista de Enseñanza Universitaria
Ponencia2011 Improving the diagnosability of business process management systems using test points BUSINESS PROCESS MANAGEMENT WORKSHOPS
Ponencia2011 OPBUS: RISK-AWARE FRAMEWORK FOR THE CONFORMANCE OF SECURITY-QUALITY REQUIREMENTS IN BUSINESS PROCESSES SECRYPT 2011: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND CRYPTOGRAPHY
Ponencia2011 Run-Time Auditing for Business Processes Data Using Constraints BUSINESS PROCESS MANAGEMENT WORKSHOPS
Ponencia2011 USING DISTRIBUTED CSPs TO MODEL BUSINESS PROCESSES AGREEMENT IN SOFTWARE MULTIPROCESS ICAART 2011: PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 2
Ponencia2010 A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs 2010 24TH IEEE INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS (AINA)
Artículo2010 A survey using constraints to decision-making for fault tolerance in Business processes International Journal of Software Engineering and Its Applications
Artículo2010 Communicating between the kernel and user-space in Linux using Netlink sockets SOFTWARE-PRACTICE & EXPERIENCE
Ponencia2010 Contract-based Diagnosis for Business Process Instances using Business Compliance Rules DX 2010: 21th International Workshop on Principles of Diagnosis (2010).
Ponencia2010 Determination of an optimal test points allocation for business process analysis 2010 IEEE/IFIP Network Operations and Management Symposium Workshops, NOMS 2010
Ponencia2010 Diagnosis de Errores en la Gestión de Procesos Software con Programación con Restricciones JISBD 2010 : XV Jornadas de Ingeniería del Software y Bases de Datos (2010), pp. 23-34.
Ponencia2010 Fault diagnosis in databases for business processes DX 2010: 21th International Workshop on Principles of Diagnosis held jointly with the Annual Conference of the PHM Society 2010 (2010).
Editorial2010 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface Lecture Notes in Computer Science
Ponencia2010 OPBUS: Fault Tolerance Against Integrity Attacks in Business Processes COMPUTATIONAL INTELLIGENCE IN SECURITY FOR INFORMATION SYSTEMS 2010
Ponencia2010 Towards dependable business processes with fault-tolerance approach Proceedings - 3rd International Conference on Dependability, DEPEND 2010
Artículo2009 A heuristic process for local inconsistency diagnosis in firewall rule sets Journal Of Networks
Ponencia2009 AFPL2, An Abstract Language for Firewall ACLs with NAT support DEPEND: 2009 SECOND INTERNATIONAL CONFERENCE ON DEPENDABILITY
Ponencia2009 Competitive intelligence based on social networks for decision making ADIS 2009 - Apoyo a la Decision en Ingenieria del Software, Evento Realizado en el Marco de las 14th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2009
Artículo2009 Demystifying Cluster-Based Fault-Tolerant Firewalls IEEE INTERNET COMPUTING
Artículo2009 Determination of Possible Minimal Conflict Sets Using Components Clusters and Gröbner Bases DX04, 15th International Workshop on Principles of Diagnosis, Carcassonne, France
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
Ponencia2009 Efficient data structures for local inconsistency detection in firewall ACL updates ICEIS 2009 - 11th International Conference on Enterprise Information Systems, Proceedings
Ponencia2009 MDA-based framework for automatic generation of consistent firewall ACLs with NAT COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2009, PT II
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
Artículo2008 Automatic extraction of social networks by topics of interest INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY
Ponencia2008 Diagnosing business processes execution using choreography analysis ADIS 2008 - Apoyo a la Decision en Ingenieria del Software, Evento Realizado en el Marco de las 13th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2008
Artículo2008 Efficient packet filtering in wireless ad hoc networks IEEE COMMUNICATIONS MAGAZINE
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 hFT-FW: hybrid fault-tolerance for cluster-based Stateful Firewalls PROCEEDINGS OF THE 2008 14TH IEEE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS
Ponencia2008 Multiprimary support for the availability of cluster-based stateful firewalls using FT-FW COMPUTER SECURITY - ESORIC 2008, 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.
Ponencia2008 Stateful firewalling for wireless mesh networks Proceedings of New Technologies, Mobility and Security Conference and Workshops, NTMS 2008
Ponencia2008 Towards a dependable architecture for highly available Internet services ARES 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON AVAILABILITY, SECURITY AND RELIABILITY
Artículo2007 A compiled model for faults diagnosis based on different techniques AI COMMUNICATIONS
Ponencia2007 CSP-Based firewall rule set diagnosis using security policies ARES 2007: SECOND INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, PROCEEDINGS
Capítulo2007 Improving the determination of minimal hitting sets in model-based diagnosis using constraint databases Fault Detection, Supervision and Safety of Technical Processes 2006
Ponencia2007 Inferencia de crónicas temporales con programación lógica inductiva para predicción de evoluciones CAEPIA-TTIA 2007: actas
Ponencia2007 NMUS: structural analysis for improving the derivation of All MUSes in overconstrained numeric CSPs CAEPIA-TTIA 2007: actas
Artículo2007 SISTEMAS DE INTELIGENCIA WEB BASADOS EN REDES SOCIALES Redes
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
Ponencia2006 Diagnosis of a chopper controlled DC motor by boosting INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR MODELLING, CONTROL & AUTOMATION JOINTLY WITH INTERNATIONAL CONFERENCE ON INTELLIGENT AGENTS, WEB TECHNOLOGIES & INTERNET COMMERCE, VOL 2, PROCEEDINGS
Ponencia2006 Distributed model-based diagnosis using object-relational constraint databases 20TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOL 2, PROCEEDINGS
Ponencia2006 High Availability support for the design of stateful networking equipments FIRST INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, PROCEEDINGS
Artículo2006 Improving the computational efficiency in symmetrical numeric constraint satisfaction problems CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE
Ponencia2006 Improving the determination of minimal hitting sets in model-based diagnosis using constraint databases IFAC Proceedings Volumes (IFAC-PapersOnline)
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
Ponencia2006 SESETE: Un algoritmo de clasificación para la diagnosis de sistemas dinámicos VIII Jornadas razonamiento cualitativo y aplicaciones. JARCA '06: Razonamiento cualitativo y aplicaciones. Robótica, economía, diagnosis y clasificación
Ponencia2005 A constraint-based algorithm for planning the substitution of faulty parts PLANNING, SCHEDULING AND CONSTRAINT SATISFACTION: FROM THEORY TO PRACTICE
Ponencia2005 A model integration of DX an FDI techniques for automatic determination of minimal diagnosis 2nd Workshop on Model-Based Systems (2005), pp. 11-16.
Artículo2005 A study of the similarities between topics COMPUTATIONAL STATISTICS
Artículo2005 An integration of FDI and DX techniques for determining the minimal diagnosis in an automatic way MICAI 2005: ADVANCES IN ARTIFICIAL INTELLIGENCE
Artículo2005 Análisis de Redes Sociales mediante Diagramas Estratégicos y Diagramas Estructurales Redes: Revista hispana para el análisis de redes sociales
Capítulo2005 Análisis de un sistema biometalúrgico con conocimiento intervalar y cuantitativo El análisis de intervalos en España: desarrollos, herramientas y aplicaciones
Ponencia2005 Analysis and visualization of scientific communities with information extracted from the web IEEE LATIN AMERICA TRANSACTIONS
Artículo2005 Analysis and visualization of the DX community with information extracted from the web DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS
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 Combining heuristics in assembly sequence planning PLANNING, SCHEDULING AND CONSTRAINT SATISFACTION: FROM THEORY TO PRACTICE
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 con variables intervalares usando técnicas Max-CSP VII Jornadas de ARCA.: Sistemas cualitativos y diagnosis
Ponencia2005 Diagnosis of a chopper controlled DC motor by boosting Proceedings - International Conference on Computational Intelligence for Modelling, Control and Automation, CIMCA 2005 and International Conference on Intelligent Agents, Web Technologies and Internet
Ponencia2005 Estrategias eficientes en el nivel de aplicación para el filtrado y balanceo de carga de paquetes Actas IV Congreso Internacional de Auditoria y Seguridad de la Información: CIASI 2005
Artículo2005 Estudio de similitudes entre áreas temáticas REVISTA ESPANOLA DE DOCUMENTACION CIENTIFICA
Capítulo2005 Localización de centros atractivos y/ó repulsivos con análisis intervalar El análisis de intervalos en España: desarrollos, herramientas y aplicaciones
Ponencia2005 Multiple decision trees to diagnose a transient state of dynamic systems. Application to a DC motor VII Jornadas de ARCA.: Sistemas cualitativos y diagnosis
Capítulo2005 ORCDB: Arquitectura para la extensión de la semántica de SQL en bases de datos restrictivas orientadas a objetos con restricciones polinómicas de igualdad Actas de las X Jornadas de Ingeniería del Software y Bases de Datos
Capítulo2005 Planificación de secuencias óptimas de ensamblaje mediante programación con restricciones intervalares El análisis de intervalos en España: desarrollos, herramientas y aplicaciones
Capítulo2005 Programación con restricciones intervalares El análisis de intervalos en España: desarrollos, herramientas y aplicaciones
Artículo2005 Querying a polynomial object-relational constraint database in model-based diagnosis DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS
Artículo2005 Semiqualitative Methodology to Reasoning about Dynamic Systems Computación y Sistemas
Artículo2004 Applying Constraint Databases in the Determination of Potential Minimal Conflicts to Polynomial Model - Based Diagnosis Lecture Notes in Computer Science
Artículo2004 Applying constraint databases in the determination of potential minimal conflicts to polynomial model-based diagnosis CONSTRAINT DATABASES, PROCEEDINGS
Ponencia2004 Constraint Databases Technology for Polynomial Models Diagnosis DX 2004: 15th International Workshop on Principles of Diagnosis (2004), pp. 215-..
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
Artículo2003 A genetic algorithm for assembly sequence planning ARTIFICIAL NEURAL NETS PROBLEM SOLVING METHODS, PT II
Ponencia2003 A scheduling approach to assembly sequence planning PROCEEDINGS OF THE 2003 IEEE INTERNATIONAL SYMPOSIUM ON ASSEMBLY AND TASK PLANNING (ISATP2003)
Ponencia2003 Arquitectura para la consulta a bases de datos restrictivas VIII Jornadas de Ingeniería del Software y Bases de Datos: actas : (JISBD'03), Alicante, del 12 al 14 de noviembre de 2003
Artículo2003 CSP aplicados a la diagnosis basada en modelos Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial
Artículo2003 CSP y Bases de Datos Restrictivas Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial
Artículo2003 On selecting and scheduling assembly plans using constraint programming KNOWLEDGE-BASED INTELLIGNET INFORMATION AND ENGINEERING SYSTEMS, PT 2, PROCEEDINGS
Artículo2003 UTILIZACIÓN DE NDT Y DE LAS TÉCNICAS DE SATISFACCIÓN DE RESTRICCIONES PARA LA GENERACIÓN DE ITINERARIOS CULTURALES. Computación y Sistemas
Artículo2002 A framework for semiqualitative reasoning in engineering applications APPLIED ARTIFICIAL INTELLIGENCE
Artículo2002 A semiquantitative approach to study semiqualitative systems Advances in Artificial Intelligence - IBERAMIA 2002 : 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, proceedings
Capítulo2002 Arquitectura de un Crawler para extraer las estructuras y contenidos de recursos electrónicos VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002)
Ponencia2002 Diagnosis basada en modelos para la depuración de software mediante técnicas simbólicas. IV Jornadas Arca: Sistemas Cualitativos y Diagnosis (JARCA´02) (2002).
Capítulo2002 Diagnosis de Software usando técnicas Max-CSP VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002)
Ponencia2002 Diagnosis progresiva en el tiempo de sistemas dinámicos IV Jornadas Arca: Sistemas Cualitativos y Diagnosis (JARCA´02) (2002).
Ponencia2002 Localización de centros públicos atractivos y /o repulsivos IV Jornadas Arca: Sistemas Cualitativos y Diagnosis (JARCA´02) (2002).
Artículo2002 Max-CSP approach for software diagnosis Advances in Artificial Intelligence - IBERAMIA 2002 : 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, proceedings
Ponencia2002 Metodología para la representación gráfica de relaciones cualitativas entre tópicos de interés IV Jornadas Arca: Sistemas Cualitativos y Diagnosis (JARCA´02) (2002).
Artículo2002 Qualitative comparison of temporal series. QSI TOPICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS
Ponencia2002 Qualitative reasonig for software development project by constraint programming ENTERPRISE INFORMATION SYSTEMS III
Ponencia2002 Representación Cualitativa del Conocimiento: Aplicación a la Generación Automática de Itinerarios Culturales IV Jornadas Arca: Sistemas Cualitativos y Diagnosis (JARCA´02) (2002).
Artículo2002 UN MODELO CSP PARA PLANIFICACIÓN DE LA SUSTITUCIÓN ÓPTIMA DE PIEZAS DEFECTUOSAS Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial
Ponencia2002 Un modelo de optimización CSP para la sustitución de piezas defectuosas diagnosticadas IV Jornadas Arca: Sistemas Cualitativos y Diagnosis (JARCA´02) (2002).
Ponencia2001 Aplicación de la programación con restricciones a la elaboración automática de itinerarios culturales en Andalucía TuriTec 2001: turismo y tecnologías de la información y las comunicaciones
Ponencia2001 Metodología para el análisis visual de la evolución de conceptos en bases de datos textuales JBIDI '2001 : Segundas Jornadas de Bibliotecas Digitales :19 y 20 de Noviembre de 2001 Almagro (Ciudad Real)
Ponencia2001 Qualitative reasonig for software development project by constraint programming ICEIS 2001 - Proceedings of the 3rd International Conference on Enterprise Information Systems
Ponencia2001 Structural constraint-based modeling and reasoning with basic configuration cells Lecture Notes in Computer Science
Capítulo2000 Aplicación de los sistemas de tratamiento de bibliotecas digitales a la gestión del patrimonio histórico TuriTec 2000: turismo y tecnologías de la información y comunicaciones: nuevas tecnologías y patrimonio
Artículo2000 Aplicación de los sistemas de tratamiento de bibliotecas digitales a la gestión del patrimonio histórico Estudios Turísticos
Artículo2000 Aprendizaje de la Similitud entre Casos con Valores Discretos y Numericos (Premio Accésit Jose Cuena) Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial
Capítulo2000 Estudio de sistemas semicualitativos con restricciones que evolucionan en el tiempo Métodos cualitativos aplicados a los sistemas socioeconómicos: Edición 2000
Capítulo2000 Optimización en modelos que integran conocimiento cualitativo y cuantitativo Métodos cualitativos aplicados a los sistemas socioeconómicos: Edición 2000
Capítulo2000 Resolución de problemas de localización-producción con aritmética intervalar Métodos cualitativos aplicados a los sistemas socioeconómicos: Edición 2000
Capítulo2000 Semiqualitative Temporal Patterns in Time-Series Databases Current Trends in Qualitative Reasoning and Aplications. Edition 2000. (ARCA)
Capítulo2000 Using constraint programming framework for Semiqualitative Reasoning Current Trends in Qualitative Reasoning and Aplications. Edition 2000. (ARCA)
Ponencia1998 Automatic semiqualitative analysis: Application to a biometallurgical system Lecture Notes in Computer Science
Ponencia1998 Including qualitative knowledge in semiqualitative dynamical systems Lecture Notes in Computer Science
Ponencia1997 Automatización del análisis y simulación de modelos cualitativos mediante restricciones CAEPIA'97: actas
Ponencia1995 Razonamiento en orden de magnitud usando conocimiento cualitativo y cuantitativo VI Conferencia de la Asociación Española para la Inteligencia Artificial CAEPIA 95 : actas : Alicante, 15, 16 y 17 de Noviembre de 1995
Ponencia1984 Aplicación de estrategias innovadoras en un sistema de investigación científica II Jornadas de estudio sobre la investigación en la escuela (1984)
Razonamiento y simulación en sistemas que integran conocimiento cualitativo y cuantitativo (1998)
Dirigida por: Toro Bonilla, Miguel
Tesis dirigidas/tutorizadas:12
Fecha lectura Título Rol
21/07/2014 COMBI-BP: AUTOMATING THE DATA-ORIENTED OPTIMIZATION IN BUSINESS PROCESSES. FROM DECLARATIVE TO EXECUTABLE MODELS Director/a
06/03/2014 DETECCIÓN DE FALLOS EN SISTEMAS DINÁMICOS MEDIANTE TÉCNICAS DE ERROR ACOTADO Director/a
23/07/2013 OPBUS: A FRAMEWORK FOR IMPROVING THE DEPENDABILITY OF RISK-AWARE BUSINESS PROCESSES Director/a
19/12/2012 DIAGNOSTIC REASONING WITH STRUCTURAL ANALYSIS AND CONSTRAINT PROGRAMMING FOR QUALITY IMPROVEMENT OF BUSINESS PROCESS MANAGEMENT SYSTEMS Tutor/a, Director/a
08/06/2012 SISTEMAS DE INTELIGENCIA WEB: ANÁLISIS DE REDES SOCIALES Director/a
21/12/2011 TÉCNICAS AUTOMÁTICAS PARA LA DIAGNOSIS DE ERRORES EN SOFTWARE DISEÑADO POR CONTRATO Director/a
22/07/2010 ARCHITECTURES FOR THE HIGH AVAILABILITY OF STATEFUL FIREWALLS Director/a
16/07/2010 Técnicas automáticas para la diagnosis de inconsistencias en listas de control de acceso de firewalls Director/a
17/12/2007 LORDCDB: GESTOR DE BASES DE DATOS OBJETO-RELACIONALES DE RESTRICCIONES Director/a
29/11/2007 DIAGNOSIS DE SISTEMAS DINÁMICOS MEDIANTE EL APRENDIZAJE DE MODELOS PROPOSICIONALES Director/a
17/06/2005 ÍNDICE PARA LA COMPARACIÓN CUALITATIVA DE SERIES TEMPORALES Director/a
25/03/2004 Localización de centros de servicios atractivos y/o repulsivos con algoritmos de ramificación y poda Director/a

Proyectos de Investigación

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
15/11/2003 15/11/2006 Responsable 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/10/2006 30/09/2009 Responsable 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)
13/01/2009 31/07/2011 Responsable 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)
05/10/2021 31/12/2022 Investigador/a COPERNICA: Colaboración en procesos de negocio para el buen gobierno de servicios y datos compartidos (P20_01224) Consejería de Economía, Conocimiento, Empresas y Universidad (Autonómico)
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)
01/01/2022 31/05/2023 Investigador/a METAMORFOSIS: Marco dE Trasnformación digitAl Mediante Customización soFtware sobre gestiÓn de datos, proceSos de negocio y gobIerno de la Seguridad (US-1381375) Consejería de Economía, Conocimiento, Empresas y Universidad (Autonómico)
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)
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/01/2021 31/08/2025 Investigador/a Aether-US: Una aproximación holística de smart data para el análisis de datos guiado por el contexto: procesos de negocio inteligentes (PID2020-112540RB-C44) Ministerio de Ciencia e Innovación (Nacional)
01/12/2022 30/09/2025 Investigador/a Mejora de la ciberseguridAd y su sostenibiLidad en Beneficio de la sociedad y de las personAs (TED2021-130355B-C32) Ministerio de Ciencia e Innovación (Nacional)
28/12/2000 27/12/2003 Investigador/a Metodologías y arquitecturas para la difusión electrónica de información en la red (TIC2000-1673-C06-03) Ministerio de Ciencia y Tecnología (Nacional)
28/12/2000 27/12/2003 Responsable Desarrollo de herramientas basadas en modelos semicualitativos para el análisis de sistemas dinámicos. Aplicación a la supervisión, control y predicción de comportamientos (DPI2000-0666-C02-02) Ministerio de Ciencia y Tecnología (Nacional)

Contratos

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
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. (Desconocido)
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. (Desconocido)
18/02/2008 16/02/2009 Responsable AVIOL-Asistente Virtual Interactivo: Información para Orientación Laboral (P040-07/E08) Sadiel, S.A. (Desconocido)
04/07/2014 04/09/2014 Investigador/a Modelo Declarativo de Reglas de Negocio para Acceso por Presencia de Recurso Preventivo (P020-14/E08) Clever Tecnología S.L. (Desconocido)
01/06/2011 30/08/2014 Investigador/a Archivo Interoperable Mediante Datos en Abierto Enlazados (P036-11/E08) Emergya Ingeniería, S.L. (Desconocido)
07/03/2018 31/12/2018 Investigador/a Clean Sky 2: A-24 ONE STEP BEYOND ON AUTOMATED TESTING TECHNOLOGIES (P011-18/E08) Airbus Defence and Space S.A. (Desconocido)
20/11/2009 19/03/2010 Investigador/a AGECTA III Aplicación para la Gestión de Expedientes de la Corporación Tecnológica de Andalucía (P051-09/E08) Instituto Andaluz de Tecnología (Desconocido)
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) Corporación Tecnológica de Andalucía (Desconocido)
02/01/2015 30/07/2015 Investigador/a WONDER: Diseño y Desarrollo de Plataforma ciega intermodal de reposición de incidencias y reasignación de envíos para el sector logístico. (P001-15/E08) On Time Transporte Y Logistica, S.L. (Desconocido)

Ayudas

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
01/09/2009 01/09/2010 Responsable XIII Conferencia de la asociación española para la inteligencia artificial (TIN2009-06766-E) Ministerio de Ciencia e Innovación (Nacional)
09/11/2009 13/11/2009 Responsable XIII Conferencia de la Asociación Española para la Inteligencia Artificial (CAEPIA) Jornadas de Transferencia Tecnológica Artificial (TTIA) (PP2009-01-053) Universidad de Sevilla (Local)
19/06/2002 18/06/2003 Investigador/a Organización del Congreso Iberoamericano de Inteligencia Artificial IBERAMIA 2002. Programa Nacional: Tecnologías de la Información y las Comunicaciones (TIC2001-4480-E) Ministerio de Ciencia y Tecnología (Nacional)
El investigador no tiene ningún resultado de investigación asociado