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

05 October 2022
Quantum Computer on blue background

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

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

Talks, invited

S. Ali

Dependable and Noise-Aware Quantum Software Engineering

In CREST Center, The University of Adelaide, Australia, 2022.
Status: Published
S. Ali

Quantum Software Engineering: What, Why, and Where are we now?

In Quantum Leap and Mathematics, Soria Moria, Oslo, Norway, 2022.
Status: Published
S. Ali

Assuring the Quality of Quantum Programs with Automated Testing

In University of Lisbon, Portugal, 2022.
Status: Published

Talks, contributed

S. Ali

Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems

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

Building Complex Software Systems in Classical and Quantum Computing Domains

In Connecting Education and Research Communities for an Innovative Resource Aware Society, Meeting Denmark, 2022.
Status: Published
S. Ali

Learning Digital Twin Models

In Model-Driven Engineering of Digital Twins Seminar at Dagstuhl, Germany. Schloss Dagstuhl, Germany, 2022.
Status: Published
S. Ali

Time for new Simula!

In Towards a Norwegian Quantum Computing Strategy, Simula Research Laboratory, Norway, 2022.
Status: Published
S. Ali

Uncertainty in Deep Learning

In Simula Research Laboratory, Norway, 2022.
Status: Published
S. Ali

Quantum Software Engineering

In Simula Research Laboratory, Norway, 2022.
Status: Published
S. Ali

Digital Twin for Elevators Use Case

In ETSI Event, Berlin, Germany, 2022.
Status: Published