Department of Intelligent Systems

Products, prototypes and software

From year:  Years:  

2018MINA: A Tool for Verification of Programs with an Unbounded Number of Threads, software, 2018
Authors: Holík Lukáš, Turoňová Lenka, Vojnar Tomáš
 Ranger: A Tool for Bounds Analysis of Heap-Manipulating Programs, software, 2018
Authors: Fiedor Tomáš, Holík Lukáš, Rogalewicz Adam, Sinn Moritz, Vojnar Tomáš, Zuleger Florian
 Semiautomated 2D hand features scanner, specimen, 2018
Authors: Dvořák Michal, Stehlík Petr, Drahanský Martin
 Sloth: An SMT Solver for String Constraints, software, 2018
Authors: Holík Lukáš, Janků Petr, Lin Anthony W., Rummer Philipp, Vojnar Tomáš
 SYDAGenerator - tool for generating datasets using a 3D model, software, 2018
Authors: Goldmann Tomáš, Drahanský Martin
2017FOS: Fast ODE Solver, software, 2017
Authors: Kocina Filip
 Gaston - Symbolic WS1S Solver, software, 2017
Authors: Fiedor Tomáš, Holík Lukáš, Janků Petr, Lengál Ondřej, Vojnar Tomáš
 Shooting equipment for short firearms, specimen, 2017
Authors: Goldmann Tomáš, Dvořák Michal, Spurný Martin, Drahanský Martin
2016Application fo biometric liveness detection on fingers, software, 2016
Authors: Mézl Martin, Smital Lukáš, Provazník Ivo, Drahanský Martin
 Detection of fingerprint area, software, 2016
Authors: Doležel Michal, Kanich Ondřej, Drahanský Martin
 Face recognition from a quadcopter, software, 2016
Authors: Mikundová Lea, Drahanský Martin
 HeadViewer - simulation tool for viewing head from the CCTV camera position, software, 2016
Authors: Goldmann Tomáš, Drahanský Martin
 The radio communication module for sensors, prototype, 2016
Authors: Korček Pavol, Hájek Josef

Your IPv4 address:
Switch to IPv6 connection

DNSSEC [dnssec]