Hugo A. López

According to our database, Hugo A. López authored at least 42 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review.

Hugo A. López, Thomas T. Hildebrandt

CoRR, 2024

DCR4Py: A PM4Py Library extension for Declarative Process Mining in Python.

Simon V. H. Hermansen, Ragnar Jónsson, Jonas L. Kjeldsen, Tijs Slaats, Vlad Paul Cosma, Hugo A. López

Proceedings of the Doctoral Consortium and Demo Track 2024 at the International Conference on Process Mining 2024 co-located with the 6th International Conference on Process Mining (ICPM 2024), 2024

3DCR: A Tool for Immersive Process Mining.

Juanita Caballero-Villalobos, Simon James Jensen, Hugo-Andrés López-Acosta

Proceedings of the Doctoral Consortium and Demo Track 2024 at the International Conference on Process Mining 2024 co-located with the 6th International Conference on Process Mining (ICPM 2024), 2024

Towards Immersive Environments for Declarative Process Models.

Simon James Jensen, Hugo A. López

Proceedings of the Business Process Management Forum, 2024

Exploring the Cognitive Effects of Ambiguity in Process Models.

Marco Franceschetti, Amine Abbad Andaloussi, Clemens Schreiber, Hugo A. López, Barbara Weber

Proceedings of the Business Process Management - 22nd International Conference, 2024

2023

Ambiguity Taxonomy Development Iterations.

Marco Franceschetti, Ronny Seiger, Hugo A. López, Andrea Burattin, Luciano García-Bañuelos, Barbara Weber

Dataset, August, 2023

A Characterization of Ambiguity in BPM.

Marco Franceschetti, Ronny Seiger, Hugo A. López, Andrea Burattin, Luciano García-Bañuelos, Barbara Weber

Dataset, May, 2023

The biggest business process management problems to solve before we die.

Iris Beerepoot, Claudio Di Ciccio, Hajo A. Reijers, Stefanie Rinderle-Ma, Wasana Bandara, Andrea Burattin, Diego Calvanese, Tianwa Chen, Izack Cohen, Benoît Depaire, Gemma Di Federico, Marlon Dumas, Christopher G. J. van Dun, Tobias Fehrer, Dominik Andreas Fischer, Avigdor Gal, Marta Indulska, Vatche Isahagian, Christopher Klinkmüller, Wolfgang Kratsch, Henrik Leopold, Amy Van Looy, Hugo A. López, Sanja Lukumbuzya, Jan Mendling, Lara Meyers, Linda Moder, Marco Montali, Vinod Muthusamy, Manfred Reichert, Yara Rizk, Michael Rosemann, Maximilian Röglinger, Shazia Sadiq, Ronny Seiger, Tijs Slaats, Mantas Simkus, Ida Asadi Someh, Barbara Weber, Ingo Weber, Mathias Weske, Francesca Zerbato

Comput. Ind., April, 2023

A Characterisation of Ambiguity in BPM.

Marco Franceschetti, Ronny Seiger, Hugo A. López, Andrea Burattin, Luciano García-Bañuelos, Barbara Weber

Proceedings of the Conceptual Modeling - 42nd International Conference, 2023

On the Semantic Transparency of Declarative Process Models: The Case of Constraints.

Dung My Thi Trinh, Amine Abbad Andaloussi, Hugo A. López

Proceedings of the Cooperative Information Systems - 29th International Conference, 2023

An Open-Source Modeling Editor for Declarative Process Models.

Lucien Kiven Tamo, Amine Abbad Andaloussi, Dung My Thi Trinh, Hugo A. López

Proceedings of the Demonstration Track co-located with the International Conference on Cooperative Information Systems 2023, 2023

Declarative Choreographies with Time and Data.

Thomas T. Hildebrandt, Hugo A. López, Tijs Slaats

Proceedings of the Business Process Management Forum, 2023

Pareto-Optimal Trace Generation from Declarative Process Models.

Juan Francisco Díaz, Hugo A. López, Luis Quesada, Juan C. Rosero

Proceedings of the Business Process Management Workshops, 2023

2022

A Type Discipline for Message Passing Parallel Programs.

Vasco T. Vasconcelos, Francisco Martins, Hugo-Andrés López, Nobuko Yoshida

ACM Trans. Program. Lang. Syst., December, 2022

A Monitoring and Discovery Approach for Declarative Processes Based on Streams.

Andrea Burattin, Hugo A. López, Lasse Starklit

CoRR, 2022

Session-based concurrency, declaratively.

Mauricio Cano, Hugo A. López, Jorge A. Pérez, Camilo Rueda

Acta Informatica, 2022

How to (re)design declarative process notations? A view from the lens of cognitive effectiveness frameworks.

Hugo A. López, Vít Dexter Simon

Proceedings of the Forum at Practice of Enterprise Modeling 2022 (PoEM-Forum 2022) co-located with PoEM 2022, 2022

