| 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 | 467 | 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 | 339 | 2009 |
| Run-time efficient probabilistic model checking A Filieri, C Ghezzi, G Tamburrelli 2011 33rd International Conference on Software Engineering (ICSE), 341-350, 2011 | 225 | 2011 |
| Understanding gamification mechanisms for software development DJ Dubois, G Tamburrelli Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 194 | 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 | 164 | 2012 |
| 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 | 126 | 2015 |
| 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 | 123 | 2013 |
| 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 | 123 | 2008 |
| Software engineering for self-adaptive systems: Research challenges in the provision of assurances R Lemos, D Garlan, C Ghezzi, H Giese, J Andersson, M Litoiu, B Schmerl, ... Software Engineering for Self-Adaptive Systems III. Assurances, 3-30, 2017 | 119 | 2017 |
| 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 | 102 | 2017 |
| 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 | 100 | 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 | 93 | 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 | 83 | 2015 |
| 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 | 72 | 2015 |
| 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 | 61 | 2011 |
| 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 | 59 | 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 | 59 | 2014 |
| Synthesis of probabilistic models for quality-of-service software engineering S Gerasimou, R Calinescu, G Tamburrelli Automated Software Engineering 25 (4), 785-831, 2018 | 52 | 2018 |
| Towards automated A/B testing G Tamburrelli, A Margara International Symposium on Search Based Software Engineering, 184-198, 2014 | 44 | 2014 |
| Probabilistic verification at runtime for self-adaptive systems A Filieri, G Tamburrelli Assurances for Self-Adaptive Systems, 30-59, 2013 | 40 | 2013 |
Carlo GhezziEmeritus Professor, Politecnico di MilanoVerified email at polimi.it
