| 2026 | COMPSAC | Seeing Metamorphic Relations Families as Types: Towards a New Foundation of Metamorphic Testing. | Arnaud Gotlieb, Mathieu Le Louedec, Helge Spieker |
| 2026 | COMPSAC | Metamorphic Testing with the Rashomon Set: Explanation Faithfulness in Machine Learning. | Helge Spieker, Jrn Eirik Betten, Arnaud Gotlieb |
| 2026 | CP | ScenaGen: A CP Model for Grounding Qualitative Driving Scenarios. | Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker |
| 2026 | ICAART | Context-Aware Autoencoders for Anomaly Detection in Maritime Surveillance. | Divya Acharya, Pierre Bernab, Antoine Chevrot, Helge Spieker, Arnaud Gotlieb, Bruno Legeard |
| 2025 | ICAART | Co-Activation Graph Analysis of Safety-Verified and Explainable Deep Reinforcement Learning Policies. | Dennis Gross, Helge Spieker |
| 2025 | ICTAI | Bounded PCTL Model Checking of Large Language Model Outputs. | Dennis Gross, Helge Spieker, Arnaud Gotlieb |
| 2025 | ICTAI | Prompting for Performance: Exploring LLMs for Configuring Software. | Helge Spieker, Tho Matricon, Nassim Belmecheri, Jrn Eirik Betten, Gauthier Le Bartz Lyan, Heraldo Borges, Quentin Mazouni, Dennis Gross, Arnaud Gotlieb, Mathieu Acher |
| 2025 | SAC | PCTL Model Checking for Temporal RL Policy Safety Explanations. | Dennis Gross, Helge Spieker |
| 2024 | AST | Testing for Fault Diversity in Reinforcement Learning. | Quentin Mazouni, Helge Spieker, Arnaud Gotlieb, Mathieu Acher |
| 2024 | ESANN | Safety-Oriented Pruning and Interpretation of Reinforcement Learning Policies. | Dennis Gross, Helge Spieker |
| 2024 | ICAART | Probabilistic Model Checking of Stochastic Reinforcement Learning Policies. | Dennis Gross, Helge Spieker |
| 2024 | ICAART | Enhancing Manufacturing Quality Prediction Models Through the Integration of Explainability Methods. | Dennis Gross, Helge Spieker, Arnaud Gotlieb, Ricardo Knoblauch |
| 2024 | ISSTA | Policy Testing with MDPFuzz (Replicability Study). | Quentin Mazouni, Helge Spieker, Arnaud Gotlieb, Mathieu Acher |
| 2023 | SAFECOMP | Constraint-Guided Test Execution Scheduling: An Experience Report at ABB Robotics. | Arnaud Gotlieb, Morten Mossige, Helge Spieker |
| 2022 | AAAI | GEQCA: Generic Qualitative Constraint Acquisition. | Mohamed-Bachir Belaid, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker |
| 2022 | ICST | Testing Deep Learning Models: A First Comparative Study of Multiple Testing Techniques. | Mohit Kumar Ahuja, Arnaud Gotlieb, Helge Spieker |
| 2022 | ICTAI | FoCA: Failure-oriented Class Augmentation for Robust Image Classification. | Mohit Kumar Ahuja, Sahil Sahil, Helge Spieker |
| 2021 | AAAI | Encoding Temporal and Spatial Vessel Context using Self-Supervised Learning Model (Student Abstract). | Pierre Bernab, Helge Spieker, Bruno Legeard, Arnaud Gotlieb |
| 2021 | IJCNN | Constraint-Guided Reinforcement Learning: Augmenting the Agent-Environment-Interaction. | Helge Spieker |
| 2021 | ICST | Summary of: Adaptive Metamorphic Testing with Contextual Bandits. | Helge Spieker, Arnaud Gotlieb |
| 2020 | ECAI | 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 |
| 2019 | AAAI | Towards Sequence-to-Sequence Reinforcement Learning for Constraint Solving with Constraint-Based Local Search. | Helge Spieker |
| 2019 | AAAI | Rotational Diversity in Multi-Cycle Assignment Problems. | Helge Spieker, Arnaud Gotlieb, Morten Mossige |
| 2018 | AAAI | Different Cycle, Different Assignment: Diversity in Assignment Problems With Multiple Cycles. | Helge Spieker, Arnaud Gotlieb, Morten Mossige |
| 2018 | ICTAI | Stratified Constructive Disjunction and Negation in Constraint Programming. | Arnaud Gotlieb, Dusica Marijan, Helge Spieker |
| 2017 | CP | Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems. | Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson |
| 2017 | ISSTA | Reinforcement learning for automatic test case prioritization and selection in continuous integration. | Helge Spieker, Arnaud Gotlieb, Dusica Marijan, Morten Mossige |
| 2015 | INISTA | Successive evolution of charging station placement. | Helge Spieker, Alexander Hagg, Alexander Asteroth, Stefanie Meilinger, Volker Jacobs, Alexander Oslislo |