Ahang Zuo

According to our database, Ahang Zuo authored at least 5 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Probabilistic Runtime Enforcement of Executable BPMN Processes.

Yliès Falcone, Gwen Salaün, Ahang Zuo

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2022

From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes.

Francisco Durán, Yliès Falcone, Camilo Rocha, Gwen Salaün, Ahang Zuo

Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022

Probabilistic Model Checking of BPMN Processes at Runtime.

Yliès Falcone, Gwen Salaün, Ahang Zuo

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

WEASY: A Tool for Modelling Optimised BPMN Processes.

Angel Contreras, Yliès Falcone, Gwen Salaün, Ahang Zuo

Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

2021

Semi-automated Modelling of Optimized BPMN Processes.

Yliès Falcone, Gwen Salaün, Ahang Zuo

Proceedings of the IEEE International Conference on Services Computing, 2021