Francesco TIEZZI

Ruolo attuale:: Professore Associato
SSD:: INFO-01/A - Informatica
Afferenza organizzativa:: Dipartimento di Statistica, Informatica, Applicazioni 'G. Parenti' (DiSIA)

Recapiti

	0552755581
	francesco.tiezzi(AT)unifi.it

Ulteriori Recapiti

	Viale Morgagni, 65 - I piano - stanza 166
	0552751514
	www.disia.unifi.it/tiezzi

Francesco TIEZZI

Orario di ricevimento (aggiornato al 30/08/2022)

Ricevimento studenti su appuntamento (via email)

Francesco TIEZZI

Biografia

Tiezzi si è laureato con lode in Informatica presso l'Università degli Studi di Firenze nel Gennaio 2005. Ha ottenuto il Dottorato di ricerca in Informatica e Applicazioni presso il Dipartimento di Sistemi e Informatica della stessa università nell'Aprile 2009.

Prima di entrare a far parte del Dipartimento di Statistica, Informatica e Applicazioni dell'Università degli Studi di Firenze come Professore Associato nel Settembre 2021, Tiezzi è stato Professore Associato presso il PROS Lab dell'Università di Camerino, e Ricercatore a Tempo Determinato presso l'unità di ricerca SysMA dell'IMT Alti Studi Lucca.

Francesco TIEZZI

Curriculum

Il CV di Tiezzi può essere scaricato da qui. Le pubblicazioni di Tiezzi sono elencate anche sul sito web DBLP.

Francesco TIEZZI

Interessi

L’attività di ricerca di Tiezzi è incentrata sullo studio di sistemi distribuiti e sull’applicazione di metodi formali per lo sviluppo ed analisi di tali sistemi. Particolare attenzione è rivolta alla definizione di basi formali e rigorose per Service-Oriented Computing, Autonomic Computing e Business Process Management.

L’attività di ricerca di Tiezzi si focalizza anche su formalizzazione, analisi ed implementazione di: meccanismi per il controllo degli accessi; Service Level Agreement per sistemi cloud; sistemi di mobile cloud computing; sistemi di reputazione; linguaggi e tipi per reversible computing; applicazioni basate su blockchain.

Francesco TIEZZI

Pubblicazioni

Legenda

Contributo su rivista |

Articolo su libro |

Libro |

Contributo in atti di convegno (proceeding) |

Brevetto |

Curatela | Altro

Altro |

Tesi di Dottorato

Corradini F.; Mozzoni L.; Piccioni J.; Re B.; Rossi L.; Tiezzi F. (2024). BEAR: BPMN and Environment AnimatoR. In: Best Dissertation Award, Doctoral Consortium, and Demonstration and Resources Forum at 22nd International Conference on Business Process Management, BPM-D 2024, pol, 2024, CEUR-WS, vol. 3758, pp. 121-125.

Corradini F.; Fornari F.; Pettinari S.; Re B.; Rossi L.; Tiezzi F. (2024). A BPMN-Based Approach for IoT Systems Engineering. In: Franco Zambonelli, Giancarlo Fortino, Barbara Re, Mirko Viroli. Internet of Things, pp. 85-105 Springer Science and Business Media Deutschland GmbH, ISBN:9783031621451., vol. 3177: DOI

Bettini, Lorenzo; Ferrari, Gian-Luigi; Loreti, Michele; Pugliese, Rosario; Tiezzi, Francesco; Tuosto, Emilio (2024). Klaim in the Making. In: T. Margaria. B. Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Proc. of the track Rigorous Engineering of Collective Adaptive Systems (ReoCAS) --- REoCAS Colloquium in Honor of Rocco De Nicola - 12th International Symposium (ISoLA 2024) - Part I, pp. 27-49 Springer Verlag Germany, ISBN:9783031737084., vol. 15219: DOI

Bourr, Khalid; Tiezzi, Francesco; Bettini, Lorenzo (2024). Model-Driven Development of Multi-Robot Systems: From BPMN Models to X-Klaim Code. In: Tiziana Margaria, Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part II, pp. 224-242 Springer, ISBN:9783031751066., vol. 15220: DOI Accesso ONLINE all'editore

Nawaz Abdullah Malla, Alessandro Marcelletti, Andrea Morichetta, Francesco Tiezzi (2024). Unveiling Algorand Storage Peculiarities. In: Proceedings of the Sixth Distributed Ledger Technology Workshop, CEUR-WS.org, vol. 3791, pp. 0-0.

Corradini, Flavio; Fornari, Fabrizio; Re, Barbara; Rossi, Lorenzo; Polini, Andrea; Tiezzi, Francesco; Vandin, Andrea (2024). Formal Approaches for Modeling and Analysis of Business Process Collaborations. In: Tiziana Margaria and Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation, pp. 50-61 Springer, ISBN:9783031737084. DOI

Corradini F.; Pettinari S.; Re B.; Rossi L.; Tiezzi F. (2024). A Methodology for the Analysis of Robotic Systems via Process Mining. In: Henderik A. Proper, Luise Pufahl, Dimka Karastoyanova, Marten van Sinderen, João Moreira. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 117-133 Springer Science and Business Media Deutschland GmbH, ISBN:9783031465864., vol. 14367: DOI

Corradini F.; Pettinari S.; Re B.; Rossi L.; Tiezzi F. (2024). A technique for discovering BPMN collaboration diagrams. SOFTWARE AND SYSTEMS MODELING, pp. 0-0, ISSN:1619-1366 DOI

Bruno, Tania; Etenzi, Ettore; Gualandi, Luca; Katra, Eraldo; Pugliese, Rosario; Taranto, Alessio; Tiezzi, Francesco (2024). A blockchain-based platform for incentivizing customer reviews in the grocery industry. BLOCKCHAIN: RESEARCH AND APPLICATIONS, pp. 0-0, ISSN:2096-7209 DOI Accesso ONLINE all'editore

Francesco Tiezzi (2024). Coordination Models and Languages - Preface. In: Ilaria Castellani, Francesco Tiezzi. Coordination Models and Languages, pp. 7-8 Springer, ISBN:9783031626968., vol. 14676: DOI

Corradini, Flavio; Piccioni, Jessica; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco (2024). On the Interplay Between BPMN Collaborations and the Physical Environment. In: Andrea Marrella, Manuel Resinas, Mieke Jans, Michael Rosemann. Business Process Management, pp. 93-110 Springer, ISBN:9783031703959., vol. 14940 LNCS: DOI

