Helge Spieker

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 50

Top Topics

Constraint Optimization

Reinforcement Learning

Top Venues

J. Syst. Softw.

Publications

Quentin Mazouni, Helge Spieker, Arnaud Gotlieb, Mathieu Acher
Testing for Fault Diversity in Reinforcement Learning. CoRR (2024)
Dennis Gross, Helge Spieker
Probabilistic Model Checking of Stochastic Reinforcement Learning Policies. ICAART (3) (2024)
Luc Lesoil, Helge Spieker, Arnaud Gotlieb, Mathieu Acher, Paul Temple, Arnaud Blouin, Jean-Marc Jézéquel
Learning input-aware performance models of configurable systems: An empirical evaluation. J. Syst. Softw. 208 (2024)
Quentin Mazouni, Helge Spieker, Arnaud Gotlieb, Mathieu Acher
Testing for Fault Diversity in Reinforcement Learning. AST@ICSE (2024)
Dennis Gross, Helge Spieker, Arnaud Gotlieb, Ricardo Knoblauch
Enhancing Manufacturing Quality Prediction Models through the Integration of Explainability Methods. CoRR (2024)
Mohamed-Bachir Belaid, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
Query-driven Qualitative Constraint Acquisition. J. Artif. Intell. Res. 79 (2024)
Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
Towards Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations. CoRR (2024)
Dennis Gross, Helge Spieker, Arnaud Gotlieb, Ricardo Knoblauch
Enhancing Manufacturing Quality Prediction Models Through the Integration of Explainability Methods. ICAART (3) (2024)
Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations. CoRR (2024)
Pierre Bernabé, Arnaud Gotlieb, Bruno Legeard, Dusica Marijan, Frank Olaf Sem-Jacobsen, Helge Spieker
Detecting Intentional AIS Shutdown in Open Sea Maritime Surveillance Using Self-Supervised Deep Learning. IEEE Trans. Intell. Transp. Syst. 25 (2) (2024)
Dennis Gross, Helge Spieker
Probabilistic Model Checking of Stochastic Reinforcement Learning Policies. CoRR (2024)
Helge Spieker, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar
Evaluating Human Trajectory Prediction with Metamorphic Testing. CoRR (2024)
Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
Acquiring Qualitative Explainable Graphs for Automated Driving Scene Interpretation. CoRR (2023)
Q. Mazouni, Helge Spieker, Arnaud Gotlieb, Mathieu Acher
A Review of Validation and Verification of Neural Network-based Policies for Sequential Decision Making. CoRR (2023)
Arnaud Gotlieb, Morten Mossige, Helge Spieker
Constraint-Guided Test Execution Scheduling: An Experience Report at ABB Robotics. CoRR (2023)
Pierre Bernabé, Arnaud Gotlieb, Bruno Legeard, Dusica Marijan, Frank Olaf Sem-Jacobsen, Helge Spieker
Detecting Intentional AIS Shutdown in Open Sea Maritime Surveillance Using Self-Supervised Deep Learning. CoRR (2023)
Arnaud Gotlieb, Morten Mossige, Helge Spieker
Constraint-Guided Test Execution Scheduling: An Experience Report at ABB Robotics. SAFECOMP (2023)
Mohamed-Bachir Belaid, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
GEQCA: Generic Qualitative Constraint Acquisition. AAAI (2022)
Mohit Kumar Ahuja, Arnaud Gotlieb, Helge Spieker
Testing Deep Learning Models: A First Comparative Study of Multiple Testing Techniques. CoRR (2022)
Mohit Kumar Ahuja, Arnaud Gotlieb, Helge Spieker
Testing Deep Learning Models: A First Comparative Study of Multiple Testing Techniques. ICST Workshops (2022)
Mohit Kumar Ahuja, Sahil Sahil, Helge Spieker
FoCA: Failure-oriented Class Augmentation for Robust Image Classification. ICTAI (2022)
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
A fine-grained data set and analysis of tangling in bug fixing commits. Empir. Softw. Eng. 27 (6) (2022)
Pierre Bernabé, Helge Spieker, Bruno Legeard, Arnaud Gotlieb
Encoding Temporal and Spatial Vessel Context using Self-Supervised Learning Model (Student Abstract). AAAI (2021)
Helge Spieker
Constraint-Guided Reinforcement Learning: Augmenting the Agent-Environment-Interaction. IJCNN (2021)
Helge Spieker
Constraint-Guided Reinforcement Learning: Augmenting the Agent-Environment-Interaction. CoRR (2021)
Helge Spieker, Arnaud Gotlieb
Summary of: Adaptive Metamorphic Testing with Contextual Bandits. ICST (2021)
Helge Spieker, Arnaud Gotlieb
Predictive Machine Learning of Objective Boundaries for Solving COPs. CoRR (2021)
Helge Spieker, Arnaud Gotlieb
Learning to Generate Fault-revealing Test Cases in Metamorphic Testing. Software Engineering (2021)
Mohit Kumar Ahuja, Mohamed-Bachir Belaid, Pierre Bernabé, Mathieu Collet, Arnaud Gotlieb, Chhagan Lal, Dusica Marijan, Sagar Sen, Aizaz Sharif, Helge Spieker
Opening the software engineering toolbox for the assessment of trustworthy AI. NeHuAI@ECAI (2020)
Helge Spieker, Arnaud Gotlieb
Learning Objective Boundaries for Constraint Optimization Problems. CoRR (2020)
Helge Spieker, Arnaud Gotlieb
Learning Objective Boundaries for Constraint Optimization Problems. LOD (2) (2020)
Helge Spieker, Arnaud Gotlieb
Adaptive metamorphic testing with contextual bandits. J. Syst. Softw. 165 (2020)
Mohit Kumar Ahuja, Mohamed-Bachir Belaid, Pierre Bernabé, Mathieu Collet, Arnaud Gotlieb, Chhagan Lal, Dusica Marijan, Sagar Sen, Aizaz Sharif, Helge Spieker
Opening the Software Engineering Toolbox for the Assessment of Trustworthy AI. CoRR (2020)
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 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
Large-Scale Manual Validation of Bug Fixing Commits: A Fine-grained Analysis of Tangling. CoRR (2020)
Arnaud Gotlieb, Dusica Marijan, Helge Spieker
ITE: A Lightweight Implementation of Stratified Reasoning for Constructive Logical Operators. Int. J. Artif. Intell. Tools 29 (03n04) (2020)
Helge Spieker, Arnaud Gotlieb
Towards Testing of Deep Learning Systems with Training Set Reduction. CoRR (2019)
Helge Spieker
Towards Sequence-to-Sequence Reinforcement Learning for Constraint Solving with Constraint-Based Local Search. AAAI (2019)
Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson
Time-aware Test Execution Scheduling for Cyber-Physical Systems. SE/SWM (2019)
Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson
Time-aware Test Case Execution Scheduling for Cyber-Physical Systems. CoRR (2019)
Helge Spieker, Arnaud Gotlieb
Adaptive Metamorphic Testing with Contextual Bandits. CoRR (2019)
Helge Spieker, Arnaud Gotlieb, Morten Mossige
Rotational Diversity in Multi-Cycle Assignment Problems. AAAI (2019)
Helge Spieker, Arnaud Gotlieb, Dusica Marijan, Morten Mossige
Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration. CoRR (2018)
Arnaud Gotlieb, Dusica Marijan, Helge Spieker
Stratified Constructive Disjunction and Negation in Constraint Programming. ICTAI (2018)
Helge Spieker, Arnaud Gotlieb, Morten Mossige
Different Cycle, Different Assignment: Diversity in Assignment Problems With Multiple Cycles. AAAI (2018)
Helge Spieker, Arnaud Gotlieb, Dusica Marijan, Morten Mossige
Reinforcement Learning for Automatic Test Case Prioritization and Selection in Continuous Integration. Software Engineering (2018)
Arnaud Gotlieb, Dusica Marijan, Helge Spieker
Stratified Constructive Disjunction and Negation in Constraint Programming. CoRR (2018)
Helge Spieker, Arnaud Gotlieb, Morten Mossige
Rotational Diversity in Multi-Cycle Assignment Problems. CoRR (2018)
Helge Spieker, Arnaud Gotlieb, Dusica Marijan, Morten Mossige
Reinforcement learning for automatic test case prioritization and selection in continuous integration. ISSTA (2017)
Helge Spieker, Alexander Hagg, Adam Gaier, Stefanie Meilinger, Alexander Asteroth
Multi-stage evolution of single- and multi-objective MCLP - Successive placement of charging stations. Soft Comput. 21 (17) (2017)
Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson
Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems. CP (2017)
Helge Spieker, Alexander Hagg, Alexander Asteroth, Stefanie Meilinger, Volker Jacobs, Alexander Oslislo
Successive evolution of charging station placement. INISTA (2015)