Explore projects

Vstupy pro 1. projekt do IOSu (2022).

RTL query engine (as a part of HADES)

Detector of semantics of data in relational databases

Widget Recognition

Eclipse-compatible Eclipse Arrowhead client.

Demonstration of VALU3S web for ITS course

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

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

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).

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.

MINA is a tool for verification of programs with an unbounded number of threads.