2022
Formalising and animating multiple instances in BPMN collaborations Journal Article
In: Information System, vol. 103, pp. 101459, 2022.
Consistent modelling of hierarchical BPMN collaborations Journal Article
In: Business Process Management Journal, 2022.
2021
BPMN 2.0 OR-Join Semantics: Global and local characterisation Journal Article
In: Information Systems, pp. 101934, 2021, ISSN: 0306-4379.
FloWare: An Approach for IoT Support and Application Development Inproceedings
In: Enterprise, Business-Process and Information Systems Modeling, pp. 350–365, Springer, 2021.
Trends on the Usage of BPMN 2.0 from Publicly Available Repositories Inproceedings
In: Perspectives in Business Informatics Research, pp. 84–99, Springer, 2021.
Model-Driven Engineering for Multi-Party Business Processes on Multiple Blockchains Journal Article
In: Blockchain: Research and Applications, pp. 100018, 2021.
ChorChain: A model-driven framework for choreography-based systems using blockchain Inproceedings
In: Italian Forum on Business Process Management, pp. 26–32, CEUR-WS.org, 2021.
Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations Journal Article
In: Journal of Logical and Algebraic Methods in Programming, vol. 119, pp. 100630, 2021.
SuMo: A Mutation Testing Strategy for Solidity Smart Contracts Inproceedings
In: International Conference on Automation of Software Test, pp. 50–59, IEEE, 2021.
Process Variance Analysis and Configuration in the Public Administration Sector Inproceedings
In: International Conference on Recent Trends and Applications in Computer Science and Information Technology, pp. 103–112, CEUR-WS.org, 2021.
TLV-diss(_mbox(gamma) ): A Dissimilarity Measure for Public Administration Process Logs Inproceedings
In: Electronic Government, pp. 301–314, Springer, 2021.
SuMo: A Mutation Testing Strategy for Solidity Smart Contracts Journal Article
In: CoRR, vol. abs/2105.03626, 2021.
A formal approach for the analysis of BPMN collaboration models Journal Article
In: Journal of Systems and Software, vol. 180, pp. 111007, 2021.
Disciplined use of BPMN for mission modeling of Multi-Robot Systems Inproceedings
In: Proceedings of the Forum at Practice of Enterprise Modeling 2021 co-located with the 14th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling (PoEM 2021), pp. 1–10, CEUR-WS.org, 2021.
2020
Correctness checking for BPMN collaborations with sub-processes Journal Article
In: Journal of Systems and Software, vol. 166, pp. 110594, 2020.
Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review Inproceedings
In: Business Process Management Workshops, pp. 108–121, Springer, 2020.
FabNet: an Automatic Hyperledger Fabric Network Wizard (short paper) Inproceedings
In: Practice of Enterprise Modelling, pp. 59–67, CEUR-WS.org, 2020.
Engineering trustable choreography-based systems using blockchain Inproceedings
In: Symposium on Applied Computing, pp. 1470–1479, ACM, 2020.
Collaboration vs. choreography conformance in BPMN Journal Article
In: Logical Methods in Computer Science, vol. 16, no. 4, 2020.
Collaboration vs. choreography conformance in BPMN Journal Article
In: CoRR, vol. abs/2002.04396, 2020.
2019
UBBA: Unity Based BPMN Animator Inproceedings
In: Information Systems Engineering in Responsible Information Systems, pp. 1–9, Springer, 2019.
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies Inproceedings
In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, pp. 163–181, Springer, 2019.
Smart Contracts Through Process Mining Inproceedings
In: From Software Engineering to Formal Methods and Tools, and Back, pp. 467–480, Springer, 2019.
2018
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support Inproceedings
In: Business Process Management, pp. 83–101, Springer, 2018.
MIDA: Multiple Instances and Data Animator Inproceedings
In: Proceedings of the Dissertation Award, Demonstration, and Industrial Track at BPM, pp. 86–90, CEUR-WS.org, 2018.