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
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
Towards a Unified Framework for Declarative Structured Communications
H Lopez, C Olarte, J Perez
Proc. of PLACES 9, 15p, 2009
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
A Abbad Andaloussi, J Buch-Lorentsen, HA López, T Slaats, B Weber
Conceptual Modeling: 38th International Conference, ER 2019, Salvador …, 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
Goal-equivalent secure business process re-engineering
HA López, F Massacci, N Zannone
Service-Oriented Computing-ICSOC 2007 Workshops: ICSOC 2007, International …, 2009
A declarative framework for security: Secure concurrent constraint programming
HA López, C Palamidessi, JA Pérez, C Rueda, FD Valencia
Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA …, 2006
Types for secure pattern matching with local knowledge in universal concurrent constraint programming
T Hildebrandt, HA López
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA …, 2009
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
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
Business Process Management: 18th International Conference, BPM 2020 …, 2020
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
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
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
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
Chain of events: modular process models for the law
S Debois, HA López, T Slaats, AA Andaloussi, TT Hildebrandt
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano …, 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
The system can't perform the operation now. Try again later.
Articles 1–20