TIEZZI, FRANCESCO
TIEZZI, FRANCESCO
Statistica, Informatica, Applicazioni 'G. Parenti' (DiSIA)
A BPMN-driven framework for Multi-Robot System development
2023 Corradini F.; Pettinari S.; Re B.; Rossi L.; Tiezzi F.
A calculus for attribute-based communication
2015 Alrahman, Yehia Abd; De Nicola, Rocco; Loreti, Michele; Tiezzi, Francesco; Vigo, Roberto
A Calculus for Orchestration of Web Services
2012 Pugliese, Rosario; Tiezzi, Francesco
A Calculus for Orchestration of Web Services
2007 A. LAPADULA; R. PUGLIESE; F. TIEZZI
A Choreography-Driven Approach for Blockchain-Based IoT Applications
2022 Corradini F.; Marcelletti A.; Morichetta A.; Polini A.; Re B.; Tiezzi F.
A Classification of BPMN Collaborations based on Safeness and Soundness Notions
2018 Corradini, Flavio; Muzi, Chiara; Re, Barbara; Tiezzi, Francesco
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing
2016 C. Braga P.C. Ölveczky; Aceto, Luca; Larsen, Kim G.; MORICHETTA, ANDREA; TIEZZI, Francesco
A criterion for separating process calculi
2010 F. Banti; R. Pugliese; F. Tiezzi
A Flexible Approach to Multi-party Business Process Execution on Blockchain
2023 Corradini, Flavio; Marcelletti, Alessandro; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco
A formal account of WS-BPEL
2008 A. Lapadula; R. Pugliese; F. Tiezzi
A formal approach for the analysis of BPMN collaboration models
2021 Corradini F.; Fornari F.; Polini A.; Re B.; Tiezzi F.; Vandin A.
A Formal Approach to Modelling and Verification of Business Process Collaborations
2018 Flavio Corradini; Fabrizio Fornari; Andrea Polini; Barbara Re; Francesco Tiezzi
A Formal Approach to the Engineering of Domain-Specific Distributed Systems
2018 Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi
A formal approach to the engineering of domain-specific distributed systems
2020 De Nicola R.; Ferrari G.; Pugliese R.; Tiezzi F.
A formalized framework for mobile cloud computing
2014 Amoretti Michele; Grazioli Alessandro; Senni Valerio; Tiezzi Francesco; Zanichelli Francesco
A language-based approach to modelling and analysis of Twitter interactions
2017 Maggi, Alessandro; Petrocchi, Marinella; Spognardi, Angelo; TIEZZI, Francesco
A Logical Verification Methodology for Service-Oriented Computing
2012 A. Fantechi; S. Gnesi; A. Lapadula; F. Mazzanti; R. Pugliese; F. Tiezzi
A Methodology for the Analysis of Robotic Systems via Process Mining
2024 Corradini F.; Pettinari S.; Re B.; Rossi L.; Tiezzi F.
A model checking approach for verifying COWS specifications
2008 A. Fantechi; S. Gnesi; A. Lapadula; F. Mazzanti; R. Pugliese; F. Tiezzi
A Purpose-Guided Log Generation Framework
2022 Burattin A.; Re B.; Rossi L.; Tiezzi F.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A BPMN-driven framework for Multi-Robot System development | 2023 | Corradini F.; Pettinari S.; Re B.; Rossi L.; Tiezzi F. | |
A calculus for attribute-based communication | 2015 | Alrahman, Yehia Abd; De Nicola, Rocco; Loreti, Michele; Tiezzi, Francesco; Vigo, Roberto | |
A Calculus for Orchestration of Web Services | 2012 | Pugliese, Rosario; Tiezzi, Francesco | |
A Calculus for Orchestration of Web Services | 2007 | A. LAPADULA; R. PUGLIESE; F. TIEZZI | |
A Choreography-Driven Approach for Blockchain-Based IoT Applications | 2022 | Corradini F.; Marcelletti A.; Morichetta A.; Polini A.; Re B.; Tiezzi F. | |
A Classification of BPMN Collaborations based on Safeness and Soundness Notions | 2018 | Corradini, Flavio; Muzi, Chiara; Re, Barbara; Tiezzi, Francesco | |
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing | 2016 | C. Braga P.C. Ölveczky; Aceto, Luca; Larsen, Kim G.; MORICHETTA, ANDREA; TIEZZI, Francesco | |
A criterion for separating process calculi | 2010 | F. Banti; R. Pugliese; F. Tiezzi | |
A Flexible Approach to Multi-party Business Process Execution on Blockchain | 2023 | Corradini, Flavio; Marcelletti, Alessandro; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco | |
A formal account of WS-BPEL | 2008 | A. Lapadula; R. Pugliese; F. Tiezzi | |
A formal approach for the analysis of BPMN collaboration models | 2021 | Corradini F.; Fornari F.; Polini A.; Re B.; Tiezzi F.; Vandin A. | |
A Formal Approach to Modelling and Verification of Business Process Collaborations | 2018 | Flavio Corradini; Fabrizio Fornari; Andrea Polini; Barbara Re; Francesco Tiezzi | |
A Formal Approach to the Engineering of Domain-Specific Distributed Systems | 2018 | Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi | |
A formal approach to the engineering of domain-specific distributed systems | 2020 | De Nicola R.; Ferrari G.; Pugliese R.; Tiezzi F. | |
A formalized framework for mobile cloud computing | 2014 | Amoretti Michele; Grazioli Alessandro; Senni Valerio; Tiezzi Francesco; Zanichelli Francesco | |
A language-based approach to modelling and analysis of Twitter interactions | 2017 | Maggi, Alessandro; Petrocchi, Marinella; Spognardi, Angelo; TIEZZI, Francesco | |
A Logical Verification Methodology for Service-Oriented Computing | 2012 | A. Fantechi; S. Gnesi; A. Lapadula; F. Mazzanti; R. Pugliese; F. Tiezzi | |
A Methodology for the Analysis of Robotic Systems via Process Mining | 2024 | Corradini F.; Pettinari S.; Re B.; Rossi L.; Tiezzi F. | |
A model checking approach for verifying COWS specifications | 2008 | A. Fantechi; S. Gnesi; A. Lapadula; F. Mazzanti; R. Pugliese; F. Tiezzi | |
A Purpose-Guided Log Generation Framework | 2022 | Burattin A.; Re B.; Rossi L.; Tiezzi F. |