Explore projects

Demonstration of VALU3S web for ITS course

Eclipse-compatible Eclipse Arrowhead client.

Editor and Solver of Cause-Effect-Graphs

RTL query engine (as a part of HADES)

Browser library for developing JavaScript-based OSLC domains and clients.

RoadRunner eXtended. Dynamic analyzer for Java programs extended by means for easy monitoring of multi-threaded programs. Forked from RoadRunner.

Demonstration of VALU3S web for ITS course

VeriFIT Reusable Java Components.

An extension of libvata using bisimulation up-to congruence to check language inclusion of tree automata

Project for testing development of Eclipse plugins using Maven and distributing them as maven or p2 packages.

Tyrant is an open source tool, that learns from the logs of captured communication (in form of messages) and reproduces the run in form of the so called scenario.

Local copy of Roadrunner, original: https://github.com/stephenfreund/RoadRunner

Automated Gui Guidelines Testing

A Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning