Shaukat Ali

A. Muqeet

QUIET: A Tool for Sampling-Based Quantum Noise Error Mitigation

IEEE Software

E. Mendiluze, S. Ali, T. Yue and P. Arcaini

Quantum circuit mutants: Empirical analysis and recommendations

Empirical Software Engineering

P. Valle, A. Arrieta, L. Han, S. Ali and T. Yue

Defining and generating multi-level and uncertainty-wise test oracles for cyber-physical systems

Software and Systems Modeling

J. M. Murillo, J. Garcia-Alonso, E. Moguel, J. Barzen, F. Leymann and S. Ali

Quantum Software Engineering: Roadmap and Challenges Ahead

ACM Trans. Softw. Eng. Methodol

N. Oldfield

Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements

Transactions on Software Engineering and Methodology (TOSEM)

A. Muqeet, H. Sartaj, A. Arrieta, S. Ali, P. Arcaini, M. Arratibel, J. M. Gjøby, N. R. Veeraragavan and J. Nygård

Assessing Quantum Extreme Learning Machines for Software Testing in Practice

Transactions on Software Engineering and Methodology

H. Sartaj, S. Ali and J. M. Gjøby

REST API Testing in DevOps: A Study on an Evolving Healthcare IoT Application

ACM Transactions on Software Engineering and Methodology

H. Sartaj, S. Ali and J. M. Gjøby

MeDeT: Medical Device Digital Twins Creation with Few-shot Meta-learning

ACM Transactions on Software Engineering and Methodology

H. Sartaj, S. Ali and J. M. Gjøby

Uncertainty-Aware Environment Simulation of Medical Devices Digital Twins

Software and Systems Modeling

J. Wu, C. Lu, A. Arrieta, S. Ali and T. Peyrucain

Vision Language Model-based Testing of Industrial Autonomous Mobile Robots

The 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025

G. Pontolillo

From Ideal to Noisy: Adapting Property-Based Testing for Real-World Noisy Quantum Computers

IEEE International Conference on Quantum Computing and Engineering (QCE)

C. Lu, P. Valle, J. Wu, E. Isaku, H. Sartaj, A. Arrieta and S. Ali

Foundation Models for Software Engineering of Cyber-Physical Systems: the Road Ahead

2030 Software Engineering - 2025

C. Lu, J. Wu, S. Ali and M. L. Olsen

Assessing the Uncertainty and Robustness of the Laptop Refurbishing Software

2025 IEEE Conference on Software Testing, Verification and Validation (ICST)

E. Isaku, C. Laaber, H. Sartaj, S. Ali, T. Schwitalla and J. Nygård

LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine

ICST 2025, 18th IEEE International Conference on Software Testing, Verification and Validation

J. Wu, C. Lu, A. Arrieta and S. Ali

Multi-Objective Reinforcement Learning for Critical Scenario Generation of Autonomous Vehicles

P. Valle, C. Lu, S. Ali and A. Arrieta

Evaluating Uncertainty and Quality of Visual Language Action-enabled Robots

S. Ali, X. Wang, A. Muqeet and E. Mendiluze

AI for Quantum & Quantum for AI

Kongsberg Agenda

S. Ali and E. Mendiluze

Towards Real-World Quantum Computing Applications

Simula Research Laboratory

S. Ali and P. Arcaini

Quantum Software Engineering: Future Trends in Software Engineering Body of Knowledge

K. Nylænder, A. Arrieta, S. Ali and P. Arcaini

Search-based Generation of Waypoints for Triggering Self-Adaptations in Maritime Autonomous Vessels

GECCO '25: Proceedings of the Genetic and Evolutionary Computation Conference

P. G. Larsen, S. Ali, R. Behrens, A. Cavalcanti, C. Â. G. Gomes, G. Li, P. De Meulenaere, M. L. Olsen, N. Passalis, T. Peyrucain, J. Tapia, A. Tefas and H. Zhang

Robotic safe adaptation in unprecedented situations: the RoboSAPIENS project