Mezzina C.A.; Tiezzi F.; Yoshida N. (2023). Rollback Recovery in Session-Based Programming. In: 25th International Conference on Coordination Models and Languages (COORDINATION 2023), Springer, vol. 13908, pp. 195-213, ISBN:978-3-031-35360-4 DOI

Plebani, P; Rossetto, D; Tiezzi, F (2023). Empowering trusted data sharing for data analytics in a federated environment: A blockchain-based approach. FRONTIERS IN BLOCKCHAIN, vol. 6, pp. 0-0, ISSN:2624-7852 DOI

Lorenzo Bettini, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi (2023). Coordinating and programming multiple ROS-based robots with X-KLAIM. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, pp. 747-764, ISSN:1433-2787

Corradini F.; Pettinari S.; Re B.; Rossi L.; Tiezzi F. (2023). A BPMN-driven framework for Multi-Robot System development. ROBOTICS AND AUTONOMOUS SYSTEMS, vol. 160, pp. 0-0, ISSN:0921-8890 DOI

Corradini, Flavio; Marcelletti, Alessandro; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco (2023). A Flexible Approach to Multi-party Business Process Execution on Blockchain. FUTURE GENERATION COMPUTER SYSTEMS, vol. 147, pp. 219-234, ISSN:0167-739X DOI

Corradini, Flavio; Marcelletti, Alessandro; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco (2023). Blockchain-based Execution of BPMN Choreographies with Multiple Instances. DISTRIBUTED LEDGER TECHNOLOGIES, pp. 0-0, ISSN:2769-6472 DOI

Bruno T.; Etenzi E.; Gualandi L.; Katra E.; Pugliese R.; Taranto A.; Tiezzi F. (2023). Incentivizing Customer Reviews in the Grocery Industry: The Re-Taled Project's Approach. In: 5th Distributed Ledger Technology Workshop, DLT 2023, ita, 2023, CEUR-WS, vol. 3460, pp. 0-0.

Corradini F.; Pettinari S.; Re B.; Ruschioni L.; Tiezzi F. (2023). Enhancing compatibility in QoS communication for the Internet of Robotic Things. In: 42nd International Conference on Conceptual Modeling: ER Forum, 7th Symposium on Conceptual Modeling Education, SCME 2023, Project Exhibitions, Posters and Demos, and Doctoral Consortium, ER-Companion 2023, prt, 2023, CEUR-WS, vol. 3618, pp. 0-0.

Corradini F.; Pettinari S.; Re B.; Rossi L.; Tiezzi F. (2023). Executable Digital Process Twins: Towards the Enhancement of Process-Driven Systems. BIG DATA AND COGNITIVE COMPUTING, vol. 7, pp. 0-0, ISSN:2504-2289 DOI

Corradini F.; Re B.; Rossi L.; Tiezzi F. (2022). A Technique for Collaboration Discovery. In: Adriano Augusto, Asif Gill, Dominik Bork, Selmin Nurcan, Iris Reinhartz-Berger, Rainer Schmidt. Lecture Notes in Business Information Processing, pp. 63-78 Springer Science and Business Media Deutschland GmbH, ISBN:978-3-031-07474-5. DOI

Corradini, Flavio; Marcelletti, Alessandro; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco (2022). Engineering Trustable and Auditable Choreography-based Systems Using Blockchain. ACM TRANSACTIONS ON MANAGEMENT INFORMATION SYSTEMS, vol. 13, pp. 1-53, ISSN:2158-656X DOI

Corradini F.; Marcelletti A.; Morichetta A.; Polini A.; Re B.; Tiezzi F. (2022). ChorChain: A Blockchain-Based Framework for Executing and Auditing BPMN Choreographies. In: Christian Janiesch, Chiara Di Francescomarino, Thomas Grisold, Akhil Kumar, Jan Mendling, Brian T. Pentland, Hajo A. Reijers, Mathias Weske, Robert Winter. CEUR Workshop Proceedings, pp. 132-136 CEUR-WS.

Compagnucci I.; Corradini F.; Fornari F.; Polini A.; Re B.; Tiezzi F. (2022). A systematic literature review on IoT-aware business process modeling views, requirements and notations. SOFTWARE AND SYSTEMS MODELING, pp. 0-0, ISSN:1619-1366 DOI

Burattin A.; Re B.; Rossi L.; Tiezzi F. (2022). A Purpose-Guided Log Generation Framework. In: Di Ciccio, C., Dijkman, R., del Río Ortega, A., Rinderle-Ma, S.. Proc. of 20th International Conference on Business Process Management (BPM 2022), pp. 181-198 Springer, ISBN:978-3-031-16102-5. DOI

Corradini F.; Marcelletti A.; Morichetta A.; Polini A.; Re B.; Tiezzi F. (2022). Flexible Execution of Multi-Party Business Processes on Blockchain. In: R. Tonelli, M. Ortu. Proceedings of the 5th International Workshop on Emerging Trends in Software Engineering for Blockchain, pp. 25-32 ACM, ISBN:9781450393317. DOI

Corradini F.; Marcelletti A.; Morichetta A.; Polini A.; Re B.; Tiezzi F. (2022). A Choreography-Driven Approach for Blockchain-Based IoT Applications. In: 3rd Workshop on Blockchain theoRy and ApplicatIoNs (BRAIN 2022), 2022, IEEE, pp. 255-260, ISBN:978-1-6654-1647-4 DOI

Burattin A.; Re B.; Rossi L.; Tiezzi F. (2022). PURPLE: a PURPose-guided Log GEnerator (Extended Abstract). In: Doctoral Consortium and the Tool Demonstration Track of the 4th International Conference on Process Mining, ICPM-D 2022, ita, 2022, CEUR-WS, vol. 3299, pp. 90-94.

Corradini F.; Polini A.; Re B.; Rossi L.; Tiezzi F. (2022). Consistent modelling of hierarchical BPMN collaborations. BUSINESS PROCESS MANAGEMENT JOURNAL, vol. 28, pp. 442-460, ISSN:1463-7154 DOI

Corradini F.; Muzi C.; Re B.; Rossi L.; Tiezzi F. (2022). Formalising and animating multiple instances in BPMN collaborations. INFORMATION SYSTEMS, vol. 103, pp. 1-26, ISSN:0306-4379 DOI Accesso ONLINE all'editore

Lorenzo Bettini,, Khalid Bourr, Rosario Pugliese, Francesco Tiezzi (2022). Programming Multi-Robot Systems with X-KLAIM. In: T. Margaria. B. Steffen. Proc. of the 10th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning. (ISoLA 2022), pp. 283-300 Springer, ISBN:978-3-031-19758-1. DOI

