🏆 Show off this rank
Add it to a GitHub README or profile — the card updates as the ranking changes:
Repositories (9)
Thesis template for LaTeX documents.
Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
Incremental view maintenance for openCypher graph queries.
Graph-based incremental static analysis of ECMAScript 6 source code repositories
SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation
Some lecture notes of the research group
An Eclipse-based modeling Framework for the component-based design and analysis of reactive systems
The Train Benchmark framework for evaluating incremental model validation performance
Extensible model validator framework for Enterprise Architect