Helge Spieker

82 papers A* 5A 4B 7C 7Misc 1Journal 48Unranked 10
YearRankTypeTitle / Venue / Authors
2026 — conf
Context-Aware Autoencoders for Anomaly Detection in Maritime Surveillance.
ICAART (3)
Divya Acharya, Pierre Bernabé, Antoine Chevrot, Helge Spieker, Arnaud Gotlieb, Bruno Legeard
2026 J jnl
Context-Aware Autoencoders for Anomaly Detection in Maritime Surveillance.
CoRR
Divya Acharya, Pierre Bernabé, Antoine Chevrot, Helge Spieker, Arnaud Gotlieb, Bruno Legeard
2026 J jnl
Large language models for high-level computer-aided process planning in a distributed manufacturing paradigm.
Robotics Comput. Integr. Manuf.
Emmanuel Stathatos, Panorios Benardos, George-Christopher Vosniakos, Dennis Gross, Helge Spieker, Arnaud Gotlieb
2026 J jnl
Semi-supervised CAPP Transformer Learning via Pseudo-labeling.
CoRR
Dennis Gross, Helge Spieker, Arnaud Gotlieb, Emmanuel Stathatos, Panorios Benardos, George-Christopher Vosniakos
2025 B conf
Bounded PCTL Model Checking of Large Language Model Outputs.
ICTAI
Dennis Gross, Helge Spieker, Arnaud Gotlieb
2025 J jnl
Bounded PCTL Model Checking of Large Language Model Outputs.
CoRR
Dennis Gross, Helge Spieker, Arnaud Gotlieb
2025 — conf
Co-Activation Graph Analysis of Safety-Verified and Explainable Deep Reinforcement Learning Policies.
ICAART (2)
Dennis Gross, Helge Spieker
2025 J jnl
Co-Activation Graph Analysis of Safety-Verified and Explainable Deep Reinforcement Learning Policies.
CoRR
Dennis Gross, Helge Spieker
2025 J jnl
Efficiently Ranking Software Variants with Minimal Benchmarks.
CoRR
Théo Matricon, Mathieu Acher, Helge Spieker, Arnaud Gotlieb
2025 J jnl
Explainable Scene Understanding with Qualitative Representations and Graph Neural Networks.
CoRR
Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
2025 J jnl
Metamorphic Testing of Multimodal Human Trajectory Prediction.
CoRR
Helge Spieker, Nadjib Lazaar, Arnaud Gotlieb, Nassim Belmecheri
2025 J jnl
Metamorphic Testing of Multimodal Human Trajectory Prediction.
Inf. Softw. Technol.
Helge Spieker, Nadjib Lazaar, Arnaud Gotlieb, Nassim Belmecheri
2025 J jnl
Mutation-Guided Metamorphic Testing of Optimality in AI Planning.
Softw. Test. Verification Reliab.
Quentin Mazouni, Arnaud Gotlieb, Helge Spieker, Mathieu Acher, Benoît Combemale
2025 Misc conf
PCTL Model Checking for Temporal RL Policy Safety Explanations.
SAC
Dennis Gross, Helge Spieker
2025 C conf
Policy Testing with MDPFuzz (Replicability Study).
Software Engineering
Quentin Mazouni, Helge Spieker, Arnaud Gotlieb, Mathieu Acher
2025 J jnl
Policy Testing with MDPFuzz (Replicability Study).
CoRR
Quentin Mazouni, Helge Spieker, Arnaud Gotlieb, Mathieu Acher
2025 B conf
Prompting for Performance: Exploring LLMs for Configuring Software.
ICTAI
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
2025 J jnl
Prompting for Performance: Exploring LLMs for Configuring Software.
CoRR
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
2025 J jnl
Rashomon in the Streets: Explanation Ambiguity in Scene Understanding.
CoRR
Helge Spieker, Jørn Eirik Betten, Arnaud Gotlieb, Nadjib Lazaar, Nassim Belmecheri
2025 C conf
Reusable Test Suites for Reinforcement Learning.
ICTSS
Jørn Eirik Betten, Quentin Mazouni, Dennis Gross, Pedro G. Lind, Helge Spieker
2025 J jnl
Reusable Test Suites for Reinforcement Learning.
CoRR
Jørn Eirik Betten, Quentin Mazouni, Dennis Gross, Pedro Lind, Helge Spieker
2025 — conf
Teaching Reproducibility and Embracing Variability: From Floating-Point Experiments to Replicating Research.
ACM REP
Mathieu Acher, Arnaud Gotlieb, Helge Spieker, Gauthier Le Bartz Lyan
2025 J jnl
Translating the Rashomon Effect to Sequential Decision-Making Tasks.
CoRR
Dennis Gross, Jørn Eirik Betten, Helge Spieker
2025 J jnl
Verifying Memoryless Sequential Decision-making of Large Language Models.
CoRR
Dennis Gross, Helge Spieker, Arnaud Gotlieb
2024 J jnl
Detecting Intentional AIS Shutdown in Open Sea Maritime Surveillance Using Self-Supervised Deep Learning.
IEEE Trans. Intell. Transp. Syst.
Pierre Bernabé, Arnaud Gotlieb, Bruno Legeard, Dusica Marijan, Frank Olaf Sem-Jacobsen, Helge Spieker
2024 J jnl
Efficient Milling Quality Prediction with Explainable Machine Learning.
CoRR
Dennis Gross, Helge Spieker, Arnaud Gotlieb, Ricardo Knoblauch, Mohamed Elmansori
2024 — conf
Enhancing Manufacturing Quality Prediction Models Through the Integration of Explainability Methods.
ICAART (3)
Dennis Gross, Helge Spieker, Arnaud Gotlieb, Ricardo Knoblauch
2024 J jnl
Enhancing Manufacturing Quality Prediction Models through the Integration of Explainability Methods.
CoRR
Dennis Gross, Helge Spieker, Arnaud Gotlieb, Ricardo Knoblauch
2024 C conf
Enhancing RL Safety with Counterfactual LLM Reasoning.
ICTSS
Dennis Gross, Helge Spieker
2024 J jnl
Enhancing RL Safety with Counterfactual LLM Reasoning.
CoRR
Dennis Gross, Helge Spieker
2024 — conf
Evaluating Human Trajectory Prediction with Metamorphic Testing.
MET@ISSTA
Helge Spieker, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar
2024 J jnl
Evaluating Human Trajectory Prediction with Metamorphic Testing.
CoRR
Helge Spieker, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar
2024 J jnl
Learning input-aware performance models of configurable systems: An empirical evaluation.
J. Syst. Softw.
Luc Lesoil, Helge Spieker, Arnaud Gotlieb, Mathieu Acher, Paul Temple, Arnaud Blouin, Jean-Marc Jézéquel
2024 A conf
Policy Testing with MDPFuzz (Replicability Study).
ISSTA
Quentin Mazouni, Helge Spieker, Arnaud Gotlieb, Mathieu Acher
2024 — conf
Probabilistic Model Checking of Stochastic Reinforcement Learning Policies.
ICAART (3)
Dennis Gross, Helge Spieker
2024 J jnl
Probabilistic Model Checking of Stochastic Reinforcement Learning Policies.
CoRR
Dennis Gross, Helge Spieker
2024 J jnl
Query-driven Qualitative Constraint Acquisition.
J. Artif. Intell. Res.
Mohamed-Bachir Belaid, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
2024 B conf
Safety-Oriented Pruning and Interpretation of Reinforcement Learning Policies.
ESANN
Dennis Gross, Helge Spieker
2024 J jnl
Safety-Oriented Pruning and Interpretation of Reinforcement Learning Policies.
CoRR
Dennis Gross, Helge Spieker
2024 C conf
Testing for Fault Diversity in Reinforcement Learning.
AST
Quentin Mazouni, Helge Spieker, Arnaud Gotlieb, Mathieu Acher
2024 J jnl
Testing for Fault Diversity in Reinforcement Learning.
CoRR
Quentin Mazouni, Helge Spieker, Arnaud Gotlieb, Mathieu Acher
2024 J jnl
Towards Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations.
CoRR
Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
2024 J jnl
Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations.
CoRR
Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
2023 J jnl
A Review of Validation and Verification of Neural Network-based Policies for Sequential Decision Making.
CoRR
Quentin Mazouni, Helge Spieker, Arnaud Gotlieb, Mathieu Acher
2023 J jnl
Acquiring Qualitative Explainable Graphs for Automated Driving Scene Interpretation.
CoRR
Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
2023 B conf
Constraint-Guided Test Execution Scheduling: An Experience Report at ABB Robotics.
SAFECOMP
Arnaud Gotlieb, Morten Mossige, Helge Spieker
2023 J jnl
Constraint-Guided Test Execution Scheduling: An Experience Report at ABB Robotics.
CoRR
Arnaud Gotlieb, Morten Mossige, Helge Spieker
2023 J jnl
Detecting Intentional AIS Shutdown in Open Sea Maritime Surveillance Using Self-Supervised Deep Learning.
CoRR
Pierre Bernabé, Arnaud Gotlieb, Bruno Legeard, Dusica Marijan, Frank Olaf Sem-Jacobsen, Helge Spieker
2022 J jnl
A fine-grained data set and analysis of tangling in bug fixing commits.
Empir. Softw. Eng.
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, Matej Madeja, Nathaniel Hoy, Valentina Lenarduzzi, Shangwen Wang, Gema Rodríguez-Pérez, Ricardo Colomo-Palacios, Roberto Verdecchia, Paramvir Singh, Yihao Qin, Debasish Chakroborti, Willard Davis, Vijay Walunj, Hongjun Wu, Diego Marcilio, Omar Alam, Abdullah Aldaeej, Idan Amit, Burak Turhan, Simon Eismann, Anna-Katharina Wickert, Ivano Malavolta, Matús Sulír, Fatemeh H. Fard, Austin Z. Henley, Stratos Kourtzanidis, Eray Tuzun, Christoph Treude, Simin Maleki Shamasbi, Ivan Pashchenko, Marvin Wyrich, James C. Davis, Alexander Serebrenik, Ella Albrecht, Ethem Utku Aktas, Daniel Strüber, Johannes Erbel
2022 B conf
FoCA: Failure-oriented Class Augmentation for Robust Image Classification.
ICTAI
Mohit Kumar Ahuja, Sahil Sahil, Helge Spieker
2022 A* conf
GEQCA: Generic Qualitative Constraint Acquisition.
AAAI
Mohamed-Bachir Belaid, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
2022 — conf
Testing Deep Learning Models: A First Comparative Study of Multiple Testing Techniques.
ICST Workshops
Mohit Kumar Ahuja, Arnaud Gotlieb, Helge Spieker
2022 J jnl
Testing Deep Learning Models: A First Comparative Study of Multiple Testing Techniques.
CoRR
Mohit Kumar Ahuja, Arnaud Gotlieb, Helge Spieker
2021 B conf
Constraint-Guided Reinforcement Learning: Augmenting the Agent-Environment-Interaction.
IJCNN
Helge Spieker
2021 J jnl
Constraint-Guided Reinforcement Learning: Augmenting the Agent-Environment-Interaction.
CoRR
Helge Spieker
2021 A* conf
Encoding Temporal and Spatial Vessel Context using Self-Supervised Learning Model (Student Abstract).
AAAI
Pierre Bernabé, Helge Spieker, Bruno Legeard, Arnaud Gotlieb
2021 C conf
Learning to Generate Fault-revealing Test Cases in Metamorphic Testing.
Software Engineering
Helge Spieker, Arnaud Gotlieb
2021 J jnl
Predictive Machine Learning of Objective Boundaries for Solving COPs.
CoRR
Helge Spieker, Arnaud Gotlieb
2021 A conf
Summary of: Adaptive Metamorphic Testing with Contextual Bandits.
ICST
Helge Spieker, Arnaud Gotlieb
2020 J jnl
Adaptive metamorphic testing with contextual bandits.
J. Syst. Softw.
Helge Spieker, Arnaud Gotlieb
2020 J jnl
ITE: A Lightweight Implementation of Stratified Reasoning for Constructive Logical Operators.
Int. J. Artif. Intell. Tools
Arnaud Gotlieb, Dusica Marijan, Helge Spieker
2020 J jnl
Large-Scale Manual Validation of Bug Fixing Commits: A Fine-grained Analysis of Tangling.
CoRR
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, Matej Madeja, Nathaniel Hoy, Valentina Lenarduzzi, Shangwen Wang, Gema Rodríguez-Pérez, Ricardo Colomo-Palacios, Roberto Verdecchia, Paramvir Singh, Yihao Qin, Debasish Chakroborti, Willard Davis, Vijay Walunj, Hongjun Wu, Diego Marcilio, Omar Alam, Abdullah Aldaeej, Idan Amit, Burak Turhan, Simon Eismann, Anna-Katharina Wickert, Ivano Malavolta, Matús Sulír, Fatemeh H. Fard, Austin Z. Henley, Stratos Kourtzanidis, Eray Tuzun, Christoph Treude, Simin Maleki Shamasbi, Ivan Pashchenko, Marvin Wyrich, James C. Davis, Alexander Serebrenik, Ella Albrecht, Ethem Utku Aktas, Daniel Strüber, Johannes Erbel
2020 — conf
Learning Objective Boundaries for Constraint Optimization Problems.
LOD (2)
Helge Spieker, Arnaud Gotlieb
2020 J jnl
Learning Objective Boundaries for Constraint Optimization Problems.
CoRR
Helge Spieker, Arnaud Gotlieb
2020 J jnl
Opening the Software Engineering Toolbox for the Assessment of Trustworthy AI.
CoRR
Mohit Kumar Ahuja, Mohamed-Bachir Belaid, Pierre Bernabé, Mathieu Collet, Arnaud Gotlieb, Chhagan Lal, Dusica Marijan, Sagar Sen, Aizaz Sharif, Helge Spieker
2020 — conf
Opening the software engineering toolbox for the assessment of trustworthy AI.
NeHuAI@ECAI
Mohit Kumar Ahuja, Mohamed-Bachir Belaid, Pierre Bernabé, Mathieu Collet, Arnaud Gotlieb, Chhagan Lal, Dusica Marijan, Sagar Sen, Aizaz Sharif, Helge Spieker
2019 J jnl
Adaptive Metamorphic Testing with Contextual Bandits.
CoRR
Helge Spieker, Arnaud Gotlieb
2019 A* conf
Rotational Diversity in Multi-Cycle Assignment Problems.
AAAI
Helge Spieker, Arnaud Gotlieb, Morten Mossige
2019 J jnl
Time-aware Test Case Execution Scheduling for Cyber-Physical Systems.
CoRR
Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson
2019 — conf
Time-aware Test Execution Scheduling for Cyber-Physical Systems.
SE/SWM
Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson
2019 A* conf
Towards Sequence-to-Sequence Reinforcement Learning for Constraint Solving with Constraint-Based Local Search.
AAAI
Helge Spieker
2019 J jnl
Towards Testing of Deep Learning Systems with Training Set Reduction.
CoRR
Helge Spieker, Arnaud Gotlieb
2018 A* conf
Different Cycle, Different Assignment: Diversity in Assignment Problems With Multiple Cycles.
AAAI
Helge Spieker, Arnaud Gotlieb, Morten Mossige
2018 C conf
Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration.
Software Engineering
Helge Spieker, Arnaud Gotlieb, Dusica Marijan, Morten Mossige
2018 J jnl
Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration.
CoRR
Helge Spieker, Arnaud Gotlieb, Dusica Marijan, Morten Mossige
2018 J jnl
Rotational Diversity in Multi-Cycle Assignment Problems.
CoRR
Helge Spieker, Arnaud Gotlieb, Morten Mossige
2018 B conf
Stratified Constructive Disjunction and Negation in Constraint Programming.
ICTAI
Arnaud Gotlieb, Dusica Marijan, Helge Spieker
2018 J jnl
Stratified Constructive Disjunction and Negation in Constraint Programming.
CoRR
Arnaud Gotlieb, Dusica Marijan, Helge Spieker
2017 J jnl
Multi-stage evolution of single- and multi-objective MCLP - Successive placement of charging stations.
Soft Comput.
Helge Spieker, Alexander Hagg, Adam Gaier, Stefanie Meilinger, Alexander Asteroth
2017 A conf
Reinforcement learning for automatic test case prioritization and selection in continuous integration.
ISSTA
Helge Spieker, Arnaud Gotlieb, Dusica Marijan, Morten Mossige
2017 A conf
Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems.
CP
Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson
2015 C conf
Successive evolution of charging station placement.
INISTA
Helge Spieker, Alexander Hagg, Alexander Asteroth, Stefanie Meilinger, Volker Jacobs, Alexander Oslislo