Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Correctness of Service Components and Service Component Ensembles.

J. Combaz, S. Bensalem, F. Tiezzi, A. Margheri, R. Pugliese, and J. Kofron. The ASCENS Approach, volume 8998 of Lecture Notes in Computer Science, Springer, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. Andrea Thom University of Stuttgart

Andrea Loi University of Stuttgart

Andrea Talmann University of Stuttgart

Jun. -Prof. Dr. Andrea Iannelli University of Stuttgart

Dr. Andrea Zappe University of Stuttgart

Other publications of authors with the same name

Tools for Ensemble Design and Runtime.D. Abeywickrama, J. Combaz, V. Horký, J. Keznikl, J. Kofron, A. Lluch-Lafuente, M. Loreti, A. Margheri, P. Mayer, G. Monreale and 5 other author(s). The ASCENS Approach, volume 8998 of Lecture Notes in Computer Science, Springer, (2015)Correctness of Service Components and Service Component Ensembles.J. Combaz, S. Bensalem, F. Tiezzi, A. Margheri, R. Pugliese, and J. Kofron. The ASCENS Approach, volume 8998 of Lecture Notes in Computer Science, Springer, (2015)PBFT vs Proof-of-Authority: Applying the CAP Theorem to Permissioned Blockchain.S. Angelis, L. Aniello, R. Baldoni, F. Lombardi, A. Margheri, and V. Sassone. ITASEC, volume 2058 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)Towards Static Analysis of Policy-Based Self-adaptive Computing Systems.A. Margheri, H. Nielson, F. Nielson, and R. Pugliese. ISoLA (1), volume 9952 of Lecture Notes in Computer Science, page 554-569. (2016)On Programming and Policing Autonomic Computing Systems.M. Loreti, A. Margheri, R. Pugliese, and F. Tiezzi. ISoLA (1), volume 8802 of Lecture Notes in Computer Science, page 164-183. Springer, (2014)Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - - A Practical Approach -.A. Margheri, M. Masi, R. Pugliese, and F. Tiezzi. WS-FM, volume 8379 of Lecture Notes in Computer Science, page 85-105. Springer, (2013)Differentially Private Data Sharing in a Cloud Federation with Blockchain.M. Yang, A. Margheri, R. Hu, and V. Sassone. IEEE Cloud Computing, 5 (6): 69-79 (2018)A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies.A. Margheri, M. Masi, R. Pugliese, and F. Tiezzi. IEEE Trans. Software Eng., 45 (1): 2-33 (2019)Cross-Cloud Management of Sensitive Data via Blockchain: a Payslip Calculation Use Case.L. Nicoletti, A. Margheri, F. Lombardi, V. Sassone, and F. Schiavo. ITASEC, volume 2058 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)On a Formal and User-friendly Linguistic Approach to Access Control of Electronic Health Data.A. Margheri, M. Masi, R. Pugliese, and F. Tiezzi. HEALTHINF, page 263-268. SciTePress, (2013)