دنبال کردن
Hugo Andrés López
عنوان
نقل شده توسط
نقل شده توسط
سال
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‏
1512023
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‏
712015
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‏
43*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‏
332016
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‏
292019
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‏
282017
Towards a Unified Framework for Declarative Structured Communications‏
H Lopez, C Olarte, J Perez‏
Proc. of PLACES 9, 15p, 2009‏
282009
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‏
272020
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‏
242019
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‏
202020
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‏
192021
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‏
182019
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‏
172018
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‏
162020
Goal-equivalent secure business process re-engineering‏
HA López, F Massacci, N Zannone‏
Service-Oriented Computing-ICSOC 2007 Workshops: ICSOC 2007, International …, 2009‏
152009
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‏
132020
A logic for choreographies‏
M Carbone, D Grohmann, TT Hildebrandt, HA López‏
Arxiv preprint arXiv:1110.4159, 2011‏
132011
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‏
132009
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‏
132006
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‏
112011
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20