Corradini F.; Muzi C.; Re B.; Rossi L.; Tiezzi F. (2022). BPMN 2.0 OR-Join Semantics: Global and local characterisation. INFORMATION SYSTEMS, vol. 105, pp. 0-0, ISSN:0306-4379 DOI

Corradini F.; Pettinari S.; Re B.; Rossi L.; Tiezzi F. (2022). An Approach to Support Digital Process Twin. In: 20th IEEE International Conference on Dependable, Autonomic and Secure Computing, 20th IEEE International Conference on Pervasive Intelligence and Computing, 7th IEEE International Conference on Cloud and Big Data Computing, 2022 IEEE International Conference on Cyber Science and Technology Congress, DASC/PiCom/CBDCom/CyberSciTech 2022, ita, 2022, Institute of Electrical and Electronics Engineers Inc., pp. 1-4, ISBN:978-1-6654-6297-6 DOI

Corradini F.; Fornari F.; Polini A.; Re B.; Tiezzi F.; Vandin A. (2021). A formal approach for the analysis of BPMN collaboration models. THE JOURNAL OF SYSTEMS AND SOFTWARE, vol. 180, pp. 111007-, ISSN:0164-1212 DOI

Corradini, Flavio; Marcelletti, Alessandro; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Scala, Emanuele; Tiezzi francesco, Francesco (2021). Model-Driven Engineering for Multi-Party Business Processes on Multiple Blockchains. BLOCKCHAIN: RESEARCH AND APPLICATIONS, vol. 2, pp. 0-0, ISSN:2096-7209 DOI

Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi (2021). RePROSitory: a Repository platform for sharing business PROcess models and logS. In: 1st Italian Forum on Business Process Management (ITBPM 2021), CEUR-WS.org, vol. 2952, pp. 13-18.

Khalid Burr, Flavio Corradini, Sara Pettinari, Barbara Re, Lorenzo Rossi, Francesco Tiezzi (2021). Disciplined use of BPMN for mission modeling of Multi-Robot Systems. In: Forum at Practice of Enterprise Modeling 2021 (PoEM-Forum 2021), CEUR-WS.org, vol. 3045, pp. 1-10.

Corradini F.; Morichetta A.; Muzi C.; Re B.; Tiezzi F. (2021). Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations. THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, vol. 119, pp. 0-0, ISSN:2352-2208 DOI

Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi (2021). ChorChain: A model-driven framework for choreography-based systems using blockchain. In: 1st Italian Forum on Business Process Management (ITBPM 2021), CEUR-WS.org, vol. 2952, pp. 26-32.

Flavio Corradini; Andrea Morichetta; Andrea Polini; Barbara Re; Francesco Tiezzi (2020). Collaboration vs. choreography conformance in BPMN. LOGICAL METHODS IN COMPUTER SCIENCE, vol. 16, pp. 1-37, ISSN:1860-5974 DOI Accesso ONLINE all'editore

Belluccini S.; De Nicola R.; Dumas M.; Pullonen P.; Re B.; Tiezzi F. (2020). Verification of privacy-enhanced collaborations. In: 2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering, FormaliSE 2020, Korea, 2020, Association for Computing Machinery, pp. 141-152, ISBN:9781450370714 DOI

Corradini F.; Marcelletti A.; Morichetta A.; Polini A.; Re B.; Tiezzi F. (2020). Engineering trustable choreography-based systems using blockchain. In: 35th Annual ACM Symposium on Applied Computing, SAC 2020, cze, 2020, Association for Computing Machinery, pp. 1470-1479, ISBN:9781450368667 DOI

Compagnucci I.; Corradini F.; Fornari F.; Polini A.; Re B.; Tiezzi F. (2020). Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review. In: International Workshops on Business Process Management, BPM 2020, Spain, 2020, Springer Science and Business Media Deutschland GmbH, vol. 397, pp. 108-121, ISBN:978-3-030-66497-8 DOI

Stefano Bistarelli; Gianmarco Mazzante; Matteo Micheletti; Leonardo Mostarda; Davide Sestili; Francesco Tiezzi (2020). Ethereum smart contracts: Analysis and statistics of their source code and opcodes. INTERNET OF THINGS, vol. 11, pp. 100198-, ISSN:2542-6605 DOI

Corradini F.; Morichetta A.; Polini A.; Re B.; Rossi L.; Tiezzi F. (2020). Correctness checking for BPMN collaborations with sub-processes. THE JOURNAL OF SYSTEMS AND SOFTWARE, vol. 166, pp. -, ISSN:0164-1212 DOI

Belluccini S.; De Nicola R.; Re B.; Tiezzi F. (2020). PALM: A Technique for Process ALgebraic Specification Mining. In: 16th International Conference on Integrated Formal Methods, IFM 2020, che, 2020, Springer Science and Business Media Deutschland GmbH, vol. 12546, pp. 397-418, ISBN:978-3-030-63460-5 DOI

Pugliese, Rosario; Tiezzi, Francesco (2020). Replacement freeness: A criterion for separating process calculi. THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, vol. 116, pp. 1-33, ISSN:2352-2208 DOI

De Nicola R.; Ferrari G.; Pugliese R.; Tiezzi F. (2020). A formal approach to the engineering of domain-specific distributed systems. THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, vol. 111, pp. 1-37, ISSN:2352-2216 DOI Accesso ONLINE all'editore

Bettini, Lorenzo; Bourr, Khalid; Pugliese, Rosario; Tiezzi, Francesco (2020). Writing Robotics Applications with X-Klaim. In: Tiziana Margaria, Bernhard Steffen. Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II, pp. 361-379 Margaria, Tiziana and Steffen, Bernhard, ISBN:978-3-030-61469-0. DOI Accesso ONLINE all'editore

ABDUL, BASIT MUBEEN; Corradini, Flavio; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco (2019). UBBA: Unity Based BPMN Animator. In: 31st International Conference on Advanced Information Systems Engineering, CAiSE 2019, Roma, 3-7 June 2019, Springer, vol. 350, pp. 1-9, ISBN:978-3-030-21296-4 DOI

Corradini, Flavio; Morichetta, Andrea; Re, Barbara; Tiezzi, Francesco (2019). Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies. In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, Paris, 4 November 2019, Springer, vol. 11760, pp. 163-181, ISBN:978-3-030-31174-2 DOI

