Research output per year
Research output per year
- 12 results
Search results
-
2024
Analyzing and Debugging Normative Requirements via Satisfiability Checking
Feng, N., Marsso, L., Getir Yaman, S., Townsend, B., Baatartogtokh, Y., Ayad, R., Oldemburgo de Mello, V., Standen, I., Stefanakos, I., Imrie, C. C., Nunes Rodrigues, G., Cavalcanti, A. L. C., Calinescu, R. & Chechik, M., 12 Apr 2024, 46th International Conference on Software Engineering (ICSE 2024). IEEE Computer Society, p. 2643-2654 12 p. 214. (Proceedings - International Conference on Software Engineering).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Safety-Aware Adaptive Reinforcement Learning for Mobile Assistive-Care Robots
Zhang, Q., Stefanakos, I., Camara Moreno, J. & Calinescu, R., 20 Sept 2024, 2024 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C). IEEE, p. 115-120 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Weather Impact on DER Long-term Performance: A Formal Verification Approach
Alpizar Santana, M., Stefanakos, I., Fang, X., Garg, A., Sun, H. & Osman, A., 13 Nov 2024, 2024 IEEE PES Innovative Smart Grid Technologies-Asia (ISGT Asia). 6 p. 10876300Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2023
Autonomous Emergency Triage Support System
Ashaolu, O., Lyons, W., Stefanakos, I., Calinescu, R., Habli, I., Hodge, V. J., Picardi, C., Plant, K. & Townsend, B., 26 Nov 2023, Computational Science and Computational Intelligence: 2023 International Conference on Computational Science and Computational Intelligence (CSCI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
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 -
Towards Lifelong Social Robot Navigation in Dynamic Environments
Zhang, Q., Stefanakos, I., Camara Moreno, J. & Calinescu, R., 15 Sept 2023, 24th Towards Autonomous Robotic Systems Conference (TAROS), Proceedings. Springer, 5 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2022
Safety Controller Synthesis for a Mobile Manufacturing Cobot
Stefanakos, I., Calinescu, R., Douthwaite, J. A., Aitken, J. & Law , J., 26 Jul 2022, (Accepted/In press) Software Engineering and Formal Methods 2022: Proceedings. Springer, 17 p. (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Towards Planning and Adaptation of Assistive-care Robot Tasks
Hamilton, J., Stefanakos, I., Calinescu, R. & Camara, J., 2022, (Accepted/In press) Fourth Workshop on Formal Methods for Autonomous Systems. 9 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2021
Probabilistic Program Performance Analysis
Stefanakos, I., Calinescu, R. & Gerasimou, S., 1 Jun 2021, (Accepted/In press) EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2021). IEEE, p. 148-157 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Software Performance Engineering with Performance Antipatterns and Code-level Probabilistic Analysis
Stefanakos, I., Gerasimou, S. & Calinescu, R., 20 Dec 2021, Model Driven Engineering Languages and Systems Companion: 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEEResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2020
Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles
Calinescu, R., Cortelessa, V., Stefanakos, I. & Trubiani, C., 17 Mar 2020, (E-pub ahead of print) Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. Springer, p. 357-377 21 p. (Lecture Notes in Computer Science; vol. 12076).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2019
Towards Integrated Correctness Analysis and Performance Evaluation of Software Systems (Doctoral Forum Paper)
Stefanakos, I., 2019, Software Engineering for Resilient Systems.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution