Successive evolution of charging station placement. - Helge Spieker; Alexander Hagg; Alexander Asteroth; Stefanie Meilinger; Volker Jacobs; Alexander Oslislo (INISTA, 2015)

Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems. - Morten Mossige; Arnaud Gotlieb; Helge Spieker; Hein Meling; Mats Carlsson (CP, 2017)

Multi-stage evolution of single- and multi-objective MCLP - Successive placement of charging stations. - Helge Spieker; Alexander Hagg; Adam Gaier; Stefanie Meilinger; Alexander Asteroth (Soft Comput., 2017)

Different Cycle, Different Assignment: Diversity in Assignment Problems With Multiple Cycles. - Helge Spieker; Arnaud Gotlieb; Morten Mossige (AAAI, 2018)

Stratified Constructive Disjunction and Negation in Constraint Programming. - Arnaud Gotlieb; Dusica Marijan; Helge Spieker (ICTAI, 2018)

Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration. - Helge Spieker; Arnaud Gotlieb; Dusica Marijan; Morten Mossige (Software Engineering, 2018)

Towards Sequence-to-Sequence Reinforcement Learning for Constraint Solving with Constraint-Based Local Search. - Helge Spieker (AAAI, 2019)

Rotational Diversity in Multi-Cycle Assignment Problems. - Helge Spieker; Arnaud Gotlieb; Morten Mossige (AAAI, 2019)

Time-aware Test Execution Scheduling for Cyber-Physical Systems. - Morten Mossige; Arnaud Gotlieb; Helge Spieker; Hein Meling; Mats Carlsson (SE/SWM, 2019)

Towards Testing of Deep Learning Systems with Training Set Reduction. - Helge Spieker; Arnaud Gotlieb (CoRR, 2019)

Opening the software engineering toolbox for the assessment of trustworthy AI. - Mohit Kumar Ahuja; Mohamed-Bachir Belaid; Pierre Bernabé; Mathieu Collet; Arnaud Gotlieb; Chhagan Lal; Dusica Marijan; Sagar Sen; Aizaz Sharif; Helge Spieker (NeHuAI@ECAI, 2020)

Learning Objective Boundaries for Constraint Optimization Problems. - Helge Spieker; Arnaud Gotlieb (LOD (2), 2020)

Large-Scale Manual Validation of Bug Fixing Commits: A Fine-grained Analysis of Tangling. - Steffen Herbold; Alexander Trautsch; Benjamin Ledel; Alireza Aghamohammadi; Taher Ahmed Ghaleb; Kuljit Kaur Chahal; Tim Bossenmaier; Bhaveet Nagaria; Philip Makedonski; Matin Nili Ahmadabadi; Kristóf Szabados; Helge Spieker; et al. (CoRR, 2020)

ITE: A Lightweight Implementation of Stratified Reasoning for Constructive Logical Operators. - Arnaud Gotlieb; Dusica Marijan; Helge Spieker (Int. J. Artif. Intell. Tools, 2020)

Adaptive metamorphic testing with contextual bandits. - Helge Spieker; Arnaud Gotlieb (J. Syst. Softw., 2020)

Encoding Temporal and Spatial Vessel Context using Self-Supervised Learning Model (Student Abstract). - Pierre Bernabé; Helge Spieker; Bruno Legeard; Arnaud Gotlieb (AAAI, 2021)

Summary of: Adaptive Metamorphic Testing with Contextual Bandits. - Helge Spieker; Arnaud Gotlieb (ICST, 2021)

Constraint-Guided Reinforcement Learning: Augmenting the Agent-Environment-Interaction. - Helge Spieker (IJCNN, 2021)

Learning to Generate Fault-revealing Test Cases in Metamorphic Testing. - Helge Spieker; Arnaud Gotlieb (Software Engineering, 2021)

Predictive Machine Learning of Objective Boundaries for Solving COPs. - Helge Spieker; Arnaud Gotlieb (CoRR, 2021)

GEQCA: Generic Qualitative Constraint Acquisition. - Mohamed-Bachir Belaid; Nassim Belmecheri; Arnaud Gotlieb; Nadjib Lazaar; Helge Spieker (AAAI, 2022)

Testing Deep Learning Models: A First Comparative Study of Multiple Testing Techniques. - Mohit Kumar Ahuja; Arnaud Gotlieb; Helge Spieker (ICST Workshops, 2022)

FoCA: Failure-oriented Class Augmentation for Robust Image Classification. - Mohit Kumar Ahuja; Sahil Sahil; Helge Spieker (ICTAI, 2022)

