Products, prototypes, and software
| 2012 | Autopilot mode selection panel, specimen, 2012
Authors: Simek Václav, Ruzicka Richard, Chudý Peter |
| | Avionics modules with CAN Aerospace interface, specimen, 2012
Authors: Simek Václav, Ruzicka Richard, Chudý Peter |
| | Decipher focused crawler, prototype, 2012
Authors: Mrnustík Michal |
| | GPGPU implementation of the GA running the kanpsack benchmark, software, 2012
Authors: Jaros Jirí |
| | HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware, software, 2012
Authors: Simková Marcela, Lengál Ondrej, Kajan Michal |
| | Inertial measurement unit module, specimen, 2012
Authors: Simek Václav, Ruzicka Richard, Chudý Peter |
| | 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 |
| 2011 | A Tool Chain Combining Dynamic Analysis and Bounded Model Checking, software, 2011
Authors: Fiedor Jan, Hrubá Vendula, Krena Bohuslav, Vojnar Tomás |
| | BUT Recognizer of GeoNames, software, 2011
Authors: Otrusina Lubomír, Smrz Pavel, Sznapka Jakub, Safár Martin |
| | CamSafe, software, 2011
Authors: Chmelar Petr |
| | Control touch unit RF Touch, prototype, 2011
Authors: Konecný Jirí, Holain Martin, Vávra Milan, Tichácek Jan, Drahanský Martin, Orság Filip |
| | Homepage reSearcher, software, 2011
Authors: Heller Stanislav, Lokaj Tomás, Otrusina Lubomír, Smrz Pavel |
| | Images iterative filtering tool using deconvolutional approach, software, 2011
Authors: Stancl Vít |
| | Import datasets tool from TRECVID base to VTAPI DB, software, 2011
Authors: Láník Ales |
| | Integrated Development Environment VLAM, software, 2011
Authors: Jirák Ota, Krivka Zbynek, Olsarová Nela, Vasícek Zdenek |
| | Linux based Honeypot, software, 2011
Authors: Mlcoch Tomás, Chmelar Petr, Richter Jan |
| | LMF dictionary conversion scripts, software, 2011
Authors: Kouril Jan |
| | Microprocessor ADOP, specimen, 2011
Authors: Hruska Tomás, Masarík Karel, Prikryl Zdenek, Husár Adam, Fujcik Lukás, Pristach Marián |
| | NetCOPE for the NetFPGA-10G card, software, 2011
Authors: Korcek Pavol, Kosar Vlastimil, Koranda Karel |
| | OCRP Solver: A Tool for Solving the OCRP Problem, software, 2011
Authors: Fiedor Jan |
| | PDF DOM Parser, software, 2011
Authors: Burget Radek |
| | PostgreSQL XML Index FastX, software, 2011
Authors: Pospísil Tomás, Chmelar Petr |
| | Rasters for GRASS 7, software, 2011
Authors: Hrubý Martin |
| | RESTful Interfaces to the Geolocation Service, software, 2011
Authors: Rychlý Marek |
| | 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 |
| | SKWIC Text Clustering Tool, software, 2011
Authors: Bartík Vladimír, Milos Roman |
| | 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 |
| | Virtual collaborative environment, software, 2011
Authors: Krsek Premysl, Spanel Michal, Svub Miroslav, Stancl Vít, Siler Ondrej, Barton Radek |
| 2010 | A Cross-platform Discrete Wavelet Transform Library, software, 2010
Authors: Barina David, Zemcík Pavel |
| | An Easy to Use Infrastructure for Building Static Analysis Tools, software, 2010
Authors: Dudka Kamil, Peringer Petr, Vojnar Tomás |
| | Analysis of data from social networks, software, 2010
Authors: Otrusina Lubomír, Smrz Pavel |
| | AnalyzeThis: Protocol Analyzer, software, 2010
Authors: Jurnecka Peter, Hanácek Petr |
| | Auto Profile-photo Maker, software, 2010
Authors: Beran Vítezslav |
| | Automatic robot localization based on visual and range sensors, software, 2010
Authors: Solony Marek |
| | CASim - Cellular Automata Simulator, software, 2010
Authors: Bidlo Michal |
| | Classifier creation framework for diverse classification tasks, software, 2010
Authors: Barina David, Hradis Michal, Reznícek Ivo, Zemcík Pavel |
| | CLucene indexing tool, software, 2010
Authors: Polok Lukás, Smrz Pavel |
| | Connexion, software, 2010
Authors: Smrz Pavel, Sperka Svatopluk |
| | ContextGraph: Simulation tool for Hierarchical Model of Trust In Contexts, software, 2010
Authors: Samek Jan, Zboril Frantisek, Malacka Ondrej |
| | Cosign filter implementation in PHP, software, 2010
Authors: Lampa Petr |
| | Czech LVCSR for the telephone channel, software, 2010
Authors: Szoke Igor, Karafiát Martin, Chalupnícek Kamil, Grézl Frantisek, Andrla Petr |
| | Czech Snowball Stemmer, software, 2010
Authors: Hellebrand David, Chmelar Petr |
| | English LVCSR for the telephone channel, software, 2010
Authors: Karafiát Martin, Szoke Igor, Grézl Frantisek |
| | EvoCCs - Tool for evolutionary design of broadcast and scatter based collective communications on wormhole networks, software, 2010
Authors: Jaros Jirí |
| | 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: Simek Václav, Ruzicka Richard |
| | Forester: A Tool for Verification of Programs with Pointers, software, 2010
Authors: Habermehl Peter, Holík Lukás, Rogalewicz Adam, Simácek Jirí, Vojnar Tomás |
| | Framework for Formal Verification of Clock Domain Crossing, software, 2010
Authors: Smrcka Ales, Vojnar Tomás |
| | Geolocation Service for DPWS, software, 2010
Authors: Rychlý Marek |
| | Graph Annotation Tool, software, 2010
Authors: Koriták Jan, Láník Ales, Zuzanák Jirí, Pribyl Bronislav, Zemcík Pavel |
| | GSegmentator, software, 2010
Authors: Dolezel Michal |
| | GStreamer Adaboost plugin, software, 2010
Authors: Mlích Jozef, Juránek Roman, Zemcík Pavel, Josth Radovan, Hradis Michal, Herout Adam, Havel Jirí |
| | GUI for dactyloscopy, software, 2010
Authors: Lodrová Dana |
| | GUI for fast fingerprinting, software, 2010
Authors: Dluhos Ondrej, Dolezel Michal, Lodrová Dana |
| | Hierarchy of Parts, software, 2010
Authors: Necas Ondrej, Herout Adam, Zemcík Pavel, Barina David |
| | Identification of palindrome-forming sequences, software, 2010
Authors: Martínek Tomás, Lexa Matej |
| | Identification of triplex-forming sequences, software, 2010
Authors: Martínek Tomás, Lexa Matej, Kopecek Daniel, Burgetová Ivana |
| | Image Processing Server, software, 2010
Authors: Zuzanák Jirí, Pribyl Bronislav, Láník Ales, Smrz Pavel |
| | KiWi Information Extraction Service, software, 2010
Authors: Schmidt Marek, Smrz Pavel |
| | libSFTA: A Semi-symbolic Nondeterministic Finite Tree Automata Library Prototype, software, 2010
Authors: Holík Lukás, Lengál Ondrej, Vojnar Tomás |
| | Light Aircraft Flight Simulator SimStar, specimen, 2010
Authors: Chudý Peter, Barton 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, Zemcík Pavel, Hradis Michal, Herout Adam |
| | Multiplatform Software for Line Detection, software, 2010
Authors: Dubská Markéta, Herout Adam, Zemcík Pavel |
| | Netbench - Framework for experiments with packet processing algorithms, software, 2010
Authors: Kajan Michal, Kastil Jan, Korenek Jan, Kosar Vlastimil, Pus Viktor, Tobola Jirí, Zádník Martin |
| | Network benchmarks for embedded processors, software, 2010
Authors: Korcek Pavol, Korenek Jan, Spinler Martin, Kekely Lukás, Matousek Denis, Viktorin Jan |
| | Neural Network Trainer TNet, software, 2010
Authors: Veselý Karel |
| | NeXD: Native XML Database, software, 2010
Authors: Kubícek Daniel, Chmelar Petr, Losert Jakub, Piwko Karel, Hernych Radim |
| | Obstacle detector for robotic systems based on visual and range sensor fusion, software, 2010
Authors: Svoboda Pavel, Beran Vítezslav |
| | Online human action recognition framework, software, 2010
Authors: Reznícek Ivo, Hradis Michal, Zemcík Pavel |
| | Optical system for hologram reconstruction, specimen, 2010
Authors: Kovár Libor, Seeman Michal, Zemcík Pavel |
| | Point Cloud Rendering System, software, 2010
Authors: Herout Adam, Marsík Lukás, Zemcík Pavel |
| | Predator: A Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic, software, 2010
Authors: Dudka Kamil, Peringer Petr, Vojnar Tomás |
| | Random Indexing on GPU, software, 2010
Authors: Polok Lukás, Smrz Pavel |
| | Recording system of robotic data for several synchronized sensors, software, 2010
Authors: Solony Marek, Marsík Lukás |
| | Replay Tracer & BMC, software, 2010
Authors: Fiedor Jan, Hrubá Vendula, Krena Bohuslav, Letko Zdenek, Vojnar Tomás |
| | ReTIN: Real-Time Indexing, software, 2010
Authors: Chmelar Petr, Sebek Michal, Zendulka Jaroslav, Drozd Michal |
| | Robust gender identification from speech, software, 2010
Authors: Matejka Pavel, Cipr Tomás, Schwarz Petr |
| | Robust language identification from speech, software, 2010
Authors: Matejka Pavel, Glembek Ondrej, Cipr Tomás, Schwarz Petr, Plchot Oldrich, Burget Lukás |
| | Robust speaker identification from speech, software, 2010
Authors: Matejka Pavel, Glembek Ondrej, Cipr Tomás, Schwarz Petr, Plchot Oldrich, Burget Lukás |
| | Search-based Testing Environment (SearchBestie), software, 2010
Authors: Letko Zdenek, Vojnar Tomás, Krena Bohuslav |
| | Server for sharing annotations, software, 2010
Authors: Dytrych Jaroslav, Smrz Pavel |
| | Servo control system for stage technology, software, 2010
Authors: Sevcovic Jirí, Zemcík Pavel |
| | Shared Image Preprocessing, software, 2010
Authors: Zák Pavel, Hradis Michal, Smrz Pavel, Zemcík Pavel |
| | Simple Single View Scene Calibration, software, 2010
Authors: Pribyl Bronislav, Zemcík Pavel |
| | Speech search, software, 2010
Authors: Fapso Michal |
| | Speech Tagging, software, 2010
Authors: Smrz Pavel, Schmidt Marek, Zuzanák Jirí, Pribyl Bronislav, Navrátil Jan, Láník Ales, Burget Lukás, Cipr Tomás, Fapso Michal, Glembek Ondrej, Grézl Frantisek, Chalupnícek Kamil, Karafiát Martin, Matejka Pavel, Schwarz Petr, Szoke Igor |
| | Text Preprocessing Tool, software, 2010
Authors: Sabatka Ondrej, Bartík Vladimír |
| | The numeric citation variant of the ISO 690(-2) style in CSL, testing, 2010
Authors: Chmelar Petr |
| | T-Mass(X), A Tool for Multi-agent System Simulation, software, 2010
Authors: Zboril Frantisek, Horácek Jan, Samek Jan |
| | Tool for scan chain routability visualisation, analysis and optimization, software, 2010
Authors: Bartos Pavel, Kotásek Zdenek |
| | Tool for simulation of Queuing systems by Petri nets, software, 2010
Authors: Drozdová Martina, Zboril Frantisek V. |
| | Tool for verification of systems described using the Modechart formalism, software, 2010
Authors: Gach Marek, Fiedor Jan, Ceska Milan |
| | Tool for verification of systems specified in RT-Logic language, software, 2010
Authors: Fiedor Jan, Gach Marek, Ceska Milan |
| | Web Interface for Training of Detection Classifiers, software, 2010
Authors: Hradis Michal, Juránek Roman |
| | WSageNt, software, 2010
Authors: Horácek Jan, Zboril Frantisek |
| | 3D model reconstruction from point clouds, software, 2010
Authors: Hulík Rostislav, Spanel Michal |
|
Faculty of Information Technology
![[dnssec]](/common/img/dnssec.png)