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