Carlo Ghezzi - Selected publications#

This is a selected list of very recent publications on current research done in the context of the ERC Advanced Grant SMScom:

R. Calinescu, C. Ghezzi, M. Kwiatkowska, and R. Mirandola. "Self-adaptive software needs quantitative verification at runtime", Commun. ACM 55, 9 (September 2012), 69-77. DOI=10.1145/2330667.2330686

C. Sandionigi, D. Ardagna, G. Cugola, C. Ghezzi, "Optimizing Service Selection and Allocation in Situational Computing Applications," IEEE Transactions on Services Computing, vol.PP, no.99, pp.1, 0 doi: 10.1109/TSC.2012.18

G. Salvaneschi, C. Ghezzi, M. Pradella, "Context-oriented programming: a software engineering perspective", Journal of Systems and Software, 85 (8), p.1801-1817, Aug 2012, doi:10.1016/j.jss.2012.03.024

A. Filieri, C. Ghezzi, G. Tamburrelli, " A formal approach to adaptive software: continuous assurance of non-functional requirements", Formal Aspects of Computing, Volume 24, Number 2, Pages 163-186, March 2012

A. Filieri, C. Ghezzi, and G. Tamburrelli. Run-time efficient probabilistic model checking. In Proceeding of the 33rd international conference on Software engineering (ICSE '11). ACM, New York, NY, USA (Distinguished paper Award)

X. Ma, L. Baresi, C. Ghezzi, V. Panzica La Manna, and J. Lu, “Version-consistent Dynamic Reconfiguration of Component-based Distributed Systems”, Proceedings ESEC/FSE, 2011

C. Ghezzi, A. Mocci, M. Monga, " Synthesizing Intensional Behavior Models by Graph Transformation", In Proceedings of the 31st International Conference on Software Engineering (ICSE'09), Vancouver, Canada, pages 623-626. IEEE Computer Society Press, May 2009

I. Epifani, C. Ghezzi, R. Mirandola, G. Tamburrelli, "Model Evolution by Run-Time Parameter Adaptation", In Proceedings of the 31st International Conference on Software Engineering (ICSE'09), Vancouver, Canada, pages 623-626. IEEE Computer Society Press, May 2009

For the latter two papers, the citation counts according to Google Scholar are 100 and 46, respectively. Citation figures for the others are less significant, since they are too recent.

This a sample of past influential work

C. Ghezzi, D. Mandrioli, S. Morasca, M. Pezze’, “A Unified High-Level Petri Net Formalism For-Time Critical Systems”, IEEE Trans. on Software Engineering, 17, 2, 160-173, February 1991
(This work has 368 citations according to Google Scholar. It opened a way to formally analyze time-critical systems via Petri nets.)

C. Ghezzi, D. Mandrioli, “Augmenting parsers to support incrementality”, Journal of the ACM 27, 3, 564-579, July 1980.

(Together with the paper "Incremental parsing” by the same authors published on ACM Transactions on Programming Languages and Systems 1, 1, 58-70, July 1979, it is recognized as the founding work for incremental syntactic analysis of programs.)