Hugo Andrés López
Cited by
Cited by
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
Towards a Unified Framework for Declarative Structured Communications
H Lopez, C Olarte, J Perez
Proc. of PLACES 9, 15p, 2009
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
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
Exploring the modeling of declarative processes using a hybrid approach
AA Andaloussi, J Buch-Lorentsen, HA López, T Slaats, B Weber
International Conference on Conceptual Modeling, 162-170, 2019
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
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
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
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
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
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
Goal-equivalent secure business process re-engineering
HA López, F Massacci, N Zannone
International Conference on Service-Oriented Computing, 212-223, 2007
A logic for choreographies
M Carbone, D Grohmann, TT Hildebrandt, HA López
Arxiv preprint arXiv:1110.4159, 2011
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
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
Declarative interpretations of session-based concurrency
M Cano, C Rueda, HA López, JA Pérez
Proceedings of the 17th International Symposium on Principles and Practice …, 2015
Understanding quality in declarative process modeling through the mental models of experts
AA Andaloussi, CJ Davis, A Burattin, HA López, T Slaats, B Weber
International Conference on Business Process Management, 417-434, 2020
Formally reasoning about security issues in p2p protocols: A case study
A Aristizabal, H Lopez, C Rueda, FD Valencia
Third Taiwanese-French Conference on Information Technology, 2005
Goal-equivalent secure business process re-engineering for e-health
HA López, F Massacci, N Zannone
Proc. of MOTHIS 7, 2007
Using a declarative process language for P2P protocols
A Aristizábal, HA López, C Rueda
The Association for Logic Programming Newsletter 18 (4), 2005
The system can't perform the operation now. Try again later.
Articles 1–20