Carlo Ghezzi

A unified high-level Petri net formalism for time-critical systems

Carlo Ghezzi, Dino Mandrioli, Sandro Morasca et al. · IEEE Transactions on Software Engineering · 1991 · 345 citations

Er Nets, Petri Net, Engineering +18

Model evolution by run-time parameter adaptation

Ilenia Epifani, Carlo Ghezzi, Raffaela Mirandola et al. · 2009 · 256 citations

Software Maintenance, Engineering, Software Engineering +21

Self-adaptive software needs quantitative verification at runtime

Radu Călinescu, Carlo Ghezzi, Marta Kwiatkowska et al. · Communications of the ACM · 2012 · 251 citations

Software Maintenance, Self-adaptation Decisions, Engineering +19

Software process model evolution in the SPADE environment

S. Bandinelli, Alfonso Fuggetta, Carlo Ghezzi · IEEE Transactions on Software Engineering · 1993 · 249 citations

Software Maintenance, Engineering, Software Systems +18

A journey to highly dynamic, self-adaptive service-based applications

Elisabetta Di Nitto, Carlo Ghezzi, Andreas Metzger et al. · Automated Software Engineering · 2008 · 246 citations · Full text

Self-managing System, Engineering, Self-adaptive Service-based Applications +7