Author of the publication

Run-Time Models for Online Performance and Resource Management in Data Centers.

, , , , and . Self-Aware Computing Systems, Springer International Publishing, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Model based verification and adaptation of software systems @runtime.. Polytechnic University of Milan, Italy, (2013)Iterative distribution-aware sampling for probabilistic symbolic execution., , , and . ESEC/SIGSOFT FSE, page 866-877. ACM, (2015)Run-time efficient probabilistic model checking., , and . ICSE, page 341-350. ACM, (2011)Statistical symbolic execution with informed sampling., , , and . SIGSOFT FSE, page 437-448. ACM, (2014)Input splitting for cloud-based static application security testing platforms., , , , , , , , , and . ESEC/SIGSOFT FSE, page 1367-1378. ACM, (2022)Compositional solution space quantification for probabilistic software analysis., , , , and . PLDI, page 123-132. ACM, (2014)Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned., , , , and . ESEC/SIGSOFT FSE, page 120-132. ACM, (2023)Enhancing Performance Modeling of Serverless Functions via Static Analysis., , and . ICSOC, volume 13740 of Lecture Notes in Computer Science, page 71-88. Springer, (2022)Reliability Analysis in Symbolic Pathfinder: A brief summary., , and . Software Engineering, volume P-227 of LNI, page 39-40. GI, (2014)Autotuning control structures for reliability-driven dynamic binding., , , and . CDC, page 418-423. IEEE, (2012)