Postdoc at the Chair of Programming Systems, Maintainer of AutomataLib & LearnLib at @LearnLib
-
TU Dortmund University
- Dortmund, Germany
-
04:40
(UTC +01:00)
Popular repositories Loading
-
learnlib-py4j-example
learnlib-py4j-example PublicExample for learning a Python based system using LearnLib and Py4J
-
-
buildergen
buildergen PublicForked from misberner/buildergen
An Annotation Processor for automatically generating builder classes in Java
Java
-
havelund65
havelund65 Public archiveAccompanying source code for the benchmark of the paper "A Context-Free Symbiosis of Runtime Verification & Automata Learning".
Java
-
jackson-json-crypto
jackson-json-crypto PublicForked from codesqueak/jackson-json-crypto
Jackson Crypto Extension Module
Java
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.