Explore projects

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.

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

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

VeriFIT Reusable Java Components.

Demonstration of VALU3S web for ITS course

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

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

RTL query engine (as a part of HADES)

Editor and Solver of Cause-Effect-Graphs

Eclipse-compatible Eclipse Arrowhead client.

Demonstration of VALU3S web for ITS course

A tool for automated translation of specification to a structured data.

Commercial Aerospace Modeling Set