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ás
 GDEfALLL: Graphical development environment for ALLL language, software, 2012
Authors: Horácek Jan, Zboril Frantisek, Zák Jakub
 HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware, software, 2012
Authors: Simková Marcela, Lengál Ondrej, Kajan Michal
 ITS, software, 2012
Authors: Hradis Michal, Kolár Martin, Král Jirí, Láník Ales, Nohejl Petr, Procházka Václav, Smrz Pavel, Zemcík Pavel
 Obstacle avoidance module for robotic systems, software, 2012
Authors: Rozman Jaroslav, Luza Radim, Baizid Khelifa, Beran Vítezslav
 Prototypes-2012, software, 2012
Authors: Janousek Vladimír
 The probe for angle of attack measurement, specimen, 2012
Authors: Marvan Ales, Navrátil Jan, Zikmund Pavel
 VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata, software, 2012
Authors: Lengál Ondrej, Simácek Jirí, Vojnar Tomás
2011A Tool Chain Combining Dynamic Analysis and Bounded Model Checking, software, 2011
Authors: Fiedor Jan, Hrubá Vendula, Krena Bohuslav, Vojnar Tomás
 Control touch unit RF Touch, prototype, 2011
Authors: Konecný Jirí, Holain Martin, Vávra Milan, Tichácek 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: Konecný Jirí, Kolár Zdenek, Vávra Milan, Drahanský Martin, Orság Filip, Vána Jan, Dvorák Radim
 SmallDEVS for Squeak 4.3, software, 2011
Authors: Janousek Vladimír
 Switching actor with temperature sensor RFTSI-11B, prototype, 2011
Authors: Konecný Jirí, Vávra Milan, Kolár Zdenek, Drahanský Martin, Orság Filip, Marvan Ales, Hájek Josef

Your IPv4 address: 54.234.180.187
Switch to IPv6 connection

DNSSEC [dnssec]