Towards decentralized self-adaptive component-based systems. - Luciano Baresi; Sam Guinea; Giordano Tamburrelli (SEAMS, 2008)

Quality Prediction of Service Compositions through Probabilistic Model Checking. - Stefano Gallotti; Carlo Ghezzi; Raffaela Mirandola; Giordano Tamburrelli (QoSA, 2008)

Choosing a Software Architecture: An Approach and a Case Study. - Carlo Ghezzi; Giordano Tamburrelli (SEKE, 2008)

Loose Compositions for Autonomic Systems. - Luciano Baresi; Giordano Tamburrelli (SC@ETAPS, 2008)

Model evolution by run-time parameter adaptation. - Ilenia Epifani; Carlo Ghezzi; Raffaela Mirandola; Giordano Tamburrelli (ICSE, 2009)

Predicting Performance Properties for Open Systems with KAMI. - Carlo Ghezzi; Giordano Tamburrelli (QoSA, 2009)

Reasoning on Non-Functional Requirements for Integrated Services. - Carlo Ghezzi; Giordano Tamburrelli (RE, 2009)

The Role of Contracts in Distributed Development. - Martin Nordio; Roman Mitin; Bertrand Meyer 001; Carlo Ghezzi; Elisabetta Di Nitto; Giordano Tamburrelli (SEAFOOD, 2009)

QoS Driven Dynamic Binding in-the-many. - Carlo Ghezzi; Alfredo Motta; Valerio Panzica La Manna; Giordano Tamburrelli (QoSA, 2010)

Change-point detection for black-box services. - Ilenia Epifani; Carlo Ghezzi; Giordano Tamburrelli (SIGSOFT FSE, 2010)

Mechanisms for Leveraging Models at Runtime in Self-adaptive Software. - Amel Bennaceur; Robert B. France; Giordano Tamburrelli; Thomas Vogel 001; Pieter J. Mosterman; Walter Cazzola; Fábio M. Costa; Alfonso Pierantonio; Matthias Tichy; Mehmet Aksit; Pär Emmanuelson; Gang Huang 001; et al. (Models@run.time@Dagstuhl, 2011)

Run-time efficient probabilistic model checking. - Antonio Filieri; Carlo Ghezzi; Giordano Tamburrelli (ICSE, 2011)

Teaching software engineering using globally distributed projects: the DOSE course. - Martin Nordio; Carlo Ghezzi; Bertrand Meyer 001; Elisabetta Di Nitto; Giordano Tamburrelli; Julian Tschannen; Nazareno Aguirre; Vidya Kulkarni (CTGDSD@ICSE, 2011)

Dynamic QoS Management and Optimization in Service-Based Systems. - Radu Calinescu; Lars Grunske; Marta Z. Kwiatkowska; Raffaela Mirandola; Giordano Tamburrelli (IEEE Trans. Software Eng., 2011)

Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification. - Antonio Filieri; Carlo Ghezzi; Raffaela Mirandola; Giordano Tamburrelli (Conquering Complexity, 2012)

Adaptive Service-Oriented Mobile Applications: A Declarative Approach. - Gianpaolo Cugola; Carlo Ghezzi; Leandro Sales Pinto; Giordano Tamburrelli (ICSOC, 2012)

QoS-Aware Adaptive Service Orchestrations. - Gianpaolo Cugola; Leandro Sales Pinto; Giordano Tamburrelli (ICWS, 2012)

SelfMotion: a declarative language for adaptive service-oriented mobile apps. - Gianpaolo Cugola; Carlo Ghezzi; Leandro Sales Pinto; Giordano Tamburrelli (SIGSOFT FSE, 2012)

A formal approach to adaptive software: continuous assurance of non-functional requirements. - Antonio Filieri; Carlo Ghezzi; Giordano Tamburrelli (Formal Aspects Comput., 2012)

Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances. - Rogério de Lemos; David Garlan; Carlo Ghezzi; Holger Giese; Jesper Andersson; Marin Litoiu; Bradley R. Schmerl; Danny Weyns; Luciano Baresi; Nelly Bencomo; Yuriy Brun; Javier Cámara 001; et al. (Software Engineering for Self-Adaptive Systems, 2013)

