Carlo Ghezzi - Google Scholar

Geciteerd door

	Alles	Sinds 2015
Citaties	13449	3972
h-index	56	32
i10-index	178	98

860

430

215

645

19881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202051 59 54 84 81 210 240 223 261 269 326 317 292 288 297 278 256 290 324 419 413 491 587 640 757 748 845 824 725 705 753 690 270

Medeauteurs

Luciano BaresiDEIB - Politecnico di MilanoGeverifieerd e-mailadres voor polimi.it
Giordano Tamburrellilastminute.comGeverifieerd e-mailadres voor lastminute.com
Mauro PezzèProfessor of Software Engineering, USI (Switzerland) and Milano Bicocca (Italy)Geverifieerd e-mailadres voor usi.ch
Gianpaolo CugolaPolitecnico di Milano - DEIBGeverifieerd e-mailadres voor polimi.it
Mehdi JazayeriUniversity of Lugano, SwitzerlandGeverifieerd e-mailadres voor usi.ch
Raffaela MirandolaAssociate Professor, Politecnico di MilanoGeverifieerd e-mailadres voor elet.polimi.it
Domenico BianculliAssociate Professor/Chief Scientist 2, University of Luxembourg, LuxembourgGeverifieerd e-mailadres voor uni.lu
Elisabetta Di NittoPolitecnico di MilanoGeverifieerd e-mailadres voor polimi.it
Antonio FilieriLecturer (Assistant Professor), Imperial College LondonGeverifieerd e-mailadres voor imperial.ac.uk
Paola SpoletiniKennesaw State UniversityGeverifieerd e-mailadres voor kennesaw.edu
Christos TsigkanosTU ViennaGeverifieerd e-mailadres voor tuwien.ac.at
Sam GuineaPolitecnico di MilanoGeverifieerd e-mailadres voor elet.polimi.it
Giovanni VignaUC Santa Barbara and Lastline, Inc.Geverifieerd e-mailadres voor cs.ucsb.edu
Claudio MenghiUniversity of Luxembourg, Interdisciplinary Centre for Security, Reliability and TrustGeverifieerd e-mailadres voor uni.lu
Matteo Pradellaassociate professor, Politecnico di MilanoGeverifieerd e-mailadres voor polimi.it
Bashar NuseibehThe Open University (UK) & Lero (Ireland)Geverifieerd e-mailadres voor open.ac.uk
Luca MottolaAssociate Professor, Politecnico di MilanoGeverifieerd e-mailadres voor polimi.it
Guido SalvaneschiAssistant Professor - TU DarmstadtGeverifieerd e-mailadres voor csail.mit.edu
Sandro MorascaUniversità degli Studi dell'InsubriaGeverifieerd e-mailadres voor uninsubria.it
Radu CalinescuReader, Department of Computer Science, University of YorkGeverifieerd e-mailadres voor york.ac.uk

Carlo Ghezzi

Emeritus Professor, Politecnico di Milano

Geverifieerd e-mailadres voor polimi.it - Homepage

Software engineering dependable and evolvable systems programming languages


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Fundamentals of software engineering C Ghezzi, M Jazayeri, D Mandrioli Prentice Hall, 1991	1851	1991
Programming language concepts C Ghezzi, M Jazayeri John Wiley & Sons, 2008	465	2008
A unified high-level Petri net formalism for time-critical systems C Ghezzi, D Mandrioli, S Morasca, M Pezzè IEEE Transactions on software engineering 17 (2), 160, 1991	461	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	379	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	334	1990
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	318	2008
Designing data marts for data warehouses C Ghezzi ACM Transactions on Software Engineering and Methodology (TOSEM) 10 (4), 452-483, 2001	318	2001
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	299	2009
Smart monitors for composed services L Baresi, C Ghezzi, S Guinea Proceedings of the 2nd international conference on Service oriented …, 2004	291	2004
Toward open-world software: Issues and challenges L Baresi, E Di Nitto, C Ghezzi Computer 39 (10), 36-43, 2006	286	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	278	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	216	1994
Run-time efficient probabilistic model checking A Filieri, C Ghezzi, G Tamburrelli 2011 33rd International Conference on Software Engineering (ICSE), 341-350, 2011	191	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	188	1998
Analyzing mobile code languages G Cugola, C Ghezzi, GP Picco, G Vigna International Workshop on Mobile Object Systems, 91-109, 1996	173	1996
Mobile code paradigms and technologies: A case study C Ghezzi, G Vigna International Workshop on Mobile Agents, 39-49, 1997	157	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	135	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	130	2012
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	124	2010
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	123	2001

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

PDF uploaden

Deze auteur volgen

Geciteerd door

Medeauteurs