Products, prototypes, and software
| 2012 | Decipher focused crawler, prototype, 2012
Authors: Mrnuštík Michal |
| | HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware, software, 2012
Authors: Šimková Marcela, Lengál Ondřej, Kajan Michal |
| | VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata, software, 2012
Authors: Lengál Ondřej, Šimáček Jiří, Vojnar Tomáš |
| 2011 | A Tool Chain Combining Dynamic Analysis and Bounded Model Checking, software, 2011
Authors: Fiedor Jan, Hrubá Vendula, Křena Bohuslav, Vojnar Tomáš |
| | BUT Recognizer of GeoNames, software, 2011
Authors: Otrusina Lubomír, Smrž Pavel, Sznapka Jakub, Šafář Martin |
| | Control touch unit RF Touch, prototype, 2011
Authors: Konečný Jiří, Holain Martin, Vávra Milan, Ticháček Jan, Drahanský Martin, Orság Filip |
| | First-stage SD card bootloader for FPGA-based processors, software, 2011
Authors: Košař Vlastimil, Korček Pavol |
| | Homepage reSearcher, software, 2011
Authors: Heller Stanislav, Lokaj Tomáš, Otrusina Lubomír, Smrž Pavel |
| | Images iterative filtering tool using deconvolutional approach, software, 2011
Authors: Štancl Vít |
| | Import datasets tool from TRECVID base to VTAPI DB, software, 2011
Authors: Láník Aleš |
| | Integrated Development Environment VLAM, software, 2011
Authors: Jirák Ota, Křivka Zbyněk, Olšarová Nela, Vašíček Zdeněk |
| | LMF dictionary conversion scripts, software, 2011
Authors: Kouřil Jan |
| | Microprocessor ADOP, specimen, 2011
Authors: Hruška Tomáš, Masařík Karel, Přikryl Zdeněk, Husár Adam, Fujcik Lukáš, Pristach Marián |
| | NetCOPE for the NetFPGA-10G card, software, 2011
Authors: Korček Pavol, Košař Vlastimil, Koranda Karel |
| | Network benchmarks for embedded processors, software, 2011
Authors: Korček Pavol, Kořenek Jan, Špinler Martin, Kekely Lukáš, Matoušek Denis, Viktorin Jan |
| | NeXD: Native XML Database, software, 2011
Authors: Kubíček Daniel, Chmelař Petr, Losert Jakub, Piwko Karel, Hernych Radim |
| | OCRP Solver: A Tool for Solving the OCRP Problem, software, 2011
Authors: Fiedor Jan |
| | PDF DOM Parser, software, 2011
Authors: Burget Radek |
| | 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 |
| | SKWIC Text Clustering Tool, software, 2011
Authors: Bartík Vladimír, Miloš Roman |
| | 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 |
| | Virtual collaborative environment, software, 2011
Authors: Kršek Přemysl, Španěl Michal, Švub Miroslav, Štancl Vít, Šiler Ondřej, Bartoň Radek |
| 2010 | A Cross-platform Discrete Wavelet Transform Library, software, 2010
Authors: Bařina David, Zemčík Pavel |
| | An Easy to Use Infrastructure for Building Static Analysis Tools, software, 2010
Authors: Dudka Kamil, Peringer Petr, Vojnar Tomáš |
| | Analysis of data from social networks, software, 2010
Authors: Otrusina Lubomír, Smrž Pavel |
| | AnalyzeThis: Protocol Analyzer, software, 2010
Authors: Jurnečka Peter, Hanáček Petr |
| | Auto Profile-photo Maker, software, 2010
Authors: Beran Vítězslav |
| | Automatic robot localization based on visual and range sensors, software, 2010
Authors: Šolony Marek |
| | CASim - Cellular Automata Simulator, software, 2010
Authors: Bidlo Michal |
| | Classifier creation framework for diverse classification tasks, software, 2010
Authors: Bařina David, Hradiš Michal, Řezníček Ivo, Zemčík Pavel |
| | CLucene indexing tool, software, 2010
Authors: Polok Lukáš, Smrž Pavel |
| | Connexion, software, 2010
Authors: Smrž Pavel, Šperka Svatopluk |
| | ContextGraph: Simulation tool for Hierarchical Model of Trust In Contexts, software, 2010
Authors: Samek Jan, Zbořil František, Malačka Ondřej |
| | Cosign filter implementation in PHP, software, 2010
Authors: Lampa Petr |
| | Czech LVCSR for the telephone channel, software, 2010
Authors: Szőke Igor, Karafiát Martin, Chalupníček Kamil, Grézl František, Andrla Petr |
| | Czech Snowball Stemmer, software, 2010
Authors: Hellebrand David, Chmelař Petr |
| | English LVCSR for the telephone channel, software, 2010
Authors: Karafiát Martin, Szőke Igor, Grézl František |
| | EvoCCs - Tool for evolutionary design of broadcast and scatter based collective communications on wormhole networks, software, 2010
Authors: Jaroš Jiří |
| | EvoMult - System for Evolutionary Development of Generic Combinational Multipliers, software, 2010
Authors: Bidlo Michal |
| | EvoSort - System for Evolutionary Development of Generic Sorting Networks, software, 2010
Authors: Bidlo Michal |
| | Flexible platform for rapid prototyping of embedded systems, specimen, 2010
Authors: Šimek Václav, Růžička Richard |
| | Forester: A Tool for Verification of Programs with Pointers, software, 2010
Authors: Habermehl Peter, Holík Lukáš, Rogalewicz Adam, Šimáček Jiří, Vojnar Tomáš |
| | Framework for Formal Verification of Clock Domain Crossing, software, 2010
Authors: Smrčka Aleš, Vojnar Tomáš |
| | Geolocation Service for DPWS, software, 2010
Authors: Rychlý Marek |
| | Graph Annotation Tool, software, 2010
Authors: Koriťák Jan, Láník Aleš, Zuzaňák Jiří, Přibyl Bronislav, Zemčík Pavel |
| | GSegmentator, software, 2010
Authors: Doležel Michal |
| | GStreamer Adaboost plugin, software, 2010
Authors: Mlích Jozef, Juránek Roman, Zemčík Pavel, Jošth Radovan, Hradiš Michal, Herout Adam, Havel Jiří |
| | GUI for dactyloscopy, software, 2010
Authors: Lodrová Dana |
| | GUI for fast fingerprinting, software, 2010
Authors: Dluhoš Ondřej, Doležel Michal, Lodrová Dana |
| | Hierarchy of Parts, software, 2010
Authors: Nečas Ondřej, Herout Adam, Zemčík Pavel, Bařina David |
| | Identification of palindrome-forming sequences, software, 2010
Authors: Martínek Tomáš, Lexa Matej |
| | Identification of triplex-forming sequences, software, 2010
Authors: Martínek Tomáš, Lexa Matej, Kopeček Daniel, Burgetová Ivana |
| | Image Processing Server, software, 2010
Authors: Zuzaňák Jiří, Přibyl Bronislav, Láník Aleš, Smrž Pavel |
| | KiWi Information Extraction Service, software, 2010
Authors: Schmidt Marek, Smrž Pavel |
| | libSFTA: A Semi-symbolic Nondeterministic Finite Tree Automata Library Prototype, software, 2010
Authors: Holík Lukáš, Lengál Ondřej, Vojnar Tomáš |
| | Light Aircraft Flight Simulator SimStar, specimen, 2010
Authors: Chudý Peter, Bartoň Radek, Bílek Jan |
| | MoonGate: Modular Real-Time Strategy Engine, software, 2010
Authors: Kajan Rudolf, Herout Adam |
| | Multiplatform Framework for Object Detection, software, 2010
Authors: Juránek Roman, Zemčík Pavel, Hradiš Michal, Herout Adam |
| | Multiplatform Software for Line Detection, software, 2010
Authors: Dubská Markéta, Herout Adam, Zemčík Pavel |
| | Netbench - Framework for experiments with packet processing algorithms, software, 2010
Authors: Kajan Michal, Kaštil Jan, Kořenek Jan, Košař Vlastimil, Puš Viktor, Tobola Jiří, Žádník Martin |
| | Neural Network Trainer TNet, software, 2010
Authors: Veselý Karel |
| | Obstacle detector for robotic systems based on visual and range sensor fusion, software, 2010
Authors: Svoboda Pavel, Beran Vítězslav |
| | Online human action recognition framework, software, 2010
Authors: Řezníček Ivo, Hradiš Michal, Zemčík Pavel |
| | Optical system for hologram reconstruction, specimen, 2010
Authors: Kovář Libor, Seeman Michal, Zemčík Pavel |
| | Point Cloud Rendering System, software, 2010
Authors: Herout Adam, Maršík Lukáš, Zemčík Pavel |
| | Predator: A Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic, software, 2010
Authors: Dudka Kamil, Peringer Petr, Vojnar Tomáš |
| | Random Indexing on GPU, software, 2010
Authors: Polok Lukáš, Smrž Pavel |
| | Recording system of robotic data for several synchronized sensors, software, 2010
Authors: Šolony Marek, Maršík Lukáš |
| | Replay Tracer & BMC, software, 2010
Authors: Fiedor Jan, Hrubá Vendula, Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš |
| | ReTIN: Real-Time Indexing, software, 2010
Authors: Chmelař Petr, Šebek Michal, Zendulka Jaroslav, Drozd Michal |
| | Robust gender identification from speech, software, 2010
Authors: Matějka Pavel, Cipr Tomáš, Schwarz Petr |
| | Robust language identification from speech, software, 2010
Authors: Matějka Pavel, Glembek Ondřej, Cipr Tomáš, Schwarz Petr, Plchot Oldřich, Burget Lukáš |
| | Robust speaker identification from speech, software, 2010
Authors: Matějka Pavel, Glembek Ondřej, Cipr Tomáš, Schwarz Petr, Plchot Oldřich, Burget Lukáš |
| | Search-based Testing Environment (SearchBestie), software, 2010
Authors: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav |
| | Server for sharing annotations, software, 2010
Authors: Dytrych Jaroslav, Smrž Pavel |
| | Servo control system for stage technology, software, 2010
Authors: Ševcovic Jiří, Zemčík Pavel |
| | Shared Image Preprocessing, software, 2010
Authors: Žák Pavel, Hradiš Michal, Smrž Pavel, Zemčík Pavel |
| | Simple Single View Scene Calibration, software, 2010
Authors: Přibyl Bronislav, Zemčík Pavel |
| | Speech search, software, 2010
Authors: Fapšo Michal |
| | Speech Tagging, software, 2010
Authors: Smrž Pavel, Schmidt Marek, Zuzaňák Jiří, Přibyl Bronislav, Navrátil Jan, Láník Aleš, Burget Lukáš, Cipr Tomáš, Fapšo Michal, Glembek Ondřej, Grézl František, Chalupníček Kamil, Karafiát Martin, Matějka Pavel, Schwarz Petr, Szőke Igor |
| | Text Preprocessing Tool, software, 2010
Authors: Šabatka Ondřej, Bartík Vladimír |
| | The numeric citation variant of the ISO 690(-2) style in CSL, testing, 2010
Authors: Chmelař Petr |
| | T-Mass(X), A Tool for Multi-agent System Simulation, software, 2010
Authors: Zbořil František, Horáček Jan, Samek Jan |
| | Tool for scan chain routability visualisation, analysis and optimization, software, 2010
Authors: Bartoš Pavel, Kotásek Zdeněk |
| | Tool for simulation of Queuing systems by Petri nets, software, 2010
Authors: Drozdová Martina, Zbořil František V. |
| | Tool for verification of systems described using the Modechart formalism, software, 2010
Authors: Gach Marek, Fiedor Jan, Češka Milan |
| | Tool for verification of systems specified in RT-Logic language, software, 2010
Authors: Fiedor Jan, Gach Marek, Češka Milan |
| | Web Interface for Training of Detection Classifiers, software, 2010
Authors: Hradiš Michal, Juránek Roman |
| | WSageNt, software, 2010
Authors: Horáček Jan, Zbořil František |
| | 3D model reconstruction from point clouds, software, 2010
Authors: Hulík Rostislav, Španěl Michal |
|
Faculty of Information Technology
![[dnssec]](/common/img/dnssec.png)