Publications

58 entries « 2 of 3 »

2021

Barboni, Morena; Morichetta, Andrea; Polini, Andrea

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

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

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

In: Electronic Government, pp. 301–314, Springer, 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 Proceedings Article

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

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

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

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

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

Links | BibTeX

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

Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies Proceedings Article

In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, pp. 163–181, Springer, 2019.

Links | BibTeX

Corradini, Flavio; Marcantoni, Fausto; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Sampaolo, Massimiliano

Smart Contracts Through Process Mining Proceedings Article

In: From Software Engineering to Formal Methods and Tools, and Back, pp. 467–480, Springer, 2019.

Links | BibTeX

Mariani, Stefano; Casadei, Roberto; Fornari, Fabrizio; Fortino, Giancarlo; Pianini, Danilo; Re, Barbara; Russo, Wilma; Savaglio, Claudio; Viroli, Mirko; Zambonelli, Franco

Case Studies for a New IoT Programming Paradigm: Fluidware Proceedings Article

In: Proceedings of the 1st Workshop on Artificial Intelligence and Internet of Things co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2019), Rende (CS), Italy, November 22, 2019, pp. 82–96, CEUR-WS.org, 2019.

Links | BibTeX

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

RePROSitory: a Repository Platform for Sharing Business PROcess modelS Proceedings Article

In: Proceedings of the Dissertation Award, Doctoral Consortium, and Demonstration Track at BPM 2019 co-located with 17th International Conference on Business Process Management, BPM 2019, Vienna, Austria, September 1-6, 2019, pp. 149–153, CEUR-WS.org, 2019.

Links | BibTeX

2018

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

Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support Proceedings Article

In: Business Process Management, pp. 83–101, Springer, 2018.

Links | BibTeX

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

MIDA: Multiple Instances and Data Animator Proceedings Article

In: Proceedings of the Dissertation Award, Demonstration, and Industrial Track at BPM, pp. 86–90, CEUR-WS.org, 2018.

Links | BibTeX

Muzi, Chiara; Pufahl, Luise; Rossi, Lorenzo; Weske, Mathias; Tiezzi, Francesco

Formalising BPMN Service Interaction Patterns Proceedings Article

In: The Practice of Enterprise Modeling, pp. 3–20, Springer, 2018.

Links | BibTeX

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

Global vs. Local Semantics of BPMN 2.0 OR-Join Proceedings Article

In: International Conference on Current Trends in Theory and Practice of Computer Science, pp. 321–336, Springer, 2018.

Links | BibTeX

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

Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice Proceedings Article

In: International Enterprise Distributed Object Computing Conference, pp. 95–104, IEEE, 2018.

Links | BibTeX

Morichetta, Andrea; Re, Barbara; Tiezzi, Francesco

Runtime Computation of Optimal Offloading Scheduling Proceedings Article

In: International Conference on Mobile Cloud Computing, Services, and Engineering, pp. 73–78, IEEE Computer Society, 2018.

Links | BibTeX

Corradini, Flavio; Ferrari, Alessio; Fornari, Fabrizio; Gnesi, Stefania; Polini, Andrea; Re, Barbara; Spagnolo, Giorgio Oronzo

A Guidelines framework for understandable BPMN models Journal Article

In: Data Knowl. Eng., vol. 113, pp. 129–154, 2018.

Links | BibTeX

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

A formal approach to modeling and verification of business process collaborations Journal Article

In: Sci. Comput. Program., vol. 166, pp. 35–70, 2018.

Links | BibTeX

Fornari, Fabrizio; Rosa, Marcello La; Polini, Andrea; Re, Barbara; Tiezzi, Francesco

Checking Business Process Correctness in Apromore Proceedings Article

In: Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings, pp. 114–123, Springer, 2018.

Links | BibTeX

58 entries « 2 of 3 »