Andrea Margheri

27 papers A 1B 3Misc 1Journal 8Unranked 10
YearRankTypeTitle / Venue / Authors
2020 J jnl
Cloud2Edge Elastic AI Framework for Prototyping and Deployment of AI Inference Engines in Autonomous Vehicles.
CoRR
Sorin Mihai Grigorescu, Tiberiu T. Cocias, Bogdan Trasnea, Andrea Margheri, Federico Lombardi, Leonardo Aniello
2020 J jnl
Cloud2Edge Elastic AI Framework for Prototyping and Deployment of AI Inference Engines in Autonomous Vehicles.
Sensors
Sorin Mihai Grigorescu, Tiberiu T. Cocias, Bogdan Trasnea, Andrea Margheri, Federico Lombardi, Leonardo Aniello
2020 J jnl
Decentralised provenance for healthcare data.
Int. J. Medical Informatics
Andrea Margheri, Massimiliano Masi, Abdallah Miladi, Vladimiro Sassone, Jason Rosenzweig
2020 J jnl
Riskio: A Serious Game for Cyber Security Awareness and Education.
Comput. Secur.
Stephen Hart, Andrea Margheri, Federica Paci, Vladimiro Sassone
2019 J jnl
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies.
IEEE Trans. Software Eng.
Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
2018 — conf
Cross-Cloud Management of Sensitive Data via Blockchain: a Payslip Calculation Use Case.
ITASEC
Luca Nicoletti, Andrea Margheri, Federico Lombardi, Vladimiro Sassone, Francesco Paolo Schiavo
2018 J jnl
Differentially Private Data Sharing in a Cloud Federation with Blockchain.
IEEE Cloud Comput.
Mu Yang, Andrea Margheri, Runshan Hu, Vladimiro Sassone
2018 — conf
PBFT vs Proof-of-Authority: Applying the CAP Theorem to Permissioned Blockchain.
ITASEC
Stefano De Angelis, Leonardo Aniello, Roberto Baldoni, Federico Lombardi, Andrea Margheri, Vladimiro Sassone
2018 B conf
Towards Adaptive Access Control.
DBSec
Luciano Argento, Andrea Margheri, Federica Paci, Vladimiro Sassone, Nicola Zannone
2017 B conf
A Distributed Infrastructure for Democratic Cloud Federations.
CLOUD
Andrea Margheri, Md Sadek Ferdous, Mu Yang, Vladimiro Sassone
2017 Misc conf
A Prototype Evaluation of a Tamper-Resistant High Performance Blockchain-Based Transaction Log for a Distributed Database.
EDCC
Leonardo Aniello, Roberto Baldoni, Edoardo Gaetani, Federico Lombardi, Andrea Margheri, Vladimiro Sassone
2017 — conf
Blockchain-Based Database to Ensure Data Integrity in Cloud Computing Environments.
ITASEC
Edoardo Gaetani, Leonardo Aniello, Roberto Baldoni, Federico Lombardi, Andrea Margheri, Vladimiro Sassone
2017 A conf
Decentralised Runtime Monitoring for Access Control Systems in Cloud Federations.
ICDCS
Md Sadek Ferdous, Andrea Margheri, Federica Paci, Mu Yang, Vladimiro Sassone
2017 B conf
Privacy-Preserving Access Control in Cloud Federations.
CLOUD
Shorouq Alansari, Federica Paci, Andrea Margheri, Vladimiro Sassone
2016 — —
A Formal Approach to Specification, Analysis and Implementation of Policy-Based Systems.
Andrea Margheri
2016 J jnl
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies.
CoRR
Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
2016 J jnl
FaaS: Federation-as-a-Service.
CoRR
Francesco Paolo Schiavo, Vladimiro Sassone, Luca Nicoletti, Andrea Margheri
2016 — conf
Towards Static Analysis of Policy-Based Self-adaptive Computing Systems.
ISoLA (1)
Andrea Margheri, Hanne Riis Nielson, Flemming Nielson, Rosario Pugliese
2015 — ch.
Correctness of Service Components and Service Component Ensembles.
The ASCENS Approach
Jacques Combaz, Saddek Bensalem, Francesco Tiezzi, Andrea Margheri, Rosario Pugliese, Jan Kofron
2015 — conf
On Properties of Policy-Based Specifications.
WWV
Andrea Margheri, Rosario Pugliese, Francesco Tiezzi
2015 — ch.
The SCEL Language: Design, Implementation, Verification.
The ASCENS Approach
Rocco De Nicola, Diego Latella, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin
2015 — ch.
Tools for Ensemble Design and Runtime.
The ASCENS Approach
Dhaminda B. Abeywickrama, Jacques Combaz, Vojtech Horký, Jaroslav Keznikl, Jan Kofron, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Philip Mayer, Giacoma Valentina Monreale, Ugo Montanari, Carlo Pinciroli, Petr Tuma, Andrea Vandin, Emil Vassev
2014 — conf
On Programming and Policing Autonomic Computing Systems.
ISoLA (1)
Michele Loreti, Andrea Margheri, Rosario Pugliese, Francesco Tiezzi
2013 — conf
Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - - A Practical Approach -.
WS-FM
Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
2013 — conf
Linguistic Abstractions for Programming and Policing Autonomic Computing Systems.
UIC/ATC
Andrea Margheri, Rosario Pugliese, Francesco Tiezzi
2013 — conf
On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data.
HEALTHINF
Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
2011 — conf
Orchestrating Tuple-Based Languages.
TGC
Rocco De Nicola, Andrea Margheri, Francesco Tiezzi