David Kraus

15 papers C 3Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2025 C conf
Navigating Dimensionality Through State Machines in Automotive System Validation.
MODELSWARD
Laurenz Adolph, Barbara Schütt, David Kraus, Eric Sax
2025 — conf
Paving the Road for Automated Buses in Public Transit: Technologies and Challenges.
MT-ITS
Yuna Haas, Daniel Baumann, Nikola Lukezic, Daniel Grimm, Luca Seidel, Vitus Lüntzel, David Kraus, Eric Sax
2025 — conf
Vehicle Function Offloading: Finding the Optimal Cloud/Edge Application Model (OptiCAM).
FICC (1)
Jan Ruhnau, Martin Sommer, Falk Dettinger, David Kraus, Steffen Becker, Eric Sax, Michael Weyrich
2024 J jnl
A numerical verification method for multi-class feed-forward neural networks.
Expert Syst. Appl.
Daniel Grimm, Dávid Tollner, David Kraus, Árpád Török, Eric Sax, Zsolt Szalay
2024 C conf
Co-simulate no more: The CARLA V2X Sensor.
IV
Daniel Grimm, Marc Schindewolf, David Kraus, Eric Sax
2024 — conf
Language of Zelda: Facilitating Language Learning Practices Using ChatGPT.
CHI Extended Abstracts
Sukran Karaosmanoglu, Elisabeth L. Fittschen, Hande Eyicalis, David Kraus, Henrik Nickelmann, Anna Tomko, Frank Steinicke
2024 J jnl
Navigating Dimensionality through State Machines in Automotive System Validation.
CoRR
Laurenz Adolph, Barbara Schütt, David Kraus, Eric Sax
2023 — conf
Deep Reinforcement Learning Based Energy Management Strategy in Fuel Cell Range Extender Buses.
UEMCON
Carolin Junk, David Kraus, Eric Sax
2023 — conf
EFFECT: An End-to-End Framework for Evaluating Strategies for Parallel AI Anomaly Detection.
INNS DLIA@IJCNN
Matthias Stammler, Julian Höfer, David Kraus, Patrick Schmidt, Tim Hotfilter, Tanja Harbaum, Jürgen Becker
2023 C conf
Improving the Validation of Automotive Self-Learning Systems through the Synergy of Scenario-Based Testing and Metamorphic Relations.
BDCAT
Marco Stang, Martin Sommer, David Kraus, Eric Sax
2023 — conf
Plug-and-Play Feature for Automotive Camera Sensors Using ReCoIN Model With Smart Configuration.
ICCAIS
Goutham Bharadwaj Ramesh, Mohamad Chamas, Marc Schindewolf, David Kraus, Eric Sax
2019 J jnl
Inferential procedures for partially observed functional data.
J. Multivar. Anal.
David Kraus
2017 J jnl
Exploring impacts of vegetated buffer strips on nitrogen cycling using a spatially explicit hydro-biogeochemical modeling approach.
Environ. Model. Softw.
Steffen Klatt, David Kraus, Philipp Kraft, Lutz Breuer, Martin Wlotzka, Vincent Heuveline, Edwin Haas, Ralf Kiese, Klaus Butterbach-Bahl
2017 J jnl
Rejecting hydro-biogeochemical model structures by multi-criteria evaluation.
Environ. Model. Softw.
Tobias Houska, Philipp Kraft, R. Liebermann, Steffen Klatt, David Kraus, Edwin Haas, I. Santabarbara, Ralf Kiese, Klaus Butterbach-Bahl, C. Müller, Lutz Breuer
2009 J jnl
Checking Proportional Rates in the Two-Sample Transformation Model.
Kybernetika
David Kraus