Francesco Tiezzi

ORCID

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 70

Top Venues

CoRR

J. Log. Algebraic Methods Program.

Future Gener. Comput. Syst.

J. Syst. Softw.

Publications

Khalid Bourr, Francesco Tiezzi
From Diagram to Deployment: Translating BPMN Collaborations into X-Klaim for Efficient Multi-Robot System Programming. CoRR (2023)
Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi
A systematic literature review on IoT-aware business process modeling views, requirements and notations. Softw. Syst. Model. 22 (3) (2023)
Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi
Coordinating and programming multiple ROS-based robots with X-KLAIM. Int. J. Softw. Tools Technol. Transf. 25 (5) (2023)
Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida
Rollback Recovery in Session-Based Programming. COORDINATION (2023)
Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
A BPMN-driven framework for Multi-Robot System development. Robotics Auton. Syst. 160 (2023)
Tania Bruno, Ettore Etenzi, Luca Gualandi, Eraldo Katra, Rosario Pugliese, Alessio Taranto, Francesco Tiezzi
Incentivizing Customer Reviews in the Grocery Industry: The Re-Taled Project's Approach. DLT (2023)
Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida
Checkpoint-based rollback recovery in session programming. CoRR (2023)
Pierluigi Plebani, Davide Rossetto, Francesco Tiezzi
Empowering trusted data sharing for data analytics in a federated environment: A blockchain-based approach. Frontiers Blockchain 6 (2023)
Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
Executable Digital Process Twins: Towards the Enhancement of Process-Driven Systems. Big Data Cogn. Comput. 7 (3) (2023)
Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
A Methodology for the Analysis of Robotic Systems via Process Mining. EDOC (2023)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
A Flexible Approach to Multi-party Business Process Execution on Blockchain. Future Gener. Comput. Syst. 147 (2023)
Flavio Corradini, Sara Pettinari, Barbara Re, Luca Ruschioni, Francesco Tiezzi
Enhancing compatibility in QoS communication for the Internet of Robotic Things. ER (Companion) (2023)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
Flexible execution of multi-party business processes on blockchain. WETSEB@ICSE (2022)
Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
An Approach to Support Digital Process Twin. DASC/PiCom/CBDCom/CyberSciTech (2022)
Flavio Corradini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
A Technique for Collaboration Discovery. BPMDS/EMMSAD@CAiSE (2022)
Flavio Corradini, Andrea Polini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
Consistent modelling of hierarchical BPMN collaborations. Bus. Process. Manag. J. 28 (2) (2022)
Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
Formalising and animating multiple instances in BPMN collaborations. Inf. Syst. 103 (2022)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
ChorChain: A Blockchain-Based Framework for Executing and Auditing BPMN Choreographies. BPM (PhD/Demos) (2022)
Andrea Burattin, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
A Purpose-Guided Log Generation Framework. BPM (2022)
Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi
Programming Multi-robot Systems with X-KLAIM. ISoLA (3) (2022)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
Engineering Trustable and Auditable Choreography-based Systems Using Blockchain. ACM Trans. Manag. Inf. Syst. 13 (3) (2022)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
A Choreography-Driven Approach for Blockchain-Based IoT Applications. PerCom Workshops (2022)
Andrea Burattin, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
PURPLE: a PURPose-guided Log GEnerator (Extended Abstract). ICPM Doctoral Consortium / Demo (2022)
Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
BPMN 2.0 OR-Join Semantics: Global and local characterisation. Inf. Syst. 105 (2022)
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin
A formal approach for the analysis of BPMN collaboration models. J. Syst. Softw. 180 (2021)
Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
ChorChain: A model-driven framework for choreography-based systems using blockchain. ITBPM@BPM (2021)
Flavio Corradini, Andrea Morichetta, Chiara Muzi, Barbara Re, Francesco Tiezzi
Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations. J. Log. Algebraic Methods Program. 119 (2021)
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi
RePROSitory: a Repository platform for sharing business PROcess models and logS. ITBPM@BPM (2021)
Khalid Burr, Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
Disciplined use of BPMN for mission modeling of Multi-Robot Systems. PoEM (Forum) (2021)
Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
Collaboration vs. choreography conformance in BPMN. Log. Methods Comput. Sci. 16 (4) (2020)
Rosario Pugliese, Francesco Tiezzi
Replacement freeness: A criterion for separating process calculi. J. Log. Algebraic Methods Program. 116 (2020)
Ivan Compagnucci, Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi
Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review. Business Process Management Workshops (2020)
Sara Belluccini, Rocco De Nicola, Barbara Re, Francesco Tiezzi
PALM: A Technique for Process ALgebraic Specification Mining. IFM (2020)
Flávio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
Engineering trustable choreography-based systems using blockchain. SAC (2020)
Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, Francesco Tiezzi
A formal approach to the engineering of domain-specific distributed systems. J. Log. Algebraic Methods Program. 111 (2020)
Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
Collaboration vs. choreography conformance in BPMN. CoRR (2020)
Stefano Bistarelli, Gianmarco Mazzante, Matteo Micheletti, Leonardo Mostarda, Davide Sestili, Francesco Tiezzi
Ethereum smart contracts: Analysis and statistics of their source code and opcodes. Internet Things 11 (2020)
Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi
Writing Robotics Applications with X-Klaim. ISoLA (2) (2020)
Sara Belluccini, Rocco De Nicola, Marlon Dumas, Pille Pullonen, Barbara Re, Francesco Tiezzi
Verification of Privacy-Enhanced Collaborations. FormaliSE@ICSE (2020)
Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
Correctness checking for BPMN collaborations with sub-processes. J. Syst. Softw. 166 (2020)
Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies. IEEE Trans. Software Eng. 45 (1) (2019)
Rafael Brundo Uriarte, Rocco De Nicola, Vincenzo Scoca, Francesco Tiezzi
Defining and guaranteeing dynamic service levels in clouds. Future Gener. Comput. Syst. 99 (2019)
Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese, Francesco Tiezzi
A Formal Approach to the Engineering of Domain-Specific Distributed Systems. CoRR (2019)
Davide Basile, Rosario Pugliese, Francesco Tiezzi, Pierpaolo Degano, Gian Luigi Ferrari
Automata-Based Behavioural Contracts with Action Correlation. From Software Engineering to Formal Methods and Tools, and Back (2019)
Flavio Corradini, Andrea Morichetta, Barbara Re, Francesco Tiezzi
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies. The Art of Modelling Computational Systems (2019)
Stefano Bistarelli, Gianmarco Mazzante, Matteo Micheletti, Leonardo Mostarda, Francesco Tiezzi
Analysis of Ethereum Smart Contracts and Opcodes. AINA (2019)
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi
RePROSitory: a Repository Platform for Sharing Business PROcess modelS. BPM (PhD/Demos) (2019)
Lorenzo Bettini, Emanuela Merelli, Francesco Tiezzi
X-Klaim Is Back. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Basit Mubeen Abdul, Flavio Corradini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
UBBA: Unity Based BPMN Animator. CAiSE Forum (2019)
Chiara Muzi, Luise Pufahl, Lorenzo Rossi, Mathias Weske, Francesco Tiezzi
Formalising BPMN Service Interaction Patterns. PoEM (2018)
Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support. BPM (2018)
Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
Global vs. Local Semantics of BPMN 2.0 OR-Join. SOFSEM (2018)
Fabrizio Fornari, Marcello La Rosa, Andrea Polini, Barbara Re, Francesco Tiezzi
Checking Business Process Correctness in Apromore. CAiSE Forum (2018)
Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi
Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice. EDOC (2018)
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi
A formal approach to modeling and verification of business process collaborations. Sci. Comput. Program. 166 (2018)
Flavio Corradini, Chiara Muzi, Barbara Re, Francesco Tiezzi
A Classification of BPMN Collaborations based on Safeness and Soundness Notions. CoRR (2018)
Flavio Corradini, Chiara Muzi, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
MIDA: Multiple Instances and Data Animator. BPM (Dissertation/Demos/Industry) (2018)
Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, Francesco Tiezzi
A Formal Approach to the Engineering of Domain-Specific Distributed Systems. COORDINATION (2018)
Andrea Morichetta, Barbara Re, Francesco Tiezzi
Runtime Computation of Optimal Offloading Scheduling. MobileCloud (2018)
Flavio Corradini, Fabrizio Fornari, Chiara Muzi, Andrea Polini, Barbara Re, Francesco Tiezzi
On Avoiding Erroneous Synchronization in BPMN Processes. BIS (2017)
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin
BProVe: tool support for business process verification. ASE (2017)
Flavio Corradini, Andrea Polini, Barbara Re, Lorenzo Rossi, Francesco Tiezzi
Supporting Multi-layer Modeling in BPMN Collaborations. EOMAS@CAiSE (2017)
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, Andrea Vandin
BProVe: a formal verification framework for business process models. ASE (2017)
Luca Cesari, Rosario Pugliese, Francesco Tiezzi
Blind-date conversation joining. Serv. Oriented Comput. Appl. 11 (3) (2017)
Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi
Causal-consistent rollback in a tuple-based language. J. Log. Algebraic Methods Program. 88 (2017)
Alessandro Maggi, Marinella Petrocchi, Angelo Spognardi, Francesco Tiezzi
A language-based approach to modelling and analysis of Twitter interactions. J. Log. Algebraic Methods Program. 87 (2017)
Rafael Brundo Uriarte, Francesco Tiezzi, Rocco De Nicola
Dynamic SLAs for Clouds. ESOCC (2016)
Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies. CoRR (2016)
Rafael Brundo Uriarte, Francesco Tiezzi, Sotirios A. Tsaftaris
Supporting Autonomic Management of Clouds: Service Clustering With Random Forest. IEEE Trans. Netw. Serv. Manag. 13 (3) (2016)
Francesco Tiezzi, Nobuko Yoshida
Reversing Single Sessions. RC (2016)
Rocco De Nicola, Alessandro Maggi, Marinella Petrocchi, Angelo Spognardi, Francesco Tiezzi
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. SEFM (2015)
Francesco Tiezzi, Nobuko Yoshida
Reversible session-based pi-calculus. J. Log. Algebraic Methods Program. 84 (5) (2015)
Luca Aceto, Kim G. Larsen, Andrea Morichetta, Francesco Tiezzi
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing. FACS (2015)
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi, Roberto Vigo
A calculus for attribute-based communication. SAC (2015)
Andrea Margheri, Rosario Pugliese, Francesco Tiezzi
On Properties of Policy-Based Specifications. WWV (2015)
Ugo Montanari, Rosario Pugliese, Francesco Tiezzi
Programming Autonomic Systems with Multiple Constraint Stores. Software, Services, and Systems (2015)
Francesco Tiezzi, Nobuko Yoshida
Reversing Single Sessions. CoRR (2015)
Luca Aceto, Andrea Morichetta, Francesco Tiezzi
Decision Support for Mobile Cloud Computing Applications via Model Checking. MobileCloud (2015)
Van Tien Hoang, Angelo Spognardi, Francesco Tiezzi, Marinella Petrocchi, Rocco De Nicola
Domain-specific queries and Web search personalization: some investigations. WWV (2015)
Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi
Causal-Consistent Reversibility in a Tuple-Based Language. PDP (2015)
Flavio Corradini, Andrea Polini, Barbara Re, Francesco Tiezzi
An Operational Semantics of BPMN Collaboration. FACS (2015)
Rafael Brundo Uriarte, Sotirios A. Tsaftaris, Francesco Tiezzi
Service Clustering for Autonomic Clouds Using Random Forest. CCGRID (2015)
Michele Amoretti, Alessandro Grazioli, Valerio Senni, Francesco Tiezzi, Francesco Zanichelli
A formalized framework for mobile cloud computing. Serv. Oriented Comput. Appl. 9 (3-4) (2015)
Alessandro Celestini, Alberto Lluch-Lafuente, Philip Mayer, Stefano Sebastio, Francesco Tiezzi
Reputation-Based Cooperation in the Clouds. IFIPTM (2014)
Michele Loreti, Andrea Margheri, Rosario Pugliese, Francesco Tiezzi
On Programming and Policing Autonomic Computing Systems. ISoLA (1) (2014)
Rafael Brundo Uriarte, Francesco Tiezzi, Rocco De Nicola
SLAC: A Formal Service-Level-Agreement Language for Cloud Computing. UCC (2014)
Giacomo Cabri, Nicola Capodieci, Luca Cesari, Rocco De Nicola, Rosario Pugliese, Francesco Tiezzi, Franco Zambonelli
Self-expression and Dynamic Attribute-Based Ensembles in SCEL. ISoLA (1) (2014)
Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi
Causal-Consistent Reversibility. Bull. EATCS 114 (2014)
Rocco De Nicola, Michele Loreti, Rosario Pugliese, Francesco Tiezzi
A Formal Approach to Autonomic Systems Programming: The SCEL Language. ACM Trans. Auton. Adapt. Syst. 9 (2) (2014)
Alessandro Celestini, Gianpiero Costantino, Rocco De Nicola, Zakaria Maamar, Fabio Martinelli, Marinella Petrocchi, Francesco Tiezzi
Reputation-Based Composition of Social Web Services. AINA (2014)
Francesco Tiezzi, Nobuko Yoshida
Towards Reversible Sessions. PLACES (2014)
Rocco De Nicola, Alberto Lluch-Lafuente, Michele Loreti, Andrea Morichetta, Rosario Pugliese, Valerio Senni, Francesco Tiezzi
Programming and Verifying Component Ensembles. FPS@ETAPS (2014)
Michele Amoretti, Alessandro Grazioli, Francesco Zanichelli, Valerio Senni, Francesco Tiezzi
Towards a Formal Approach to Mobile Cloud Computing. PDP (2014)
Roberto Vigo, Alessandro Celestini, Francesco Tiezzi, Rocco De Nicola, Flemming Nielson, Hanne Riis Nielson
Trust-Based Enforcement of Security Policies. TGC (2014)
Luca Cesari, Rosario Pugliese, Francesco Tiezzi
Blind-date Conversation Joining. WWV (2013)
Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - - A Practical Approach -. WS-FM (2013)
Alessandro Celestini, Rocco De Nicola, Francesco Tiezzi
Network-Aware Evaluation Environment for Reputation Systems. IFIPTM (2013)
Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data. HEALTHINF (2013)
Laura Kovács, Rosario Pugliese, Josep Silva, Francesco Tiezzi
Special issue on Automated Specification and Verification of Web Systems. J. Log. Algebraic Methods Program. 82 (8) (2013)
Andrea Margheri, Rosario Pugliese, Francesco Tiezzi
Linguistic Abstractions for Programming and Policing Autonomic Computing Systems. UIC/ATC (2013)

Francesco Tiezzi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Francesco Tiezzi