Personal information

Verified email domains

Activities

Employment (2)

University of Florence: Florence, Toscana, IT

2021-09-01 to present | Associate Professor (Dipartimento di Statistica, Informatica, Applicazioni 'G. Parenti' (DiSIA))
Employment
Source: Self-asserted source
Francesco TIEZZI

Università degli Studi di Camerino: Camerino, Marche, IT

2014-10-31 to 2021-08-31 | Associate Professor (Scuola di Scienze e Tecnologie, Sezione di Informatica)
Employment
Source: Self-asserted source
Francesco TIEZZI

Works (16)

Klaim in the Making

2025 | Book chapter
Contributors: Lorenzo Bettini; Gian-Luigi Ferrari; Michele Loreti; Rosario Pugliese; Francesco Tiezzi; Emilio Tuosto
Source: check_circle
Crossref

A Methodology for the Analysis of Robotic Systems via Process Mining

2024 | Book chapter
Contributors: Flavio Corradini; Sara Pettinari; Barbara Re; Lorenzo Rossi; Francesco Tiezzi
Source: check_circle
Crossref

On the Interplay Between BPMN Collaborations and the Physical Environment

2024 | Book chapter
Contributors: Flavio Corradini; Jessica Piccioni; Barbara Re; Lorenzo Rossi; Francesco Tiezzi
Source: check_circle
Crossref

A blockchain-based platform for incentivizing customer reviews in the grocery industry

Blockchain: Research and Applications
2024-12 | Journal article
Contributors: Tania Bruno; Ettore Etenzi; Luca Gualandi; Eraldo Katra; Rosario Pugliese; Alessio Taranto; Francesco Tiezzi
Source: check_circle
Crossref

Rollback Recovery in Session-Based Programming

2023 | Book chapter
Contributors: Claudio Antares Mezzina; Francesco Tiezzi; Nobuko Yoshida
Source: check_circle
Crossref

A Flexible Approach to Multi-party Business Process Execution on Blockchain

Future Generation Computer Systems
2023-10 | Journal article
Contributors: Flavio Corradini; Alessandro Marcelletti; Andrea Morichetta; Andrea Polini; Barbara Re; Francesco Tiezzi
Source: check_circle
Crossref

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

Big Data and Cognitive Computing
2023-08-08 | Journal article
Contributors: Flavio Corradini; Sara Pettinari; Barbara Re; Lorenzo Rossi; Francesco Tiezzi
Source: check_circle
Crossref

A systematic literature review on IoT-aware business process modeling views, requirements and notations

Software and Systems Modeling
2023-06 | Journal article
Contributors: Ivan Compagnucci; Flavio Corradini; Fabrizio Fornari; Andrea Polini; Barbara Re; Francesco Tiezzi
Source: check_circle
Crossref

Programming Multi-robot Systems with X-KLAIM

2022 | Book chapter
Contributors: Lorenzo Bettini; Khalid Bourr; Rosario Pugliese; Francesco Tiezzi
Source: check_circle
Crossref

Consistent modelling of hierarchical BPMN collaborations

Business Process Management Journal
2022-03-31 | Journal article
Contributors: Flavio Corradini; Andrea Polini; Barbara Re; Lorenzo Rossi; Francesco Tiezzi
Source: check_circle
Crossref

A formal approach for the analysis of BPMN collaboration models

Journal of Systems and Software
2021-10 | Journal article
Contributors: Flavio Corradini; Fabrizio Fornari; Andrea Polini; Barbara Re; Francesco Tiezzi; Andrea Vandin
Source: check_circle
Crossref

Writing Robotics Applications with X-Klaim

2020 | Book chapter
Contributors: Lorenzo Bettini; Khalid Bourr; Rosario Pugliese; Francesco Tiezzi
Source: check_circle
Crossref

Replacement freeness: A criterion for separating process calculi

Journal of Logical and Algebraic Methods in Programming
2020-11 | Journal article
Contributors: Rosario Pugliese; Francesco Tiezzi
Source: check_circle
Crossref

X-Klaim Is Back

2019 | Book chapter
Contributors: Lorenzo Bettini; Emanuela Merelli; Francesco Tiezzi
Source: check_circle
Crossref

Defining and guaranteeing dynamic service levels in clouds

Future Generation Computer Systems
2019-10 | Journal article
Contributors: Rafael Brundo Uriarte; Rocco De Nicola; Vincenzo Scoca; Francesco Tiezzi
Source: check_circle
Crossref

A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies

IEEE Transactions on Software Engineering
2019-01-01 | Journal article
Contributors: Andrea Margheri; Massimiliano Masi; Rosario Pugliese; Francesco Tiezzi
Source: check_circle
Crossref

Peer review (2 reviews for 2 publications/grants)

Review activity for Blockchain. (1)
Review activity for Information Systems. (1)