Primary tabs
Helge Spieker
Research Scientist
Organisation:
Department of Validation Intelligence for Autonomous Software Systems
Email:
Research interests:
Artificial Intelligence
Machine Learning
Constraint Programming
Software Testing
Website:
Most recent publications
Selected publications
News
12 July 2021
- 1 of 3
- next
Background
PhD
Department of Informatics, University of Oslo
September 2020
Appointments
Visiting Researcher
Machine Learning and Artificial Intelligence Lab, University of Bonn, Germany
December 2021
Students under supervision
Status
Departments
Publication type
2023
Proceedings, refereed
In SAFECOMP2023 42nd International Conference on Computer Safety, Reliability and Security 19-22 September 2023, Toulouse, France, 2023.
Status: Published
In Rencontres des Jeunes Chercheurs en Intelligence Artificielle, 2023.
Status: Published
Technical reports
Simula, 2023.
Status: Published
Talks, invited
2020
Journal articles
International Journal on Artificial Intelligence Tools 29, no. 3-4 (2020): 23.
Status: Published
Journal of Systems and Software 165 (2020).
Status: Published
Proceedings, refereed
In 1st International Workshop on New Foundations for Human-Centered AI @ ECAI 2020. CEUR Workshop Proceedings, 2020.
Status: Published
In International Conference on Machine Learning, Optimization, and Data Science. Springer, 2020.
Status: Published
PhD theses
In The University of Oslo. Vol. PhD, 2020.
Status: Published