A fine-grained data set and analysis of tangling in bug fixing commits. - Steffen Herbold; Alexander Trautsch; Benjamin Ledel; Alireza Aghamohammadi; Taher Ahmed Ghaleb; Kuljit Kaur Chahal; Tim Bossenmaier; Bhaveet Nagaria; Philip Makedonski; Matin Nili Ahmadabadi; Kristóf Szabados; Helge Spieker; et al. (Empir. Softw. Eng., 2022)

Constraint-Guided Test Execution Scheduling: An Experience Report at ABB Robotics. - Arnaud Gotlieb; Morten Mossige; Helge Spieker (SAFECOMP, 2023)

Acquiring Qualitative Explainable Graphs for Automated Driving Scene Interpretation. - Nassim Belmecheri; Arnaud Gotlieb; Nadjib Lazaar; Helge Spieker (CoRR, 2023)

A Review of Validation and Verification of Neural Network-based Policies for Sequential Decision Making. - Quentin Mazouni; Helge Spieker; Arnaud Gotlieb; Mathieu Acher (CoRR, 2023)

Testing for Fault Diversity in Reinforcement Learning. - Quentin Mazouni; Helge Spieker; Arnaud Gotlieb; Mathieu Acher (AST@ICSE, 2024)

Safety-Oriented Pruning and Interpretation of Reinforcement Learning Policies. - Dennis Gross; Helge Spieker (ESANN, 2024)

Probabilistic Model Checking of Stochastic Reinforcement Learning Policies. - Dennis Gross; Helge Spieker (ICAART (3), 2024)

Enhancing Manufacturing Quality Prediction Models Through the Integration of Explainability Methods. - Dennis Gross; Helge Spieker; Arnaud Gotlieb; Ricardo Knoblauch (ICAART (3), 2024)

Enhancing RL Safety with Counterfactual LLM Reasoning. - Dennis Gross; Helge Spieker (ICTSS, 2024)

Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations. - Nassim Belmecheri; Arnaud Gotlieb; Nadjib Lazaar; Helge Spieker (CoRR, 2024)

Towards Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations. - Nassim Belmecheri; Arnaud Gotlieb; Nadjib Lazaar; Helge Spieker (CoRR, 2024)

Evaluating Human Trajectory Prediction with Metamorphic Testing. - Helge Spieker; Nassim Belmecheri; Arnaud Gotlieb; Nadjib Lazaar (CoRR, 2024)

Efficient Milling Quality Prediction with Explainable Machine Learning. - Dennis Gross; Helge Spieker; Arnaud Gotlieb; Ricardo Knoblauch; Mohamed Elmansori (CoRR, 2024)

Query-driven Qualitative Constraint Acquisition. - Mohamed-Bachir Belaid; Nassim Belmecheri; Arnaud Gotlieb; Nadjib Lazaar; Helge Spieker (J. Artif. Intell. Res., 2024)

Learning input-aware performance models of configurable systems: An empirical evaluation. - Luc Lesoil; Helge Spieker; Arnaud Gotlieb; Mathieu Acher; Paul Temple; Arnaud Blouin; Jean-Marc Jézéquel (J. Syst. Softw., 2024)

Detecting Intentional AIS Shutdown in Open Sea Maritime Surveillance Using Self-Supervised Deep Learning. - Pierre Bernabé; Arnaud Gotlieb; Bruno Legeard; Dusica Marijan; Frank Olaf Sem-Jacobsen; Helge Spieker (IEEE Trans. Intell. Transp. Syst., 2024)

Co-Activation Graph Analysis of Safety-Verified and Explainable Deep Reinforcement Learning Policies. - Dennis Gross; Helge Spieker (ICAART (2), 2025)

PCTL Model Checking for Temporal RL Policy Safety Explanations. - Dennis Gross; Helge Spieker (SAC, 2025)

Policy Testing with MDPFuzz (Replicability Study). - Quentin Mazouni; Helge Spieker; Arnaud Gotlieb; Mathieu Acher (Software Engineering, 2025)

Mutation-Guided Metamorphic Testing of Optimality in AI Planning. - Quentin Mazouni; Arnaud Gotlieb; Helge Spieker; Mathieu Acher; Benoît Combemale (Softw. Test. Verification Reliab., 2025)

Explainable Scene Understanding with Qualitative Representations and Graph Neural Networks. - Nassim Belmecheri; Arnaud Gotlieb; Nadjib Lazaar; Helge Spieker (CoRR, 2025)

Prompting for Performance: Exploring LLMs for Configuring Software. - Helge Spieker; Théo Matricon; Nassim Belmecheri; Jørn Eirik Betten; Gauthier Le Bartz Lyan; Heraldo Borges; Quentin Mazouni; Dennis Gross; Arnaud Gotlieb; Mathieu Acher (CoRR, 2025)