Carlo Ghezzi
Carlo Ghezzi
Emeritus Professor, Politecnico di Milano
Verifierad e-postadress på polimi.it - Startsida
Titel
Citeras av
Citeras av
År
Fundamentals of software engineering
C Ghezzi, M Jazayeri, D Mandrioli
Prentice Hall, 1991
18371991
Programming language concepts
C Ghezzi, M Jazayeri
John Wiley & Sons, 2008
4582008
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
4431991
Software process model evolution in the SPADE environment
SC Bandinelli, A Fuggetta, C Ghezzi
IEEE transactions on software engineering 19 (12), 1128-1144, 1993
3811993
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
3391990
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
3112008
Designing data marts for data warehouses
C Ghezzi
ACM Transactions on Software Engineering and Methodology (TOSEM) 10 (4), 452-483, 2001
3112001
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
2892009
Smart monitors for composed services
L Baresi, C Ghezzi, S Guinea
Proceedings of the 2nd international conference on Service oriented …, 2004
2872004
Toward open-world software: Issues and challenges
L Baresi, E Di Nitto, C Ghezzi
Computer 39 (10), 36-43, 2006
2802006
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
2682012
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
2191994
Software Processes: a Retrospective and a Path to the Future
G Cugola, C Ghezzi
Software Process: Improvement and Practice 4 (3), 101-123, 1998
1851998
Run-time efficient probabilistic model checking
A Filieri, C Ghezzi, G Tamburrelli
2011 33rd International Conference on Software Engineering (ICSE), 341-350, 2011
1842011
Analyzing mobile code languages
G Cugola, C Ghezzi, GP Picco, G Vigna
International Workshop on Mobile Object Systems, 91-109, 1996
1691996
Mobile code paradigms and technologies: A case study
C Ghezzi, G Vigna
International Workshop on Mobile Agents, 39-49, 1997
1611997
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
1381996
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
1262012
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
1231991
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
1212001
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20