Shaukat Ali

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

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

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

S. Ali and P. Arcaini

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

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

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

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

ArXiv

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

Test Case Minimization with Quantum Annealers

ACM Transactions on Software Engineering and Methodology

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

A. Muqeet, S. Ali and P. Arcaini

Approximating Stochastic Quantum Noise Through Genetic Programming

International Symposium on Search Based Software Engineering

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

A Machine Learning-Based Error Mitigation Approach for Reliable Software Development on IBM’s Quantum Computers

FSE 2024: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering

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

Reality Bites: Assessing the Realism of Driving Scenarios with Large Language Models

AI Foundation Models and Software Engineering (FORGE 24)

X. Wang, S. Ali, A. Arrieta, P. Arcaini and M. Arratibel

Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators’ Software in an Industrial Context

FSE 2024: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering

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

Preliminary Patterns for Artificial Intelligence-based Digital Twins

10th Asian Conference on Pattern Languages of Programs, People, and Practices

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

ArXiv

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

Assessing the Uncertainty and Robustness of Object Detection Models for Detecting Stickers on Laptops

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

An Introduction to Quantum Software Testing

Politecnico di Milano, Italy

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

X. Wang, S. Ali, A. Arrieta, P. Arcaini and M. Arratibel

Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators’ Software in an Industrial Context

FSE 2024: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering

S. Ali and M. Varshosaz

Testing Cyber-Physical Systems: Synergizing Model and AI-based Approaches

20th International Colloquium on Theoretical Aspects of Computing