TIEZZI, Francesco
TIEZZI, Francesco
A BPMN-Based Approach for IoT Systems Engineering
2024-01-01 Corradini, Flavio; Fornari, Fabrizio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco
A calculus for attribute-based communication
2015-01-01 Alrahman, Yehia Abd; De Nicola, Rocco; Loreti, Michele; Tiezzi, Francesco; Vigo, Roberto
A Calculus for Orchestration of Web Services
2007-01-01 A., Lapadula; R., Pugliese; Tiezzi, Francesco
A Calculus for Orchestration of Web Services
2012-01-01 R., Pugliese; Tiezzi, Francesco
A Choreography-Driven Approach for Blockchain-Based IoT Applications
2022-01-01 Corradini, Flavio; Marcelletti, Alessandro; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco
A Classification of BPMN Collaborations based on Safeness and Soundness Notions
2018-01-01 Corradini, Flavio; Muzi, Chiara; Re, Barbara; Tiezzi, Francesco
A criterion for separating process calculi
2010-01-01 F., Banti; R., Pugliese; Tiezzi, Francesco
A Formal Account of WS-BPEL
2008-01-01 A., Lapadula; R., Pugliese; Tiezzi, Francesco
A Formal Approach to Autonomic Systems Programming: The SCEL Language
2014-01-01 De Nicola, R.; Loreti, M.; Pugliese, R.; Tiezzi, Francesco
A Formal Approach to Modelling and Verification of Business Process Collaborations
2018-01-01 Corradini, Flavio; Fornari, Fabrizio; Polini, Andrea; Re, Barbara; Tiezzi, Francesco
A formal approach to the engineering of domain-specific distributed systems
2020-01-01 De Nicola, R.; Ferrari, G.; Pugliese, R.; Tiezzi, F.
A Formal Approach to the Engineering of Domain-Specific Distributed Systems
2018-01-01 De Nicola, Rocco; Ferrari, Gianluigi; Pugliese, Rosario; Tiezzi, Francesco
A formalized framework for mobile cloud computing
2014-01-01 Amoretti, Michele; Grazioli, Alessandro; Senni, Valerio; Tiezzi, Francesco; Zanichelli, Francesco
A language-based approach to modelling and analysis of Twitter interactions
2017-01-01 Maggi, Alessandro; Petrocchi, Marinella; Spognardi, Angelo; Tiezzi, Francesco
A logical verification methodology for service-oriented computing
2012-01-01 A., Fantechi; S., Gnesi; A., Lapadula; F., Mazzanti; R., Pugliese; Tiezzi, Francesco
A Methodology for the Analysis of Robotic Systems via Process Mining
2024-01-01 Corradini, F.; Pettinari, S.; Re, B.; Rossi, L.; Tiezzi, F.
A Model Checking Approach for Verifying COWS Specifications
2008-01-01 A., Fantechi; S., Gnesi; A., Lapadula; F., Mazzanti; R., Pugliese; Tiezzi, Francesco
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies
2019-01-01 Margheri, Andrea; Masi, Massimiliano; Pugliese, Rosario; Tiezzi, Francesco
A standard-driven communication protocol for disconnected clinics in rural areas
2011-01-01 M., Masi; R., Pugliese; Tiezzi, Francesco
A Symbolic Semantics for a Calculus for Service-Oriented Computing
2009-01-01 R., Pugliese; Tiezzi, Francesco; N., Yoshida
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
A BPMN-Based Approach for IoT Systems Engineering | 1-gen-2024 | Corradini, Flavio; Fornari, Fabrizio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
A calculus for attribute-based communication | 1-gen-2015 | Alrahman, Yehia Abd; De Nicola, Rocco; Loreti, Michele; Tiezzi, Francesco; Vigo, Roberto | Capitolo di libro o voce di enciclopedia | |
A Calculus for Orchestration of Web Services | 1-gen-2007 | A., Lapadula; R., Pugliese; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
A Calculus for Orchestration of Web Services | 1-gen-2012 | R., Pugliese; Tiezzi, Francesco | Articolo | |
A Choreography-Driven Approach for Blockchain-Based IoT Applications | 1-gen-2022 | Corradini, Flavio; Marcelletti, Alessandro; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco | Contributo in atto di convegno su volume | |
A Classification of BPMN Collaborations based on Safeness and Soundness Notions | 1-gen-2018 | Corradini, Flavio; Muzi, Chiara; Re, Barbara; Tiezzi, Francesco | Contributo in atto di convegno su volume | |
A criterion for separating process calculi | 1-gen-2010 | F., Banti; R., Pugliese; Tiezzi, Francesco | Articolo | |
A Formal Account of WS-BPEL | 1-gen-2008 | A., Lapadula; R., Pugliese; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
A Formal Approach to Autonomic Systems Programming: The SCEL Language | 1-gen-2014 | De Nicola, R.; Loreti, M.; Pugliese, R.; Tiezzi, Francesco | Articolo | |
A Formal Approach to Modelling and Verification of Business Process Collaborations | 1-gen-2018 | Corradini, Flavio; Fornari, Fabrizio; Polini, Andrea; Re, Barbara; Tiezzi, Francesco | Articolo | |
A formal approach to the engineering of domain-specific distributed systems | 1-gen-2020 | De Nicola, R.; Ferrari, G.; Pugliese, R.; Tiezzi, F. | Articolo | |
A Formal Approach to the Engineering of Domain-Specific Distributed Systems | 1-gen-2018 | De Nicola, Rocco; Ferrari, Gianluigi; Pugliese, Rosario; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
A formalized framework for mobile cloud computing | 1-gen-2014 | Amoretti, Michele; Grazioli, Alessandro; Senni, Valerio; Tiezzi, Francesco; Zanichelli, Francesco | Articolo | |
A language-based approach to modelling and analysis of Twitter interactions | 1-gen-2017 | Maggi, Alessandro; Petrocchi, Marinella; Spognardi, Angelo; Tiezzi, Francesco | Articolo | |
A logical verification methodology for service-oriented computing | 1-gen-2012 | A., Fantechi; S., Gnesi; A., Lapadula; F., Mazzanti; R., Pugliese; Tiezzi, Francesco | Articolo | |
A Methodology for the Analysis of Robotic Systems via Process Mining | 1-gen-2024 | Corradini, F.; Pettinari, S.; Re, B.; Rossi, L.; Tiezzi, F. | Capitolo di libro o voce di enciclopedia | |
A Model Checking Approach for Verifying COWS Specifications | 1-gen-2008 | A., Fantechi; S., Gnesi; A., Lapadula; F., Mazzanti; R., Pugliese; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies | 1-gen-2019 | Margheri, Andrea; Masi, Massimiliano; Pugliese, Rosario; Tiezzi, Francesco | Articolo | |
A standard-driven communication protocol for disconnected clinics in rural areas | 1-gen-2011 | M., Masi; R., Pugliese; Tiezzi, Francesco | Contributo in atto di convegno su volume | |
A Symbolic Semantics for a Calculus for Service-Oriented Computing | 1-gen-2009 | R., Pugliese; Tiezzi, Francesco; N., Yoshida | Articolo |