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 | 82 | 2023 |
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 | 67 | 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 | 37* | 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 | 32 | 2016 |
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 | 27 | 2019 |
Towards a Unified Framework for Declarative Structured Communications H Lopez, C Olarte, J Perez Proc. of PLACES 9, 15p, 2009 | 26 | 2009 |
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 | 25 | 2017 |
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 | 20 | 2020 |
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 | 20 | 2019 |
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 | 18 | 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 | 16 | 2019 |
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 | 15 | 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 | 14 | 2018 |
Goal-equivalent secure business process re-engineering HA López, F Massacci, N Zannone Service-Oriented Computing-ICSOC 2007 Workshops: ICSOC 2007, International …, 2009 | 14 | 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 | 13 | 2006 |
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 | 12 | 2009 |
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 | 9 | 2021 |
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 | 9 | 2011 |
A logic for choreographies M Carbone, D Grohmann, TT Hildebrandt, HA López Arxiv preprint arXiv:1110.4159, 2011 | 8* | 2011 |
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 | 7 | 2020 |