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 September 2022

September 13 Lecture: When Software Engineering Meets Quantum Computing

Projects

MBE-CR

MBE-CR: An Innovative Approach for Longstanding Development and Maintenance of the Automated Cancer Registry System

U-Test logo

U-Test: Testing Cyber-Physical Systems under Uncertainty: Systematic, Extensible, and Configurable Model-based and Search-based Testing Methodologies

MPM4CPS

MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems

Zen Configurator

Zen-Configurator: Interactive and Optimal Configuration of Cyber Physical System Product Lines 

MBT4CPS

MBT4CPS: Model-Based Testing For Cyber-Physical Systems

Digital Twin-Enabled Operation Time Analyses

Nordic-Estonian Quantum Computing e-Infrastructure Quest

Co-tester: Collective-Adaptive Testing of Coevolving Autonomous Cyber-Physical Systems of Systems under Uncertainty

Quantum Software Engineering Project

Co-Evolver: Uncertainty-Aware Coevolution Design of Self-Adaptive Cyber-Physical Systems

Enabling Future Dependable Ubiquitous Services and Data with Novel Testing Methods for Quantum Programs

Design-Operation Continuum Methods for Testing and Deployment under Unforeseen Conditions for Cyber-Physical Systems of Systems

AIT4CR: AI-Powered Testing Infrastructure for Cancer Registry System

WTT4Oslo: Improving Quality of IoT-based Welfare Technology Solutions in the City of Oslo

Students under supervision

Positions held

University of Oslo

Find publication

Status

Departments

Publication type

Year published

Export 287 results:
2022

Proceedings, refereed

N. Oldfield, T. Yue and S. Ali

Investigating Quantum Cause-Effect Graphs

In 2022 IEEE/ACM 3rd International Workshop on Quantum Software Engineering (Q-SE). IEEE, 2022.
Status: Published
X. Wang, P. Arcaini, T. Yue and S. Ali

QuSBT: Search-Based Testing of Quantum Programs

In 2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). IEEE, 2022.
Status: Published
X. Wang, T. Yu, P. Arcaini, T. Yue and S. Ali

Mutation-Based Test Generation for Quantum Programs with Multi-Objective Search

In GECCO '22: Proceedings of the Genetic and Evolutionary Computation Conference. ACM, 2022.
Status: Published
X. Wang, P. Arcaini, T. Yue and S. Ali

Generating Failing Test Suites for Quantum Programs with Search (hot off the press track at GECCO 2022)

In GECCO '22: Proceedings of the Genetic and Evolutionary Computation Conference. ACM, 2022.
Status: Published
Q. Xu, S. Ali, T. Yue and M. Arratibel

Uncertainty-Aware Transfer Learning to Evolve Digital Twins for Industrial Elevators

In The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE). ACM, 2022.
Status: Published
T. Yue, S. Ali, P. Arcaini, F. Ishikawa and C. Â. G. Gomes

Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems

In 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. LNCS, 2022.
Status: Published

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

Talks, invited

T. Yue

When Software Engineering Meets Quantum Computing

In Tekna's event on: The quantum revolution is moving closer, 2022.
Status: Published