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
Oldfield, Noah Daniel Hegerland; Laaber, Christoph; Yue, Tao;
Ali, Shaukat
(2025).
Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements.
ACM Transactions on Software Engineering and Methodology.
Vol. 34.
https://doi.org/10.1145/3714468
Sartaj, Hassan;
Ali, Shaukat
; Gjøby, Julie Marie
(2025).
MeDeT: Medical Device Digital Twins Creation with Few-shot Meta-learning.
ACM Transactions on Software Engineering and Methodology.
Vol. 34.
https://doi.org/10.1145/3708534
Michael, Judith; Cleophas, Loek; Zschaler, Steffen; Clark, Tony; Combemale, Benoit; Godfrey, Thomas; Khelladi, Djamel Eddine; Kulkarni, Vinay; Lehner, Daniel; Rumpe, Bernhard; Wimmer, Manuel; Wortmann, Andreas;
Ali, Shaukat
; Barn, Balbir; Barosan, Ion; Bencomo, Nelly; Bordeleau, Francis; Grossmann, Georg; Karsai, Gabor; Kopp, Oliver; Mitschang, Bernhard; Ariza, Paula Muñoz; Pierantonio, Alfonso; Polack, Fiona A.C.; Riebisch, Matthias; Schlingloff, Holger; Stumptner, Markus; Vallecillo, Antonio; Brand, Mark van den; Vangheluwe, Hans
(2025).
Model-Driven Engineering for Digital Twins: Opportunities and Challenges.
Systems Engineering.
Vol. 28.
https://doi.org/10.1002/sys.21815
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
Wang, Xinyi;
Ali, Shaukat
; Taibi, Davide
(2025).
The Landscape of Quantum Software Testing Tools.
IEEE Software.
Vol. 42.
https://doi.org/10.1109/MS.2025.3578154
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
