To content
Fakultät für Informatik
Automated Quality Assurance

Richard Stewing, M.Sc.

E-Mail
richard.stewingtu-dortmundde

Phone
(+49) 231 755-7736

Office
TU Dortmund University
Department for Computer Science
Otto-Hahn-Straße 12
44227 Dortmund
Room 2.008

Consultation Hours
By appointment

Links
ORCID
GitHub

Publications

2022

Neural network verification with DSE
Benedikt Böing, Falk Howar, Jelle Hüntelmann, Emmanuel Müller, Richard Stewing
In:  4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (Overlay 2022)
Preprint

Open Theses

Current Theses

Berechnung und Visualisierung von Pfadabdeckung in GDart
Bachelor thesis

Supervised Theses

2024
Purely Functional Data Structures
Bachelor thesis
Implementierung und Verifikation von Purely Functional Data Structures
Bachelor thesis
2023
Formal Verification of a Hydrogen Generation System by Model Checking
Master thesis
Der Effekt von semantischem Bias in den Trainingsdaten von künstlichen neuronalen Netzen am Beispiel der Ampel-Erkennung in Carla-Simulationsdaten unter unterschiedlichen Wetterbedingungen
Bachelor thesis