Primary tabs

Most recent publications

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 5 results:
2017

Talks, invited

In Simula COMMONS Seminar., 2017.
Status: Published

Talks, contributed

In 12th Certus User Partner Workshop., 2017.
Status: Published
In 12th Certus User Partner Workshop., 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