| Artículo | 2025 |
Business process models and simulation to enable GDPR compliance
|
International Journal of Information Security |
| Editorial | 2024 |
2024 Dissertation Award, Doctoral Consortium, and Demonstration & Resources Forum: Preface
|
CEUR workshop proceedings |
| Ponencia | 2024 |
Análisis del impacto de las vulnerabilidades en las dependencias de proyectos software basado en Satisfiability Modulo Theories (SMT)
|
IX Jornadas Nacionales de Investigación En Ciberseguridad |
| Artículo | 2024 |
BIGOWL4DQ: Ontology-driven approach for Big Data quality meta-modelling, selection and reasoning
|
INFORMATION AND SOFTWARE TECHNOLOGY |
| Artículo | 2024 |
Enabling security risk assessment and management for business process models
|
Journal of Information Security and Applications |
| Ponencia | 2024 |
Variability in data transformation: towards data migration product lines
|
ACM International Conference Proceeding Series |
| Artículo | 2024 |
Vulnerability impact analysis in software project dependencies based on Satisfiability Modulo Theories (SMT)
|
COMPUTERS & SECURITY |
| Editorial | 2023 |
Editorial: recent advances in process analytics
|
JOURNAL OF INTELLIGENT INFORMATION SYSTEMS |
| Artículo | 2023 |
ELI: an IoT-aware big data pipeline with data curation and data quality
|
PEERJ COMPUTER SCIENCE |
| Artículo | 2023 |
Feature models to boost the vulnerability management process
|
JOURNAL OF SYSTEMS AND SOFTWARE |
| Artículo | 2023 |
Onto-CARMEN: Ontology-driven approach for Cyber-Physical System Security Requirements meta-modelling and reasoning
|
Internet of Things (Netherlands) |
| Capítulo | 2023 |
Revealing the Importance of Setting Parameters in Declarative Discovery Algorithms: An Evolutionary-Based Methodology
|
Advanced Information Systems Engineering |
| Artículo | 2023 |
When business processes meet complex events in logistics: A systematic mapping study
|
COMPUTERS IN INDUSTRY |
| Artículo | 2022 |
A domain-specific language for the specification of UCON policies
|
Journal of Information Security and Applications |
| Capítulo | 2022 |
Advisory: Análisis de vulnerabilidades en proyectosde desarrollo software
|
Investigación en Ciberseguridad Actas de las VII Jornadas Nacionales (7º.2022.Bilbao) |
| Ponencia | 2022 |
Advisory: vulnerability analysis in software development project dependencies
|
26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings |
| Capítulo | 2022 |
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) |
| Capítulo | 2022 |
Process Instance Query Language and the Process Querying Framework
|
Process Querying Methods |
| Artículo | 2022 |
Reasoning on the Usage Control Security policies over Data Artifact Business Process Models
|
COMPUTER SCIENCE AND INFORMATION SYSTEMS |
| Capítulo | 2021 |
A NLP-oriented methodology to enhance event log quality
|
Enterprise, Business-Process and Information Systems Modeling |
| Artículo | 2021 |
CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems
|
COMPUTERS IN INDUSTRY |
| Ponencia | 2021 |
CC4Spark: distributing event logs and big complex conformance checking problems
|
CEUR workshop proceedings |
| Artículo | 2021 |
Decision-making support for input data in business processes according to former instances
|
COMPUTER SCIENCE AND INFORMATION SYSTEMS |
| Artículo | 2021 |
Discovering configuration workflows from existing logs using process mining
|
EMPIRICAL SOFTWARE ENGINEERING |
| Artículo | 2021 |
DMN4DQ: when data quality meets DMN
|
DECISION SUPPORT SYSTEMS |
| Artículo | 2021 |
Empowering conformance checking using Big Data through horizontal decomposition
|
INFORMATION SYSTEMS |
| Capítulo | 2021 |
Enabling Process Mining in Airbus Manufacturing
|
Business Process Management Cases Vol. 2 |
| Artículo | 2021 |
Multi-criteria decision analysis for non-conformance diagnosis: a priority-based strategy combining data and business rules
|
EXPERT SYSTEMS WITH APPLICATIONS |
| Ponencia | 2021 |
Process Mining to Unleash Variability Management: Discovering Configuration Workflows Using Logs
|
Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021] |
| Artículo | 2021 |
Self-adaptative troubleshooting for to guide resolution of malfunctions in Aircraft Manufacturing
|
IEEE ACCESS |
| Ponencia | 2021 |
Unleashing Constraint Optimisation Problem solving in Big Data environments
|
Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021] |
| Ponencia | 2020 |
AMADEUS: Towards the AutoMAteD secUrity teSting
|
ACM International Conference Proceeding Series |
| Ponencia | 2020 |
Chamaleon: Framework to improve data wrangling with complex data
|
40th International Conference on Information Systems, ICIS 2019 |
| Libro | 2020 |
Data-driven process discovery and analysis: 8th IFIP WG 2.6 International Symposium, SIMPDA 2018, Seville, Spain, December 13–14, 2018, and 9th International Symposium, SIMPDA 2019, Bled, Slovenia, September 8, 2019, revised selected papers
|
Lecture Notes in Business Information Processing |
| Ponencia | 2020 |
Databases and information systems in the AI era: contributions from ADBIS, TPDL and EDA 2020 Workshops and Doctoral Consortium
|
Communications in Computer and Information Science |
| Ponencia | 2020 |
Definition and verification of security configurations of cyber-physical systems
|
Lecture Notes in Computer Science |
| Artículo | 2020 |
Measuring data-centre workflows complexity through process mining: the Google cluster case
|
JOURNAL OF SUPERCOMPUTING |
| Editorial | 2020 |
Preface
|
Lecture Notes in Business Information Processing |
| Artículo | 2020 |
Prognosis of multiple instances in time-aware declarative business process models
|
COMPUTERS IN INDUSTRY |
| Ponencia | 2020 |
Standardizing process-data exploitation by means of a process-instance metamodel
|
Data-driven process discovery and analysis: 8th IFIP WG 2.6 International Symposium, SIMPDA 2018, Seville, Spain, December 13–14, 2018, and 9th International Symposium, SIMPDA 2019, Bled, Slovenia, September 8, 2019, revised selected papers |
| Ponencia | 2020 |
Towards the Detection of Promising Processes by Analysing the Relational Data
|
Communications in Computer and Information Science |
| Artículo | 2020 |
Unleashing constraint optimisation problem solving in Big Data environments
|
JOURNAL OF COMPUTATIONAL SCIENCE |
| Artículo | 2020 |
Verifying the manipulation of data objects according to business process and data models
|
KNOWLEDGE AND INFORMATION SYSTEMS |
| Artículo | 2019 |
Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models
|
IEEE ACCESS |
| Artículo | 2019 |
CyberSPL: A framework for the verification of cybersecurity policy compliance of system configurations using software product lines
|
APPLIED SCIENCES-BASEL |
| Capítulo | 2019 |
Diagnosing Business Processes
|
Fault Diagnosis of Dynamic Systems: Quantitative and Qualitative Approaches |
| Ponencia | 2019 |
DMN for Data Quality Measurement and Assessment
|
Lecture Notes in Business Information Processing |
| Ponencia | 2019 |
Enabling process mining in aircraft manufactures: Extracting event logs and discovering processes from complex data
|
CEUR workshop proceedings |
| Ponencia | 2019 |
Process mining to unleash variability management: discovering configuration workflows using logs
|
SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A |
| Ponencia | 2018 |
An Architecture for Querying Business Process, Business Process Instances, and Business Data Models
|
BUSINESS PROCESS MANAGEMENT WORKSHOPS (BPM 2017) |
| Ponencia | 2018 |
Análisis de los datos y coreografia de múltiples procesos en entornos logísticos
|
JCIS 2018: XIV Jornadas de Ingeniería de Ciencia e Ingeniería de Servicios (2018). |
| Artículo | 2018 |
Business Process Configuration According to Data Dependency Specification
|
APPLIED SCIENCES-BASEL |
| Capítulo | 2018 |
Coordinación de casos prácticos en asignaturas del área de conocimiento "Gestión de la Información" según modelo curricular de informática de la ACM/IEEE 2013
|
Investigación y práctica en la educación superior |
| Capítulo | 2018 |
FABIOLA: Towards the resolution of constraint optimization problems in big data environment
|
Lecture Notes in Information Systems and Organisation |
| Editorial | 2018 |
Introduction to the joint international BPM 2017 workshops on theory and application of visualizations and human-centric aspects in processes (TAProViz’17), process querying (PQ’17) and process engineering (IWPE’17)
|
Lecture Notes in Business Information Processing |
| Artículo | 2018 |
Tactical Business-Process-Decision Support based on KPIs Monitoring and Validation
|
COMPUTERS IN INDUSTRY |
| Ponencia | 2017 |
A model-driven framework for domain specific process design and governance
|
CEUR workshop proceedings |
| Ponencia | 2017 |
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 |
| Ponencia | 2017 |
Governance knowledge management and decision support using fuzzy governance maps
|
Lecture Notes in Business Information Processing |
| Ponencia | 2017 |
Guiding the creation of choreographed processes with multiple instances based on data models
|
Lecture Notes in Business Information Processing |
| Ponencia | 2016 |
A usage control model extension for the verification of security policies in artifact-centric business process models
|
BUSINESS INFORMATION SYSTEMS (BIS 2016) |
| Ponencia | 2016 |
Computing alignments with constraint programming: The acyclic case
|
CEUR workshop proceedings |
| Artículo | 2016 |
Hybrid business process modeling for the optimization of outcome data
|
INFORMATION AND SOFTWARE TECHNOLOGY |
| Ponencia | 2016 |
Hybrid diagnosis applied to multiple instances in business processes
|
ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, BPMDS 2016 |
| Ponencia | 2016 |
Process Instance Query Language to Include Process Performance Indicators in DMN
|
2016 IEEE 20TH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING WORKSHOP (EDOCW) |
| Ponencia | 2016 |
Validation, diagnosis and decision-making support of data in business processes
|
Lecture Notes in Business Information Processing |
| Ponencia | 2015 |
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ículo | 2015 |
Automating correctness verification of artifact-centric business process models
|
INFORMATION AND SOFTWARE TECHNOLOGY |
| Artículo | 2015 |
Compliance validation and diagnosis of business data constraints in business processes at runtime
|
INFORMATION SYSTEMS |
| Ponencia | 2014 |
Automatic generation of questionnaires for supporting users during the execution of declarative business process models
|
Lecture Notes in Business Information Processing |
| Ponencia | 2014 |
Data state description for the migration to activity-centric business process model maintaining legacy databases
|
Lecture Notes in Business Information Processing |
| Artículo | 2014 |
Decision-Making Support for the Correctness of Input Data at Runtime in Business Processes
|
INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS |
| Ponencia | 2014 |
Prognosing the compliance of declarative business processes using event trace robustness
|
ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2014 CONFERENCES |
| Ponencia | 2014 |
Service level agreement for data quality governed by Iso 8000-1X0
|
Proceedings of the 19th International Conference on Information Quality, ICIQ 2014 |
| Artículo | 2014 |
Using Constraint Programming in Selection Operators for Constraint Databases
|
EXPERT SYSTEMS WITH APPLICATIONS |
| Ponencia | 2013 |
CombiS-BP Editor: Combining Declarative and Imperative Languages in BP Modelling
|
2013 IEEE SEVENTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS) |
| Artículo | 2013 |
Diagnosing correctness of semantic workflow models
|
DATA & KNOWLEDGE ENGINEERING |
| Ponencia | 2013 |
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) |
| Ponencia | 2013 |
I8K: An implementation of ISO 8000-1X0
|
Proceedings of the 18th International Conference on Information Quality, ICIQ 2013 |
| Artículo | 2013 |
Minimizing test-point allocation to improve diagnosability in business process models
|
JOURNAL OF SYSTEMS AND SOFTWARE |
| Ponencia | 2012 |
Extending BPMN 2.0 for modelling the combination of activities that involve data constraints
|
BUSINESS PROCESS MODEL AND NOTATION, BPMN 2012 |
| Artículo | 2012 |
Improvement of Optimization Agreements in Business Processes involving Web Services
|
IBIMA Communications |
| Ponencia | 2011 |
An Approach For Optimization Agreements In Business Processes Based On Web Services
|
CREATING GLOBAL COMPETITIVE ECONOMIES: A 360-DEGREE APPROACH, VOLS 1-4 |
| Ponencia | 2011 |
Improving the diagnosability of business process management systems using test points
|
BUSINESS PROCESS MANAGEMENT WORKSHOPS |
| Ponencia | 2011 |
Run-Time Auditing for Business Processes Data Using Constraints
|
BUSINESS PROCESS MANAGEMENT WORKSHOPS |
| Ponencia | 2011 |
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 |
| Artículo | 2010 |
A survey using constraints to decision-making for fault tolerance in Business processes
|
International Journal of Software Engineering and Its Applications |
| Ponencia | 2010 |
Contract-based Diagnosis for Business Process Instances using Business Compliance Rules
|
DX 2010: 21th International Workshop on Principles of Diagnosis (2010). |
| Ponencia | 2010 |
Determination of an optimal test points allocation for business process analysis
|
2010 IEEE/IFIP Network Operations and Management Symposium Workshops, NOMS 2010 |
| Ponencia | 2010 |
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. |
| Ponencia | 2010 |
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). |
| Artículo | 2009 |
Determination of Possible Minimal Conflict Sets Using Components Clusters and Gröbner Bases
|
DX04, 15th International Workshop on Principles of Diagnosis, Carcassonne, France |
| Artículo | 2009 |
Developing a labelled object-relational constraint database architecture for the projection operator
|
DATA & KNOWLEDGE ENGINEERING |
| Ponencia | 2008 |
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ículo | 2007 |
A compiled model for faults diagnosis based on different techniques
|
AI COMMUNICATIONS |
| Capítulo | 2007 |
Improving the determination of minimal hitting sets in model-based diagnosis using constraint databases
|
Fault Detection, Supervision and Safety of Technical Processes 2006 |
| Ponencia | 2007 |
NMUS: structural analysis for improving the derivation of All MUSes in overconstrained numeric CSPs
|
CAEPIA-TTIA 2007: actas |
| Ponencia | 2006 |
Distributed model-based diagnosis using object-relational constraint databases
|
20TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOL 2, PROCEEDINGS |
| Ponencia | 2006 |
Improving the determination of minimal hitting sets in model-based diagnosis using constraint databases
|
IFAC Proceedings Volumes (IFAC-PapersOnline) |
| Artículo | 2006 |
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 |
| Ponencia | 2005 |
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ículo | 2005 |
Analysis and visualization of the DX community with information extracted from the web
|
DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS |
| Capítulo | 2005 |
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 |
| Artículo | 2005 |
Querying a polynomial object-relational constraint database in model-based diagnosis
|
DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS |
| Ponencia | 2004 |
Constraint Databases Technology for Polynomial Models Diagnosis
|
DX 2004: 15th International Workshop on Principles of Diagnosis (2004), pp. 215-.. |
| Artículo | 2004 |
Determination of possible minimal conflict sets using constraint databases technology and clustering
|
ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2004 |
| Artículo | 2002 |
UN MODELO CSP PARA PLANIFICACIÓN DE LA SUSTITUCIÓN ÓPTIMA DE PIEZAS DEFECTUOSAS
|
Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial |
