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
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
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
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
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
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
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
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
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