ftsrg

Thesis template for LaTeX documents.

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

Incremental view maintenance for openCypher graph queries.

SEViz (Symbolic Execution VisualIZer) is a tool for visualizing symbolic execution-based test generation

Graph-based incremental static analysis of ECMAScript 6 source code repositories

An Eclipse-based modeling Framework for the component-based design and analysis of reactive systems

Some lecture notes of the research group

The Train Benchmark framework for evaluating incremental model validation performance

Extensible model validator framework for Enterprise Architect