Primary tabs

Selected publications

In Proceedings of the AAAI Conference on Artificial Intelligence. Vol. 36. AAAI, 2022.
Proceedings, refereed
In 17th European Dependable Computing Conference 13-16 September 2021 Munich, Germany, 2021.
Talk, keynote
In Software Engineering for Robotics, 109-137. Cham: Springer Nature, 2021.
Book Chapter
Journal of Systems and Software 165 (2020).
Journal Article


Best Paper Award for " A New Approach to Feature-based Test Suite Reduction in Software Product Line Testing"
in the 11th International Joint Conference on Software Technologies, ICSOFT-EA 2016, Lisbon, Portugal
July 2016
Best Application Paper Award for "Using CP in automatic test generation for ABB robotics' paint control systems" In Principles and Practice of Constraint Programming
The 20th International Conference on Principles and Practice of Constraint Programming, Lyon, France
September 2014
Best Application Paper Award for "Automated test case selection using feature model: An industrial case study."
ACM/IEEE 16th Int. Conf. on Model Driven Eng. Languages and Systems (MODELS'13), Miami, Florida.
July 2013

Students under supervision

Find publication

Export 40 results:

Talks, invited

In AI4EU Event AI Ecosystem Development Forum, Athens, Greece, 2019.
Status: Published
In Paris Open Source Summit (POSS'19), Dec. 10-11, 2019, Dock Pullmann, Paris, France, 2019.
Status: Published

Talks, contributed

In Simula Research Laboratory, 2019.
Status: Published
In NordConsNet Workshop 2019 - The 18th workshop of NordConsNet, the Nordic Network for researchers and practitioners of Constraint Programming, Norway, 2019.
Status: Published
In 14th Certus User Partner Workshop, Sep. 2019, Larvik, Norway, 2019.
Status: Published
In Gesellschaft für Informatik Software Engineering Conference 2019 (SE19), Germany, 2019.
Status: Published

Journal articles

IEEE Transactions on Reliability 67, no. 3 (2018): 758-770.
Status: Published
International Journal of Systems Assurance Engineering and Management 9, no. 2 (2018): 313-322.
Status: Published

Proceedings, refereed

In Doctoral Program of the 24th Constraint Programming (DP-CP 18). Lille, France, 2018.
Status: Published
In Proc. of IEEE Int. Conf. on Tools with Artificial Intelligence (ICTAI-18). Volos, Greece. Nov. 2018. IEEE, 2018.
Status: Published