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

Engineering, Computer Science, Systems Engineering +15

Model evolution by run-time parameter adaptation

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

Engineering, Computer Systems, Systems Engineering +17

Self-adaptive software needs quantitative verification at runtime

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

Computing, Computer Engineering, Computer Science +15

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

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

Computing, Computer Systems, Information Systems +12

Software process model evolution in the SPADE environment

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

Computing, Computer Science, Process Design +12