Synthesis and Verification of Self-aware Computing Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Radu Calinescu, Marco Autili, Javier Cámara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen 0001, Joost-Pieter Katoen, Marta Z. Kwiatkowska, Ole J. Mengshoel, Romina Spalazzese, Massimo Tivoli. Synthesis and Verification of Self-aware Computing Systems. In Samuel Kounev, Jeffrey O. Kephart, Aleksandar Milenkoski, Xiaoyun Zhu, editors, Self-Aware Computing Systems. pages 337-373, Springer International Publishing, 2017. [doi]

This author has not been identified. It may be one of the following persons:

Radu Calinescu

Look up 'Radu Calinescu' in GoogleThis author has not been identified. Look up 'Marco Autili' in GoogleThis author has not been identified. It may be one of the following persons:

Look up 'Javier Cámara' in GoogleThis author has not been identified. Look up 'Antinisca Di Marco' in GoogleThis author has not been identified. Look up 'Simos Gerasimou' in GoogleThis author has not been identified. Look up 'Paola Inverardi' in GoogleThis author has not been identified. Look up 'Alexander Perucci' in GoogleThis author has not been identified. Look up 'Nils Jansen 0001' in GoogleThis author has not been identified. It may be one of the following persons:

Joost-Pieter Katoen

Look up 'Joost-Pieter Katoen' in GoogleThis author has not been identified. Look up 'Marta Z. Kwiatkowska' in GoogleThis author has not been identified. Look up 'Ole J. Mengshoel' in GoogleThis author has not been identified. Look up 'Romina Spalazzese' in GoogleThis author has not been identified. It may be one of the following persons:

Massimo Tivoli

Look up 'Massimo Tivoli' in Google

runs on WebDSL