Research output per year
Research output per year
Search results
-
2017
Synthesis and Verification of Self-aware Computing Systems
Calinescu, R. C., Autili, M., Cámara, J., Di Marco, A., Gerasimou, S., Inverardi, P., Perucci, A., Jansen, N., Katoen, J.-P., Kwiatkowska, M., Mengshoel, O. J., Spalazzese, R. & Tivoli, M., 2017, Self-Aware Computing Systems. Springer, p. 337-373 37 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
Open Access -
2015
Stochastic modeling, analysis and verification of mission-critical systems and processes
Gerasimou, S., Mason, G. R., Paterson, C. A., Banks, A., Calinescu, R. C., Kudenko, D. & Rowe, S., 2015, 4th IMA Conference on Mathematics in Defence. 9 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
Open AccessFile -
2012
Using Compositional Verification to Manage Change in Large-Scale Systems
Calinescu, R. C., Kikuchi, S. & Johnson, K. H. A., 2012, Large-Scale Complex IT Systems - Development, Operation and Management. Vol. 7539.Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)