Giordano Tamburrelli
Giordano Tamburrelli
lastminute.com
Verified email at lastminute.com
TitleCited byYear
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
3502010
Model evolution by run-time parameter adaptation
I Epifani, C Ghezzi, R Mirandola, G Tamburrelli
Proceedings of the 31st International Conference on Software Engineering …, 2009
2812009
Run-time efficient probabilistic model checking
A Filieri, C Ghezzi, G Tamburrelli
Proceedings of the 33rd international conference on software engineering …, 2011
1782011
Understanding gamification mechanisms for software development
DJ Dubois, G Tamburrelli
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
1302013
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
1192012
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
1082008
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
882013
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
742015
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
722014
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
692014
Introducing uncertainty in complex event processing: model, implementation, and validation
G Cugola, A Margara, M Matteucci, G Tamburrelli
Computing 97 (2), 103-144, 2015
642015
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
552017
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
532011
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
492017
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
402015
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
382015
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
382014
Reasoning on non-functional requirements for integrated services
C Ghezzi, G Tamburrelli
2009 17th IEEE International Requirements Engineering Conference, 69-78, 2009
332009
Probabilistic verification at runtime for self-adaptive systems
A Filieri, G Tamburrelli
Assurances for Self-Adaptive Systems, 30-59, 2013
322013
Predicting performance properties for open systems with KAMI
C Ghezzi, G Tamburrelli
International Conference on the Quality of Software Architectures, 70-85, 2009
282009
The system can't perform the operation now. Try again later.
Articles 1–20