Explore projects

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

Extracting CFGs from Java programs using analysis of bytecode.

Control Flow Graph Query Engine. Algorithms and data structures (API) for queries manipulating CFG (such as building CFG during compilation, CFG traversal, node/edge metadata manipulation).

Eclipse Task Executor

Test Management Tool

SUT Fixture using Docker

Core system of DB detectors.

Java Task Executor

Testing Environment via Cluster Solution

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 library for extracting debugging information from binary files.

ANaConDA framework bundled with several built-in analysers.

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

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