Author of the publication

BProVe: a formal verification framework for business process models.

, , , , , and . ASE, page 217-228. IEEE Computer Society, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Quality of service in e-government underlines the role of information usability., , , and . Int. J. Inf. Qual., 2 (2): 133-151 (2008)Formal Methods to Improve Public Administration Business Processes., , and . RAIRO Theor. Informatics Appl., 46 (2): 203-229 (2012)MIDA: Multiple Instances and Data Animator., , , , and . BPM (Dissertation/Demos/Industry), volume 2196 of CEUR Workshop Proceedings, page 86-90. CEUR-WS.org, (2018)Checking Business Process Modeling Guidelines in Apromore., , , , , and . BPM (Demos), volume 1920 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)Verification of Privacy-Enhanced Collaborations., , , , , and . FormaliSE@ICSE, page 141-152. ACM, (2020)Flexible execution of multi-party business processes on blockchain., , , , , and . WETSEB@ICSE, page 25-32. ACM, (2022)A Technique for Collaboration Discovery., , , and . BPMDS/EMMSAD@CAiSE, volume 450 of Lecture Notes in Business Information Processing, page 63-78. Springer, (2022)Global vs. Local Semantics of BPMN 2.0 OR-Join., , , , and . SOFSEM, volume 10706 of Lecture Notes in Computer Science, page 321-336. Springer, (2018)Modeling for Learning in Public Administrations - The Learn PAd Approach., , , , , and . Domain-Specific Conceptual Modeling, Springer, (2016)Internet Security: Now and in the Future., , , and . International Conference on Internet Computing, page 193-198. CSREA Press, (2010)