Explore projects

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

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

Library for abstraction and concretization of stream of messages of certain similarity or class.

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.

A project for the course Computer Communications and Networks (bachelor's studies).

This bachelor thesis deals with the investigation of amplitude and phase frequency responses of linear electrical circuits. It compares classical methods of investigation using a symbolic-complex method with investigation using dierential e

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

A tool for testing a network system under different circumstances of a transmission line. The tool simulates various network conditions, which may result from real faults (like packet loss, big lattency, jitter).

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