SPENCER Lab
SPENCER Lab
News
People
Publications
Projects
Contact
Chapter
Online Learning of Run-Time Models for Performance and Resource Management in Data Centers
Jürgen Walter
,
Antinisca Di Marco
,
Simon Spinner
,
Paola Inverardi
,
Samuel Kounev
Cite
DOI
URL
Synthesis and Verification of Self-aware Computing Systems
Radu Calinescu
,
Marco Autili
,
Javier Cámara
,
Antinisca Di Marco
,
Simos Gerasimou
,
Paola Inverardi
,
Alexander Perucci
,
Nils Jansen
,
Joost-Pieter Katoen
,
Marta Z. Kwiatkowska
,
Ole J. Mengshoel
,
Romina Spalazzese
,
Massimo Tivoli
Cite
DOI
URL
Software Architecture Quality of Service Analysis Based on Optimization Models
Pasqualina Potena
,
Ivica Crnkovic
,
Fabrizio Marinelli
,
Vittorio Cortellessa
Cite
DOI
URL
Resilience in Mobile Networks: A Need and a Challenge
Alberto Avritzer
,
Luca Berardinelli
,
Vittorio Cortellessa
,
Leïla Kloul
,
Carlo Rosa
,
Katinka Wolter
Cite
DOI
URL
Reliability Modeling and Analysis of Service-Oriented Architectures
Vittorio Cortellessa
,
Vincenzo Grassi
Cite
DOI
URL
Cite
×