Follow
Hugo Andrés López
Title
Cited by
Cited by
Year
Protocol-based verification of message-passing parallel programs
HA López, ERB Marques, F Martins, N Ng, C Santos, VT Vasconcelos, ...
ACM SIGPLAN Notices 50 (10), 280-298, 2015
672015
The biggest business process management problems to solve before we die
I Beerepoot, C Di Ciccio, HA Reijers, S Rinderle-Ma, W Bandara, ...
Computers in Industry 146, 103837, 2023
612023
The Process Highlighter: From Texts to Declarative Processes and Back
HA López, S Debois, TT Hildebrandt, M Marquard
International Conference on Business Process Management (BPM) 2196, 66-70, 2018
36*2018
Enforcing Availability in Failure-Aware Communicating Systems
HA Lopez, F Nielson, HR Nielson
Formal Techniques for Distributed Objects, Components, and Systems 9688, 195-211, 2016
312016
Exploring the modeling of declarative processes using a hybrid approach
A Abbad Andaloussi, J Buch-Lorentsen, HA López, T Slaats, B Weber
International conference on conceptual modeling, 162-170, 2019
262019
Towards a Unified Framework for Declarative Structured Communications
H Lopez, C Olarte, J Perez
Proc. of PLACES 9, 15p, 2009
262009
Choreographing cyber-physical distributed control systems for the energy sector
HA López, K Heussen
Proceedings of the Symposium on Applied Computing, 437-443, 2017
252017
Assisted declarative process creation from natural language descriptions
HA López, M Marquard, L Muttenthaler, R Strømsted
2019 IEEE 23rd International Enterprise Distributed Object Computing …, 2019
202019
Ecoknow: Engineering effective, co-created and compliant adaptive case management systems for knowledge workers
TT Hildebrandt, AA Andaloussi, LR Christensen, S Debois, NP Healy, ...
Proceedings of the international conference on software and system processes …, 2020
182020
Business Process Compliance Using Reference Models of Law.
HA López, S Debois, T Slaats, TT Hildebrandt
International Conference on Fundamental Approaches to Software Engineering …, 2020
172020
Understanding quality in declarative process modeling through the mental models of experts
A Abbad Andaloussi, CJ Davis, A Burattin, HA López, T Slaats, B Weber
International conference on business process management, 417-434, 2020
152020
Declarative Choreographies and Liveness
TT Hildebrandt, T Slaats, HA López, S Debois, M Carbone
Formal Techniques for Distributed Objects, Components, and Systems 11535 …, 2019
152019
Goal-equivalent secure business process re-engineering
HA López, F Massacci, N Zannone
Service-Oriented Computing-ICSOC 2007 Workshops: ICSOC 2007, International …, 2009
142009
Dynamic Evaluation Forms using Declarative Modeling
R Strømsted, HA López, S Debois, M Marquard
International Conference on Business Process Management 2196, 172-179, 2018
132018
A declarative framework for security: Secure concurrent constraint programming
HA López, C Palamidessi, JA Pérez, C Rueda, FD Valencia
International Conference on Logic Programming, 449-450, 2006
132006
Types for secure pattern matching with local knowledge in universal concurrent constraint programming
T Hildebrandt, HA López
International Conference on Logic Programming, 417-431, 2009
122009
Time and exceptional behavior in multiparty structured interactions
HA López, JA Pérez
In proc. of Web Services and Formal Methods, 48-63, 2011
92011
A logic for choreographies
M Carbone, D Grohmann, TT Hildebrandt, HA López
Arxiv preprint arXiv:1110.4159, 2011
8*2011
Declarative process discovery: Linking process and textual views
HA López, R Strømsted, JM Niyodusenga, M Marquard
International Conference on Advanced Information Systems Engineering, 109-117, 2021
72021
Chain of events: modular process models for the law
S Debois, HA López, T Slaats, AA Andaloussi, TT Hildebrandt
International Conference on Integrated Formal Methods, 368-386, 2020
72020
The system can't perform the operation now. Try again later.
Articles 1–20