Hugo A. López

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 18

Top Topics

Natural Language Descriptions

Declarative Knowledge

Knowledge Workers

Top Venues

BPM (Dissertation/Demos/Industry)

Publications

Juan F. Diaz, Hugo A. López, Luis Quesada, Juan C. Rosero
Pareto-Optimal Trace Generation from Declarative Process Models. Business Process Management Workshops (2023)
Mauricio Cano, Hugo A. López, Jorge A. Pérez, Camilo Rueda
Session-based concurrency, declaratively. Acta Informatica 59 (1) (2022)
Andrea Burattin, Hugo A. López, Lasse Starklit
A Monitoring and Discovery Approach for Declarative Processes Based on Streams. CoRR (2022)
Hugo A. López
Challenges in Legal Process Discovery. ITBPM@BPM (2021)
Andrea Burattin, Alessandro Gianola, Hugo A. López, Marco Montali
Exploring the Conformance Space (Extended abstract). ITBPM@BPM (2021)
Hugo A. López, Rasmus Strømsted, Jean-Marie Niyodusenga, Morten Marquard
Declarative Process Discovery: Linking Process and Textual Views. CAiSE Forum (2021)
Hugo A. López, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt
Business Process Compliance Using Reference Models of Law. FASE (2020)
Amine Abbad Andaloussi, Christopher John Davis, Andrea Burattin, Hugo A. López, Tijs Slaats, Barbara Weber
Understanding Quality in Declarative Process Modeling Through the Mental Models of Experts. BPM (2020)
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
EcoKnow: Engineering Effective, Co-created and Compliant Adaptive Case Management Systems for Knowledge Workers. ICSSP (2020)
Søren Debois, Hugo A. López, Tijs Slaats, Amine Abbad Andaloussi, Thomas T. Hildebrandt
Chain of Events: Modular Process Models for the Law. IFM (2020)
Amine Abbad Andaloussi, Jon Buch-Lorentsen, Hugo A. López, Tijs Slaats, Barbara Weber
Exploring the Modeling of Declarative Processes Using a Hybrid Approach. ER (2019)
Hugo A. López, Morten Marquard, Lukas Muttenthaler, Rasmus Strømsted
Assisted Declarative Process Creation from Natural Language Descriptions. EDOC Workshops (2019)
Thomas T. Hildebrandt, Tijs Slaats, Hugo A. López, Søren Debois, Marco Carbone
Declarative Choreographies and Liveness. FORTE (2019)
Hugo A. López, Søren Debois, Thomas T. Hildebrandt, Morten Marquard
The Process Highlighter: From Texts to Declarative Processes and Back. BPM (Dissertation/Demos/Industry) (2018)
Rasmus Strømsted, Hugo A. López, Søren Debois, Morten Marquard
Dynamic Evaluation Forms using Declarative Modeling. BPM (Dissertation/Demos/Industry) (2018)
Hugo A. López, Kai Heussen
Choreographing cyber-physical distributed control systems for the energy sector. SAC (2017)
Hugo A. López, Flemming Nielson, Hanne Riis Nielson
Enforcing Availability in Failure-Aware Communicating Systems. FORTE (2016)
Hugo A. López, Flemming Nielson, Hanne Riis Nielson
A Theory of Available-by-Design Communicating Systems. CoRR (2016)
Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida
Protocol-based verification of message-passing parallel programs. OOPSLA (2015)
Mauricio Cano, Camilo Rueda, Hugo A. López, Jorge A. Pérez
Declarative interpretations of session-based concurrency. PPDP (2015)
Hugo A. López, Jorge A. Pérez
Time and Exceptional Behavior in Multiparty Structured Interactions. WS-FM (2011)
Hugo A. López
Models for Trustworthy Service and Process Oriented Systems. ICLP (Technical Communications) (2010)
Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt, Hugo A. López
A Logic for Choreographies PLACES (2010)
Hugo A. López, Carlos Olarte, Jorge A. Pérez
Towards a Unified Framework for Declarative Structured Communications PLACES (2009)
Thomas T. Hildebrandt, Hugo A. López
Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming. ICLP (2009)
Hugo A. López, Fabio Massacci, Nicola Zannone
Goal-Equivalent Secure Business Process Re-engineering. ICSOC Workshops (2007)
Hugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank D. Valencia
A Declarative Framework for Security: Secure Concurrent Constraint Programming. ICLP (2006)