Carlo Ghezzi - Google Scholar Citations

Cited by

	All	Since 2015
Citations	13419	3864
h-index	58	31
i10-index	177	98

840

420

210

630

19881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202052 56 56 89 83 223 247 236 269 279 348 323 296 300 303 281 264 290 323 425 418 492 577 638 755 743 819 826 721 696 755 676 186

Co-authors

Luciano BaresiDEIB - Politecnico di MilanoVerified email at polimi.it
Giordano Tamburrellilastminute.comVerified email at lastminute.com
Mauro PezzèProfessor of Software Engineering, USI (Switzerland) and Milano Bicocca (Italy)Verified email at usi.ch
Gianpaolo CugolaPolitecnico di Milano - DEIBVerified email at polimi.it
Mehdi JazayeriUniversity of Lugano, SwitzerlandVerified email at usi.ch
Domenico BianculliAssociate Professor/Chief Scientist 2, University of Luxembourg, LuxembourgVerified email at uni.lu
Raffaela MirandolaAssociate Professor, Politecnico di MilanoVerified email at elet.polimi.it
Elisabetta Di NittoPolitecnico di MilanoVerified email at polimi.it
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
Christos TsigkanosTU ViennaVerified email at tuwien.ac.at
Bashar NuseibehThe Open University (UK) & Lero (Ireland)Verified email at open.ac.uk
Giovanni VignaUC Santa Barbara and Lastline, Inc.Verified email at cs.ucsb.edu
Sandro MorascaUniversità degli Studi dell'InsubriaVerified email at uninsubria.it
Claudio MenghiUniversity of Luxembourg, Interdisciplinary Centre for Security, Reliability and TrustVerified email at uni.lu
Matteo Pradellaassociate professor, Politecnico di MilanoVerified email at polimi.it
Luca MottolaAssociate Professor, Politecnico di MilanoVerified email at polimi.it
Guido SalvaneschiAssistant Professor - TU DarmstadtVerified email at csail.mit.edu
Radu CalinescuReader, Department of Computer Science, University of YorkVerified email at york.ac.uk

Carlo Ghezzi

Emeritus Professor, Politecnico di Milano

Verified email at polimi.it - Homepage

Software engineering dependable and evolvable systems programming languages


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, 1991	1846	1991
Programming language concepts C Ghezzi, M Jazayeri John Wiley & Sons, 2008	459	2008
A unified high-level Petri net formalism for time-critical systems C Ghezzi, D Mandrioli, S Morasca, M Pezze IEEE Transactions on software engineering, 160-172, 1991	444	1991
Software process model evolution in the SPADE environment SC Bandinelli, A Fuggetta, C Ghezzi IEEE transactions on software engineering 19 (12), 1128-1144, 1993	383	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	340	1990
Designing data marts for data warehouses C Ghezzi ACM Transactions on Software Engineering and Methodology (TOSEM) 10 (4), 452-483, 2001	315	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-4), 313-341, 2008	312	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	292	2009
Smart monitors for composed services L Baresi, C Ghezzi, S Guinea Proceedings of the 2nd international conference on Service oriented …, 2004	289	2004
Toward open-world software: Issues and challenges L Baresi, E Di Nitto, C Ghezzi Computer 39 (10), 36-43, 2006	283	2006
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	272	2012
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	219	1994
Software Processes: a Retrospective and a Path to the Future G Cugola, C Ghezzi Software Process: Improvement and Practice 4 (3), 101-123, 1998	188	1998
Run-time efficient probabilistic model checking A Filieri, C Ghezzi, G Tamburrelli 2011 33rd International Conference on Software Engineering (ICSE), 341-350, 2011	187	2011
Analyzing mobile code languages G Cugola, C Ghezzi, GP Picco, G Vigna International Workshop on Mobile Object Systems, 91-109, 1996	169	1996
Mobile code paradigms and technologies: A case study C Ghezzi, G Vigna International Workshop on Mobile Agents, 39-49, 1997	161	1997
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	138	1996
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	128	2012
Formalism for Time-Critical Systems C Ghezzi, D Mandrioli, S Morasca, M Pezzè, AUHLP Net IEEE Transactions on Software Engineering 17 (2), 160-172, 1991	123	1991
Using symbolic execution for verifying safety-critical systems A Coen-Porisini, G Denaro, C Ghezzi, M Pezzé Proceedings of the 8th European software engineering conference held jointly …, 2001	122	2001

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

Upload PDF

Follow this author

Cited by

Co-authors