Science and Research

2024

• BESST: Brno Extended Stress and Speech Database, testing, 2024
  Authors: PEŠÁN, J.; JUŘÍK, V.; RŮŽIČKOVÁ, A.; SVOBODA, V.; JANOUŠEK, O.; NĚMCOVÁ, A.; BOJANOVSKÁ, H.; ALDABAGHOVÁ, J.; KYSLÍK, F.; VODIČKOVÁ, K.; SODOMOVÁ, A.; BARTYS, P.; CHUDÝ, P.; ČERNOCKÝ, J.
• Convergence verification of the Collatz problem, software, 2024
  Authors: BAŘINA, D.
• GenRex: Generator of Regular Expressions, software, 2024
  Authors: KOLÁŘ, D.; MILKOVIČ, M.; REGÉCIOVÁ, D.
• LineShaper, software, 2024
  Authors: LAZÚR, J.; HYNEK, J.
• Mata: A Finite Automata Library, software, 2024
  Authors: HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; FIEDOR, T.; HRUŠKA, M.
• Minimalist JPEG decoder & encoder, software, 2024
  Authors: BAŘINA, D.
• Nástroj pro analýzu dat z Waze, software, 2024
  Authors: ONDRUŠKOVÁ, M.; HYNEK, J.
• Predator Hunting Party: A Tool for Verification and Bug Hunting, version 3.1415, software, 2024
  Authors: MÜLLER, P.; PERINGER, P.; ŠOKOVÁ, V.; VOJNAR, T.; KINŠT, O.; KOTOUN, M.
• Software Package for Reporting Errors in Distributed MPI Applications, software, 2024
  Authors: JAROŠ, J.
• Web-Based Simulator of Superscalar RISC-V Processors, software, 2024
  Authors: MAJER, M.; HORKÝ, J.; VÁVRA, J.; JAROŠ, J.
• x3: Experimental Data Compressor, software, 2024
  Authors: BAŘINA, D.
• Z3-Noodler: A String Solver, software, 2024
  Authors: HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; CHEN, Y.

2023

• 2LS: Static Analyser and Verifier, version 0.10, software, 2023
  Authors: KROENING, D.; MALÍK, V.; SCHRAMMEL, P.; VOJNAR, T.; MUKHERJEE, R.; MARTIČEK, Š.; NEČAS, F.; HRUŠKA, M.; BRAIN, M.; BUECHELI, S.; DAVID, C.; KUMAR, M.; WATCHER, B.
• A malware detection system based on context analysis, software, 2023
  Authors: RYŠAVÝ, O.; HOLKOVIČ, M.; MATOUŠEK, P.; MINAŘÍK, P.; ALEŠ, Š.; HOJDAR, Š.; JAN, S.; UNZEITIG, M.
• Architectures and software for high-speed network traffic processing, software, 2023
  Authors: CABAL, J.; MATOUŠEK, J.; ŠPINLER, M.; KOŠAŘ, V.; FUKAČ, T.; GURKA, O.; ŠIŠMIŠ, L.; MARTÍNEK, T.; KOŘENEK, J.
• autoAx: An Open-Source Automated Design Space Exploration Framework for Approximate Accelerators in FPGAs and ASICs, software, 2023
  Authors: MRÁZEK, V.
• Brno Public Transport Delay Analysis Tool, software, 2023
  Authors: LAZÚR, J.; HYNEK, J.
• Detection of vertical road markings in data from a mobile mapping system, software, 2023
  Authors: MUSIL, P.; KLÍMA, O.; KULA, M.
• DGA Hunter, software, 2023
  Authors: BUČKO, F.; HRANICKÝ, R.
• DiffKemp: Static Analyser of Semantic Differences, version 0.4.0, software, 2023
  Authors: MALÍK, V.; GLOZAR, T.; VOJNAR, T.; ŠILLING, P.; ŽÁČIK, P.; MALECOVÁ, T.; ROZEK, J.
