Department of Intelligent Systems

Products, prototypes and software

Name:
Type:
From year:  Years:  

2012A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level, software, 2012
Authors: Fiedor Jan, Vojnar Tomáš
 GDEfALLL: Graphical development environment for ALLL language, software, 2012
Authors: Horáček Jan, Zbořil František, Žák Jakub
 HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware, software, 2012
Authors: Šimková Marcela, Lengál Ondřej, Kajan Michal
 ITS, software, 2012
Authors: Hradiš Michal, Kolář Martin, Král Jiří, Láník Aleš, Nohejl Petr, Procházka Václav, Smrž Pavel, Zemčík Pavel
 Obstacle avoidance module for robotic systems, software, 2012
Authors: Rozman Jaroslav, Luža Radim, Baizid Khelifa, Beran Vítězslav
 Prototypes-2012, software, 2012
Authors: Janoušek Vladimír
 The probe for angle of attack measurement, specimen, 2012
Authors: Marvan Aleš, Navrátil Jan, Zikmund Pavel
 VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata, software, 2012
Authors: Lengál Ondřej, Šimáček Jiří, Vojnar Tomáš
2011A Tool Chain Combining Dynamic Analysis and Bounded Model Checking, software, 2011
Authors: Fiedor Jan, Hrubá Vendula, Křena Bohuslav, Vojnar Tomáš
 Control touch unit RF Touch, prototype, 2011
Authors: Konečný Jiří, Holain Martin, Vávra Milan, Ticháček Jan, Drahanský Martin, Orság Filip
 OCRP Solver: A Tool for Solving the OCRP Problem, software, 2011
Authors: Fiedor Jan
 Rasters for GRASS 7, software, 2011
Authors: Hrubý Martin
 RF transmitter: Wireless temperature sensor RFTI-10B, prototype, 2011
Authors: Konečný Jiří, Kolář Zdeněk, Vávra Milan, Drahanský Martin, Orság Filip, Váňa Jan, Dvořák Radim
 SmallDEVS for Squeak 4.3, software, 2011
Authors: Janoušek Vladimír
 Switching actor with temperature sensor RFTSI-11B, prototype, 2011
Authors: Konečný Jiří, Vávra Milan, Kolář Zdeněk, Drahanský Martin, Orság Filip, Marvan Aleš, Hájek Josef

Your IPv4 address: 23.20.196.179
Switch to IPv6 connection

DNSSEC [dnssec]