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
2017
Cite DOI URL
Type
Book section
Publication
Self-Aware Computing Systems
Antinisca Di Marco
Antinisca Di Marco
Associate Professor

My research interests are Software and Performance Engineering, Data Science, and Quality of Machine Learning.