Rafael Martínez Gasca

Catedrático de Universidad
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)
Instituto de Inv.: I3US
Prog. doctorado: Programa de Doctorado en Ingeniería Informática (RD. 99/2011)
Tipo Año Título Fuente
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
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
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 Communicating between the kernel and user-space in Linux using Netlink sockets SOFTWARE-PRACTICE & EXPERIENCE
Ponencia2010 Determination of an optimal test points allocation for business process analysis 2010 IEEE/IFIP Network Operations and Management Symposium Workshops, NOMS 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 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
Ponencia2005 A constraint-based algorithm for planning the substitution of faulty parts PLANNING, SCHEDULING AND CONSTRAINT SATISFACTION: FROM THEORY TO PRACTICE
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 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
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
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
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, PROCEEDINGS
Artículo2002 Max-CSP approach for software diagnosis ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2002, PROCEEDINGS
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
Artículo2002 UN MODELO CSP PARA PLANIFICACIÓN DE LA SUSTITUCIÓN ÓPTIMA DE PIEZAS DEFECTUOSAS Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial
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
Artículo2000 APLICACIÓN DE LO SISTEMAS DE TRATAMIENTO DE BIBLIOTECAS DIGITALES A LA GESTIÓN DEL PATRIMONIO HISTÓRICO Estudios Turísticos
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
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

Proyectos de Investigación

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
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)
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 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)
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)
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)
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)
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/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)

Contratos

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
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. (Nacional)
18/02/2008 16/02/2009 Responsable AVIOL-Asistente Virtual Interactivo: Información para Orientación Laboral (P040-07/E08) Sadiel, S.A. (Autonómico)
01/06/2011 30/08/2014 Investigador/a Archivo Interoperable Mediante Datos en Abierto Enlazados (P036-11/E08) Emergya Ingeniería, S.L. (Local)
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)
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. (Local)
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. (Local)
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 (Autonómico)
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)
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)

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)
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)
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)