Helge Spieker

According to our database, Helge Spieker authored at least 35 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., February, 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., February, 2024

Query-driven Qualitative Constraint Acquisition.

Mohamed-Bachir Belaid, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker

J. Artif. Intell. Res., 2024

Towards Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations.

Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker

CoRR, 2024

Testing for Fault Diversity in Reinforcement Learning.

Quentin Mazouni, Helge Spieker, Arnaud Gotlieb, Mathieu Acher

CoRR, 2024

Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations.

Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker

CoRR, 2024

Enhancing Manufacturing Quality Prediction Models Through the Integration of Explainability Methods.

Dennis Gross, Helge Spieker, Arnaud Gotlieb, Ricardo Knoblauch

Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

Probabilistic Model Checking of Stochastic Reinforcement Learning Policies.

Dennis Gross, Helge Spieker

Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

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

Acquiring Qualitative Explainable Graphs for Automated Driving Scene Interpretation.

Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker

CoRR, 2023

Constraint-Guided Test Execution Scheduling: An Experience Report at ABB Robotics.

Arnaud Gotlieb, Morten Mossige, Helge Spieker

Proceedings of the Computer Safety, Reliability, and Security, 2023

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, Kristof 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 Davis, Alexander Serebrenik, Ella Albrecht, Ethem Utku Aktas, Daniel Strüber, Johannes Erbel

Empir. Softw. Eng., 2022

FoCA: Failure-oriented Class Augmentation for Robust Image Classification.

Mohit Kumar Ahuja, Sahil Sahil, Helge Spieker

Proceedings of the 34th IEEE International Conference on Tools with Artificial Intelligence, 2022

Testing Deep Learning Models: A First Comparative Study of Multiple Testing Techniques.

Mohit Kumar Ahuja, Arnaud Gotlieb, Helge Spieker

Proceedings of the 15th IEEE International Conference on Software Testing, 2022

GEQCA: Generic Qualitative Constraint Acquisition.

Mohamed-Bachir Belaid, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Predictive Machine Learning of Objective Boundaries for Solving COPs.

Helge Spieker, Arnaud Gotlieb

CoRR, 2021

Learning to Generate Fault-revealing Test Cases in Metamorphic Testing.

Helge Spieker, Arnaud Gotlieb

Proceedings of the Software Engineering 2021, 2021

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

Helge Spieker

Proceedings of the International Joint Conference on Neural Networks, 2021

Summary of: Adaptive Metamorphic Testing with Contextual Bandits.

Helge Spieker, Arnaud Gotlieb

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

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

Pierre Bernabé, Helge Spieker, Bruno Legeard, Arnaud Gotlieb

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Adaptive metamorphic testing with contextual bandits.

Helge Spieker, Arnaud Gotlieb

J. Syst. Softw., 2020

ITE: A Lightweight Implementation of Stratified Reasoning for Constructive Logical Operators.

Arnaud Gotlieb, Dusica Marijan, Helge Spieker

Int. J. Artif. Intell. Tools, 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, 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 Davis, Alexander Serebrenik, Ella Albrecht, Ethem Utku Aktas, Daniel Strüber, Johannes Erbel

CoRR, 2020

Learning Objective Boundaries for Constraint Optimization Problems.

Helge Spieker, Arnaud Gotlieb

Proceedings of the Machine Learning, Optimization, and Data Science, 2020

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

Proceedings of the First International Workshop on New Foundations for Human-Centered AI (NeHuAI) co-located with 24th European Conference on Artificial Intelligence (ECAI 2020), 2020

2019

Towards Testing of Deep Learning Systems with Training Set Reduction.

Helge Spieker, Arnaud Gotlieb

CoRR, 2019

Time-aware Test Execution Scheduling for Cyber-Physical Systems.

Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson

Proceedings of the Software Engineering and Software Management, 2019

Rotational Diversity in Multi-Cycle Assignment Problems.

Helge Spieker, Arnaud Gotlieb, Morten Mossige

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

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

Helge Spieker

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration.

Helge Spieker, Arnaud Gotlieb, Dusica Marijan, Morten Mossige

Proceedings of the Software Engineering und Software Management 2018, 2018

Stratified Constructive Disjunction and Negation in Constraint Programming.

Arnaud Gotlieb, Dusica Marijan, Helge Spieker

Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

Different Cycle, Different Assignment: Diversity in Assignment Problems With Multiple Cycles.

Helge Spieker, Arnaud Gotlieb, Morten Mossige

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

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

Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems.

Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson

Proceedings of the Principles and Practice of Constraint Programming, 2017

2015

Successive evolution of charging station placement.

Helge Spieker, Alexander Hagg, Alexander Asteroth, Stefanie Meilinger, Volker Jacobs, Alexander Oslislo

Proceedings of the International Symposium on Innovations in Intelligent SysTems and Applications, 2015