| 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 | 508 | 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 | 367 | 2009 |
| Run-time efficient probabilistic model checking A Filieri, C Ghezzi, G Tamburrelli Proceedings of the 33rd international conference on software engineering …, 2011 | 252 | 2011 |
| Understanding gamification mechanisms for software development DJ Dubois, G Tamburrelli Proceedings of the 2013 9th joint meeting on foundations of software …, 2013 | 234 | 2013 |
| A formal approach to adaptive software: continuous assurance of non-functional requirements A Filieri, C Ghezzi, G Tamburrelli Formal Aspects of Computing 24, 163-186, 2012 | 180 | 2012 |
| 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 …, 2017 | 155 | 2017 |
| 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 | 150 | 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 | 137 | 2013 |
| 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 …, 2017 | 130 | 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 | 127 | 2014 |
| Quality prediction of service compositions through probabilistic model checking S Gallotti, C Ghezzi, R Mirandola, G Tamburrelli Quality of Software Architectures. Models and Architectures: 4th …, 2008 | 126 | 2008 |
| 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 | 110 | 2014 |
| 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 | 96 | 2015 |
| Introducing uncertainty in complex event processing: model, implementation, and validation G Cugola, A Margara, M Matteucci, G Tamburrelli Computing 97, 103-144, 2015 | 95 | 2015 |
| 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 | 78 | 2015 |
| Synthesis of probabilistic models for quality-of-service software engineering S Gerasimou, R Calinescu, G Tamburrelli Automated Software Engineering 25 (4), 785-831, 2018 | 77 | 2018 |
| Mechanisms for leveraging models at runtime in self-adaptive software A Bennaceur, R France, G Tamburrelli, T Vogel, PJ Mosterman, ... Models@ run. time: Foundations, applications, and roadmaps, 19-46, 2014 | 67 | 2014 |
| Towards automated A/B testing G Tamburrelli, A Margara International Symposium on Search Based Software Engineering, 184-198, 2014 | 62 | 2014 |
| 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 |
| Probabilistic verification at runtime for self-adaptive systems A Filieri, G Tamburrelli Assurances for Self-Adaptive Systems: Principles, Models, and Techniques, 30-59, 2013 | 50 | 2013 |
Carlo GhezziEmeritus Professor, Politecnico di MilanoEmail verificata su polimi.it