Flavio Corradini; Fabrizio Fornari; Andrea Polini; Barbara Re; Francesco Tiezzi (2019). RePROSitory: a Repository Platform for Sharing Business PROcess modelS. In: BPM 2019, Vienna, 1-6 september 2019, CEUR-WS, vol. 2420, pp. 149-153.

Bettini L.; Merelli E.; Tiezzi F. (2019). X-Klaim is back. In: Boreale M., Corradini F., Loreti M., Pugliese R.. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 115-135 Springer Verlag. DOI Accesso ONLINE all'editore

S. Bistarelli G. Mazzante M. Micheletti L. Mostarda F. Tiezzi; Bistarelli, Stefano; Mazzante, Gianmarco; Micheletti, Matteo; Mostarda, Leonardo; Tiezzi, Francesco (2019). Analysis of Ethereum Smart Contracts and Opcodes. . Advanced Information Networking and Applications - Proceedings of the 33rd International Conference on Advanced Information Networking and Applications (AINA-2019), pp. 546-558, CHE: Springer, ISBN:978-3-030-15031-0. DOI

Margheri, Andrea; Masi, Massimiliano; Pugliese, Rosario; Tiezzi, Francesco (2019). A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, vol. 45, pp. 2-33, ISSN:0098-5589 DOI Accesso ONLINE all'editore

Davide Basile, Rosario Pugliese, Francesco Tiezzi, Pierpaolo Degano, Gian-Luigi Ferrari (2019). Automata-based Behavioural Contracts with Action Correlation. In: Maurice H. ter Beek, Alessandro Fantechi, Laura Semini. From Software Engineering to Formal Methods and Tools, and Back -- Essays dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, pp. 131-151 Springer, ISBN:978-3-030-30984-8. DOI

Uriarte, Rafael Brundo; De Nicola, Rocco; Scoca, Vincenzo; Tiezzi, Francesco (2019). Defining and guaranteeing dynamic service levels in clouds. FUTURE GENERATION COMPUTER SYSTEMS, vol. 99, pp. 27-40, ISSN:0167-739X DOI Accesso ONLINE all'editore

Fabrizio Fornari; Marcello La Rosa; Andrea Polini; Barbara Re; Francesco Tiezzi (2018). Checking Business Process Correctness in Apromore. In: CAiSE Forum 2018, Tallin, June 2018, Springer, vol. LNBIP 317, pp. 1-10, ISBN:978-3-319-92901-9 DOI

Corradini, Flavio; Muzi, Chiara; Re, Barbara; Tiezzi, Francesco (2018). A Classification of BPMN Collaborations based on Safeness and Soundness Notions. In: 25th International Workshop on Expressiveness in Concurrency (EXPRESS) / 15th Workshop on Structural Operational Semantics (SOS), Beijing, September 3, 2018, Open Publishing Association, vol. 276, pp. 37-52. DOI

Flavio Corradini; Chiara Muzi; Barbara Re; Lorenzo Rossi; Francesco Tiezzi (2018). MIDA: Multiple Instances and Data Animator. In: BPM 2018, Sydney, 9-14 September 2018, CEUR-WS, vol. 2196, pp. 86-90.

Flavio Corradini; Fabrizio Fornari; Andrea Polini; Barbara Re; Francesco Tiezzi (2018). A Formal Approach to Modelling and Verification of Business Process Collaborations. SCIENCE OF COMPUTER PROGRAMMING, vol. 166, pp. 35-70, ISSN:0167-6423 DOI

Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi (2018). A Formal Approach to the Engineering of Domain-Specific Distributed Systems. In: International Conference on Coordination Models and Languages, Springer, pp. 110-141. DOI

Corradini, Flavio; Muzi, Chiara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco (2018). Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support. In: International Conference on Business Process Management. BPM 2018, Sydney, 9-14 September 2018, Springer, vol. 11080, pp. 83-101, ISBN:978-3-319-98647-0 DOI

C. Muzi L. Pufahl L. Rossi M. Weske F. Tiezzi; Muzi, Chiara; Pufahl, Luise; Rossi, Lorenzo; Weske, Mathias; Tiezzi, Francesco (2018). Formalising BPMN Service Interaction Patterns. . The Practice of Enterprise Modeling - 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31 – November 2, 2018, Proceedings, pp. 3-20, CHE: Springer, ISBN:978-3-030-02301-0. DOI

Flavio Corradini; Andrea Morichetta; Andrea Polini; Barbara Re; Francesco Tiezzi (2018). Collaboration vs Choreography Conformance in BPMN 2.0: from Theory to Practice. In: 22nd IEEE International Enterprise Distributed Object Computing Conference, EDOC 2018, Stockholm, 16-19 October 2018, Institute of Electrical and Electronics Engineers, Inc., pp. 95-104, ISBN:978-1-5386-4139-2 DOI

Flavio Corradini; MUZI, Chiara; Barbara Re; ROSSI, LORENZO; Francesco Tiezzi (2018). Global vs. local semantics of BPMN 2.0 OR-join. In: International Conference on Current Trends in Theory and Practice of Informatics, Austria, January 29 - February 2, 2018, Springer, pp. 321-336, ISBN:978-3-319-73117-9 DOI

MORICHETTA, Andrea; Barbara Re; Francesco Tiezzi (2018). Runtime Computation of Optimal Offloading Scheduling . In: 6th IEEE International Conference on Mobile Cloud Computing, Services, and Engineering, Bamberg, March 26 – March 29, 2018, IEEE, pp. 73-78, ISBN:978-1-5386-4879-7 DOI

Corradini Flavio; Polini Andrea; Re Barbara; Rossi Lorenzo; Tiezzi Francesco (2017). Supporting Multi-Layer Modeling in BPMN Collaborations. In: 13th International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS), Essen, June 2017, Pergl, R., Lock, R., Babkin, E., Molhanec, M., vol. 298, pp. 53-67, ISBN:978-3-319-68184-9 DOI

CORRADINI, Flavio; POLINI, Andrea; FORNARI, FABRIZIO; RE, Barbara; TIEZZI, Francesco; VANDIN, ANDREA (2017). BProVe: Tool Support for Business Process Verification. In: ASE 2017, Urbana-Champaign, IL, USA, 30 October - 3 November, Grigore Rosu, pp. 937-942.

Corradini Flavio; Fornari Fabrizio; Muzi Chiara; Polini Andrea; Re Barbara; Tiezzi Francesco (2017). On Avoiding Erroneous Synchronization in BPMN Processes. In: 20th International Conference on Business Information Systems, Poznań, June 2017, Witold Abramowicz, pp. 106-119. DOI

