OASIcs, Volume 125, DX 2024

• Ingo Pill, Avraham Natan, and Franz Wotawa OASIcs, Volume 125, DX 2024, Complete Volume 10.4230/OASIcs.DX.2024
• Ingo Pill, Avraham Natan, and Franz Wotawa Front Matter, Table of Contents, Preface, Conference Organization 10.4230/OASIcs.DX.2024.0
• Gerald Steinbauer-Wagner, Leo Fürbaß, Marco De Bortoli, and Louise Travé-Massuyès A Hierarchical Monitoring and Diagnosis System for Autonomous Robots 10.4230/OASIcs.DX.2024.1
• Elaheh Hosseinkhani, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, and Lars B. Vosteen A Model-Based Approach for Monitoring and Diagnosing Digital Twin Discrepancies 10.4230/OASIcs.DX.2024.2
• Lucas Lima Lopes, Louise Travé-Massuyès, Carine Jauberthie, and Guillaume Alcalay A Review of Fault Diagnosis Techniques Applied to Aircraft Air Data Sensors 10.4230/OASIcs.DX.2024.3
• Daniel Jung and David Axelsson A Study on Redundancy and Intrinsic Dimension for Data-Driven Fault Diagnosis 10.4230/OASIcs.DX.2024.4
• Louise Travé-Massuyès and Franz Wotawa Bridging Hardware and Software Diagnosis: Leveraging Fault Signature Matrix and Spectrum-Based Fault Localization Similarities 10.4230/OASIcs.DX.2024.5
• Ingo Pill and Johan de Kleer Challenges for Model-Based Diagnosis 10.4230/OASIcs.DX.2024.6
• Daniel Vranješ, Jonas Ehrhardt, René Heesch, Lukas Moddemann, Henrik Sebastian Steude, and Oliver Niggemann Design Principles for Falsifiable, Replicable and Reproducible Empirical Machine Learning Research 10.4230/OASIcs.DX.2024.7
• Avraham Natan, Roni Stern, Meir Kalech, William Yeoh, and Tran Cao Son Diagnosing Multi-Agent STRIPS Plans 10.4230/OASIcs.DX.2024.8
• Alexander Diedrich, René Heesch, Marco Bozzano, Björn Ludwig, Alessandro Cimatti, and Oliver Niggemann Inferring Sensor Placement Using Critical Pairs and Satisfiability Modulo Theory 10.4230/OASIcs.DX.2024.9
• Lorenz Klampfl and Franz Wotawa Leveraging Answer Set Programming for Continuous Monitoring, Fault Detection, and Explanation of Automated and Autonomous Driving Systems 10.4230/OASIcs.DX.2024.10
• Lukas Heppel, Andreas Gerhardus, Ferdinand Rewicki, Jan Deeken, and Günther Waxenegger-Wilfing Leveraging Causal Information for Multivariate Timeseries Anomaly Detection 10.4230/OASIcs.DX.2024.11
• Gianfranco Lamperti and Marina Zanella Minimalist Diagnosis of Discrete-Event Systems 10.4230/OASIcs.DX.2024.12
• Maxence Glotin, Louise Travé-Massuyès, and Elodie Chanthery MSO Sets and MTES for Dummies 10.4230/OASIcs.DX.2024.13
• Adil Mukhtar, Thomas Hirsch, and Gerald Schweiger One-Class Classification and Cluster Ensembles for Anomaly Detection and Diagnosis in Multivariate Time Series Data 10.4230/OASIcs.DX.2024.14
• Andrea Urgolo, Ingo Pill, Günther Waxenegger-Wilfing, and Manuel Freiberger Property Learning-Based Fault Detection for Liquid Propellant Rocket Engine Control Systems 10.4230/OASIcs.DX.2024.15
• Austin Coursey, Marcos Quinones-Grueiro, and Gautam Biswas Quantifying the Sim-To-Real Gap in UAV Disturbance Rejection 10.4230/OASIcs.DX.2024.16
• Inbal Roshanski, Magenya Roshanski, and Meir Kalech Real-Time Sensor Fault Detection in Drones: A Correlation-Based Algorithmic Approach 10.4230/OASIcs.DX.2024.17
• David Kaufmann, Matus Kozovsky, and Franz Wotawa Simulation-Based Diagnosis for Cyber-Physical Systems - A General Approach and Case Study on a Dual Three-Phase E-Machine 10.4230/OASIcs.DX.2024.18
• Alexander Weiss, Albert Schulz, Martin Heininger, Martin Sachenbacher, and Martin Leucker Achieving Complete Structural Test Coverage in Embedded Systems Using Trace-Based Monitoring (Short Paper) 10.4230/OASIcs.DX.2024.19
• Stan Muñoz Gutiérrez, Adil Mukhtar, and Franz Wotawa Data-Driven Diagnosis of Electrified Vehicles: Results from a Structured Literature Review (Short Paper) 10.4230/OASIcs.DX.2024.20
• Abel Diaz-Gonzalez, Austin Coursey, Marcos Quinones-Grueiro, Chetan S. Kulkarni, and Gautam Biswas Data-Driven RUL Prediction Using Performance Metrics (Short Paper) 10.4230/OASIcs.DX.2024.21
• Birgit Hofer and Franz Wotawa Detecting Soft Faults in Heat Pumps (Short Paper) 10.4230/OASIcs.DX.2024.22
• Avraham Natan, Roni Stern, and Meir Kalech Diagnosing Non-Intermittent Anomalies in Reinforcement Learning Policy Executions (Short Paper) 10.4230/OASIcs.DX.2024.23
• Liliana Marie Prikler and Franz Wotawa Faster Diagnosis with Answer Set Programming (Short Paper) 10.4230/OASIcs.DX.2024.24
• Herbert Muehlburger and Franz Wotawa FLEX: Fault Localization and Explanation Using Open-Source Large Language Models in Powertrain Systems (Short Paper) 10.4230/OASIcs.DX.2024.25
• Rahma Bengamra, Soheib Fergani, and Carine Jauberthie Hyperplanes Based Zonotopic Contractor (Short Paper) 10.4230/OASIcs.DX.2024.26
• Charles-Maxime Gauriat, Yannick Pencolé, Pauline Ribot, and Gregory Brouillet On a Method to Measure Supervised Multiclass Model’s Interpretability: Application to Degradation Diagnosis (Short Paper) 10.4230/OASIcs.DX.2024.27
• Mattias Krysander and Fatemeh Hashemniya Test Selection for Diagnosing Multimode Systems (Short Paper) 10.4230/OASIcs.DX.2024.28
• Stan Muñoz Gutiérrez, Adil Mukhtar, and Franz Wotawa Transformer-Based Signal Inference for Electrified Vehicle Powertrains (Short Paper) 10.4230/OASIcs.DX.2024.29
• Swantje Plambeck, Maximilian Schmidt, Audine Subias, Louise Travé-Massuyès, and Goerschwin Fey Usability of Symbolic Regression for Hybrid System Identification - System Classes and Parameters (Short Paper) 10.4230/OASIcs.DX.2024.30
• Silke Merkelbach, Alexander Diedrich, Anna Sztyber-Betley, Louise Travé-Massuyès, Elodie Chanthery, Oliver Niggemann, and Roman Dumitrescu Using Multi-Modal LLMs to Create Models for Fault Diagnosis (Short Paper) 10.4230/OASIcs.DX.2024.31
• René Heesch, Alessandro Cimatti, Jonas Ehrhardt, Alexander Diedrich, and Oliver Niggemann Summary of "A Lazy Approach to Neural Numerical Planning with Control Parameters" (Extended Abstract) 10.4230/OASIcs.DX.2024.32
• Patrick Rodler, Erich Teppan, and Dietmar Jannach Summary of "Randomized Problem-Relaxation Solving for Over-Constrained Schedules" (Extended Abstract) 10.4230/OASIcs.DX.2024.33
• Gianfranco Lamperti, Stefano Trerotola, Marina Zanella, and Xiangfu Zhao Summary of "Sequence-Oriented Diagnosis of Discrete-Event Systems" (Extended Abstract) 10.4230/OASIcs.DX.2024.34