OMG Business Process Model and Notation (BPMN), Object Management Group, OMG Standard, 2013. ,
Verification of BPMN 2.0 Process Models: An Event Log-based Approach, Procedia Computer Science, vol.100, pp.1064-1070, 2016. ,
, BIMP -The Business Process Simulator, BIMP, 2019.
Model Checking of BPMN Models for Reconfigurable Workflows, CoRR, 2016. ,
Process simulation support in BPM tools: The case of BPMN, 2015. ,
VBPMN: Automated Verification of BPMN Processes, 13th International Conference on integrated Formal Methods, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01591665
Overview of Verification Tools for Business Process Models, Communication Papers of the 2017 Federated Conference on Computer Science and Information Systems, pp.295-302, 2017. ,
Graphical scenarios for specifying temporal properties: an automated approach, Automated Software Engineering, vol.14, issue.3, pp.293-340, 2007. ,
International Telecommunication Union -Telecommunication Standardization Sector, 2011. ,
Property Verification with MSC, SDL 2013: Model-Driven Dependability Engineering, pp.19-35, 2013. ,
OMG Unified Modeling Language (UML), 2017. ,
, , 2019.
Partially bounded context-aware verification, pp.532-548, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02434620
, Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers, 2002.
Ltl to büchi automata translation: Fast and more deterministic, Tools and Algorithms for the Construction and Analysis of Systems, pp.95-109, 2012. ,