Research Directions: Cyber-Physical Systems

A. Muqeet, T. Yue, S. Ali and P. Arcaini

Mitigating Noise in Quantum Software Testing Using Machine Learning

IEEE Transactions on Software Engineering

C. Laaber, S. Ali, T. Schwitalla and J. F. Nygård

Testing Medical Rules Web Services in Practice

arXiv

A. Muqeet, S. Ali and P. Arcaini

Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers

ASE '24: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering

H. Sartaj, S. Ali and J. M. Gjøby

Digital Twins Environment Simulation for Testing Healthcare IoT Applications

IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC)

S. Ali

AI-Based Digital Twins: A Tale of Innovation in Norwegian Public Sectors

1st ACM International Conference on AI-powered Software (AIware)

S. Ali

Quantum Software Testing 101

ICSE-Companion '24: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings

S. Ali, P. Arcaini and R. Abreu

The 3rd International Workshop on Quantum Software Analysis, Evolution and Reengineering (Q-SANER 2024)

The IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)

S. Ali, J. Kim, S. Park and J. Park

International Workshop on Quantum Algorithms, Optimization, and A.I (QAI2024)

International Joint Conference on Artificial Intelligence

S. Ali

The Convergence of Quantum Computing, Software Testing, and Artificial Intelligence

JYU Quantum Electronics, Superconductivity, and Topology workshop

S. Ali

Quantum Computing, Software Engineering, and Artificial Intelligence

IPSJ/SIGSE Software Engineering Symposium (SES2024)

S. Ali

Quantum Software Engineering

2030 Software Engineering

S. Ali

Search-based Software Engineering and Quantum Computing

Symposium on Search-Based Software Engineering 2024

S. Ali

Responsible Quantum Software Engineering

2nd Symposium on Diversity and Inclusion in Artificial Intelligence

S. Ali

The Triad of Quantum Computing, Software Engineering, and Artificial Intelligence

University of Southern Denmark

S. Ali

Future Trends and Technological Innovations of AI System Evaluation

Future Advanced Testing Technology Workshop

S. Ali

The Superposition of Quantum Computing and Artificial Intelligence

Nordic Quantum Life Science Round Table, Soria Moria, Oslo, Norway

S. Ali

Adaptive Security and Digital Twin technologies in strengthening tele-healthcare systems

International Alliance for Strengthening Cybersecurity and Privacy in Healthcare (CybAlliance)

S. Ali

Digital Twins for IT-OT-based Healthcare Welfare Services

NESIOT 1st Annual Conference on Secure IT-OT Integration for successful digitalization

S. Ali

Advanced Technologies for the Analysis of Cyber Physical Systems

Gran Sasso Science Institute, Italy

S. Ali

AI-Based Digital Twins: A Tale of Innovation in Norwegian Public Sectors

1st ACM International Conference on AI-powered Software (AIware)

S. Ali

Quantum software testing

TAROT Summer School 2024, Bergamo, Italy

S. Ali

Quantum Optimization and Machine Learning Applications in Software Engineering

Kings College London, UK

S. Ali

AI Foundation Models for Cyber-Physical Systems Testing

Future Advanced Testing Technology Workshop

S. Ali

Norwegian Quantum Technology Landscape

The Quantum Technology Landscape: Catalyzing Regional Collaboration and Innovation

S. Ali

Foundation Models for Creating Cyber-Physical Systems Digital Twins

International Symposium on Leveraging Applications of Formal Methods

S. Ali

The Entanglement of Quantum Computing, Artificial Intelligence, and Software Engineering

INRIA Workshop, Paris, France

S. Ali

Empowering Testing of Oslo City's IoT-based Healthcare Services with Computational Intelligence

EEE WCCI2024 Workshop on Computational Intelligence Applications

S. Ali

Quantum Computing and Artificial Intelligence

NORA Annual Conference 2024

S. Ali

Quantum Software Testing 101

ICSE-Companion '24: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings