User Tools

Site Tools


wp5_list

This is an old revision of the document!


List of Publications for WP5

A. Celestini, A. Lluch-Lafuente, P. Mayer, S. Sebastio, F. Tiezzi: Reputation-Based Cooperation in the Clouds. IFIPTM 2014: 213-220, IFIP

A. Margheri, M. Masi, R. Pugliese, F. Tiezzi: Developing and Enforcing Policies for Access Control, Resource Usage, and Adaptation - A Practical Approach. WS-FM 2013: 85-105, Lecture Notes in Computer Science 8379, Springer 2014.

A. Margheri, R. Pugliese, F. Tiezzi: Linguistic Abstractions for Programming and Policing Autonomic Computing Systems. UIC/ATC 2013: 404-409, IEEE 2013.

A. Margheri, R. Pugliese, F. Tiezzi: On Properties of Policy-Based Specifications. WWV 2015: 33-50, EPTCS 188, 2015. Advances in Information and Communication Technology 430, Springer 2014.

D. B. Abeywickrama, N. B. Serbedzija, M. Loreti: Monitoring and visualizing adaptation of autonomic systems at runtime. SAC 2015: 1857-1860, ACM, 2015.

D. Sangiorgi: Equations, Contractions, and Unique Solutions. POPL 2015: 421-432, 2015.

F. De Angelis, M. R. Di Berardini, H. Muccini, A. Polini: CASSANDRA: An Online Failure Prediction Strategy for Dynamically Evolving Systems. ICFEM 2014: 107-122, Lecture Notes in Computer Science 8829, Springer, 2014.

L. Nenzi, L. Bortolussi, V. Ciancia, M. Loreti, M. Massink: Qualitative and Quantitative Monitoring of Spatio-Temporal Properties. RV 2015: 21-37, Lecture Notes in Computer Science, 9333, Springer.

M. Loreti, A. Margheri, R. Pugliese, F. Tiezzi: On Programming and Policing Autonomic Computing Systems. ISoLA (1) 2014: 164-183, Lecture Notes in Computer Science 8802, Springer 2014.

R. Vigo, A. Celestini, F. Tiezzi, R. De Nicola, F. Nielson, H.R. Nielson: Trust-Based Enforcement of Security Policies. TGC 2014: 176-191, Lecture Notes in Computer Science 8902, Springer 2014.

V. Ciancia, D. Latella, M. Loreti, M. Massink: Specifying and Verifying Properties of Space. IFIP TCS 2014: 222-235, Lecture Notes in Computer Science, 8705, Springer, 2014.

V. Ciancia, G. Grilletti, D. Latella, M. Loreti, M. Massink: An Experimental Spatio-Temporal Model Checker. SEFM Workshops 2015: 297-311, Lecture Notes in Computer Science, 9509, Springer, 2015.

wp5_list.1458410989.txt.gz · Last modified: 2016/03/19 19:09 by imt