Not finding it? Sign in to also search OpenAlex live.
-
SAFEST: Fault Tree Analysis Via Probabilistic Model Checking2024 Proceedings, annual Reliability and Maintainability Symposium/Proceedings. Annual Reliability and Maintainability Symposium conference-paper Decision Sciences Risk and Safety Analysis Open access
Matthias Volk, Falak Sher, Joost-Pieter Katoen, Mariëlle I. A. Stoelinga
13citations -
Toward Trustworthy Machine Learning Models for Fault Detection in Energy Systems2023 ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation (BuildSys) conference-paper Engineering Fault Detection and Control Systems Open access
Martin Rätz, Patrick Henkel, Phillip Stoffel, Rita Streblow, Dirk Müller
0citations -
Mixed-Integer Linear Programming Model for Distance Zone Reach Setting Based on Apparent Fault Impedance Samples2026 International Conference on Smart Energy Systems and Technologies (SEST) conference-paper Engineering Power Systems Fault Detection
Antigona Selimaj, Ronja Steinfurth, Irina Zettl, Andreas Ulbig
0citations -
In-Situ Model Validation for Continuous Processes Using In-Network Computing2024 IEEE International Conference on Industrial Cyber-Physical Systems (ICPS) conference-paper Engineering Fault Detection and Control Systems Open access
Ike Kunze, Dominik Scheurenberg, Liam Tirpitz, Sandra Geisler, Klaus Wehrle
2citations -
Fault detection and diagnosis in building energy systems: A tool chain for the automated generation of training data2021 Journal of Physics Conference Series conference-paper Engineering Fault Detection and Control Systems Open access
Christine van Stiphoudt, Florian Stinner, Gerrit Bode, Alexander Kümpel, Dirk Müller
4citations -
Reproducibility Report for SC25 Paper Demystifying the Resilience of Large Language Model Inference: An End-to-End Perspective0citations
-
SAFEST: The Static and Dynamic Fault Tree Analysis Tool2023 European Safety and Reliability Conference (ESREL) conference-paper Decision Sciences Risk and Safety Analysis Open access
Matthias Volk, Muzammil Ibne Irshad, Joost-Pieter Katoen, Falak Sher, Mariëlle I. A. Stoelinga, Zafar Ahmad
0citations -
Repairing Conformance Violations with a Reference Model in the Context of Automata Decomposition2026 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) conference-paper Computer Science Formal Methods in Verification Open access
Bahareh Taghavi, Max Stachon, Adrian Marin, Bao-Lan Le-Quang, Bernhard Rumpe⋆, Ralf Reussner, +1 more
0citations -
Prediction of Fault Rock Permeability With Deep Learning: Training Data from Transfer Samples of Fault Cores2022 EAGE Annual Conference & Exhibition conference-paper Engineering Hydrocarbon exploration and reservoir analysis
Joyce Schmatz, Jop Klaver, Eva Wellmann, Mingming Jiang, Wolf- Gang Kraus, Simon Freitag, +2 more
0citations