Primary tabs

Selected publications

Communications of ACM 65, no. 4 (2022): 84-88.
Journal Article
2022
ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (2022): 1-31.
Journal Article
2022
IEEE Transactions on Software Engineering 49, no. 1 (2022): 384-402.
Journal Article
2022
In 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST). IEEE, 2021.
Proceedings, refereed
2021

Positions held

University of Oslo

Find publication

Export 287 results:
2022

Proceedings, refereed

In 2022 IEEE/ACM 3rd International Workshop on Quantum Software Engineering (Q-SE). IEEE, 2022.
Status: Published
In 2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). IEEE, 2022.
Status: Published
In GECCO '22: Proceedings of the Genetic and Evolutionary Computation Conference. ACM, 2022.
Status: Published
In GECCO '22: Proceedings of the Genetic and Evolutionary Computation Conference. ACM, 2022.
Status: Published
In The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE). ACM, 2022.
Status: Published
In 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. LNCS, 2022.
Status: Published

Technical reports

Talks, invited

In Tekna's event on: The quantum revolution is moving closer, 2022.
Status: Published