Cesari, Luca; Pugliese, Rosario; Tiezzi, Francesco (2017). Blind-date Conversation Joining. SERVICE ORIENTED COMPUTING AND APPLICATIONS, vol. 11, pp. 265-283, ISSN:1863-2386 DOI Accesso ONLINE all'editore

Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; TIEZZI, Francesco (2017). Causal-consistent rollback in a tuple-based language. THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, vol. 88, pp. 99-120, ISSN:2352-2208 DOI Accesso ONLINE all'editore

Corradini Flavio; Polini Andrea; FORNARI, FABRIZIO; Re Barbara; TIEZZI, Francesco; VANDIN, ANDREA (2017). BProVe: a Formal Verification Framework for Business Process Models. In: 32nd IEEE/ACM International Conference on Automated Software Engineering - ASE 2017, Urbana Champaign, Illinois, USA, October 30 - November 3, 2017, Grigore Rosu, pp. 217-228. DOI

Maggi, Alessandro; Petrocchi, Marinella; Spognardi, Angelo; TIEZZI, Francesco (2017). A language-based approach to modelling and analysis of Twitter interactions. THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, vol. 87, pp. 67-91, ISSN:2352-2208 DOI Accesso ONLINE all'editore

R. Brundo Uriarte F. Tiezzi R. De Nicola; Uriarte, Rafael Brundo; TIEZZI, Francesco; De Nicola, Rocco (2016). Dynamic SLAs for Clouds. . Service-Oriented and Cloud Computing, pp. 34-49, CHE: Springer, ISBN:978-3-319-44481-9. DOI

Uriarte, Rafael Brundo; TIEZZI, Francesco; Tsaftaris, Sotirios A. (2016). Supporting Autonomic Management of Clouds: Service Clustering With Random Forest. IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT, vol. 13, pp. 595-607, ISSN:1932-4537 DOI Accesso ONLINE all'editore

CORRADINI, Flavio; POLINI, Andrea; TIEZZI, Francesco; RE, Barbara (2016). An Operational Semantics of BPMN Collaboration. In: 12th International Conference on Formal Aspects of Component Software (FACS2015), Universidade Federal Fluminense, Niterói - Brazil, October 14-16, 2015, Springer, vol. 9539, pp. 161-180, ISBN:978-3-319-28933-5 DOI

F. Tiezzi N. Yoshida; TIEZZI, Francesco; Yoshida, Nobuko (2016). Reversing Single Sessions. . Reversible Computation, pp. 52-69, CHE: Springer, ISBN:978-3-319-40577-3. DOI

C. Braga P.C. Ölveczky; Aceto, Luca; Larsen, Kim G.; MORICHETTA, ANDREA; TIEZZI, Francesco (2016). A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing. . Formal Aspects of Component Software, pp. 66-85, CHE: Springer. DOI

Margheri, A.; Pugliese, R.; Tiezzi, F. (2015). On Properties of Policy-Based Specifications. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, vol. 188, pp. 33-50, ISSN:2075-2180 DOI

Hoang, Van Tien; Spognardi, Angelo; TIEZZI, Francesco; Petrocchi, Marinella; De Nicola, Rocco (2015). Domain-specific queries and Web search personalization: some investigations. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, vol. 188, pp. 51-58, ISSN:2075-2180 DOI Accesso ONLINE all'editore

P. Balaji C. Xu D.S. Katz X. Zhao; Uriarte, Rafael Brundo; Tsaftaris, Sotirios; TIEZZI, Francesco (2015). Service Clustering for Autonomic Clouds Using Random Forest. . 15th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid), pp. 515-524, USA: IEEE. DOI

Combaz, J.; Bensalem, S.; Tiezzi, F.; Margheri, A.; Pugliese, R.; Kofron, J. (2015). Correctness of Service Components and Service Component Ensembles. In: M. Wirsing, M. Hoelzl, N. Koch, P. Mayer. Software Engineering for Collective Autonomic Systems: The ASCENS Approach, pp. 107-159 Springer, ISBN:978-3-319-16309-3. DOI

Mayer, P.; Velasco, J.; Klarl, A.; Hennicker, R.; Puviani, M.; Tiezzi, F.; Pugliese, R.; Keznikl, J.; Bures, T. (2015). The Autonomic Cloud. In: M. Wirsing, M. Hölzl, N. Koch, P. Mayer. Software Engineering for Collective Autonomic Systems: The ASCENS Approach, pp. 495-512 Springer, ISBN:978-3-319-16309-3. DOI

Alrahman, Yehia Abd; De Nicola, Rocco; Loreti, Michele; Tiezzi, Francesco; Vigo, Roberto (2015). A calculus for attribute-based communication. In: Roger L. Wainwright, Juan Manuel Corchado, Alessio Bechini, Jiman Hong. Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015., pp. 1840-1845 ACM, ISBN:9781450331968. DOI Accesso ONLINE all'editore

R. Calinescu B. Rumpe; De Nicola, Rocco; Maggi, Alessandro; Petrocchi, Marinella; Spognardi, Angelo; TIEZZI, Francesco (2015). Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. . Software Engineering and Formal Methods, pp. 327-343, CHE: Springer. DOI

TIEZZI, Francesco; Yoshida, Nobuko (2015). Reversible session-based pi-calculus. THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, vol. 84, pp. 684-707, ISSN:2352-2216 DOI

S. Hiroyuki D. Huang A. Küppe P. Bellavista X. Hong T. Kobayashi; Aceto, Luca; MORICHETTA, ANDREA; TIEZZI, Francesco (2015). Decision Support for Mobile Cloud Computing Applications via Model Checking. . 3rd IEEE International Conference on Mobile Cloud Computing, Services, and Engineering (MobileCloud), pp. 199-204, USA: IEEE. DOI

Montanari, U.; Pugliese, R.; Tiezzi, F. (2015). Programming Autonomic Systems with Multiple Constraint Stores. In: R. De Nicola, R. Hennicker. Software, Services, and Systems, pp. 641-661 Springer-Verlag, ISBN:978-3-319-15544-9. DOI

De Nicola, R.; Latella, D.; Lafuente, A. Lluch; Loreti, M.; Margheri, A.; Massink, M.; Morichetta, A.; Pugliese, R.; Tiezzi, F.; Vandin, A. (2015). The SCEL Language: Design, Implementation, Verification. In: M. Wirsing, M. Hoelzl, N. Koch, P. Mayer. Software Engineering for Collective Autonomic Systems: The ASCENS Approach, pp. 3-71 SPRINGER VERLAG, ISBN:978-3-319-16309-3. DOI

