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
452015
Towards a Unified Framework for Declarative Structured Communications
H Lopez, C Olarte, J Perez
Proc. of PLACES 9, 15p, 2009
262009
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
152016
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
142006
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
132018
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
132011
Goal-equivalent secure business process re-engineering
HA López, F Massacci, N Zannone
International Conference on Service-Oriented Computing, 212-223, 2007
132007
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
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
102017
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
92019
A logic for choreographies
M Carbone, D Grohmann, TT Hildebrandt, HA López
Arxiv preprint arXiv:1110.4159, 2011
9*2011
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
82018
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
72019
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
52015
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
52005
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
42020
Goal-equivalent secure business process re-engineering for e-health
HA López, F Massacci, N Zannone
Proc. of MOTHIS 7, 2007
42007
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
42005
A Theory of Available-by-Design Communicating Systems
HA López, F Nielson, HR Nielson
arXiv preprint arXiv:1611.05651, 2016
22016
Type-based verification of message-passing parallel programs
VT Vasconcelos, F Martins, ERB Marques, HA López, C Santos, ...
22014
The system can't perform the operation now. Try again later.
Articles 1–20