Carlo Ghezzi

Cited by

	All	Since 2016
Citations	14850	4032
h-index	60	34
i10-index	189	97

860

430

215

645

198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202149 56 60 86 88 209 240 230 268 279 340 322 308 296 313 301 282 300 342 440 427 524 601 671 765 763 859 858 759 740 775 732 539 481

Public access

View all

34 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Luciano BaresiDEIB - Politecnico di MilanoVerified email at polimi.it
Giordano TamburrelliIKEAVerified email at ingka.ikea.com
Mauro PezzèProfessor of Software Engineering, USI (Switzerland) and Milano Bicocca (Italy)Verified email at usi.ch
Mehdi JazayeriUniversity of Lugano, SwitzerlandVerified email at usi.ch
Gianpaolo CugolaPolitecnico di Milano - DEIBVerified email at polimi.it
Raffaela MirandolaAssociate Professor, Politecnico di MilanoVerified email at elet.polimi.it
Domenico BianculliAssociate Professor/Chief Scientist 2, University of Luxembourg, LuxembourgVerified email at uni.lu
Elisabetta Di NittoPolitecnico di MilanoVerified email at polimi.it
Christos TsigkanosTU ViennaVerified email at tuwien.ac.at
Antonio FilieriLecturer (Assistant Professor), Imperial College LondonVerified email at imperial.ac.uk
Paola SpoletiniKennesaw State UniversityVerified email at kennesaw.edu
Sam GuineaPolitecnico di MilanoVerified email at elet.polimi.it
Bashar NuseibehThe Open University (UK) & Lero (Ireland)Verified email at open.ac.uk
Claudio MenghiMcMaster UniversityVerified email at mcmaster.ca
Matteo Pradellaassociate professor, Politecnico di MilanoVerified email at polimi.it
Luca MottolaAssociate Professor, Politecnico di MilanoVerified email at polimi.it
Radu CalinescuProfessor of Computer Science, University of YorkVerified email at york.ac.uk
Giovanni VignaUC Santa Barbara and Lastline, Inc.Verified email at cs.ucsb.edu
Guido SalvaneschiAssociate Professor - University of St.GallenVerified email at csail.mit.edu
Sandro MorascaUniversità degli Studi dell'InsubriaVerified email at uninsubria.it

Carlo Ghezzi

Emeritus Professor, Politecnico di Milano

Verified email at polimi.it - Homepage

Software engineering dependable and evolvable systems programming languages ethical and societal aspects of computing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Fundamentals of software engineering C Ghezzi, M Jazayeri, D Mandrioli Prentice Hall, 2002	1983	2002
A unified high-level Petri net formalism for time-critical systems C Ghezzi, D Mandrioli, S Morasca, M Pezze IEEE Transactions on software engineering 17 (2), 160-172, 1991	500	1991
Programming language concepts C Ghezzi, M Jazayeri John Wiley & Sons, 2008	485	2008
Software process model evolution in the SPADE environment SC Bandinelli, A Fuggetta, C Ghezzi IEEE transactions on software engineering 19 (12), 1128-1144, 1993	394	1993
TRIO: A logic language for executable specifications of real-time systems C Ghezzi, D Mandrioli, A Morzenti Journal of Systems and software 12 (2), 107-123, 1990	358	1990
Designing data marts for data warehouses C Ghezzi ACM Transactions on Software Engineering and Methodology (TOSEM) 10 (4), 452-483, 2001	349	2001
A journey to highly dynamic, self-adaptive service-based applications E Di Nitto, C Ghezzi, A Metzger, M Papazoglou, K Pohl Automated Software Engineering 15 (3), 313-341, 2008	347	2008
Model evolution by run-time parameter adaptation I Epifani, C Ghezzi, R Mirandola, G Tamburrelli 2009 IEEE 31st International Conference on Software Engineering, 111-121, 2009	335	2009
Self-adaptive software needs quantitative verification at runtime R Calinescu, C Ghezzi, M Kwiatkowska, R Mirandola Communications of the ACM 55 (9), 69-77, 2012	325	2012
Toward open-world software: Issues and challenges L Baresi, E Di Nitto, C Ghezzi Computer 39 (10), 36-43, 2006	315	2006
Smart monitors for composed services L Baresi, C Ghezzi, S Guinea Proceedings of the 2nd international conference on Service oriented …, 2004	312	2004
SPADE: An environment for software process analysis, design, and enactment S Bandinelli, A Fuggetta, C Ghezzi, L Lavazza Software process modelling and technology, 223-247, 1994	226	1994
Run-time efficient probabilistic model checking A Filieri, C Ghezzi, G Tamburrelli 2011 33rd International Conference on Software Engineering (ICSE), 341-350, 2011	211	2011
Software Processes: a Retrospective and a Path to the Future G Cugola, C Ghezzi Software Process: Improvement and Practice 4 (3), 101-123, 1998	206	1998
Analyzing mobile code languages G Cugola, C Ghezzi, GP Picco, G Vigna International Workshop on Mobile Object Systems, 91-109, 1996	175	1996
Mobile code paradigms and technologies: A case study C Ghezzi, G Vigna International Workshop on Mobile Agents, 39-49, 1997	163	1997
A formal approach to adaptive software: continuous assurance of non-functional requirements A Filieri, C Ghezzi, G Tamburrelli Formal Aspects of Computing 24 (2), 163-186, 2012	159	2012
A framework for formalizing inconsistencies and deviations in human-centered systems G Cugola, E Di Nitto, A Fuggetta, C Ghezzi ACM Transactions on Software Engineering and Methodology (TOSEM) 5 (3), 191-230, 1996	141	1996
The disappearing boundary between development-time and run-time L Baresi, C Ghezzi Proceedings of the FSE/SDP workshop on Future of software engineering …, 2010	140	2010
Context-oriented programming: A software engineering perspective G Salvaneschi, C Ghezzi, M Pradella Journal of Systems and Software 85 (8), 1801-1817, 2012	135	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors