Primary tabs

Most recent publications

M. Papadakis, S. Ali and G. Perrouin

Editorial to the Theme Issue on Model-based Testing

Software & Systems Modeling: Springer, 2018.
Edited books
2018
View
S. Ali, T. Yue and R. Abreu

First International Workshop on Verification and Validation of Internet of Things

IEEE, 2018.
Edited books
2018
View
S. Ali

Model-Based Testing of Cyber-Physical Systems with Machine Learning and Search Algorithms

In International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018. SCITEPRESS Digital Library, 2018.
Talk, keynote
2018
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 3 results:
2018

Edited books

S. Ali, T. Yue and R. Abreu

First International Workshop on Verification and Validation of Internet of Things

IEEE, 2018.
Status: Published
M. Papadakis, S. Ali and G. Perrouin

Editorial to the Theme Issue on Model-based Testing

Software & Systems Modeling: Springer, 2018.
Status: Published

Talks, keynote

S. Ali

Model-Based Testing of Cyber-Physical Systems with Machine Learning and Search Algorithms

In International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018. SCITEPRESS Digital Library, 2018.
Status: Published