Publications

59 entries « 1 of 3 »

2024

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

A Methodology for the Analysis of Robotic Systems via Process Mining Proceedings Article

In: Enterprise Design, Operations, and Computing, pp. 117–133, Springer, 2024.

BibTeX

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

A technique for discovering BPMN collaboration diagrams Journal Article

In: Software and Systems Modeling, pp. 1–21, 2024.

BibTeX

2023

Barboni, Morena; Angelis, Guglielmo De; Morichetta, Andrea; Polini, Andrea

CATANA: Replay Testing for the Ethereum Blockchain Proceedings Article

In: Testing Software and Systems, pp. 257–265, 2023, ISBN: 978-3-031-43240-8.

Links | BibTeX

Barboni, Morena; Morichetta, Andrea; Polini, Andrea; Casoni, Francesco

ReSuMo: a regression strategy and tool for mutation testing of solidity smart contracts Journal Article

In: Software Quality Journal, pp. 1–29, 2023.

Links | BibTeX

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

Executable Digital Process Twins: Towards the Enhancement of Process-Driven Systems Journal Article

In: Big Data and Cognitive Computing, vol. 7, no. 3, 2023.

BibTeX

Catervi, Tommaso; Cipolletta, Leonardo; Corradini, Flavio; Re, Barbara; Rondini, Matteo; Rossi, Lorenzo

PlayWithUnicam: An extensible platform for serious games Proceedings Article

In: EPiC, (Ed.): Society 5.0, pp. 33–40, 2023.

BibTeX

2022

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

A BPMN-driven framework for Multi-Robot System development Journal Article

In: Robotics and Autonomous Systems, vol. 160, pp. 104322, 2022, ISSN: 0921-8890.

Links | BibTeX

Barboni, Morena; Morichetta, Andrea; Polini, Andrea

SuMo: A mutation testing approach and tool for the Ethereum blockchain Journal Article

In: Journal of Systems and Software, vol. 193, 2022, ISSN: 0164-1212.

Links | BibTeX

Barboni, Morena; Casoni, Francesco; Morichetta, Andrea; Polini, Andrea

ReSuMo: Regression Mutation Testing for Solidity Smart Contracts Proceedings Article

In: Quality of Information and Communications Technology, pp. 61–76, 2022, ISBN: 978-3-031-14179-9.

Links | BibTeX

Barboni, Morena; Morichetta, Andrea; Polini, Andrea

Smart Contract Testing: Challenges and Opportunities Proceedings Article

In: Proceedings of the 5th International Workshop on Emerging Trends in Software Engineering for Blockchain, pp. 21–24, 2022, ISBN: 9781450393317.

Links | BibTeX

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 Proceedings Article

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 Proceedings Article

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 Proceedings Article

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

Links | BibTeX

Burattin, Ändrea; Re, Barbara; Rossi, Lorenzo; Tiezzi", Francesco

PURPLE: a PURPose-guided Log GEnerator Proceedings Article

In: Proceedings of the ICPM Doctoral Consortium and Demo Track 2022, CEUR-WS, 2022.

BibTeX

Burattin, Andrea; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco

Ä Purpose-Guided Log Generation Framework" Proceedings Article

In: Business Process Management, pp. 181–198, Springer, 2022.

BibTeX

Burattin, Andrea; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco

Ä Purpose-Guided Log Generation Framework" Proceedings Article

In: Business Process Management, Springer, 2022.

BibTeX

Burattin, Andrea; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco

A Purpose-Guided Log Generation Framework Proceedings Article

In: Business Process Management, Springer, 2022.

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 Proceedings Article

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 Proceedings Article

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 Proceedings Article

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 Proceedings Article

In: Italian Forum on Business Process Management, pp. 26–32, CEUR-WS.org, 2021.

Links | BibTeX

59 entries « 1 of 3 »