Uncovering Change: A Streaming Approach for Declarative Processes.

Andrea Burattin, Hugo A. López, Lasse Starklit

Proceedings of the Process Mining Workshops, 2022

2021

Declarative Process Discovery: Linking Process and Textual Views.

Hugo A. López, Rasmus Strømsted, Jean-Marie Niyodusenga, Morten Marquard

Proceedings of the Intelligent Information Systems - CAiSE Forum 2021, Melbourne, VIC, Australia, June 28, 2021

Challenges in Legal Process Discovery.

Hugo A. López

Proceedings of the 1st Italian Forum on Business Process Management co-located with the 19th International Conference of Business Process Management (BPM 2021), 2021

Exploring the Conformance Space (Extended abstract).

Andrea Burattin, Alessandro Gianola, Hugo A. López, Marco Montali

Proceedings of the 1st Italian Forum on Business Process Management co-located with the 19th International Conference of Business Process Management (BPM 2021), 2021

2020

EcoKnow: Engineering Effective, Co-created and Compliant Adaptive Case Management Systems for Knowledge Workers.

Thomas T. Hildebrandt, Amine Abbad Andaloussi, Lars Rune Christensen, Søren Debois, Nicklas Pape Healy, Hugo A. López, Morten Marquard, Naja L. Holten Møller, Anette C. M. Petersen, Tijs Slaats, Barbara Weber

Proceedings of the ICSSP '20: International Conference on Software and System Processes, 2020

Chain of Events: Modular Process Models for the Law.

Søren Debois, Hugo A. López, Tijs Slaats, Amine Abbad Andaloussi, Thomas T. Hildebrandt

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

Business Process Compliance Using Reference Models of Law.

Hugo A. López, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt

Proceedings of the Fundamental Approaches to Software Engineering, 2020

Understanding Quality in Declarative Process Modeling Through the Mental Models of Experts.

Amine Abbad Andaloussi, Christopher John Davis, Andrea Burattin, Hugo A. López, Tijs Slaats, Barbara Weber

Proceedings of the Business Process Management - 18th International Conference, 2020

2019

Declarative Choreographies and Liveness.

Thomas T. Hildebrandt, Tijs Slaats, Hugo A. López, Søren Debois, Marco Carbone

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

Exploring the Modeling of Declarative Processes Using a Hybrid Approach.

Amine Abbad Andaloussi, Jon Buch-Lorentsen, Hugo A. López, Tijs Slaats, Barbara Weber

Proceedings of the Conceptual Modeling - 38th International Conference, 2019

Assisted Declarative Process Creation from Natural Language Descriptions.

Hugo A. López, Morten Marquard, Lukas Muttenthaler, Rasmus Strømsted

Proceedings of the 23rd IEEE International Enterprise Distributed Object Computing Workshop, 2019

2018

Dynamic Evaluation Forms using Declarative Modeling.

Rasmus Strømsted, Hugo A. López, Søren Debois, Morten Marquard

Proceedings of the Dissertation Award, 2018

The Process Highlighter: From Texts to Declarative Processes and Back.

Hugo A. López, Søren Debois, Thomas T. Hildebrandt, Morten Marquard

Proceedings of the Dissertation Award, 2018

2017

Choreographing cyber-physical distributed control systems for the energy sector.

Hugo A. López, Kai Heussen

Proceedings of the Symposium on Applied Computing, 2017

2016

A Theory of Available-by-Design Communicating Systems.

Hugo A. López, Flemming Nielson, Hanne Riis Nielson

CoRR, 2016

Enforcing Availability in Failure-Aware Communicating Systems.

Hugo A. López, Flemming Nielson, Hanne Riis Nielson

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

2015

Declarative interpretations of session-based concurrency.

Mauricio Cano, Camilo Rueda, Hugo A. López, Jorge A. Pérez

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

Protocol-based verification of message-passing parallel programs.

Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2011

Time and Exceptional Behavior in Multiparty Structured Interactions.

Hugo A. López, Jorge A. Pérez

Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011

2010

A Logic for Choreographies

Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt, Hugo A. López

Proceedings of the Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, 2010

Models for Trustworthy Service and Process Oriented Systems.

Hugo A. López

Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

2009

Towards a Unified Framework for Declarative Structured Communications

Hugo A. López, Carlos Olarte, Jorge A. Pérez

Proceedings of the Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2009

Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming.

Thomas T. Hildebrandt, Hugo A. López

Proceedings of the Logic Programming, 25th International Conference, 2009

2007

Goal-Equivalent Secure Business Process Re-engineering.

Hugo A. López, Fabio Massacci, Nicola Zannone

Proceedings of the Service-Oriented Computing, 2007

2006

A Declarative Framework for Security: Secure Concurrent Constraint Programming.

Hugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank D. Valencia

Proceedings of the Logic Programming, 22nd International Conference, 2006