Urmăriți
Giordano Tamburrelli
Giordano Tamburrelli
Mollie
Adresă de e-mail confirmată pe mollie.com
Titlu
Citat de
Citat de
Anul
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
4842010
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
3582009
Run-time efficient probabilistic model checking
A Filieri, C Ghezzi, G Tamburrelli
Proceedings of the 33rd international conference on software engineering …, 2011
2382011
Understanding gamification mechanisms for software development
DJ Dubois, G Tamburrelli
Proceedings of the 2013 9th joint meeting on foundations of software …, 2013
2052013
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
1712012
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
1322017
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
1322015
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
1292013
Quality Prediction of Service Compositions through Probabilistic Model Checking.
S Gallotti, C Ghezzi, R Mirandola, G Tamburrelli
QoSA 8, 119-134, 2008
1252008
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
1122017
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
1102014
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
1012014
Introducing uncertainty in complex event processing: model, implementation, and validation
G Cugola, A Margara, M Matteucci, G Tamburrelli
Computing 97, 103-144, 2015
862015
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
832015
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
702015
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
642014
Synthesis of probabilistic models for quality-of-service software engineering
S Gerasimou, R Calinescu, G Tamburrelli
Automated Software Engineering 25, 785-831, 2018
632018
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
Towards automated A/B testing
G Tamburrelli, A Margara
Search-Based Software Engineering: 6th International Symposium, SSBSE 2014 …, 2014
512014
Probabilistic verification at runtime for self-adaptive systems
A Filieri, G Tamburrelli
Assurances for Self-Adaptive Systems: Principles, Models, and Techniques, 30-59, 2013
462013
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20