Hugo A. López

49 papers A 6B 8C 3Misc 1Journal 8Unranked 22

Year	Rank	Type	Title / Venue / Authors
2025	A	`conf`	Ambiguity Detection in Business Process Descriptions: An Evidence and an Automated Approach. BPM Hugo A. López, BingKun Feng, Jonas Lindner, Marco Franceschetti, Amine Abbad-Andaloussi
2025	J	`jnl`	BEST: A Unified Business Process Enactment via Streams and Tables for Service Computing. CoRR Ahmed Awad, Feras M. Awaysheh, Hugo A. López
2025	J	`jnl`	BEST: a unified business process enactment via streams and tables for service computing. Process Sci. Ahmed Awad, Feras Awaysheh, Hugo A. López
2025	—	`conf`	DCR‑JS: An Online Environment for Declarative Process Mining. BPM (Demos / Resources Forum) Axel Kjeld Fjelrad Christfort, Hugo A. López
2025	B	`conf`	Data Integrity-by-Design: Combining Declarative Object-Centric Choreographies and Entity Relationship Models. CoopIS Tilman Zuckmantel, Hugo A. López, Yongluan Zhou, Boris Düdder, Thomas T. Hildebrandt
2025	—	`conf`	High-Level Requirements-Driven Business Process Compliance. BPM (Forum) Juanita Caballero-Villalobos, Andrea Burattin, Hugo A. López
2025	—	`conf`	Kogi: A Tool for Assessing High‑Level Business Process Compliance. BPM (Demos / Resources Forum) Juanita Caballero-Villalobos, Hugo A. López
2025	J	`jnl`	When a model gives you mixed signals: cognitive effects and visual behavior. Process Sci. Amine Abbad-Andaloussi, Marco Franceschetti, Hugo A. López, Clemens Schreiber, Barbara Weber
2024	B	`conf`	Automating Pathway Extraction from Clinical Guidelines: A Conceptual Model, Datasets and Initial Experiments. CoopIS Daniel Grathwol, Han van der Aa, Hugo A. López
2024	—	`conf`	DCR4Py: A PM4Py Library extension for Declarative Process Mining in Python. ICPM Doctoral Consortium / Demo Simon V. H. Hermansen, Ragnar Jónsson, Jonas L. Kjeldsen, Tijs Slaats, Vlad Paul Cosma, Hugo A. López
2024	A	`conf`	Exploring the Cognitive Effects of Ambiguity in Process Models. BPM Marco Franceschetti, Amine Abbad-Andaloussi, Clemens Schreiber, Hugo A. López, Barbara Weber
2024	—	`ed.`	Proceedings of the 1st International Workshop on Processes, Laws and Compliance co-located with 6th International Conference on Process Mining (ICPM 2024), Lyngby, Denmark, October 14, 2024 . PLC@ICPM Laura Genga, Hugo A. López, Emilio Sulis
2024	J	`jnl`	Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review. CoRR Hugo A. López, Thomas T. Hildebrandt
2024	—	`conf`	Towards Immersive Environments for Declarative Process Models. BPM (Forum) Simon James Jensen, Hugo A. López
2023	A	`conf`	A Characterisation of Ambiguity in BPM. ER Marco Franceschetti, Ronny Seiger, Hugo A. López, Andrea Burattin, Luciano García-Bañuelos, Barbara Weber
2023	—	`conf`	An Open-Source Modeling Editor for Declarative Process Models. CoopIS (Demos) Lucien Kiven Tamo, Amine Abbad-Andaloussi, Dung My Thi Trinh, Hugo A. López
2023	—	`conf`	Declarative Choreographies with Time and Data. BPM (Forum) Thomas T. Hildebrandt, Hugo A. López, Tijs Slaats
2023	B	`conf`	On the Semantic Transparency of Declarative Process Models: The Case of Constraints. CoopIS Dung My Thi Trinh, Amine Abbad-Andaloussi, Hugo A. López
2023	—	`conf`	Pareto-Optimal Trace Generation from Declarative Process Models. Business Process Management Workshops Juan Francisco Díaz, Hugo A. López, Luis Quesada, Juan C. Rosero
2023	J	`jnl`	The biggest business process management problems to solve before we die. Comput. Ind. 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
2022	J	`jnl`	A Monitoring and Discovery Approach for Declarative Processes Based on Streams. CoRR Andrea Burattin, Hugo A. López, Lasse Starklit
2022	—	`conf`	Can AMR Assist Legal and Logical Reasoning? EMNLP (Findings) Nikolaus Schrack, Ruixiang Cui, Hugo A. López, Daniel Hershcovich
2022	—	`conf`	How to (re)design declarative process notations? A view from the lens of cognitive effectiveness frameworks. PoEM (Forum) Hugo A. López, Vít Dexter Simon
2022	J	`jnl`	Session-based concurrency, declaratively. Acta Informatica Mauricio Cano, Hugo A. López, Jorge A. Pérez, Camilo Rueda
2022	—	`conf`	Uncovering Change: A Streaming Approach for Declarative Processes. ICPM Workshops Andrea Burattin, Hugo A. López, Lasse Starklit
2021	—	`conf`	Challenges in Legal Process Discovery. ITBPM@BPM Hugo A. López
2021	—	`conf`	Declarative Process Discovery: Linking Process and Textual Views. CAiSE Forum Hugo A. López, Rasmus Strømsted, Jean-Marie Niyodusenga, Morten Marquard
2021	—	`conf`	Exploring the Conformance Space (Extended abstract). ITBPM@BPM Andrea Burattin, Alessandro Gianola, Hugo A. López, Marco Montali
2020	B	`conf`	Business Process Compliance Using Reference Models of Law. FASE Hugo A. López, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt
2020	B	`conf`	Chain of Events: Modular Process Models for the Law. IFM Søren Debois, Hugo A. López, Tijs Slaats, Amine Abbad Andaloussi, Thomas T. Hildebrandt
2020	B	`conf`	EcoKnow: Engineering Effective, Co-created and Compliant Adaptive Case Management Systems for Knowledge Workers. ICSSP 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
2020	A	`conf`	Understanding Quality in Declarative Process Modeling Through the Mental Models of Experts. BPM Amine Abbad Andaloussi, Christopher John Davis, Andrea Burattin, Hugo A. López, Tijs Slaats, Barbara Weber
2019	—	`conf`	Assisted Declarative Process Creation from Natural Language Descriptions. EDOC Workshops Hugo A. López, Morten Marquard, Lukas Muttenthaler, Rasmus Strømsted
2019	C	`conf`	Declarative Choreographies and Liveness. FORTE Thomas T. Hildebrandt, Tijs Slaats, Hugo A. López, Søren Debois, Marco Carbone
2019	A	`conf`	Exploring the Modeling of Declarative Processes Using a Hybrid Approach. ER Amine Abbad Andaloussi, Jon Buch-Lorentsen, Hugo A. López, Tijs Slaats, Barbara Weber
2018	—	`conf`	Dynamic Evaluation Forms using Declarative Modeling. BPM (Dissertation/Demos/Industry) Rasmus Strømsted, Hugo A. López, Søren Debois, Morten Marquard
2018	—	`conf`	The Process Highlighter: From Texts to Declarative Processes and Back. BPM (Dissertation/Demos/Industry) Hugo A. López, Søren Debois, Thomas T. Hildebrandt, Morten Marquard
2017	Misc	`conf`	Choreographing cyber-physical distributed control systems for the energy sector. SAC Hugo A. López, Kai Heussen
2016	J	`jnl`	A Theory of Available-by-Design Communicating Systems. CoRR Hugo A. López, Flemming Nielson, Hanne Riis Nielson
2016	C	`conf`	Enforcing Availability in Failure-Aware Communicating Systems. FORTE Hugo A. López, Flemming Nielson, Hanne Riis Nielson
2015	C	`conf`	Declarative interpretations of session-based concurrency. PPDP Mauricio Cano, Camilo Rueda, Hugo A. López, Jorge A. Pérez
2015	A	`conf`	Protocol-based verification of message-passing parallel programs. OOPSLA Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida
2011	—	`conf`	Time and Exceptional Behavior in Multiparty Structured Interactions. WS-FM Hugo A. López, Jorge A. Pérez
2010	—	`conf`	A Logic for Choreographies PLACES Marco Carbone, Davide Grohmann, Thomas T. Hildebrandt, Hugo A. López
2010	—	`conf`	Models for Trustworthy Service and Process Oriented Systems. ICLP (Technical Communications) Hugo A. López
2009	—	`conf`	Towards a Unified Framework for Declarative Structured Communications PLACES Hugo A. López, Carlos Olarte, Jorge A. Pérez
2009	B	`conf`	Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming. ICLP Thomas T. Hildebrandt, Hugo A. López
2007	—	`conf`	Goal-Equivalent Secure Business Process Re-engineering. ICSOC Workshops Hugo A. López, Fabio Massacci, Nicola Zannone
2006	B	`conf`	A Declarative Framework for Security: Secure Concurrent Constraint Programming. ICLP Hugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank D. Valencia