TIEZZI, FRANCESCO

TIEZZI, FRANCESCO  

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

Mostra records
Risultati 1 - 20 di 123 (tempo di esecuzione: 0.031 secondi).
Titolo Data di pubblicazione Autore(i) File
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 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 language-based approach to modelling and analysis of Twitter interactions 2017 Maggi, Alessandro; Petrocchi, Marinella; Spognardi, Angelo; TIEZZI, Francesco
An Accessible Verification Environment for UML Models of Services 2011 F.Banti; R.Pugliese; F.Tiezzi
An Operational Semantics of BPMN Collaboration 2016 CORRADINI, Flavio; POLINI, Andrea; TIEZZI, Francesco; RE, Barbara
Analysis of Ethereum Smart Contracts and Opcodes 2019 S. Bistarelli G. Mazzante M. Micheletti L. Mostarda F. Tiezzi; Bistarelli, Stefano; Mazzante, Gianmarco; Micheletti, Matteo; Mostarda, Leonardo; Tiezzi, Francesco
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support 2018 Corradini, Flavio; Muzi, Chiara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco
Automata-based Behavioural Contracts with Action Correlation 2019 Davide Basile, Rosario Pugliese, Francesco Tiezzi, Pierpaolo Degano, Gian-Luigi Ferrari
The Autonomic Cloud 2015 Mayer, P.; Velasco, J.; Klarl, A.; Hennicker, R.; Puviani, M.; Tiezzi, F.; Pugliese, R.; Keznikl, J.; Bures, T.
The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing 2014 P. Mayer; A. Klarl; R. Hennicker; M. Puviani; F. Tiezzi; R. Pugliese; J. Keznikl; T. Bures
Blind-date Conversation Joining 2013 L. Cesari; R. Pugliese; F. Tiezzi
Blind-date Conversation Joining 2017 Cesari, Luca; Pugliese, Rosario; Tiezzi, Francesco
BPMN 2.0 OR-Join Semantics: Global and local characterisation 2022 Corradini F.; Muzi C.; Re B.; Rossi L.; Tiezzi F.
BProVe: a Formal Verification Framework for Business Process Models 2017 Corradini Flavio; Polini Andrea; FORNARI, FABRIZIO; Re Barbara; TIEZZI, Francesco; VANDIN, ANDREA
BProVe: Tool Support for Business Process Verification 2017 CORRADINI, Flavio; POLINI, Andrea; FORNARI, FABRIZIO; RE, Barbara; TIEZZI, Francesco; VANDIN, ANDREA
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