Shaukat Ali
Chief Research Scientist/Research ProfessorHead of Department
- Department
- Engineering Complex Software Systems
- Organisation
- Simula Research Laboratory
- Research Interests
- Verification and Validation Search-Based Software Engineering Autonomous Driving Cyber-Physical Systems Digital Twins Quantum Software Engineering
- shaukat@simula.no
Publications
2024
Journal Articles
H. Sartaj, S. Ali and J. M. Gjøby
Uncertainty-Aware Environment Simulation of Medical Devices Digital Twins
Software and Systems Modeling
X. Wang, A. Muqeet, T. Yue, S. Ali and P. Arcaini
Test Case Minimization with Quantum Annealers
ACM Transactions on Software Engineering and Methodology
N. Oldfield
Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements
ArXiv
C. Lu, S. Ali and T. Yue
EpiTESTER: Testing Autonomous Vehicles with Epigenetic Algorithm and Attention Mechanism
IEEE Transactions on Software Engineering
H. Sartaj, S. Ali, T. Yue and K. Moberg
Model-based Digital Twins of Medicine Dispensers for Healthcare IoT Applications
Software: Practice and Experience
Proceedings, refereed
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
Proceedings, non-refereed
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
Technical reports
C. Lu, J. Wu, S. Ali and M. L. Olsen
Assessing the Uncertainty and Robustness of Object Detection Models for Detecting Stickers on Laptops
A. Muqeet, T. Yue, S. Ali and P. Arcaini
Mitigating Noise in Quantum Software Testing Using Machine Learning
Talks, keynote
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
Talks, invited
S. Ali
The Superposition of Quantum Computing and Artificial Intelligence
Nordic Quantum Life Science Round Table, Soria Moria, Oslo
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
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
S. Ali
Quantum Optimization and Machine Learning Applications in Software Engineering
Kings College London
S. Ali
An Introduction to Quantum Software Testing
Politecnico di Milano
Talks, contributed
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
Conference proceedings
S. Ali, J. Kim, S. Park and J. Park
Int'l Workshop on Quantum Algorithms, Optimization, and A.I (QAI2024)
International Joint Conference on Artificial Intelligence
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)
2023
Proceedings, refereed
H. Sartaj, S. Ali, T. Yue and K. Moberg
Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned
31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '23)
T. Yue, S. Ali and P. Arcaini
Towards Quantum Software Requirements Engineering
3rd International Workshop on Quantum Software Engineering and Technology
H. Sartaj, S. Ali, T. Yue and K. Moberg
Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned
31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE '23)
M. Zhang, S. Ali and T. Yue
Uncertainty-wise Model Evolution with Genetic Programming
23rd IEEE International Conference on Software Quality, Reliability, and Security (QRS 2023)
S. Ali and T. Yue
On the Need of Quantum-Oriented Paradigm
Proceedings of the 2nd International Workshop on Quantum Programming for Software Engineering
X. Wang, P. Arcaini, T. Yue and S. Ali
QuCAT: A Combinatorial Testing Tool for Quantum Software
the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023)
Q. Xu, S. Ali, T. Yue, Z. Nedim and I. Singh
KDDT: Knowledge Distillation-Empowered Digital Twin for Anomaly Detection
The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
H. Sartaj, S. Ali, T. Yue and J. M. Gjøby
HITA: An Architecture for System-level Testing of Healthcare IoT Applications
17th European Conference on Software Architecture (ECSA)
E. Isaku, H. Sartaj, C. Laaber, T. Yue, S. Ali, T. Schwitalla and J. Nygård
Cost Reduction on Testing Evolving Cancer Registry System
2023 IEEE International Conference on Software Maintenance and Evolution (ICSME)
Book Chapters
T. Yue, W. Mauerer, S. Ali and D. Taibi
Challenges and Opportunities in Quantum Software Architecture
Software Architecture: Research Roadmaps from the Community
Technical reports
E. Mendiluze
Which Quantum Circuit Mutants Shall Be Used? An Empirical Evaluation of Quantum Circuit Mutations
Talks, keynote
S. Ali
Present to Future: Forging the Future of Quantum Software Testing
Luxembourg
Talks, contributed
S. Ali and M. Varshosaz
Testing Cyber-Physical Systems: Synergizing Model and AI-based Approaches
20th International Colloquium on Theoretical Aspects of Computing
S. Ali
Reflections on Quantum Software Testing
Annual meeting of the IFIP Working Group on Foundations of Quantum Computation (WG 1.11 / 2.17).
S. Ali
Towards Quantum Software Requirements Engineering
3rd International Workshop on Quantum Software Engineering and Technology
S. Ali
Uncertainty-wise Model Evolution with Genetic Programming
Uncertainty-wise Model Evolution with Genetic Programming
S. Ali
Uncertainty Unveiled: Identifying and Classifying Industrial Cyber-Physical Systems' Uncertainties for Testing
Shonan Seminar on DevOps for Cyber-physical Systems