@inproceedings{falcone:hal-03665305, TITLE = {{Probabilistic Model Checking of BPMN Processes at Runtime}}, AUTHOR = {Falcone, Yli{\`e}s and Sala{\"u}n, Gwen and Zuo, Ahang}, URL = {https://inria.hal.science/hal-03665305}, BOOKTITLE = {{iFM 2022 - International Conference on integrated Formal Methods}}, ADDRESS = {Lugano, Switzerland}, PAGES = {1-17}, YEAR = {2022}, MONTH = Jun, DOI = {10.1007/978-3-031-07727-2\_11}, PDF = {https://inria.hal.science/hal-03665305/file/Probabilistic%20Model%20Checking%20of%20BPMN%20Processes%20at%20Runtime.pdf}, HAL_ID = {hal-03665305}, HAL_VERSION = {v1}, }