mtf90
Postdoc at the Chair of Programming Systems, Maintainer of AutomataLib & LearnLib at @LearnLib
TU Dortmund UniversityDortmund, Germany
Pinned Repositories
automatalib
A free, open-source Java library for modeling automata, graphs, and transition systems
buildergen
An Annotation Processor for automatically generating builder classes in Java
checker-framework
Pluggable type-checking for Java
ci-playground
A playground project to test various CI configurations
eisenPOWA
A small playground project for fiddling around with Kotlin, Java 21 and JavaFX
havelund65
Accompanying source code for the benchmark of the paper "A Context-Free Symbiosis of Runtime Verification & Automata Learning".
learnlib-py4j-example
Example for learning a Python based system using LearnLib and Py4J
mtf90's Repositories
mtf90/learnlib-py4j-example
Example for learning a Python based system using LearnLib and Py4J
mtf90/eisenPOWA
A small playground project for fiddling around with Kotlin, Java 21 and JavaFX
mtf90/automatalib
A free, open-source Java library for modeling automata, graphs, and transition systems
mtf90/buildergen
An Annotation Processor for automatically generating builder classes in Java
mtf90/checker-framework
Pluggable type-checking for Java
mtf90/ci-playground
A playground project to test various CI configurations
mtf90/havelund65
Accompanying source code for the benchmark of the paper "A Context-Free Symbiosis of Runtime Verification & Automata Learning".
mtf90/jackson-json-crypto
Jackson Crypto Extension Module
mtf90/learnlib
A free, open-source Java library for automata learning algorithms