Bachelor

Runtime Verification of Computer Vision Deep Neural Networks against Symbolic Constraints

for Degree:

Contact Person:

Advanced Text Understanding for Budget Auditing Using Domain-Specific Languages

for Degree:

Contact Person:

Evaluating Action Reversibility in STRIPS

for Degree:

Contact Person:

Risk Management and Usability Engineering for Medical Devices in the Context of a Usability Assessment of the HomeOCT Project

for Degree:

Contact Person:

Runtime Verification of temporal Petri Net Properties

for Degree:

Contact Person:

Fehlerhandling in Microservice Architekturen

for Degree:

Contact Person:

Constraint-basierte Optimierung im Reallabor Nutzerzentriertes Bi-direktionales Laden (ReNuBiL)

for Degree:

Contact Person:

M. Sachenbacher

Untersuchung unterschiedlicher Zielfunktionen bei der constraintbasierten Schleusenbelegungsplanung

for Degree:

Contact Person:

NoSQL Database Systems in Business Information Systems

for Degree:

Contact Person:

Machine Learning for Time Series Prediction of Energy Data

for Degree:

Contact Person:

M. Sachenbacher

Pages