High-Level Requirements-Driven Business Process Compliance
Summary
book-chapter
Hugo-Andrés López
Work
Technical University of Denmark
Denmark
Københavns Universitet
Denmark
Technical University of Denmark
|Associate Professor
Denmark
→
Education
IT-Universitet i København
Denmark
→
Ph.D. in Computer Science
IT-Universitet i København
Denmark
→
MSc. in Software Development and Technologies (Cand.IT)
Pontificia Universidad Javeriana - Cali
Colombia
→
Engineering Degree in Computer Science (Ingeniero de Sistemas y Computación)
Publications
Ambiguity Detection in Business Process Descriptions: An Evidence and an Automated Approach
Summary
book-chapter
Automating Pathway Extraction from Clinical Guidelines: A Conceptual Model, Datasets and Initial Experiments
Published by
Proceedings of the 30th International Conference Cooperative Information Systems
Summary
conference-paper
High-Level Requirements-Driven Business Process Compliance
Published by
Proceedings of the 23rd International Conference on Business Process Management (BPM 2025)
Summary
conference-paper
Emerging challenges in legal informatics from machine learning to LLMs - Preface to the proceedings of the 1st PLC workshop
Published by
Proceedings of the 1st Internation Workshop on Processes, Laws and Compliance
Summary
book-chapter
Exploring the Cognitive Effects of Ambiguity in Process Models
Published by
22nd International Conference on Business Process Management
Summary
conference-paper
On the Semantic Transparency of Declarative Process Models: The Case of Constraints
Summary
book-chapter
Towards Immersive Environments for Declarative Process Models
Summary
book-chapter
Pareto-Optimal Trace Generation from Declarative Process Models
Published by
Proceedings of the 11<sup>th</sup> International Workshop on DEClarative, DECision and Hybrid approaches to processes (DEC2H 2023)
Summary
conference-paper
Towards Immersive Environments for Declarative Process Models
Published by
Proceedings of The 22nd International Conference on Business Process Management 2024
Summary
conference-paper
3DCR: A Tool for Immersive Process Mining
Published by
Proceedings of the 6th International Conference on Process Mining
Summary
conference-paper
DCR4Py: A PM4Py Library Extension for Declarative Process Mining in Python
Published by
Proceedings of the ICPM 2024 Tool Demonstration Track
Summary
conference-paper
An Open-Source Modeling Editor for Declarative Process Models
Published by
Proceedings of the Demonstration Track at International Conference on Cooperative Information Systems 2023
Summary
conference-paper
On the Semantic Transparency of Declarative Process Models
Published by
Proceedings of the Research Track at International Conference on Cooperative Information Systems 2023
Summary
conference-paper
The biggest business process management problems to solve before we die
Published by
Computers in Industry
Summary
journal-article
A Characterisation of Ambiguity in BPM
Summary
book-chapter
A Characterisation of Ambiguity in BPM
Published by
Proceedings of the 42nd International Conference on Conceptual Modeling (ER)
Summary
conference-paper
Declarative Choreographies with Time and Data
Summary
book-chapter
Declarative Choreographies with Time and Data
Published by
Proceedings of the the 21st International Conference of Business Process Management
Summary
conference-paper
Uncovering Change: A Streaming Approach for Declarative Processes
Published by
Proceedings of Process Mining Workshops
Summary
conference-paper
A Type Discipline for Message Passing Parallel Programs
Published by
ACM Transactions on Programming Languages and Systems
Summary
journal-article
Session-based concurrency, declaratively
Published by
Acta Informatica
Summary
journal-article
Can AMR Assist Legal and Logical Reasoning?
Published by
Findings of the Association for Computational Linguistics
Summary
conference-paper
Session-based concurrency, declaratively
Published by
Acta Informatica
Summary
journal-article
How to (re)design declarative process notations? A view from the lens of cognitive effectiveness frameworks
Published by
Proceedings of 15<sup>th</sup> IFIP Working Conference on the Practice of Enterprise Modeling 2022
Summary
conference-paper
Challenges in legal process discovery
Published by
Proceedings of the 1st Italian Forum on Business Process Management (ITBPM 2021), Rome, Italy, September 10th, 2021.
Summary
conference-paper
Declarative Process Discovery: Linking Process and Textual Views
Summary
book-chapter
Exploring the conformance space (extended abstract)
Published by
Proceedings of the 1st Italian Forum on Business Process Management (ITBPM 2021), Rome, Italy, September 10th, 2021
Summary
conference-paper
Message from the TrECEC 2021 Workshop Chairs
Published by
Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOCW
Summary
book-chapter
EcoKnow
Published by
ICSSP '20: Proceedings of the International Conference on Software and System Processes
Summary
conference-paper
Digital Experiences in Creating Digital Services
Published by
Journal of the Belarusian State University. International Relations
Summary
journal-article
Business process compliance using reference models of law
Published by
Fundamental Approaches to Software Engineering
Summary
conference-paper
Business Process Compliance Using Reference Models of Law
Summary
book-chapter
Chain of Events
Published by
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings
Summary
conference-paper
Understanding quality in declarative process modeling through the mental models of experts
Published by
Business Process Management
Summary
conference-paper
Preface
Published by
Electronic Proceedings in Theoretical Computer Science, EPTCS
Summary
conference-paper
Assisted declarative process creation from natural language descriptions
Published by
Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOCW
Summary
conference-paper
Assisted declarative process creation from natural language descriptions
Published by
Proceedings - 2019 IEEE 23rd International Enterprise Distributed Object Computing Workshop, EDOCW 2019
Summary
conference-paper
Declarative Choreographies and Liveness
Published by
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Summary
book
Declarative Choreographies and Liveness
Summary
book-chapter
Declarative Choreographies and Liveness
Published by
Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Proceedings
Summary
conference-paper
Exploring the modeling of declarative processes using a hybrid approach
Published by
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Summary
book
Exploring the modeling of declarative processes using a hybrid approach
Published by
Conceptual Modeling - 38th International Conference, ER 2019, Proceedings
Summary
conference-paper
Preface
Published by
Electronic Proceedings in Theoretical Computer Science, EPTCS
Summary
other
Dynamic evaluation forms using declarative modeling
Published by
CEUR Workshop Proceedings
Summary
conference-paper
Dynamic evaluation forms using declarative modeling
Published by
CEUR Workshop Proceedings
Summary
journal-article
The process highlighter: From texts to declarative processes and back
Published by
CEUR Workshop Proceedings
Summary
conference-paper
The Process Highlighter: From Texts to Declarative Processes and Back
Published by
CEUR Workshop Proceedings
Summary
journal-article
Choreographing cyber-physical distributed control systems for the energy sector
Published by
Proceedings of the ACM Symposium on Applied Computing
Summary
conference-paper
Choreographing cyber-physical distributed control systems for the energy sector
Published by
32nd Annual ACM Symposium on Applied Computing, SAC 2017
Summary
conference-paper
Choreographing Cyber-Physical Distributed Control Systems for the Energy Sector
Published by
Proceedings of SAC 2017
Summary
conference-paper
A Theory of Available-by-Design Communicating Systems
Summary
journal-article
A Theory of Available-by-Design Communicating Systems
Published by
CoRR
Summary
journal-article
Enforcing availability in failure-aware communicating systems
Published by
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Summary
book
Enforcing availability in failure-aware communicating systems
Published by
Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016 Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Proceedings
Summary
conference-paper
Enforcing Availability in Failure-Aware Communicating Systems
Published by
Proceedings of the 36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2016)
Summary
conference-paper
Declarative interpretations of session-based concurrency
Published by
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015
Summary
conference-paper
Declarative interpretations of session-based concurrency
Published by
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015
Summary
conference-paper
Declarative interpretations of session-based concurrency
Published by
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015
Summary
conference-paper
Declarative interpretations of session-based concurrency
Published by
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming (PPDP '15)
Summary
conference-paper
Protocol-based verification of message-passing parallel programs
Published by
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2015, part of SLASH 2015, Pittsburgh, PA, USA, October 25-30, 2015
Summary
conference-paper
Protocol-based verification of message-passing parallel programs
Published by
Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA
Summary
conference-paper
Protocol-based verification of message-passing parallel programs
Published by
OOPSLA 2015 - Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications
Summary
conference-paper
Protocol-Based Verification of Message-Passing Parallel Programs
Published by
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015
Summary
conference-paper
Foundations of Communication-Centred Programming: Calculi, Logics & Types
Summary
dissertation-thesis
Time and exceptional behavior in multiparty structured interactions
Published by
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Summary
book
Time and Exceptional Behavior in Multiparty Structured Interactions
Published by
Web Services and Formal Methods
Summary
other
Time and exceptional behavior in multiparty structured interactions
Published by
Web Services and Formal Methods - 8th International Workshop, WS-FM 2011, Revised Selected Papers
Summary
conference-paper
A Logic for Choreographies
Published by
Electronic Proceedings in Theoretical Computer Science
Summary
journal-article
A Logic for Choreographies
Published by
EPTCS
Summary
journal-article
Towards a Unified Framework for Declarative Structured Communications
Published by
EPTCS
Summary
journal-article
Towards a unified framework for declarative structured communications
Published by
Electronic Proceedings in Theoretical Computer Science, EPTCS
Summary
conference-paper
Towards a unified framework for declarative structured communications
Published by
Electronic Proceedings in Theoretical Computer Science, EPTCS
Summary
journal-article
Models for trustworthy service and process oriented systems
Published by
Leibniz International Proceedings in Informatics, LIPIcs
Summary
conference-paper
Models for trustworthy service and process oriented systems
Published by
Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010
Summary
conference-paper
Goal-equivalent secure business process re-engineering
Published by
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Summary
book
Goal-Equivalent Secure Business Process Re-engineering
Published by
Service-Oriented Computing - ICSOC 2007 Workshops
Summary
other
Goal-equivalent secure business process re-engineering
Published by
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Summary
journal-article
Types for secure pattern matching with local knowledge in universal concurrent constraint programming
Published by
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Summary
book
Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming
Published by
Logic Programming
Summary
other
Types for secure pattern matching with local knowledge in universal concurrent constraint programming
Published by
Logic Programming - 25th International Conference, ICLP 2009, Proceedings
Summary
conference-paper
A Declarative Framework for Security: Secure Concurrent Constraint Programming
Published by
Logic Programming
Summary
other
A declarative framework for security: Secure concurrent constraint programming
Published by
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Summary
book
A declarative framework for security
Published by
Logic Programming - 22nd International Conference, ICLP 2006, Proceedings
Summary
conference-paper
A Declarative Framework for Security: Secure Concurrent Constraint Programming
Published by
Logic Programming
Summary
other