Primary tabs

Most recent publications

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

Automated Test Generation for Medical Rules Web Services: A Case Study at the Cancer Registry of Norway

In 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2023). ACM, 2023.
Proceedings, refereed
2023
View
C. Lu, T. Yue and S. Ali

DeepScenario: An Open Driving Scenario Dataset for Autonomous Driving System Testing

In 2023 IEEE/ACM 20th International Conference on Mining Software Repositories (MSR). Melbourne, Australia: IEEE, 2023.
Proceedings, refereed
2023
View
C. Laaber, T. Yue, S. Ali, T. Schwitalla and J. F. Nygård

Challenges of Testing an Evolving Cancer Registration Support System in Practice

In 45th IEEE/ACM International Conference on Software Engineering: Companion Proceedings (ICSE-Companion 2023). IEEE, 2023.
Proceedings, refereed
2023
View
Q. Xu, S. Ali and T. Yue

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

ACM Transactions on Software Engineering and Methodology (2023).
Journal Article
2023
View

About

Consider publishing in the Empirical Software Engineering journal:
https://www.springer.com/journal/10664

News

21 December 2020

Two Simula projects funded by the Research Council of Norway

Projects

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

CERCIRAS: Connecting Education and Research Communities for an Innovative Resource Aware Society

Digital Twin-Enabled Operation Time Analyses

Gemini Center on Quantum Computing

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

Students under supervision

Available Master's topics

Find publication

Status

Departments

Publication type

Year published

Export 336 results:
2020

Proceedings, refereed

S. Ali and T. Yue

Modeling Quantum Programs: Challenges, Initial Results, and Research Directions

In 1st International Workshop on Architectures and Paradigms for Engineering Quantum Software (APEQS). ACM, 2020.
Status: Published
A. Calò, P. Arcaini, S. Ali, F. Hauer and F. Ishikawa

Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems

In IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020. IEEE, 2020.
Status: Published
A. Calò, P. Arcaini, S. Ali, F. Hauer and F. Ishikawa

Simultaneously Searching and Solving Multiple Avoidable Collisions for Testing Autonomous Driving Systems

In The Genetic and Evolutionary Computation Conference (GECCO). ACM, 2020.
Status: Published

Technical reports

S. Ali and T. Yue

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

Simula Research Laboratory, 2020.
Status: Published

Talks, invited

S. Ali

Testing Quantum Programs

In Oslo Metropolitan University, Oslo, Norway, 2020.
Status: Published

Talks, contributed

S. Ali and T. Yue

Specifying Uncertainty in Use Case Models

In International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2020). INSTICC , 2020.
Status: Published
S. Ali and T. Yue

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

In 5th Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS), 2020.
Status: Published
T. Ma, S. Ali and T. Yue

Modeling Foundations for Executable Model-Based Testing of Self-Healing Cyber-Physical Systems

In IEEE International Conference on Software Testing, Verification and Validation (ICST 2020), 2020.
Status: Published
T. Yue and S. Ali

Empowering Model-based Engineering with the CynefinFramework for Systematic Uncertainty Thinking

In 1st Uncertainty in Modeling Workshop 2020, Co-located with the ACM/IEEE 213rd International Conference on Model Driven Engineering Languages and Systems, 2020.
Status: Published
2019

Journal articles

T. Ma, S. Ali, T. Yue and M. Elaasar

Testing Self-Healing Cyber-Physical Systems under Uncertainty: A Fragility-Oriented Approach

Software Quality Journal 27, no. 2 (2019): 615-649.
Status: Published