Publikasjoner og forskningsresultater
Vitenskapelige publikasjoner
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 (Red.).
Roadmap for DevOps in Cyber-Physical Systems. s. 83-101.
Springer Nature Singapore.
https://doi.org/10.1007/978-981-95-1786-2_5
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
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
Valle, Pablo; Arrieta, Aitor; Han, Liping;
Ali, Shaukat
; Yue, Tao
(2025).
Defining and generating multi-level and uncertainty-wise test oracles for cyber-physical systems.
Software and Systems Modeling (SoSyM).
Vol. 24.
https://doi.org/10.1007/s10270-025-01271-8
Kessentini, Marouane;
Ali, Shaukat
; Sahraoui, Houari
(2025).
2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems (MODELS).
ISBN: 9798331549107.
IEEE Computer Society.
https://doi.org/10.1109/models67397.2025
Murillo, Juan Manuel; Garcia-Alonso, Jose; Moguel, Enrique; Barzen, Johanna; Leymann, Frank;
Ali, Shaukat
; Yue, Tao; Arcaini, Paolo; Pérez-Castillo, Ricardo; Guzmán, Ignacio García-Rodríguez de; Piattini, Mario; Ruiz-Cortés, Antonio; Brogi, Antonio; Zhao, Jianjun; Miranskyy, Andriy; Wimmer, Manuel
(2025).
Quantum Software Engineering: Roadmap and Challenges Ahead.
ACM Transactions on Software Engineering and Methodology.
Vol. 34.
https://doi.org/10.1145/3712002
Wang, Xinyi;
Ali, Shaukat
; Arcaini, Paolo
(2025).
BQTmizer: A Tool for Test Case Minimization with Quantum Annealing.
IEEE Software.
https://doi.org/10.1109/MS.2025.3546511
Muqeet, Asmar;
Ali, Shaukat
; Arcaini, Paolo
(2025).
QUIET: A Tool for Sampling-Based Quantum Noise Error Mitigation.
IEEE Software.
https://doi.org/10.1109/MS.2025.3532106
Mendiluze, Eñaut;
Ali, Shaukat
; Yue, Tao; Arcaini, Paolo
(2025).
Quantum circuit mutants: Empirical analysis and recommendations.
Empirical Software Engineering.
Vol. 30.
https://doi.org/10.1007/s10664-025-10643-z
Wang, Xinyi; Muqeet, Asmar; Yue, Tao;
Ali, Shaukat
; Arcaini, Paolo
(2024).
Test Case Minimization with Quantum Annealers.
ACM Transactions on Software Engineering and Methodology.
Vol. 34.
https://doi.org/10.1145/3680467
