Andrea Margheri
TitleCited byYear
Blockchain-based database to ensure data integrity in cloud computing environments
E Gaetani, L Aniello, R Baldoni, F Lombardi, A Margheri, V Sassone
822017
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
502018
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
452015
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
342017
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
272018
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
152017
Decentralised runtime monitoring for access control systems in cloud federations
S Ferdous, A Margheri, F Paci, V Sassone
University of Southampton, 2017
152017
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
152013
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
122015
A formal software engineering approach to policy-based access control
A Margheri, M Masi, R Pugliese, F Tiezzi
Univ. Firenze, Tech. Rep, 2013
102013
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
82017
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
72018
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
72013
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
72013
On programming and policing autonomic computing systems
M Loreti, A Margheri, R Pugliese, F Tiezzi
International Symposium On Leveraging Applications of Formal Methods …, 2014
62014
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
52017
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
42015
Using PROV and Blockchain to Achieve Health Data Provenance
M Massi, A Miladi, A Margheri, V Sassone, J Rosenzweig
32018
Orchestrating tuple-based languages
R De Nicola, A Margheri, F Tiezzi
International Symposium on Trustworthy Global Computing, 160-178, 2011
32011
The system can't perform the operation now. Try again later.
Articles 1–20