Browsing by Author "Calinescu, Radu"

Now showing 1 - 4 of 4

Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases

Calinescu, Radu
;
Weyns, Danny
;
Gerasimou, Simos
;
Usman Iftikhar, Muhammad
;
Habli, Ibrahim
Journal article
2018, IEEE Transactions on Software Engineering, (44) 11, p.1039-1069
ENTRUST: engineering trustworthy self-adaptive software with dynamic assurance cases

Calinescu, Radu
;
Weyns, Danny
;
Gerasimou, Simos
;
Usman Iftikhar, Muhammad
;
Habli, Ibrahim
Proceedings paper
2018, ICSE '18 Proceedings of the 40th International Conference on Software Engineering, 27/05/2018, p.495
Perpetual assurances for self-adaptive systems

Weyns, Danny
;
Bencomo, Nelly
;
Calinescu, Radu
;
Camara, Javier
;
Ghezzi, Carlo
;
Grassi, Vincenzo
Proceedings paper
2017, Software Engineering for Self-Adaptive Systems III. Assurances, 15/12/2013, p.31-63
UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles

Gerasimou, Simos
;
Calinescu, Radu
;
Shevtsov, Stepan
;
Weyns, Danny
Proceedings paper
2017, IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems - SEAMS, 22/05/2017, p.83-89