Research projects
Ongoing research projects
-
InnoGuard: Hybrid and Generative Intelligence for Trustworthy Autonomous Cyber-Physical Systems
The Marie Skłodowska-Curie Actions-funded InnoGuard project advances quality assurance for AI-driven Autonomous Cyber-Physical Systems, automating assessment, improving reliability, sustainability, energy efficiency, legal compliance, and trustworthiness.
Publications and research
Scientific publications
Ali, Shaukat
; Bianculli, Domenico; Cicchetti, Antonio; Jongeling, Robbert; Pun, Violet Ka I; Stolz, Volker; Trubiani, Catia
(2026).
Uncertainty-Aware DevOps for Cyber-Physical Systems and Runtime Verification.
Panichella, Sebastiano; Arcaini, Paolo; Cohen, Myra B.; Arrieta, Aitor (Ed.).
Roadmap for DevOps in Cyber-Physical Systems. p. 83-101.
Springer Nature Singapore.
https://doi.org/10.1007/978-981-95-1786-2_5
Isaku, Erblin; Sartaj, Hassan;
Ali, Shaukat
; Sanguino, Beatriz; Wang, Tongtong; Li, Guoyuan; Zhang, Houxiang; Peyrucain, Thomas
(2026).
Out of Distribution Detection in Self-adaptive Robots with AI-powered Digital Twins.
N.N. (Ed.).
2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE). p. 3403-3414.
IEEE (Institute of Electrical and Electronics Engineers).
https://doi.org/10.1109/ase63991.2025.00281
Wu, Jiahui; Lu, Chengjie; Arrieta, Aitor;
Ali, Shaukat
(2026).
A Tool for Benchmarking Large Language Models' Robustness in Assessing the Realism of Driving Scenarios.
N.N (Ed.).
2025 2nd IEEE/ACM International Conference on AI-powered Software (AIware). p. 263-267.
IEEE (Institute of Electrical and Electronics Engineers).
https://doi.org/10.1109/aiware69974.2025.00037
Arrieta, Aitor; Valle, Pablo;
Ali, Shaukat
(2026).
FLOWREPAIR: Search-based automated program repair of CPS controllers modeled in Simulink-Stateflow.
Information and Software Technology.
Vol. 192.
https://doi.org/10.1016/j.infsof.2025.108010
Wang, Xinyi; Xu, Qinghua; Arcaini, Paolo;
Ali, Shaukat
; Peyrucain, Thomas
(2025).
Quantum Machine Learning-based Test Oracle for Autonomous Mobile Robots.
N.N. (Ed.).
2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE). p. 3695-3706.
IEEE (Institute of Electrical and Electronics Engineers).
https://doi.org/10.1109/ase63991.2025.00306
Bano, Muneera;
Ali, Shaukat
; Zowghi, Didar
(2025).
Envisioning responsible quantum software engineering and quantum artificial intelligence.
Automated Software Engineering : An International Journal.
Vol. 32.
https://doi.org/10.1007/s10515-025-00541-5
Sartaj, Hassan; Boudjadar, Jalil; Frasheri, Mirgita;
Ali, Shaukat
; Larsen, Peter Gorm
(2025).
Identifying Uncertainty in Self-Adaptive Robotics With Large Language Models.
IEEE Software.
Vol. 43.
https://doi.org/10.1109/MS.2025.3620578
Kessentini, Marouane; Sahraoui, Houari;
Ali, Shaukat
(2025).
2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C).
ISBN: 9798331579906.
IEEE (Institute of Electrical and Electronics Engineers).
https://doi.org/10.1109/models-c68889.2025
Wang, Xinyi;
Ali, Shaukat
; Arcaini, Paolo; Veeraragavan, Narasimha Raghavan; Nygård, Jan F.
(2025).
Quantum Neural Network Classifier for Cancer Registry System Testing: A Feasibility Study.
ACM Transactions on Software Engineering and Methodology.
https://doi.org/10.1145/3769302
Sartaj, Hassan;
Ali, Shaukat
; Gjøby, Julie Marie
(2025).
REST API Testing in DevOps: A Study on an Evolving Healthcare IoT Application.
ACM Transactions on Software Engineering and Methodology.
https://doi.org/10.1145/3765744
