Primary tabs

Selected publications

S. Ali, T. Yue and R. Abreu

When Software Engineering Meets Quantum Computing

Communications of ACM 65, no. 4 (2022): 84-88.
Journal Article
2022
View
F. O. Catak, T. Yue and S. Ali

Uncertainty-Aware Prediction Validator in Deep Learning Models for Cyber-Physical System Data

ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (2022): 1-31.
Journal Article
2022
View
C. Lu, Y. Shi, H. Zhang, M. Zhang, T. Wang, T. Yue and S. Ali

Learning Configurations of Operating Environment of Autonomous Vehicles to Maximize their Collisions

IEEE Transactions on Software Engineering 49, no. 1 (2022): 384-402.
Journal Article
2022
View
Q. Xu, S. Ali and T. Yue

Anomaly Detection with Digital Twin in Cyber-Physical Systems

In 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST). IEEE, 2021.
Proceedings, refereed
2021
View

News

05 October 2022
Quantum Computer on blue background

Simula in consortium to build one of the first European quantum computers

Students under supervision

Available Master's topics

Positions held

University of Oslo

Find publication

Status

Departments

Publication type

Year published

Export 56 results:
2022

Technical reports

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

Classifying Uncertainties in an Industrial Elevator with the Cynefin Framework

Simula Research Laboratory, 2022.
Status: Published
L. Han, S. Ali, T. Yue, A. Arrieta and M. Arratibel

Uncertainty-aware Robustness Assessment of Industrial Elevator Systems

Simula Research Laboratory, 2022.
Status: Published
Q. Xu, S. Ali and T. Yue

Digital Twin-based Anomaly Detection with Curriculum Learning in Cyber-physical Systems

Simula Research Laboratory, 2022.
Status: Published
2021

Technical reports

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

Muskit: A Mutation Analysis Tool for Quantum Software Testing

Technical Report, Simula Research Laboratory, 2021.
Status: Published
2020

Technical reports

S. Ali and T. Yue

Handling Uncertainties in Cyber-Physical Systems during TheirOperations with Digital Twins

Simula Research Laboratory, 2020.
Status: Published
2018

Technical reports

D. Pradhan, S. Wang, T. Yue, S. Ali and M. Liaaen

Automated Test Case Implantation to Test Untested Configurations: A Cost-Effective Search-Based Approach

Simula Research Laboratory, 2018.
Status: Published
D. Pradhan, S. Wang, S. Ali, T. Yue and M. Liaaen

Employing Rule Mining and Multi-Objective Search for Dynamic Test Case Prioritization

Simula Research Laboratory, 2018.
Status: Published
S. A. Safdar, T. Yue, S. Ali and H. Lu

Employing Multi-Objective Search and Machine Learning to Mine Cross Product Line Rules: A Technical Report

Oslo, Norway: Simula Research Laboratory, 2018.
Status: Published
2017

Technical reports

S. Ali, H. Muhammad, H. Lu, J. Nygård, S. Wang and T. Yue

A Pilot Experiment to Assess Interactive OCL Specification in a Real Setting

Simula Research Laboratory, 2017.
Status: Published
S. Ali, Y. Li, T. Yue and M. Zhang

An Empirical Evaluation of Mutation and Crossover Operators for Multi-Objective Uncertainty-Wise Test Minimization

Simula Research Laboratory, 2017.
Status: Published