• Domain Collector, software, 2023
  Authors: HORÁK, A.; POLIŠENSKÝ, J.; HRANICKÝ, R.
• Extractor, software, 2023
  Authors: REGÉCIOVÁ, D.; KOLÁŘ, D.; PLUSKAL, J.
• FaceAIKit: Library for face detection and recognition, software, 2023
  Authors: GOLDMANN, T.
• FireProt 2.0, software, 2023
  Authors: MUSIL, M.; JEŽÍK, A.; HORÁČKOVÁ, J.; BORKO, S.; KABOUREK, P.; DAMBORSKÝ, J.; BEDNÁŘ, D.
• Functional sample of an intelligent sensor - camera and image processing system assembly, functional specimen, 2023
  Authors: KADLČEK, F.; NOSKO, S.; MARŠÍK, L.; ZEMČÍK, P.; ŠUSTEK, J.; BUCHAL, P.; POLÓNI, P.
• Functional sample of an intelligent sensor - camera and radar sensor assembly, functional specimen, 2023
  Authors: POLÓNI, P.; KADLČEK, F.; NOSKO, S.; ŠUSTEK, J.; ZEMČÍK, P.
• Improved Vision-Based Web Page Segmentation Algorithm Implementation for FitLayout, software, 2023
  Authors: MAŠTERA, F.; BURGET, R.
• KSPredict: Software for predicting the development of emergency events and crisis situations, software, 2023
  Authors: KLÍMA, O.; NEUBAUER, J.; POLCEROVÁ, L.; KRÁLÍK, M.; ZEMAN, T.
• Laser Beam Detection in Open Space, software, 2023
  Authors: ŠOKOVÁ, L.; KOLÁŘ, D.; RYDLO, Š.
• MASAPI - Question Answering, software, 2023
  Authors: DOČEKAL, M.; SMRŽ, P.
• Mirror based scanning device for 3D finger vein structure, functional specimen, 2023
  Authors: RYDLO, Š.; DRAHANSKÝ, M.
• Model of Cycling Traffic Intensity in Brno, software, 2023
  Authors: ELIÁŠ, R.; HYNEK, J.
• Network application tester based on fault-injection, software, 2023
  Authors: ROZSÍVAL, M.; SMRČKA, A.
• Official Implementation of Fact-Checking System "Claim-Dissector", software, 2023
  Authors: FAJČÍK, M.; SMRŽ, P.; MOTLÍČEK, P.
• Optical System for Lateral Scanning of the Laser Beam in Open Space with Image Intensifier Tube, functional specimen, 2023
  Authors: RYDLO, Š.; NOVÁČKOVÁ, K.; PEMČÁK, I.; MALANÍK, P.
• Phishing and Benign Domain Dataset (DNS, IP, WHOIS/RDAP, TLS, GeoIP), software, 2023
  Authors: HRANICKÝ, R.; HORÁK, A.; POLIŠENSKÝ, J.; POUČ, P.; ONDRYÁŠ, O.
• RacerF, Version 1.0, software, 2023
  Authors: DACÍK, T.; VOJNAR, T.
• Sensor Fusion Toolbox, software, 2023
  Authors: CHUDÝ, P.; VLK, J.; NOVÁK, J.; HANÁK, J.; PRUSTOMĚRSKÝ, M.; KOSKA, B.; UŘIČÁŘ, T.
• SmartOTPs: An Air-Gapped 2-Factor Authentication for Smart-Contract Wallets, functional specimen, 2023
  Authors: HOMOLIAK, I.; BREITENBACHER, D.; HUJŇÁK, O.
• Software - image and data processing algorithms on the server, software, 2023
  Authors: NOSKO, S.; BUCHAL, P.; FAJČÍK, M.; KADLČEK, F.; KOLÁŘ, M.; MILET, T.; POLÓNI, P.; VLNAS, M.; ZEMČÍK, P.
