TIEZZI, Francesco

TIEZZI, Francesco  

Mostra records
Risultati 1 - 20 di 116 (tempo di esecuzione: 0.068 secondi).
Titolo Data di pubblicazione Autore(i) Tipo File
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-2018 De Nicola, Rocco; Ferrari, Gianluigi; Pugliese, Rosario; Tiezzi, Francesco Capitolo di libro o voce di enciclopedia
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 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 Purpose-Guided Log Generation Framework 1-gen-2022 Burattin, A.; Re, B.; Rossi, L.; Tiezzi, F. Contributo in atto di convegno su volume
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