Primary tabs

Most recent publications

A. Gotlieb, D. Marijan and H. Spieker

Stratified Constructive Disjunction and Negation in Constraint Programming

In Proc. of IEEE Int. Conf. on Tools with Artificial Intelligence (ICTAI-18). Volos, Greece. Nov. 2018. IEEE, 2018.
Proceedings, refereed
2018
View
H. Spieker and A. Gotlieb

Towards Hybrid Constraint Solving with Reinforcement Learning and Constraint-Based Local Search

In Data Science meets Optimization Workshop at Federated Artificial Intelligence Meeting, 2018.
Proceedings, refereed
2018
View

Selected publications

H. Spieker and A. Gotlieb

Adaptive Metamorphic Testing with Contextual Bandits

Journal of Systems and Software 165 (2020).
Journal Article
2020
View
H. Spieker, A. Gotlieb and M. Mossige

Rotational Diversity in Multi-Cycle Assignment Problems

In Proceedings of the AAAI Conference on Artificial Intelligence (AAAI-19). Vol. 33. AAAI, 2019.
Proceedings, refereed
2019
View
H. Spieker, A. Gotlieb, D. Marijan and M. Mossige

Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration

In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. New York, NY, USA: ACM, 2017.
Proceedings, refereed
2017
View

News

12 July 2021

Simula researchers awarded two new FRIPRO projects

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

Find publication

Status

Departments

Publication type

Year published

Export 6 results:
2018

Proceedings, refereed

A. Gotlieb, D. Marijan and H. Spieker

Stratified Constructive Disjunction and Negation in Constraint Programming

In Proc. of IEEE Int. Conf. on Tools with Artificial Intelligence (ICTAI-18). Volos, Greece. Nov. 2018. IEEE, 2018.
Status: Published
H. Spieker and A. Gotlieb

Towards Hybrid Constraint Solving with Reinforcement Learning and Constraint-Based Local Search

In Data Science meets Optimization Workshop at Federated Artificial Intelligence Meeting, 2018.
Status: Published

Posters

H. Spieker, A. Gotlieb and M. Mossige

Different Cycle, Different Assignment: Diversity in Assignment Problems with Multiple Cycles

AAAI-18, New Orleans, Louisiana, USA, 2018.
Status: Published

Talks, invited

A. Gotlieb and H. Spieker

Boundary Estimation: Learning Boundaries for Constraint Optimization Problems

In International Symposium on Mathematical Optimization (ISMP'18), Bordeaux, France, 2018.
Status: Published

Talks, contributed

H. Spieker, A. Gotlieb, D. Marijan and M. Mossige

Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration

In Gesellschaft für Informatik Software Engineering Conference 2018 (SE18), Ulm, Germany, 2018.
Status: Published
H. Spieker and A. Gotlieb

Estimating Objective Boundaries for Constraint Optimization Problems

In NordConsNet Workshop, Gothenburg, Sweden, 2018.
Status: Published