Primary tabs

Most recent publications

In th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. LNCS, 2021.
Proceedings, refereed
2021
In 1st International Workshop on Architectures and Paradigms for Engineering Quantum Software (APEQS). ACM, 2020.
Proceedings, refereed
2020
In 12th Symposium on Search-Based Software Engineering. LNCS, 2020.
Proceedings, refereed
2020

News

Students under supervision

Find publication

Export 262 results:
2021

Proceedings, refereed

In th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. LNCS, 2021.
Status: Accepted
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

Proceedings, refereed

In 12th Symposium on Search-Based Software Engineering. LNCS, 2020.
Status: Published
In 1st International Workshop on Architectures and Paradigms for Engineering Quantum Software (APEQS). ACM, 2020.
Status: Published
In IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020. IEEE, 2020.
Status: Accepted
In The Genetic and Evolutionary Computation Conference (GECCO). ACM, 2020.
Status: Published

Technical reports

Simula Research Laboratory, Technical Report, 2020.
Status: Published