Primary tabs
Most recent publications
About
Consider publishing in the Empirical Software Engineering journal:
https://www.springer.com/journal/10664
News
Projects
Students under supervision
Available Master's topics
Departments
Publication type
Year published
2022
Proceedings, refereed
In 2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). IEEE, 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
Simula Research Laboratory, 2022.
Status: Published
Simula Research Laboratory, 2022.
Status: Published
Simula Research Laboratory, 2022.
Status: Published
Talks, invited
In COEMS Forsterk Seminar, 2022.
Status: Published
In NordIQuEst-ENCCS online HPC-QC workshop, 2022.
Status: Published
In CREST Center, The University of Adelaide, Australia, 2022.
Status: Published
In University of Lisbon, Portugal, 2022.
Status: Published





