Helge Spieker
Research Scientist
- Department
- Validation Intelligence for Autonomous Software Systems
- Organisation
- Simula Research Laboratory
- Research Interests
- Artificial Intelligence Machine Learning Constraint Programming Software Testing

- helge@simula.no
- Web
- hspieker.de/
Publications
2023
Journal Articles
L. Lesoil, H. Spieker, A. Gotlieb, M. Acher, P. Temple, A. Blouin and J. Jézéquel
Learning Input-aware Performance Models of Configurable Systems: An Empirical Evaluation
The Journal of Systems & Software
P. Bernabé, A. Gotlieb, B. Legeard, D. Marijan, F. O. Sem-Jacobsen and H. Spieker
Detecting Intentional AIS Shutdown in Open Sea Maritime Surveillance Using Self-Supervised Deep Learning
IEEE Transactions on Intelligent Transportation Systems
Proceedings, refereed
M. B. Belaid, N. Belmecheri, N. Lazaar, A. Gotlieb and H. Spieker
Approche générique pour l’acquisition de contraintes qualitatives
JFPC
Q. Mazouni, H. Spieker, A. Gotlieb and M. Acher
A Review of Validation and Verification of Neural Network-based Policies for Sequential Decision Making
Rencontres des Jeunes Chercheurs en Intelligence Artificielle
A. Gotlieb, M. Mossige and H. Spieker
Constraint-guided Test Execution Scheduling: An Experience Report at ABB Robotics
SAFECOMP2023 42nd International Conference on Computer Safety, Reliability and Security 19-22 September 2023, Toulouse, France
Talks, invited
H. Spieker
Trustworthy AI: Scientific, Industrial, and Societal Impact
OsloMet
Technical reports
N. Belmecheri, A. Gotlieb, N. Lazaar and H. Spieker
Acquiring Qualitative Explainable Graphs for Automated Driving Scene Interpretation
2022
Journal Articles
S. Herbold, A. Trautsch, B. Ledel, A. Aghamohammadi, T. A. Ghaleb, K. K. Chahal, T. Bossenmaier, B. Nagaria, P. Makedonski, M. N. Ahmadabadi, K. Szabados, H. Spieker, M. Madeja, N. Hoy, V. Lenarduzzi, S. Wang, G. Rodríguez-Pérez, R. C. Palacios, R. Verdecchia, P. Singh, Y. Qin, D. Chakroborti, W. Davis, V. Walunj, H. Wu, D. Marcilio, O. Alam, A. Aldaeej, I. Amit, B. Turhan, S. Eismann, A. Wickert, I. Malavolta, M. Sulir, F. Fard, A. Z. Henley, S. Kourtzanidis, E. Tuzun, C. Treude, S. M. Shamasbi, I. Pashchenko, M. Wyrich, J. Davis, A. Serebrenik, E. Albrecht, E. U. Aktas, D. Strüber and J. Erbel
A Fine-grained Data Set and Analysis of Tangling in Bug Fixing Commits
Empirical Software Engineering
Talks, contributed
M. B. Belaid, N. Belmecheri, A. Gotlieb, N. Lazaar and H. Spieker
GEQCA: Generic Qualitative Constraint Acquisition
Lernen. Wissen. Daten. Analysen. (LWDA) - KDML Track
Proceedings, refereed
M. B. Belaid, N. Belmecheri, A. Gotlieb, N. Lazaar and H. Spieker
GEQCA: Generic Qualitative Constraint Acquisition
Proceedings of the AAAI Conference on Artificial Intelligence
M. K. Ahuja, A. Gotlieb and H. Spieker
Testing Deep Learning Models: A First Comparative Study of Multiple Testing Techniques
Artificial Intelligence in Software Testing @ 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
M. K. Ahuja, S. Sahil and H. Spieker
FoCA: Failure-oriented Class Augmentation for Robust Image Classification
The 34th IEEE International Conference on Tools with Artificial Intelligence (ICTAI)
Talks, invited
H. Spieker
AutoCSP - Self-Supervised Neuro-Symbolic Solvers for Constraint Satisfaction
Machine Learning and Artificial Intelligence Lab, University of Bonn, Germany
H. Spieker
Software Engineering: The Next 20 Years
Simula 20th Anniversary Celebration
H. Spieker
The interplay of AI and software testing for resilient software systems
Inria Rennes - Bretagne Atlantique, France
2021
Book Chapters
A. Gotlieb, D. Marijan and H. Spieker
Testing Industrial Robotic Systems: A New Battlefield!
Software Engineering for Robotics
Journal Articles
H. Spieker and A. Gotlieb
Predictive Machine Learning of Objective Boundaries for Solving COPs
AI
Miscellaneous
M. Mossige, R. Ramachandran and H. Spieker
AI4EU Robotics Pilot: Vibration sensor measurements in a robotic wrist
M. Mossige, R. Ramachandran and H. Spieker
AI4EU Robotics Pilot: Vibration sensor measurements in a robotic pump
Posters
P. Bernabé, H. Spieker, A. Gotlieb and B. Legeard
Encoding Temporal and Spatial Vessel Context using Self-Supervised Learning Model (Student Abstract)
Talks, contributed
H. Spieker and A. Gotlieb
Learning to Generate Fault-revealing Test Cases in Metamorphic Testing
Software Engineering 2021
H. Spieker and A. Gotlieb
Summary of: Adaptive Metamorphic Testing with Contextual Bandits
IEEE International Conference on Software Testing (ICST)
Proceedings, refereed
P. Bernabé, H. Spieker, B. Legeard and A. Gotlieb
Encoding Temporal and Spatial Vessel Context using Self-Supervised Learning Model (Student Abstract)
Proceedings of the AAAI Conference on Artificial Intelligence
M. K. Ahuja, M. B. Belaid, P. Bernabé, A. Gotlieb, D. Marijan, A. Sharif and H. Spieker
Improving the Reliability of Autonomous Software Systems through Metamorphic Testing
Proceedings of the 31st European Safety and Reliability Conference (ESREL)
H. Spieker
Constraint-Guided Reinforcement Learning: Augmenting the Agent-Environment-Interaction
International Joint Conference on Neural Networks (IJCNN)
P. Bernabé, A. Gotlieb, B. Legeard, F. O. Sem-Jacobsen and H. Spieker
Apprentissage auto-supervisé pour la détection d’actions illégales lors de la surveillance du trafic maritime
Applications Pratiques de l’Intelligence Artificielle
2020
Journal Articles
H. Spieker and A. Gotlieb
Adaptive Metamorphic Testing with Contextual Bandits
Journal of Systems and Software
A. Gotlieb, D. Marijan and H. Spieker
ITE: A Lightweight Implementation of Stratified Reasoning for Constructive Logical Operators
International Journal on Artificial Intelligence Tools
Proceedings, refereed
M. K. Ahuja, M. B. Belaid, P. Bernabé, M. Collet, A. Gotlieb, C. Lal, D. Marijan, S. Sen, A. Sharif and H. Spieker
Opening the Software Engineering Toolbox for the Assessment of Trustworthy AI
1st International Workshop on New Foundations for Human-Centered AI @ ECAI 2020
H. Spieker and A. Gotlieb
Learning Objective Boundaries for Constraint Optimization Problems
International Conference on Machine Learning, Optimization, and Data Science
PhD Thesis
H. Spieker
Software Testing in Continuous Integration with Machine Learning and Constraint Optimization
The University of Oslo
2019
Posters
H. Spieker
Towards Sequence-to-Sequence Reinforcement Learning for Constraint Solving with Constraint-Based Local Search
Talks, contributed
M. Mossige, A. Gotlieb, H. Spieker, H. Meling and M. Carlsson
Time-aware Test Execution Scheduling for Cyber-Physical Systems
Gesellschaft für Informatik Software Engineering Conference 2019 (SE19), Germany
H. Spieker
How ABB and Certus work together to build better continuous integration testing of cyber-physical systems
14th Certus User Partner Workshop (UPW), Larvik, Norway
H. Spieker
Deployment and Evolution of Machine Learning Artifacts: Research Perspectives
14th Certus User Partner Workshop (UPW), Larvik, Norway
P. Bernabé, H. Spieker, A. Gotlieb, D. Marijan and B. Legeard
Statistics AIS Dataset from Statsat
Simula Research Laboratory
Proceedings, refereed
T. Kampik and H. Spieker
Learning Agents of Bounded Rationality: Rewards Based on Fair Equilibria
31st Swedish AI Society Workshop (SAIS)
H. Spieker, A. Gotlieb and M. Mossige
Rotational Diversity in Multi-Cycle Assignment Problems
Proceedings of the AAAI Conference on Artificial Intelligence (AAAI-19)
Talks, invited
H. Spieker
Intelligent Software Testing with Reinforcement Learning and Constraint Programming
Fraunhofer IAIS, Sankt Augustin, Germany
Technical reports
M. K. Ahuja, H. Spieker, A. Gotlieb, D. Marijan and M. Mossige
Survey on Testing of Deep Learning Systems
A. Gotlieb, P. Bernabé, D. Marijan and H. Spieker
SARCoS: Machine Learning Models for the Selection of Security Test Scenarios
2018
Posters
H. Spieker, A. Gotlieb and M. Mossige
Different Cycle, Different Assignment: Diversity in Assignment Problems with Multiple Cycles
Talks, contributed
H. Spieker, A. Gotlieb, D. Marijan and M. Mossige
Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration
Gesellschaft für Informatik Software Engineering Conference 2018 (SE18), Ulm, Germany
H. Spieker and A. Gotlieb
Estimating Objective Boundaries for Constraint Optimization Problems
NordConsNet Workshop, Gothenburg, Sweden
Proceedings, refereed
H. Spieker and A. Gotlieb
Towards Hybrid Constraint Solving with Reinforcement Learning and Constraint-Based Local Search
Data Science meets Optimization Workshop at Federated Artificial Intelligence Meeting
A. Gotlieb, D. Marijan and H. Spieker
Stratified Constructive Disjunction and Negation in Constraint Programming
Proc. of IEEE Int. Conf. on Tools with Artificial Intelligence (ICTAI-18). Volos, Greece. Nov. 2018
Talks, invited
A. Gotlieb and H. Spieker
Boundary Estimation: Learning Boundaries for Constraint Optimization Problems
International Symposium on Mathematical Optimization (ISMP'18), Bordeaux, France
2017
Proceedings, refereed
H. Spieker, A. Gotlieb, D. Marijan and M. Mossige
Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis
M. Mossige, A. Gotlieb, H. Spieker, H. Meling and M. Carlsson
Time-aware Test Case Execution Scheduling for Cyber-Physical Systems
Proceedings of Principles of Constraint Programming (CP'17)
2016
Journal Articles
H. Spieker, A. Gaier, S. Meilinger and A. Asteroth
Multi-stage evolution of single- and multi-objective MCLP
Soft Computing
2015
Proceedings, refereed
H. Spieker, A. Hagg, A. Asteroth, S. Meilinger, V. Jacobs and A. Oslislo
Successive evolution of charging station placement
2015 International Symposium on Innovations in Intelligent SysTems and Applications (INISTA)