Publications

46 entries « 1 of 2 »

2022

Corradini, Flavio; Muzi, Chiara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco

Formalising and animating multiple instances in BPMN collaborations Journal Article

In: Information System, vol. 103, pp. 101459, 2022.

Links | BibTeX

Corradini, Flavio; Polini, Andrea; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco

Consistent modelling of hierarchical BPMN collaborations Journal Article

In: Business Process Management Journal, 2022.

BibTeX

Corradini, Flavio; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco

A Technique for Collaboration Discovery Inproceedings

In: Enterprise, Business-Process and Information Systems Modeling, pp. 63–78, Springer, 2022.

Links | BibTeX

Antinori, Alessandro; Coltrinari, Riccardo; Corradini, Flavio; Fornari, Fabrizio; Re, Barbara; Scarpetta, Marco

BPMN-Redrawer: From Images to BPMN Models Inproceedings

In: Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Track at BPM 2022 co-located with 20th International Conference on Business Process Management (BPM 2022), Münster, Germany, September 11th to 16th, 2022, pp. 107–111, CEUR-WS.org, 2022.

Links | BibTeX

Corradini, Flavio; Fedeli, Arianna; Fornari, Fabrizio; Polini, Andrea; Re, Barbara

X-IoT: a model-driven approach for cross-platform IoT applications development Inproceedings

In: SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022, pp. 1448–1451, ACM, 2022.

Links | BibTeX

2021

Bourr, Khalid; Corradini, Flavio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco

Disciplined use of BPMN for mission modeling of Multi-Robot Systems Inproceedings

In: Proceedings of the Forum at Practice of Enterprise Modeling (PoEM 2021), pp. 1–10, CEUR-WS.org, 2021.

Links | BibTeX

Corradini, Flavio; Muzi, Chiara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco

BPMN 2.0 OR-Join Semantics: Global and local characterisation Journal Article

In: Information Systems, pp. 101934, 2021, ISSN: 0306-4379.

Links | BibTeX

Corradini, Flavio; Fedeli, Arianna; Fornari, Fabrizio; Polini, Andrea; Re, Barbara

FloWare: An Approach for IoT Support and Application Development Inproceedings

In: Enterprise, Business-Process and Information Systems Modeling, pp. 350–365, Springer, 2021.

Links | BibTeX

Compagnucci, Ivan; Corradini, Flavio; Fornari, Fabrizio; Re, Barbara

Trends on the Usage of BPMN 2.0 from Publicly Available Repositories Inproceedings

In: Perspectives in Business Informatics Research, pp. 84–99, Springer, 2021.

Links | BibTeX

Corradini, Flavio; Marcelletti, Alessandro; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Scala, Emanuele; Tiezzi, Francesco

Model-Driven Engineering for Multi-Party Business Processes on Multiple Blockchains Journal Article

In: Blockchain: Research and Applications, pp. 100018, 2021.

BibTeX

Corradini, Flavio; Marcelletti, Alessandro; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco

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.

Links | BibTeX

Corradini, Flavio; Morichetta, Andrea; Muzi, Chiara; Re, Barbara; Tiezzi, Francesco

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.

Links | BibTeX

Barboni, Morena; Morichetta, Andrea; Polini, Andrea

SuMo: A Mutation Testing Strategy for Solidity Smart Contracts Inproceedings

In: International Conference on Automation of Software Test, pp. 50–59, IEEE, 2021.

Links | BibTeX

Corradini, Flavio; Luciani, Caterina; Morichetta, Andrea; Polini, Andrea

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.

Links | BibTeX

Corradini, Flavio; Luciani, Caterina; Morichetta, Andrea; Piangerelli, Marco; Polini, Andrea

TLV-diss(_mbox(gamma) ): A Dissimilarity Measure for Public Administration Process Logs Inproceedings

In: Electronic Government, pp. 301–314, Springer, 2021.

Links | BibTeX

Barboni, Morena; Morichetta, Andrea; Polini, Andrea

SuMo: A Mutation Testing Strategy for Solidity Smart Contracts Journal Article

In: CoRR, vol. abs/2105.03626, 2021.

Links | BibTeX

Corradini, Flavio; Fornari, Fabrizio; Polini, Andrea; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea

A formal approach for the analysis of BPMN collaboration models Journal Article

In: Journal of Systems and Software, vol. 180, pp. 111007, 2021.

Links | BibTeX

Corradini, Flavio; Fornari, Fabrizio; Polini, Andrea; Re, Barbara; Tiezzi, Francesco

RePROSitory: a Repository platform for sharing business PROcess models and logS Inproceedings

In: Proceedings of the 1st Italian Forum on Business Process Management co-located with the 19th International Conference of Business Process Management (BPM 2021), Rome, Italy, September 10th, 2021, pp. 13–18, CEUR-WS.org, 2021.

Links | BibTeX

2020

Corradini, Flavio; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco

Correctness checking for BPMN collaborations with sub-processes Journal Article

In: Journal of Systems and Software, vol. 166, pp. 110594, 2020.

Links | BibTeX

Compagnucci, Ivan; Corradini, Flavio; Fornari, Fabrizio; Polini, Andrea; Re, Barbara; Tiezzi, Francesco

Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review Inproceedings

In: Business Process Management Workshops, pp. 108–121, Springer, 2020.

Links | BibTeX

Marcelletti, Alessandro; Re, Barbara

FabNet: an Automatic Hyperledger Fabric Network Wizard (short paper) Inproceedings

In: Practice of Enterprise Modelling, pp. 59–67, CEUR-WS.org, 2020.

Links | BibTeX

Corradini, Flavio; Marcelletti, Alessandro; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco

Engineering trustable choreography-based systems using blockchain Inproceedings

In: Symposium on Applied Computing, pp. 1470–1479, ACM, 2020.

Links | BibTeX

Corradini, Flavio; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco

Collaboration vs. choreography conformance in BPMN Journal Article

In: Logical Methods in Computer Science, vol. 16, no. 4, 2020.

Links | BibTeX

Corradini, Flavio; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco

Collaboration vs. choreography conformance in BPMN Journal Article

In: CoRR, vol. abs/2002.04396, 2020.

Links | BibTeX

2019

Abdul, Basit Mubeen; Corradini, Flavio; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco

UBBA: Unity Based BPMN Animator Inproceedings

In: Information Systems Engineering in Responsible Information Systems, pp. 1–9, Springer, 2019.

Links | BibTeX

46 entries « 1 of 2 »