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.

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