| Blockchain-based database to ensure data integrity in cloud computing environments E Gaetani, L Aniello, R Baldoni, F Lombardi, A Margheri, V Sassone | 82 | 2017 |
| PBFT vs proof-of-authority: applying the CAP theorem to permissioned blockchain S De Angelis, L Aniello, R Baldoni, F Lombardi, A Margheri, V Sassone | 50 | 2018 |
| The SCEL Language: Design, Implementation, Verification R De Nicola, D Latella, AL Lafuente, M Loreti, A Margheri, M Massink, ... Software Engineering for Collective Autonomic Systems, 3-71, 2015 | 45 | 2015 |
| A prototype evaluation of a tamper-resistant high performance blockchain-based transaction log for a distributed database L Aniello, R Baldoni, E Gaetani, F Lombardi, A Margheri, V Sassone 2017 13th European Dependable Computing Conference (EDCC), 151-154, 2017 | 34 | 2017 |
| A blockchain-based infrastructure for reliable and cost-effective IoT-aided smart grids F Lombardi, L Aniello, S De Angelis, A Margheri, V Sassone IET Digital Library, 2018 | 27 | 2018 |
| A rigorous framework for specification, analysis and enforcement of access control policies A Margheri, M Masi, R Pugliese, F Tiezzi IEEE Transactions on Software Engineering, 2017 | 15 | 2017 |
| Decentralised runtime monitoring for access control systems in cloud federations S Ferdous, A Margheri, F Paci, V Sassone University of Southampton, 2017 | 15 | 2017 |
| Linguistic abstractions for programming and policing autonomic computing systems A Margheri, R Pugliese, F Tiezzi 2013 IEEE 10th International Conference on Ubiquitous Intelligence and …, 2013 | 15 | 2013 |
| FaaS: Federation-as-a-Service FP Schiavo, V Sassone, L Nicoletti, A Margheri arXiv preprint arXiv:1612.03937, 2016 | 12* | 2016 |
| Correctness of Service Components and Service Component Ensembles J Combaz, S Bensalem, F Tiezzi, A Margheri, R Pugliese, J Kofroň Software Engineering for Collective Autonomic Systems, 107-159, 2015 | 12 | 2015 |
| A formal software engineering approach to policy-based access control A Margheri, M Masi, R Pugliese, F Tiezzi Univ. Firenze, Tech. Rep, 2013 | 10 | 2013 |
| A distributed infrastructure for democratic cloud federations A Margheri, MS Ferdous, M Yang, V Sassone 2017 IEEE 10th International Conference on Cloud Computing (CLOUD), 688-691, 2017 | 8 | 2017 |
| Differentially Private Data Sharing in a Cloud Federation with Blockchain M Yang, A Margheri, R Hu, V Sassone IEEE Cloud Computing 5 (6), 69-79, 2018 | 7 | 2018 |
| Developing and enforcing policies for access control, resource usage, and adaptation A Margheri, M Masi, R Pugliese, F Tiezzi International Workshop on Web Services and Formal Methods, 85-105, 2013 | 7 | 2013 |
| On a formal and user-friendly linguistic approach to access control of electronic health data A Margheri, M Masi, R Pugliese, F Tiezzi SciTePress, 2013 | 7 | 2013 |
| On programming and policing autonomic computing systems M Loreti, A Margheri, R Pugliese, F Tiezzi International Symposium On Leveraging Applications of Formal Methods …, 2014 | 6 | 2014 |
| Privacy-preserving access control in cloud federations S Alansari, F Paci, A Margheri, V Sassone 2017 IEEE 10th International Conference on Cloud Computing (CLOUD), 757-760, 2017 | 5 | 2017 |
| Tools for Ensemble Design and Runtime DB Abeywickrama, J Combaz, V Horký, J Keznikl, J Kofroň, AL Lafuente, ... Software Engineering for Collective Autonomic Systems, 429-448, 2015 | 4 | 2015 |
| Using PROV and Blockchain to Achieve Health Data Provenance M Massi, A Miladi, A Margheri, V Sassone, J Rosenzweig | 3 | 2018 |
| Orchestrating tuple-based languages R De Nicola, A Margheri, F Tiezzi International Symposium on Trustworthy Global Computing, 160-178, 2011 | 3 | 2011 |
