Diana Borrego Núñez

Profesora Ayudante Doctora
dianabn@us.es
Área de conocimiento: Lenguajes y Sistemas Informáticos
Departamento: Lenguajes y Sistemas Informáticos
Grupo: Data-centric Computing Research Hub (TIC-258)
Tipo Año Título Fuente
Artículo2021 Empirical evidence of the usage of programming languages in the educational process IEEE TRANSACTIONS ON EDUCATION
Artículo2021 Multi-criteria decision analysis for non-conformance diagnosis: a priority-based strategy combining data and business rules EXPERT SYSTEMS WITH APPLICATIONS
Ponencia2021 Problem generalization for designing recursive algorithms Advances in Intelligent Systems and Computing
Artículo2021 Self-adaptative troubleshooting for to guide resolution of malfunctions in Aircraft Manufacturing IEEE ACCESS
Artículo2020 Prognosis of multiple instances in time-aware declarative business process models COMPUTERS IN INDUSTRY
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
Ponencia2016 Hybrid diagnosis applied to multiple instances in business processes ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, BPMDS 2016
Artículo2015 Automating correctness verification of artifact-centric business process models INFORMATION AND SOFTWARE TECHNOLOGY
Ponencia2014 Automatic generation of questionnaires for supporting users during the execution of declarative business process models Lecture Notes in Business Information Processing
Artículo2014 Conformance checking and diagnosis for declarative business process models in data-aware scenarios EXPERT SYSTEMS WITH APPLICATIONS
Ponencia2014 Data state description for the migration to activity-centric business process model maintaining legacy databases Lecture Notes in Business Information Processing
Artículo2013 Diagnosing correctness of semantic workflow models DATA & KNOWLEDGE ENGINEERING
Artículo2013 Diagnostic reasoning with structural analysis and constraint programming for quality improvement of business process management systems AI COMMUNICATIONS
Artículo2013 Minimizing test-point allocation to improve diagnosability in business process models JOURNAL OF SYSTEMS AND SOFTWARE
Ponencia2011 Improving the diagnosability of business process management systems using test points 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 Determination of an optimal test points allocation for business process analysis 2010 IEEE/IFIP Network Operations and Management Symposium Workshops, NOMS 2010
Ponencia2010 Towards dependable business processes with fault-tolerance approach Proceedings - 3rd International Conference on Dependability, DEPEND 2010
Ponencia2009 A constraint-based job-shop scheduling model for software development planning 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
Ponencia2009 A constraint-based model for multi-objective repair planning ETFA 2009 - 2009 IEEE Conference on Emerging Technologies and Factory Automation
Ponencia2009 A MULTIOBJECTIVE CONSTRAINT OPTIMIZATION MODEL FOR MULTIMODE REPAIR PLANS ICINCO 2009: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL 1
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
Ponencia2007 Inferencia de crónicas temporales con programación lógica inductiva para predicción de evoluciones CAEPIA-TTIA 2007: actas
Artículo2006 Diagnosing errors in DbC programs using Constraint Programming CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE
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

Proyectos de Investigación

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

Contratos

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
31/05/2019 31/03/2021 Investigador/a Troubleshooting para Sistemas Ciberfísicos (P033-19/E08) Airtificial Aerospace & Defense Engineering, SAU (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)
El investigador no tiene ningún resultado de investigación asociado