2022
- Broom: A Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning, software, 2022
Authors: Holík Lukáš, Peringer Petr, Rogalewicz Adam, Šoková Veronika, Vojnar Tomáš, Zuleger Florian Detail - CrossLocate: Cross-Modal Large-Scale Visual Geo-Localization in Natural Environments using Rendered Modalities, software, 2022
Authors: Tomešek Jan, Čadík Martin, Brejcha Jan Detail - GadgetCA: A Tool for Generating ReDoS Attacks., software, 2022
Authors: Holík Lukáš, Homoliak Ivan, Lengál Ondřej, Turoňová Lenka, Veanes Margus, Vojnar Tomáš Detail - ICS Dataset for Smart Grid Anomaly Detection, software, 2022
Authors: Matoušek Petr, Ryšavý Ondřej, Grofčík Peter Detail - ICTree: Automatic Perceptual Metric for Tree Models, software, 2022
Authors: Čadík Martin, Polášek Tomáš Detail - INET 4: BGP, software, 2022
Authors: Veselý Vladimír, Zavřel Jan Detail - MODBUS Dataset for ICS Anomaly Detection, software, 2022
Authors: Matoušek Petr, Ryšavý Ondřej Detail - Query-Based Extractor of Keyphrases, software, 2022
Authors: Dočekal Martin, Smrž Pavel Detail - Ranker: A Tool for Complementing Büchi Automata, software, 2022
Authors: Havlena Vojtěch, Lengál Ondřej, Šmahlíková Barbora Detail
2021
- Analyzer of JavaScript calls on web pages, software, 2021
Authors: Bednář Martin, Schauer Marek Detail - Anti-fingerprinting Generic Sensor API Wrappers for JSRestrictor, software, 2021
Authors: Hranický Radek, Polčák Libor Detail - Application for mobile phones testing their security, software, 2021
Authors: Goldmann Tomáš, Drahanský Martin Detail - ARCOR2 - framework for simplified robot programming, software, 2021
Authors: Materna Zdeněk, Kapinus Michal, Bambušek Daniel, Beran Vítězslav Detail - Camera Synchronized with Radar, specimen, 2021
Authors: Maršík Lukáš, Reich Bořek, Zemčík Pavel Detail - Camera system with client/edge/cloud processing, specimen, 2021
Authors: Musil Petr, Juránek Roman, Zemčík Pavel Detail - Dataset of smart devices communication, software, 2021
Authors: Slámová Hana Detail - Detector of the wanted person in the video-stream based on the image of the face, testing, 2021
Authors: Bažout David, Beran Vítězslav Detail - DNS over HTTPS network traffic dataset, software, 2021
Authors: Jeřábek Kamil, Stuchlý Samuel Detail - Equipment for lung transillumination, specimen, 2021
Authors: Drahanský Martin, Goldmann Tomáš, Votruba Jiří Detail - FireProtDB, software, 2021
Authors: Bednář David, Damborský Jiří, Dúbrava Juraj Ondrej, Horáčková Jana, Mazurenko Stanislav, Musil Miloš, Štourač Jan Detail - FitLayout Web Client, software, 2021
Authors: Burget Radek Detail - Generic image processing algorithms, software, 2021
Authors: Juránek Roman, Juránková Markéta Detail - Geovisto: Connection Layer Tool, software, 2021
Authors: Hynek Jiří, Rykala Kryštof, Kachlík Jakub, Rusňák Vít Detail - Geovisto: Choropleth Layer Tool, software, 2021
Authors: Hynek Jiří, Kachlík Jakub, Rykala Kryštof, Rusňák Vít Detail - Geovisto: Marker Layer Tool, software, 2021
Authors: Hynek Jiří, Rykala Kryštof, Kachlík Jakub, Rusňák Vít Detail - Geovisto: Toolkit for Generic Geospatial Data Visualization, software, 2021
Authors: Hynek Jiří, Rykala Kryštof, Kachlík Jakub, Rusňák Vít Detail - GROWTH: Functional Data Analysis of the human height postnatal growth, software, 2021
Authors: Klíma Ondřej, Králík Miroslav, Čuta Martin, Zemčík Pavel Detail - ICS detection algorithms software library, software, 2021
Authors: Burgetová Ivana, Havlena Vojtěch, Kolář Dušan, Matoušek Petr, Ryšavý Ondřej Detail - Interactive semi-automatic handwritten text recognition, software, 2021
Authors: Hradiš Michal, Kišš Martin, Kohút Jan, Beneš Karel, Kodym Oldřich, Buchal Petr, Hříbek David Detail - Library for processing multispektral images, software, 2021
Authors: Juránek Roman, Kolář Martin, Nosko Svetozár, Zemčík Pavel Detail - Module for hash-based pattern matching using approximate computing techniques, software, 2021
Authors: Fukač Tomáš, Kořenek Jan, Košař Vlastimil, Matoušek Jiří, Kekely Lukáš, Iša Radek Detail - Official implementation of BUT-FIT's solution from SemEval-2020 Task 4: Commonsense Validation and Explanation, software, 2021
Authors: Dočekal Martin, Fajčík Martin, Jon Josef, Smrž Pavel Detail - OwlDocGen ontology documentation generator, software, 2021
Authors: Burget Radek Detail - R2-D2: System for Open-Domain Question Answering, software, 2021
Authors: Fajčík Martin, Dočekal Martin, Ondřej Karel, Smrž Pavel Detail - Rethinking the Objectives of Extractive Question Answering, software, 2021
Authors: Fajčík Martin, Jon Josef, Smrž Pavel Detail - Smart system with image processing algorithms, specimen, 2021
Authors: Juránek Roman, Musil Petr, Zemčík Pavel, Honec Petr Detail - Software for correlating trades in marketplaces with transactions in blockchain databases, software, 2021
Authors: Dolejška Daniel, Veselý Vladimír, Grégr Matěj Detail - Software for data and metadata collection from darknet marketplaces, software, 2021
Authors: Dolejška Daniel, Veselý Vladimír, Grégr Matěj Detail - Software for measurement and evaluation of performance parameters, software, 2021
Authors: Fiedor Tomáš, Hruška Martin, Smrčka Aleš Detail - SoluProt: prediction of soluble protein expression in Escherichia coli, software, 2021
Authors: Hon Jiří, Marušiak Martin, Martínek Tomáš, Kunka Antonín, Zendulka Jaroslav, Bednář David, Damborský Jiří Detail - Specialized algorithms for image manipulation, software, 2021
Authors: Hradiš Michal, Kupčík Jan Detail - Speech parameter extractor for pilot state and capabilities assessment, software, 2021
Authors: Černocký Jan, Chudý Peter, Gamba Ivo, Hanák Jiří, Pomikálek Jiří, Prustoměrský Milan, Grézl František, Pešán Jan, Kašpárek Tomáš, Zeman Martin, Borůvka Michael Detail - SW1: ASR of Asian language, software, 2021
Authors: Karafiát Martin, Lehečka Jan, Szőke Igor, Šmídl Luboš, Švec Jan Detail - System for detecting encrypted DNS communication, software, 2021
Authors: Jeřábek Kamil, Minařík Pavel, Holkovič Martin Detail - Testos-Aufover - Verification as a Service, software, 2021
Authors: Fiedor Jan, Smrčka Aleš, Vašíček Ondřej, Vojnar Tomáš Detail - Updated secure intelligent sensor, specimen, 2021
Authors: Musil Petr, Nosko Svetozár, Zemčík Pavel Detail - Validated data storage, software, 2021
Authors: Bartík Vladimír, Burget Radek, Rychlý Marek Detail