Primary tabs

Most recent publications

In 25th Asia-Pacific Software Engineering Conference (APSEC 2018). IEEE, 2018.
Proceedings, refereed
2018
In 12th International Symposium on Empirical Software Engineering and Measurement (ESEM 2018). ACM, 2018.
Proceedings, refereed
2018
In Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings, 318-332. Cham: Springer International Publishing, 2016.
Book Chapter
2016

Find publication

Status

Year published

Export 8 results:
2018

Proceedings, refereed

In 25th Asia-Pacific Software Engineering Conference (APSEC 2018). IEEE, 2018.
Status: Published
In 12th International Symposium on Empirical Software Engineering and Measurement (ESEM 2018). ACM, 2018.
Status: Published

Talks, invited

In NDC TechTown 2018, Kongsberg, Norway., 2018.
Status: Published
2017

Talks, invited

In NDC TechTown, Kongsberg, Norway., 2017.
Status: Published
In Simula COMMONS Seminar, Norway., 2017.
Status: Published

Talks, contributed

In 12th Certus User Partner Workshop, Norway., 2017.
Status: Published
In 12th Certus User Partner Workshop, Norway., 2017.
Status: Published
2016

Book chapters

In Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings, 318-332. Cham: Springer International Publishing, 2016.
Status: Published