Primary tabs

Most recent publications

T. Ma, S. Ali and T. Yue

Testing Self-Healing Cyber-Physical Systems under Uncertainty with Reinforcement Learning: An Empirical Study

Empirical Software Engineering (2021).
Journal Article
2021
View
S. Ali, P. Arcaini, X. Wang and T. Yue

Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs

In IEEE International Conference on Software Testing, Verification and Validation (ICST)). IEEE, 2021.
Proceedings, refereed
2021
View
Q. Xu, S. Ali and T. Yue

Anomaly Detection with Digital Twin in Cyber-Physical Systems

In IEEE International Conference on Software Testing, 2021.
Proceedings, refereed
2021
View
T. Yue, P. Arcaini and S. Ali

Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model

In th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. LNCS, 2021.
Proceedings, refereed
2021
View

News

21 December 2020

Two Simula projects funded by the Research Council of Norway

Students under supervision

Available Master's topics

Find publication

Status

Departments

Publication type

Year published

Export 5 results:
2021

Journal articles

T. Ma, S. Ali and T. Yue

Testing Self-Healing Cyber-Physical Systems under Uncertainty with Reinforcement Learning: An Empirical Study

Empirical Software Engineering (2021).
Status: Accepted

Proceedings, refereed

S. Ali, P. Arcaini, X. Wang and T. Yue

Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs

In IEEE International Conference on Software Testing, Verification and Validation (ICST)). IEEE, 2021.
Status: Accepted
Q. Xu, S. Ali and T. Yue

Anomaly Detection with Digital Twin in Cyber-Physical Systems

In IEEE International Conference on Software Testing, 2021.
Status: Accepted
T. Yue, P. Arcaini and S. Ali

Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model

In th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. LNCS, 2021.
Status: Accepted
2007

Journal articles

N. Walkinshaw, K. Bogdanov, S. Ali and M. Holcombe

Automated Discovery of State Transitions and Their Functions in Source Code

Software Testing, Verification and Reliability 18 (2007): 99-121.
Status: Accepted