Francesco Tiezzi

A Formal Approach to Autonomic Systems Programming

Rocco De Nicola, Michele Loreti, Rosario Pugliese et al. · ACM Transactions on Autonomous and Adaptive Systems · 2014 · 144 citations

Artificial Intelligence, Engineering, Formal Approach +23

SLAC: A Formal Service-Level-Agreement Language for Cloud Computing

Rafael Brundo Uriarte, Francesco Tiezzi, Rocco De Nicola · 2014 · 56 citations

Provisioning (Technology), Engineering, Cloud Computing Architecture +17

A calculus for attribute-based communication

Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti et al. · 2015 · 47 citations

A formal approach to modeling and verification of business process collaborations

Flavio Corradini, Fabrizio Fornari, Andrea Polini et al. · Science of Computer Programming · 2018 · 46 citations

Collaborative Business Process, Engineering, Formal Modeling +12

Engineering Trustable and Auditable Choreography-based Systems Using Blockchain

Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta et al. · ACM Transactions on Management Information Systems · 2022 · 44 citations

Blockchain Consensus Protocol, Engineering, Information Security +18