Perpetual Assurances for Self-Adaptive Systems. - Danny Weyns; Nelly Bencomo; Radu Calinescu; Javier Cámara 001; Carlo Ghezzi; Vincenzo Grassi; Lars Grunske; Paola Inverardi; Jean-Marc Jézéquel; Sam Malek; Raffaela Mirandola; Marco Mori; et al. (Software Engineering for Self-Adaptive Systems, 2013)

Managing non-functional uncertainty via model-driven adaptivity. - Carlo Ghezzi; Leandro Sales Pinto; Paola Spoletini; Giordano Tamburrelli (ICSE, 2013)

Improving Interaction with Services via Probabilistic Piggybacking. - Carlo Ghezzi; Mauro Pezzè; Giordano Tamburrelli (ICSOC, 2013)

Adaptive REST applications via model inference and probabilistic model checking. - Carlo Ghezzi; Mauro Pezzè; Giordano Tamburrelli (IM, 2013)

Understanding gamification mechanisms for software development. - Daniel J. Dubois; Giordano Tamburrelli (ESEC/SIGSOFT FSE, 2013)

Probabilistic Verification at Runtime for Self-Adaptive Systems. - Antonio Filieri; Giordano Tamburrelli (Assurances for Self-Adaptive Systems, 2013)

Learning from the past: automated rule generation for complex event processing. - Alessandro Margara; Gianpaolo Cugola; Giordano Tamburrelli (DEBS, 2014)

Mining behavior models from user-intensive web applications. - Carlo Ghezzi; Mauro Pezzè; Michele Sama; Giordano Tamburrelli (ICSE, 2014)

Mining unit tests for code recommendation. - Mohammad Ghafari; Carlo Ghezzi; Andrea Mocci; Giordano Tamburrelli (ICPC, 2014)

Towards Automated A/B Testing. - Giordano Tamburrelli; Alessandro Margara (SSBSE, 2014)

SelfMotion: A declarative approach for adaptive service-oriented mobile applications. - Gianpaolo Cugola; Carlo Ghezzi; Leandro Sales Pinto; Giordano Tamburrelli (J. Syst. Softw., 2014)

Reactive Programming: A Walkthrough. - Guido Salvaneschi; Alessandro Margara; Giordano Tamburrelli (ICSE (2), 2015)

Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering (T). - Simos Gerasimou; Giordano Tamburrelli; Radu Calinescu (ASE, 2015)

Introducing uncertainty in complex event processing: model, implementation, and validation. - Gianpaolo Cugola; Alessandro Margara; Matteo Matteucci; Giordano Tamburrelli (Computing, 2015)

Performance-driven dynamic service selection. - Carlo Ghezzi; Valerio Panzica La Manna; Alfredo Motta; Giordano Tamburrelli (Concurr. Comput. Pract. Exp., 2015)

Reliability of Run-Time Quality-of-Service evaluation using parametric model checking. - Guoxin Su; David S. Rosenblum; Giordano Tamburrelli (ICSE, 2016)

Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems. - Radu Calinescu; Carlo Ghezzi; Kenneth Johnson; Mauro Pezzè; Yasmin Rafiq; Giordano Tamburrelli (IEEE Trans. Reliab., 2016)

Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time. - Antonio Filieri; Giordano Tamburrelli; Carlo Ghezzi (IEEE Trans. Software Eng., 2016)

Automating Live Update for Generic Server Programs. - Cristiano Giuffrida; Calin Iorgulescu; Giordano Tamburrelli; Andrew S. Tanenbaum (IEEE Trans. Software Eng., 2017)

Synthesis of probabilistic models for quality-of-service software engineering. - Simos Gerasimou; Radu Calinescu; Giordano Tamburrelli (Autom. Softw. Eng., 2018)