Research output per year
Research output per year
Search results
-
2023
Goal Controller Synthesis for Self-Adaptive Systems
Calinescu, R. & Nunes Rodrigues, G., 22 Feb 2023, (Accepted/In press) FormaliSE International Conference on Formal Methods in Software Engineering. IEEEResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2022
Addressing the Uncertainty Interaction Problem in Software-intensive Systems: Challenges and Desiderata
Camara, J., Calinescu, R., Cheng, B., Garlan, D., Schmerl, B., Troya, J. & Vallecillo, A., 2022, (Accepted/In press) 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems . ACMResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies
Gerasimou, S., Camara Moreno, J., Calinescu, R., Alasmari, N., Alhwikem, F. & Fang, X., 20 Jan 2022, 36th IEEE/ACM International Conference on Automated Software Engineering. IEEEResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Mitigating Risk in Neural Network Classifiers
Alpizar Santana, M., Calinescu, R. & Paterson, C., 30 Aug 2022, 48th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA) . IEEE, 4 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Risk-aware Real-time Object Detection
Alpizar Santana, M., Calinescu, R. & Paterson, C., 2 Nov 2022, 18th European Dependable Computing Conference. IEEEResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Synthesis of Pareto-optimal Policies for Continuous-Time Markov Decision Processes
Alasmari, N. & Calinescu, R., 2022, 48th Euromicro Conference on Software Engineering and Advanced Applications.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2021
Detection and Mitigation of Rare Subclasses in Deep Neural Network Classifiers
Paterson, C., Calinescu, R. & Picardi, C., 27 Jun 2021, (Accepted/In press) IEEE AI Test 2021 conference.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Fast Parametric Model Checking through Model Fragmentation
Fang, X., Calinescu, R., Gerasimou, S. & Alhwikem, F., 7 May 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE). ACMResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile