Helge Spieker

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

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

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

M. B. Belaid, N. Belmecheri, N. Lazaar, A. Gotlieb and H. Spieker

Approche générique pour l’acquisition de contraintes qualitatives

JFPC

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

N. Belmecheri, A. Gotlieb, N. Lazaar and H. Spieker

Acquiring Qualitative Explainable Graphs for Automated Driving Scene Interpretation

H. Spieker

Trustworthy AI: Scientific, Industrial, and Societal Impact

OsloMet

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

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)

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)

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

M. B. Belaid, N. Belmecheri, A. Gotlieb, N. Lazaar and H. Spieker

GEQCA: Generic Qualitative Constraint Acquisition

Lernen. Wissen. Daten. Analysen. (LWDA) - KDML Track

H. Spieker and A. Gotlieb

Predictive Machine Learning of Objective Boundaries for Solving COPs

AI

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

H. Spieker

Constraint-Guided Reinforcement Learning: Augmenting the Agent-Environment-Interaction

International Joint Conference on Neural Networks (IJCNN)

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)

A. Gotlieb, D. Marijan and H. Spieker

Testing Industrial Robotic Systems: A New Battlefield!

Software Engineering for Robotics

P. Bernabé, H. Spieker, A. Gotlieb and B. Legeard

Encoding Temporal and Spatial Vessel Context using Self-Supervised Learning Model (Student Abstract)

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)

M. Mossige, R. Ramachandran and H. Spieker

AI4EU Robotics Pilot: Vibration sensor measurements in a robotic pump

M. Mossige, R. Ramachandran and H. Spieker

AI4EU Robotics Pilot: Vibration sensor measurements in a robotic wrist

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

H. Spieker and A. Gotlieb

Learning Objective Boundaries for Constraint Optimization Problems

International Conference on Machine Learning, Optimization, and Data Science

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

Software Testing in Continuous Integration with Machine Learning and Constraint Optimization

The University of Oslo

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)

H. Spieker

Towards Sequence-to-Sequence Reinforcement Learning for Constraint Solving with Constraint-Based Local Search

A. Gotlieb, P. Bernabé, D. Marijan and H. Spieker

SARCoS: Machine Learning Models for the Selection of Security Test Scenarios

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

Survey on Testing of Deep Learning Systems

H. Spieker

Intelligent Software Testing with Reinforcement Learning and Constraint Programming

Fraunhofer IAIS, Sankt Augustin, Germany

H. Spieker

Deployment and Evolution of Machine Learning Artifacts: Research Perspectives

14th Certus User Partner Workshop (UPW), Larvik, Norway

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

P. Bernabé, H. Spieker, A. Gotlieb, D. Marijan and B. Legeard

Statistics AIS Dataset from Statsat

Simula Research Laboratory

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

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

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

H. Spieker, A. Gotlieb and M. Mossige

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

A. Gotlieb and H. Spieker

Boundary Estimation: Learning Boundaries for Constraint Optimization Problems

International Symposium on Mathematical Optimization (ISMP'18), Bordeaux, France

H. Spieker and A. Gotlieb

Estimating Objective Boundaries for Constraint Optimization Problems

NordConsNet Workshop, Gothenburg, Sweden

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, 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)

H. Spieker, A. Gaier, S. Meilinger and A. Asteroth

Multi-stage evolution of single- and multi-objective MCLP

Soft Computing

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)