Explore projects

Project by Oscar Alexander Kirschstein Schäfer

Project start: 12/2022 Supervised by Michael Behrisch and Yuncong Yu

Service that tests the connection to a users database. Called from the frontend before a user can add the database to prevent adding a database with invalid credentials.

An automated unit testing tool for Java classes.

Containerized LOLA image for analyzing Petri nets via endpoint.