Sign in
Ahang Zuo
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 4
Top Topics
Alternating Time Temporal Logic
Pspace Complete
Process Execution
Business Process
Top Venues
FACS
SCC
WRLA@ETAPS
IFM
</>
Publications
</>
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)