Primary tabs

Selected publications

Information and Software Technology (IST) 87 (2017): 140-159.
Journal Article
2017
IEEE Transactions on Software Engineering (TSE) (2017).
Journal Article
2017
ACM Transactions on Software Engineering and Methodology 24, no. 3 (2015): 1-52.
Journal Article
2015

News

Students under supervision

Positions held

University of Oslo

Find publication

Export 94 results:
2020

Journal articles

ACM Transactions on Software Engineering and Methodology (TOSEM) (2020).
Status: Accepted
ACM Transactions on Cyber-Physical Systems (2020).
Status: Accepted
ACM Transactions on Software Engineering and Methodology (2020).
Status: Accepted

Talks, contributed

In 5th Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS), 2020.
Status: Published
In International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2020). INSTICC , 2020.
Status: Published
In IEEE International Conference on Software Testing, Verification and Validation (ICST 2020), 2020.
Status: Published
In 1st Uncertainty in Modeling Workshop 2020, Co-located with the ACM/IEEE 213rd International Conference on Model Driven Engineering Languages and Systems, 2020.
Status: Published
2019

Journal articles

Information and Software Technology 111 (2019): 22-36.
Status: Published