• Software for smart-camera embedded system, software, 2023
  Authors: NOSKO, M.; ZÁHORSKÝ, M.; HÁJKOVÁ, G.; HONEC, P.; HRADIŠ, M.; JURÁNKOVÁ, M.; KLEPÁRNÍK, P.; KLÍMA, O.; MUSIL, P.; NOSKO, S.; SMRŽ, P.; ZEMČÍK, P.
• Software for the transfer of artificial intelligence algorithms into embedded systems, software, 2023
  Authors: NOSKO, M.; ZÁHORSKÝ, M.; HÁJKOVÁ, G.; HONEC, P.; HRADIŠ, M.; JURÁNKOVÁ, M.; KLEPÁRNÍK, P.; KLÍMA, O.; MUSIL, P.; NOSKO, S.; SMRŽ, P.; ZEMČÍK, P.
• SW3 ASR for demanding acoustic conditions, software, 2023
  Authors: ŠMÍDL, L.; KARAFIÁT, M.; ŠVEC, J.; LEHEČKA, J.; MOŠNER, L.; BRUKNER, J.
• SYDA-Fidentis dataset for evaluate face recognition algorithms, software, 2023
  Authors: GOLDMANN, T.; ČERNÝ, D.; DRAHANSKÝ, M.; URBANOVÁ, P.
• System for soil analysis and evaluation, software, 2023
  Authors: BENEŠ, M.; BETÁŠ, P.; ČÍŽEK, J.; KOVÁŘOVÁ, B.; KOŽUCHOVÁ, L.; KRATOCHVÍLOVÁ, M.; LIGENZA, T.; MAHR, L.; MAREK, T.; PONC, P.; SLÁDEČEK, D.; STACHO, J.; TESAŘÍK, J.; VARGA, M.; VŠETEČKOVÁ, I.; ZACHARIÁŠ, J.; KLÍMA, O.; GRMELA, L.; KASPAR, P.; ČEKAN, O.; KOKTAVÝ, P.; KRČMA, M.; ORSÁG, F.; PÁNEK, R.; PODIVÍNSKÝ, J.; SADOVSKÝ, P.
• TextBite - System for analysis of document structure, software, 2023
  Authors: KOSTELNÍK, M.; BENEŠ, K.; HRADIŠ, M.; VAŠKO, M.
• The collection of classification modules detecting security threats, software, 2023
  Authors: PLNÝ, R.; LUXEMBURK, J.; HYNEK, K.; ČEJKA, T.; ŠIŠKA, P.; KOUMAR, J.; JEŘÁBEK, K.
• Universal telemedicine software libraries, software, 2023
  Authors: BORTSOV, V.; KHOPTIAK, M.; MATÚŠKOVÁ, S.; MINKS, Š.; ROHAĽOVÁ, D.; RUTTKAY, L.; SOUČKOVÁ, V.; VARGA, B.; ZELINKOVÁ, N.; KLÍMA, O.; ORSÁG, F.; SADOVSKÝ, P.
• V1: WIM experimental sample for Latin America, functional specimen, 2023
  Authors: JUHAS, M.; HONEC, P.; KLOBUŠNÍKOVÁ, Z.; FUČÍK, O.; ŠUSTEK, J.; ŠEVČÍK, V.; ZEMČÍK, P.; MUSIL, P.
• V3: LPR algorithms adapted for Latin America, software, 2023
  Authors: JUHAS, M.; HONEC, P.; KLOBUŠNÍKOVÁ, Z.; FUČÍK, O.; ŠUSTEK, J.; ŠEVČÍK, V.; ZEMČÍK, P.; HRADIŠ, M.; NOSKO, S.
• V4: MMR algorithms adapted for Latin America, software, 2023
  Authors: JUHAS, M.; HONEC, P.; KLOBUŠNÍKOVÁ, Z.; FUČÍK, O.; ŠUSTEK, J.; ŠEVČÍK, V.; ZEMČÍK, P.; JURÁNEK, R.; NOSKO, S.