Follow
Giordano Tamburrelli
Giordano Tamburrelli
Mollie
Verified email at mollie.com
Title
Cited by
Cited by
Year
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
4952010
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
3662009
Run-time efficient probabilistic model checking
A Filieri, C Ghezzi, G Tamburrelli
Proceedings of the 33rd international conference on software engineering …, 2011
2432011
Understanding gamification mechanisms for software development
DJ Dubois, G Tamburrelli
Proceedings of the 2013 9th joint meeting on foundations of software …, 2013
2192013
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
1762012
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
1422015
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
1412017
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
1372013
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
1262008
Perpetual assurances for self-adaptive systems
D Weyns, N Bencomo, R Calinescu, J Cámara, C Ghezzi, V Grassi, ...
Software Engineering for Self-Adaptive Systems III. Assurances …, 2017
1202017
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
1162014
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
1062014
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
912015
Introducing uncertainty in complex event processing: model, implementation, and validation
G Cugola, A Margara, M Matteucci, G Tamburrelli
Computing 97, 103-144, 2015
882015
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
742015
Synthesis of probabilistic models for quality-of-service software engineering
S Gerasimou, R Calinescu, G Tamburrelli
Automated Software Engineering 25 (4), 785-831, 2018
712018
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
692014
Towards automated A/B testing
G Tamburrelli, A Margara
International Symposium on Search Based Software Engineering, 184-198, 2014
612014
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
612011
Probabilistic verification at runtime for self-adaptive systems
A Filieri, G Tamburrelli
Assurances for Self-Adaptive Systems: Principles, Models, and Techniques, 30-59, 2013
502013
The system can't perform the operation now. Try again later.
Articles 1–20