M. Aldinucci M. Daneshtalab V. Leppänen J. Lilius M. Brorsson; Giachino, Elena; Lanese, Ivan; Mezzina, Claudio Antares; TIEZZI, Francesco (2015). Causal-Consistent Reversibility in a Tuple-Based Language. . 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, pp. 467-475, USA: IEEE. DOI

M. Maffei E. Tuosto; Vigo Roberto; Celestini Alessandro; Tiezzi Francesco; De Nicola Rocco; Nielson Flemming; Nielson Hanne Riis (2014). Trust-Based Enforcement of Security Policies. . Trustworthy Global Computing, pp. 176-191, DEU: Springer. DOI

M. Loreti; A. Margheri; R. Pugliese; F. Tiezzi (2014). On Programming and Policing Autonomic Computing Systems. In: T. Margaria, B. Steffen. Proc. of the 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation} (ISoLA 2014), Rigorous Engineering of Autonomic Ensembles track, pp. 164-183 Springer-Verlag, ISBN:9783662452332. DOI

Amoretti Michele; Grazioli Alessandro; Senni Valerio; Tiezzi Francesco; Zanichelli Francesco (2014). A formalized framework for mobile cloud computing. SERVICE ORIENTED COMPUTING AND APPLICATIONS, vol. 9, pp. 229-248, ISSN:1863-2386 DOI

F. Tiezzi; N. Yoshida (2014). Towards Reversible Sessions. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, vol. 155, pp. 17-24, ISSN:2075-2180 DOI

P. Mayer; A. Klarl; R. Hennicker; M. Puviani; F. Tiezzi; R. Pugliese; J. Keznikl; T. Bures (2014). The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing. In: SASOW'13: IEEE Seventh International Conference on Self-Adaptive and Self-Organizing Systems Workshops, IEEE Computer Society Press, pp. 89-94. DOI

G. Cabri; N. Capodieci; L. Cesari; R. De Nicola; R. Pugliese; F. Tiezzi; F. Zambonelli (2014). Self-expression and Dynamic Attribute-based Ensembles in SCEL. In: T. Margaria, B. Steffen. Proc. of the 6th International Symposium On Leveraging Applica- tions of Formal Methods, Verification and Validation. Technologies for Maste- ring Change (ISoLA 2014), Rigorous Engineering of Autonomic Ensembles track, pp. 147-163 Springer-Verlag, ISBN:9783662452332. DOI

Lanese Ivan; Mezzina Claudio Antares; Tiezzi Francesco (2014). Causal-Consistent Reversibility. BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, vol. 114, pp. -, ISSN:0252-9742

A. Celestini; G. Costantino; R. De Nicola; Z. Maamar; F. Martinelli; M. Petrocchi; F. Tiezzi (2014). Reputation-based Composition of Social Web Services. In: AINA'14, Victoria, BC, Canada, Maggio 2014, IEEE, pp. 735-742, ISBN:9781479936298 DOI

S. Pallickara C. Rong; Uriarte Rafael Brundo; Tiezzi Francesco; De Nicola Rocco (2014). SLAC: A Formal Service-Level-Agreement Language for Cloud Computing. . Proc. of 7th IEEE/ACM International Conference on Utility and Cloud Computing, pp. 419-426, USA: IEEE, ISBN:978-1-4799-7881-6. DOI

M. Amoretti; A. Grazioli; V. Senni; F. Tiezzi; F. Zanichelli (2014). Towards a Formal Approach to Mobile Cloud Computing. In: PDP'14, Torino, Italia, Febbraio 2014, IEEE, pp. 743-750, ISBN:0010666192 DOI

L. Cesari; R. De Nicola; R. Pugliese; M. Puviani; F. Tiezzi; F. Zambonelli (2014). Formalising Adaptation Patterns for Autonomic Ensembles. In: J.L. Fiadeiro, Z. Liu, J. Xue. Formal Aspects of Component Software, 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers, pp. 100-118 Springer, ISBN:9783319076010. DOI

Rocco De Nicola;Alberto Lluch Lafuente;Michele Loreti;Andrea Morichetta;Rosario Pugliese;Valerio Senni;Francesco Tiezzi (2014). Programming and Verifying Component Ensembles. In: Saddek Bensalem, Yassine Lakhneck and Axel Legay (Editors). From Programs to Systems. The Systems perspective in Computing - {ETAPS} Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings. Lecture Notes in Computer Science. Vol. 8415., pp. 69-83 Springer, ISBN:9783642548475. DOI Accesso ONLINE all'editore

