Ahang Zuo

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 5

Top Topics

Runtime Environment

Probabilistic Approaches

Process Execution

Business Processes

Top Venues

Publications

Yliès Falcone, Gwen Salaün, Ahang Zuo
Probabilistic Runtime Enforcement of Executable BPMN Processes. FASE (2024)
Yliès Falcone, Gwen Salaün, Ahang Zuo
Probabilistic Model Checking of BPMN Processes at Runtime. IFM (2022)
Francisco Durán, Yliès Falcone, Camilo Rocha, Gwen Salaün, Ahang Zuo
From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes. WRLA@ETAPS (2022)
Angel Contreras, Yliès Falcone, Gwen Salaün, Ahang Zuo
WEASY: A Tool for Modelling Optimised BPMN Processes. FACS (2022)
Yliès Falcone, Gwen Salaün, Ahang Zuo
Semi-automated Modelling of Optimized BPMN Processes. SCC (2021)