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

Computing, Computer Science, Computer Systems +12

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

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

Computing, Cloud Computing, Cloud Architecture +12

A calculus for attribute-based communication

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

Computing, Communication, Computer Science +13

Engineering Trustable and Auditable Choreography-based Systems Using Blockchain

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

Business, Computer Science, Systems Engineering +16

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

Computing, Computer Science, Information Systems +14