A. Margheri; M. Masi; R. Pugliese; F. Tiezzi (2014). Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - A Practical Approach. In: E. Tuosto, C. Ouyang. Proc. of the 10th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing (WS-FM'13), pp. 85-105 Springer, ISBN:9783319082592. DOI

Rocco De Nicola; Michele Loreti; Rosario Pugliese; Francesco Tiezzi (2014). A Formal Approach to Autonomic Systems Programming: The SCEL Language. ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, vol. 9, pp. 1-29, ISSN:1556-4665 DOI Accesso ONLINE all'editore

J. Zhou, N. Gal-Oz, J. Zhang, E. Gudes (Eds.); A. Celestini; A. Lluch Lafuente; P. Mayer; S. Sebastio; F. Tiezzi (2014). Reputation-Based Cooperation in the Clouds. . Trust Management VIII, 8th IFIP WG 11.11 International Conference, IFIPTM 2014, Singapore, July 7-10, 2014. Proceedings, pp. 213-220, DEU: Springer, ISBN:9783662438121. DOI

C. Fernández-Gago, F. Martinelli, S. Pearson, I. Agudo (Eds.); A. Celestini; R. De Nicola; F. Tiezzi (2013). Network-Aware Evaluation Environment for Reputation Systems. . Trust Management VII, 7th IFIP WG 11.11 International Conference, IFIPTM 2013, Malaga, Spain, June 3-7, 2013. Proceedings, pp. 231-238, DEU: Springer, ISBN:9783642383229. DOI

L. Kovacs; R. Pugliese; J. Silva; F. Tiezzi (2013). Special issue on Automated Specification and Verification of Web Systems. In: L. Kovacs, R. Pugliese, J. Silva, F. Tiezzi. The Journal of Logic and Algebraic Programming. Special issue: Automated Specification and Verification of Web Systems, pp. 241-242 Elsevier Science B.V., Amsterdam. DOI

L. Cesari; R. Pugliese; F. Tiezzi (2013). Blind-date Conversation Joining. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, vol. 123, pp. 3-18, ISSN:2075-2180 DOI

A. Margheri; M. Masi; R. Pugliese; F. Tiezzi (2013). On a Formal and User-Friendly Linguistic Approach to Access Control of Electronic Health Data. In: HEALTHINF 2013 - Proceedings of the International Conference on Health Informatics, Barcelona, Spain, 11-14 February, SciTePress, pp. 263-268, ISBN:9789898565372 DOI

A. Margheri; R. Pugliese; F. Tiezzi (2013). Linguistic Abstractions for Programming and Policing Autonomic Computing Systems. In: ATC'13: 10th IEEE International Conference on. Autonomic and Trusted Computing, Vietri sul Mare, December 18-20, 2013, IEEE Computer Society, pp. 404-409. DOI Accesso ONLINE all'editore

M. Busch; N. Koch; M. Masi; R. Pugliese; F. Tiezzi (2013). Towards model-driven development of access control policies for web applications. In: Model-Driven Security Workshop (MDSec 2012), Innsbruck, Austria, October 1, 2012, ACM New York, pp. 1-6. DOI

A. Celestini; R. De Nicola; F. Tiezzi (2013). Specifying and analysing reputation systems with a coordination language. In: SAC'13, Coimbra, Portogallo, Marzo 2013, ACM, pp. 1363-1368, ISBN:9781450316569 DOI

Silva J.; Tiezzi F. (2012). Preface. In: Josep Silva, Francesco Tiezzi. Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, pp. 0-0 Open Publishing Association. DOI

M. Masi; R. Pugliese; F. Tiezzi (2012). Security Analysis of Standards-Driven Communication Protocols for Healthcare Scenarios. JOURNAL OF MEDICAL SYSTEMS, vol. 36(6), pp. 3695-3711, ISSN:0148-5598 DOI Accesso ONLINE all'editore

M. Masi; R. Pugliese; F. Tiezzi (2012). e-Health for Rural Areas in Developing Countries: Lessons from the Sebokeng Experience. In: Radu Popescu-Zeletin and Karl Jonas and Idris A. Rai and Roch H. Glitho and Adolfo Villafiorita. e-Infrastructure and e-Services for Developing Countries, Third International ICST Conference, AFRICOMM 2011, Zanzibar, Tanzania, November 23-24, 2011, Revised Selected Papers, pp. 187-196, Berlino: Springer, ISBN:9783642290923. DOI

A. Lapadula; R. Pugliese; F. Tiezzi (2012). Using formal methods to develop WS-BPEL applications. SCIENCE OF COMPUTER PROGRAMMING, vol. 77(3), pp. 189-213, ISSN:0167-6423 DOI

R. Bruni, V. Sassone (Eds.); R. De Nicola; A. Margheri; F. Tiezzi (2012). Orchestrating Tuple-Based Languages. . Trustworthy Global Computing, 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers, pp. 160-178, DEU: Springer, ISBN:9783642300646. DOI

Pugliese, Rosario; Tiezzi, Francesco (2012). A Calculus for Orchestration of Web Services. JOURNAL OF APPLIED LOGIC, vol. 10, pp. 2-31, ISSN:1570-8683 DOI

E. Gjondrekaj; M. Loreti; R. Pugliese; F. Tiezzi (2012). Modeling adaptation with a tuple-based coordination language. In: ACM Symposium on Applied Computing (SAC'12), Special Track on Coordination Models, Languages and Applications, Riva del Garda, Italy, March 25-29, 2012, ACM Press, pp. 1522-1527, ISBN:9781450308571 DOI

A. Fantechi; S. Gnesi; A. Lapadula; F. Mazzanti; R. Pugliese; F. Tiezzi (2012). A Logical Verification Methodology for Service-Oriented Computing. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, vol. 21(3), pp. 1-46, ISSN:1049-331X DOI Accesso ONLINE all'editore

E. Gjondrekaj; M. Loreti; R. Pugliese; F. Tiezzi (2012). Modeling Adaptation with Klaim. APPLIED COMPUTING REVIEW, vol. 12(4), pp. 21-35, ISSN:1931-0161 DOI

M. Masi; R. Pugliese; F. Tiezzi (2012). Formalisation and Implementation of the XACML Access Control Mechanism. In: G. Barthe, B. Livshits, R. Scandariato. Engineering Secure Software and Systems, 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings, pp. 60-74, Berlino: Springer. DOI

E. Gjondrekaj; M. Loreti; R. Pugliese; F. Tiezzi; C. Pinciroli; M. Brambilla; M. Birattari; M. Dorigo (2012). Towards a Formal Verification Methodology for Collective Robotic Systems. In: Toshiaki Aoki, Kenji Taguchi. Formal Methods and Software Engineering, 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings, pp. 54-70, Berlino: Springer-Verlag, ISBN:9783642342806. DOI Accesso ONLINE all'editore

M.Masi; R.Pugliese; F.Tiezzi (2011). A standard-driven communication protocol for disconnected clinics in rural areas. In: 13th IEEE International Conference on e-Health Networking, Application Services (Healthcom'11), Columbia (MO), USA, 13-15 Giugno 2011, IEEE, pp. 304-311, ISBN:9781612846958 DOI

F.Banti; R.Pugliese; F.Tiezzi (2011). An Accessible Verification Environment for UML Models of Services. JOURNAL OF SYMBOLIC COMPUTATION, vol. 46(2), pp. 119-149, ISSN:0747-7171 DOI

A.Lapadula; R.Pugliese; F.Tiezzi (2011). A WSDL-based type system for asynchronous WS-BPEL processes. FORMAL METHODS IN SYSTEM DESIGN, vol. 38(2), pp. 119-157, ISSN:1572-8102 DOI

L.Kovács; R.Pugliese; F.Tiezzi (2011). Proc. of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011). In: L.Kovács, R.Pugliese, F.Tiezzi. Proc. of 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011), pp. 1-1, Sydney: Electronic Proceedings in Theoretical Computer Science 61 (EPTCS). DOI

S.Gnesi; R.Pugliese; F.Tiezzi (2011). The Sensoria Approach Applied to the Finance Case Study. In: M. Wirsing, M. Hoelzl, Eds.. Rigorous Software Engineering for Service-Oriented Systems, Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, pp. 698-718, Berlin Heidelberg: Springer, ISBN:9783642204005. DOI

L. Cesari; A. Lapadula; R. Pugliese; F. Tiezzi (2010). A tool for rapid development of WS-BPEL applications. In: ACM Symposium On Applied Computing (SAC'10), technical track on Service Oriented Architecture and Programming (SOAP), Sierre, Switzerland, March 22-26, 2010, ACM Press, pp. 2438-2442, ISBN:9781605586397 DOI

L.Cesari; R.Pugliese; F.Tiezzi (2010). A tool for rapid development of WS-BPEL applications. APPLIED COMPUTING REVIEW, vol. 11, pp. 27-40, ISSN:1931-0161 DOI

F. Banti; R. Pugliese; F. Tiezzi (2010). A criterion for separating process calculi. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, vol. 41, pp. 16-30, ISSN:2075-2180 DOI

L. Bocchi; J.L. Fiadeiro; A. Lapadula; R. Pugliese; F. Tiezzi (2009). From Architectural to Behavioural Specification of Services. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 253(1), pp. 3-21, ISSN:1571-0661 DOI

R. Pugliese; F. Tiezzi; N. Yoshida (2009). On observing dynamic prioritised actions in SOC. In: Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris E. Nikoletseas, Wolfgang Thomas (Eds.).. Automata, Languages and Programming, 36th Internatilonal Collogquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part II, pp. 558-570, Berlin: Springer, ISBN:9783642029295. DOI

F.Tiezzi (2009). Specification and Analysis of Service-Oriented Applications. (Tutor: R.Pugliese)

M. Masi; R. Pugliese; F. Tiezzi (2009). On secure implementation of an IHE XUA-based protocol for authenticating healthcare professionals. In: Atul Prakash, Indranil Gupta (Eds.). Information Systems Security, 5th International Conference, ICISS 2009 Kolkata, India, December 14-18, 2009 Proceedings, pp. 55-70, Berlin: Springer, ISBN:9783642107719. DOI

R. Pugliese; F. Tiezzi; N. Yoshida (2009). A Symbolic Semantics for a Calculus for Service-Oriented Computing. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 241, pp. 135-164, ISSN:1571-0661 DOI

F. Banti; A. Lapadula; R. Pugliese; F. Tiezzi (2009). Specification and analysis of SOC systems using COWS: A finance case study. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 235, pp. 71-105, ISSN:1571-0661 DOI

A. Lapadula; R. PUGLIESE; F. Tiezzi (2008). Service discovery and negotiation with COWS. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 200(3), pp. 133-154, ISSN:1571-0661 DOI

A. Lapadula; R. Pugliese; F. Tiezzi (2008). Specifying and Analysing SOC Applications with COWS. In: P. Degano, R. De Nicola, J. Meseguer (Eds.). Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, pp. 701-720, Berlin: Springer. DOI

Francesco Calzolai; Rocco De Nicola; Michele Loreti; Francesco Tiezzi (2008). TAPAs: A Tool for the Analysis of Process Algebras. In: 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Springer, vol. 5100, pp. 54-70. DOI

M. Wirsing; L. Acciai; A. Clark; F. Banti; A. Fantechi; S. Gilmore; S. Gnesi; L. Gonczy; M. Holz; N. Koch; A. Lapadula; P. Mayer; F. Mazzanti; R. Pugliese; A. Schroeder; F. Tiezzi; M. Tribastone; D. Varro (2008). SENSORIA Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. In: Tiziana Margaria, Bernhard Steffen (Eds.).. Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, pp. 170-190, Berlin: Springer, ISBN:9783540884781. DOI

A. Lapadula; R. Pugliese; F. Tiezzi (2008). A formal account of WS-BPEL. In: Doug Lea, Gianluigi Zavattaro (Eds.).. Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings, pp. 199-215, Berlin: Springer, ISBN:9783540682646. DOI

A. Fantechi; S. Gnesi; A. Lapadula; F. Mazzanti; R. Pugliese; F. Tiezzi (2008). A model checking approach for verifying COWS specifications. In: José Luiz Fiadeiro, Paola Inverardi (Eds.).. Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 230-245, Berlin: Springer, ISBN:9783540787426. DOI

A. LAPADULA; R. PUGLIESE; F. TIEZZI (2007). Regulating data exchange in service oriented applications. In: Farhad Arbab, Marjan Sirjani (Eds.).. International Symposium on Fundamentals of Software Engineering, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings, pp. 223-239, Berlin: Springer, ISBN:9783540756972. DOI

A. LAPADULA; R. PUGLIESE; F. TIEZZI (2007). A Calculus for Orchestration of Web Services. In: Rocco De Nicola (Ed.).. Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings, pp. 33-47, Berlin: Springer, ISBN:9783540713142. DOI

A. LAPADULA; R. PUGLIESE; F. TIEZZI (2007). COWS: A timed service-oriented calculus. In: Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.).. Theoretical Aspects of Computing – ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings, pp. 275-290, Berlin: Springer, ISBN:9783540752905. DOI

A. LAPADULA; R. PUGLIESE; F. TIEZZI (2006). A WSDL-based type system for WS-BPEL. In: Paolo Ciancarini, Herbert Wiklicky (Eds.).. Lecture Notes in Computer Science 4038, pp. 145-163, Berlin: Springer, ISBN:9783540346944. DOI

Francesco TIEZZI

Biography

Tiezzi received a Laura degree cum laude in Computer Science from the Università degli Studi di Firenze, Italy (January 2005) and a Ph.D. degree in Computer Science from the same university (April 2009).

Before joining DiSIA at the Università degli Studi di Firenze as an Associate Professor in September 2021, Tiezzi was an Associate Professor at the PROS Lab in the University of Camerino, and an Assistant Professor at the SysMA research unit in IMT Institute for Advanced Studies Lucca.

Francesco TIEZZI

Curriculum

Tiezzi's CV is available here. here. Tiezzi's publications are also listed in the DBLP web site.

Francesco TIEZZI

Interest

Tiezzi's research activity focusses on the foundational study of distributed systems, and on the application of formal methods for developing and analysing such systems. Special attention is paid to the definition of rigorous formal bases for Service-Oriented Computing, Autonomic Computing, and Business Process Management.

Recently, Tiezzi's research activity also concerns formalisation, analysis and implementation of: access control mechanisms; Service Level Agreements for cloud systems;
mobile cloud computing systems; trust and reputation systems; languages and types for reversible computing; blockchain-based applications.