| Dynamic QoS management and optimization in service-based systems R Calinescu, L Grunske, M Kwiatkowska, R Mirandola, G Tamburrelli IEEE Transactions on Software Engineering 37 (3), 387-409, 2010 | 393 | 2010 |
| 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 | 304 | 2009 |
| Run-time efficient probabilistic model checking A Filieri, C Ghezzi, G Tamburrelli 2011 33rd International Conference on Software Engineering (ICSE), 341-350, 2011 | 198 | 2011 |
| Understanding gamification mechanisms for software development DJ Dubois, G Tamburrelli Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 168 | 2013 |
| 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 | 139 | 2012 |
| Quality prediction of service compositions through probabilistic model checking S Gallotti, C Ghezzi, R Mirandola, G Tamburrelli International Conference on the Quality of Software Architectures, 119-134, 2008 | 115 | 2008 |
| Managing non-functional uncertainty via model-driven adaptivity C Ghezzi, LS Pinto, P Spoletini, G Tamburrelli 2013 35th International Conference on Software Engineering (ICSE), 33-42, 2013 | 104 | 2013 |
| Supporting self-adaptation via quantitative verification and sensitivity analysis at run time A Filieri, G Tamburrelli, C Ghezzi IEEE Transactions on Software Engineering 42 (1), 75-99, 2015 | 98 | 2015 |
| Learning from the past: automated rule generation for complex event processing A Margara, G Cugola, G Tamburrelli Proceedings of the 8th ACM International Conference on Distributed Event …, 2014 | 85 | 2014 |
| Mining behavior models from user-intensive web applications C Ghezzi, M Pezzè, M Sama, G Tamburrelli Proceedings of the 36th International Conference on Software Engineering …, 2014 | 78 | 2014 |
| Introducing uncertainty in complex event processing: model, implementation, and validation G Cugola, A Margara, M Matteucci, G Tamburrelli Computing 97 (2), 103-144, 2015 | 76 | 2015 |
| Perpetual assurances for self-adaptive systems D Weyns, N Bencomo, R Calinescu, J Camara, C Ghezzi, V Grassi, ... Software Engineering for Self-Adaptive Systems III. Assurances, 31-63, 2017 | 74 | 2017 |
| Software engineering for self-adaptive systems: Research challenges in the provision of assurances R De Lemos, D Garlan, C Ghezzi, H Giese, J Andersson, M Litoiu, ... Software Engineering for Self-Adaptive Systems III. Assurances, 3-30, 2017 | 73 | 2017 |
| Teaching software engineering using globally distributed projects: the DOSE course M Nordio, C Ghezzi, B Meyer, E Di Nitto, G Tamburrelli, J Tschannen, ... Proceedings of the 2011 Community Building Workshop on Collaborative …, 2011 | 53 | 2011 |
| Formal verification with confidence intervals to establish quality of service properties of software systems R Calinescu, C Ghezzi, K Johnson, M Pezzé, Y Rafiq, G Tamburrelli IEEE transactions on reliability 65 (1), 107-125, 2015 | 49 | 2015 |
| Mechanisms for leveraging models at runtime in self-adaptive software A Bennaceur, R France, G Tamburrelli, T Vogel, PJ Mosterman, ... Models@ run. time, 19-46, 2014 | 45 | 2014 |
| Search-based synthesis of probabilistic models for quality-of-service software engineering (t) S Gerasimou, G Tamburrelli, R Calinescu 2015 30th IEEE/ACM International Conference on Automated Software …, 2015 | 44 | 2015 |
| Reasoning on non-functional requirements for integrated services C Ghezzi, G Tamburrelli 2009 17th IEEE International Requirements Engineering Conference, 69-78, 2009 | 34 | 2009 |
| Probabilistic verification at runtime for self-adaptive systems A Filieri, G Tamburrelli Assurances for Self-Adaptive Systems, 30-59, 2013 | 33 | 2013 |
| Predicting performance properties for open systems with KAMI C Ghezzi, G Tamburrelli International Conference on the Quality of Software Architectures, 70-85, 2009 | 30 | 2009 |
Carlo GhezziEmeritus Professor, Politecnico di MilanoVerified email at polimi.it
