David Kraus

According to our database, David Kraus authored at least 12 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A numerical verification method for multi-class feed-forward neural networks.

Daniel Grimm, Dávid Tollner, David Kraus, Árpád Török, Eric Sax, Zsolt Szalay

Expert Syst. Appl., 2024

Navigating Dimensionality through State Machines in Automotive System Validation.

Laurenz Adolph, barbara Schütt, David Kraus, Eric Sax

CoRR, 2024

Co-simulate no more: The CARLA V2X Sensor.

Daniel Grimm, Marc Schindewolf, David Kraus, Eric Sax

Proceedings of the IEEE Intelligent Vehicles Symposium, 2024

Language of Zelda: Facilitating Language Learning Practices Using ChatGPT.

Sukran Karaosmanoglu, Elisabeth L. Fittschen, Hande Eyicalis, David Kraus, Henrik Nickelmann, Anna Tomko, Frank Steinicke

Proceedings of the Extended Abstracts of the CHI Conference on Human Factors in Computing Systems, 2024

2023

Deep Reinforcement Learning Based Energy Management Strategy in Fuel Cell Range Extender Buses.

Carolin Junk, David Kraus, Eric Sax

Proceedings of the 14th IEEE Annual Ubiquitous Computing, 2023

EFFECT: An End-to-End Framework for Evaluating Strategies for Parallel AI Anomaly Detection.

Matthias Stammler, Julian Höfer, David Kraus, Patrick Schmidt, Tim Hotfilter, Tanja Harbaum, Jürgen Becker

Proceedings of the International Neural Network Society Workshop on Deep Learning Innovations and Applications, 2023

Plug-and-Play Feature for Automotive Camera Sensors Using ReCoIN Model With Smart Configuration.

Goutham Bharadwaj Ramesh, Mohamad Chamas, Marc Schindewolf, David Kraus, Eric Sax

Proceedings of the 12th International Conference on Control, 2023

Improving the Validation of Automotive Self-Learning Systems through the Synergy of Scenario-Based Testing and Metamorphic Relations.

Marco Stang, Martin Sommer, David Kraus, Eric Sax

Proceedings of the IEEE/ACM 10th International Conference on Big Data Computing, 2023

2019

Inferential procedures for partially observed functional data.

David Kraus

J. Multivar. Anal., 2019

2017

Exploring impacts of vegetated buffer strips on nitrogen cycling using a spatially explicit hydro-biogeochemical modeling approach.

Steffen Klatt, David Kraus, Philipp Kraft, Lutz Breuer, Martin Wlotzka, Vincent Heuveline, Edwin Haas, Ralf Kiese, Klaus Butterbach-Bahl

Environ. Model. Softw., 2017

Rejecting hydro-biogeochemical model structures by multi-criteria evaluation.

Tobias Houska, Philipp Kraft, R. Liebermann, Steffen Klatt, David Kraus, Edwin Haas, I. Santabarbara, Ralf Kiese, Klaus Butterbach-Bahl, C. Müller, Lutz Breuer

Environ. Model. Softw., 2017

2009

Checking Proportional Rates in the Two-Sample Transformation Model.

David Kraus

Kybernetika, 2009