Explore projects

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

ANaConDA framework bundled with several built-in analysers.

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

A library for extracting debugging information from binary files.

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

Dataster eXtended (dataster + combine)

Test input data generator (model-based testing)

Demonstration of VALU3S web for ITS course

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

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

Maven projects for building Eclipse Update Sites containing Maven libraries transformed into Eclipse plugins.

Příklady záznamů webového serveru.

Experimental extension of Forester for Resource Bounds computation.