TIEZZI, FRANCESCO

TIEZZI, FRANCESCO  

Statistica, Informatica, Applicazioni 'G. Parenti' (DiSIA)  

Mostra records
Risultati 1 - 20 di 127 (tempo di esecuzione: 0.021 secondi).
Titolo Data di pubblicazione Autore(i) File
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 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 Autonomic Systems Programming: The SCEL Language 2014 R. De Nicola; M. Loreti; R. Pugliese; TIEZZI, Francesco
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 2020 De Nicola R.; Ferrari G.; Pugliese R.; Tiezzi F.
A Formal Approach to the Engineering of Domain-Specific Distributed Systems 2018 Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi
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 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.
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies 2019 Margheri, Andrea; Masi, Massimiliano; Pugliese, Rosario; Tiezzi, Francesco
A standard-driven communication protocol for disconnected clinics in rural areas 2011 M.Masi; R.Pugliese; F.Tiezzi