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
In The Genetic and Evolutionary Computation Conference (GECCO). ACM, 2020.
Proceedings, refereed
2020

News

Students under supervision

Find publication

Departments

Export 88 results:
2021

Proceedings, refereed

In th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. LNCS, 2021.
Status: Accepted
2020

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
2019

Proceedings, refereed

In Proceedings of the 13th European Conference on Software Architecture. Vol. 2. New York, NY, USA: ACM, 2019.
Status: Published
In Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems. New York, NY, USA: ACM, 2019.
Status: Published
In The Genetic and Evolutionary Computation Conference (GECCO). ACM, 2019.
Status: Published
2018

Proceedings, refereed

In The 25th Asia-Pacific Software Engineering Conference (APSEC 2018) . IEEE, 2018.
Status: Published
In 11th IEEE Conference on Software Testing, Validation and Verification. IEEE, 2018.
Status: Published