Research output per year
Research output per year
Search results
-
2024
Bayesian Learning for the Robust Verification of Autonomous Robots
Zhao, X., Gerasimou, S., Calinescu, R., Imrie, C. C., Robu, V. & Flynn, D., 27 Jan 2024, In: Communications Engineering. 3, 18.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2023
Fast Parametric Model Checking with Applications to Software Performability Analysis
Fang, X., Calinescu, R., Gerasimou, S. & Alhwikem, F., 1 Oct 2023, In: IEEE Transactions on Software Engineering . 49, p. 4707-4730 14 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Probabilistic program performance analysis with confidence intervals
Stefanakos, I., Calinescu, R. & Gerasimou, S., 1 Apr 2023, In: Information and Software Technology. 156, 18 p., 107143.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2020
Automatic generation of UML profile graphical editors for Papyrus
Wei, R., Zolotas, A., Hoyos Rodriguez, H., Gerasimou, S., Kolovos, D. S. & Paige, R. F., 11 Aug 2020, In: Software and Systems Modeling. 24 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
2018
Efficient Synthesis of Robust Models for Stochastic Systems
Calinescu, R. C., Ceska, M., Gerasimou, S., Kwiatkowska, M. & Paoletti, N., Sept 2018, In: Journal of Systems and Software. 143, p. 140-158 19 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases
Calinescu, R. C., Weyns, D., Gerasimou, S., Iftikhar, M. U., Habli, I. & Kelly, T. P., 1 Nov 2018, In: IEEE Transactions on Software Engineering . 44, 11, p. 1039-1069 31 p., 8008800.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Synthesis of Probabilistic Models for Quality-of-Service Software Engineering
Gerasimou, S., Calinescu, R. C. & Tamburrelli, G., 17 May 2018, (E-pub ahead of print) In: Automated Software Engineering. 47 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile