Department of Intelligent Systems

2024

• Mata: A Finite Automata Library, software, 2024
  Authors: Fiedor Tomáš, Havlena Vojtěch, Holík Lukáš, Hruška Martin, Chocholatý David, Lengál Ondřej, Síč Juraj Detail
• Predator Hunting Party: A Tool for Verification and Bug Hunting, version 3.1415, software, 2024
  Authors: Kinšt Ondřej, Kotoun Michal, Müller Petr, Peringer Petr, Šoková Veronika, Vojnar Tomáš Detail
• Z3-Noodler: A String Solver, software, 2024
  Authors: Havlena Vojtěch, Holík Lukáš, Chen Yu-Fang, Chocholatý David, Lengál Ondřej, Síč Juraj Detail

2023

• 2LS: Static Analyser and Verifier, version 0.10, software, 2023
  Authors: Brain Martin, Buecheli Samuel, David Cristina, Hruška Martin, Kroening Daniel, Kumar Madhukar, Malík Viktor, Martiček Štefan, Mukherjee Rajdeep, Nečas František, Schrammel Peter, Vojnar Tomáš, Watcher Björn Detail
• DiffKemp: Static Analyser of Semantic Differences, version 0.4.0, software, 2023
  Authors: Glozar Tomáš, Malecová Tatiana, Malík Viktor, Rozek Jakub, Šilling Petr, Vojnar Tomáš, Žáčik Pavol Detail
• FaceAIKit: Library for face detection and recognition, software, 2023
  Authors: Goldmann Tomáš Detail
• Laser Beam Detection in Open Space, software, 2023
  Authors: Šoková Lenka, Kolář Dušan, Rydlo Štěpán Detail
• Mirror based scanning device for 3D finger vein structure, specimen, 2023
  Authors: Drahanský Martin, Rydlo Štěpán Detail
• Network application tester based on fault-injection, software, 2023
  Authors: Rozsíval Michal, Smrčka Aleš Detail
• Optical System for Lateral Scanning of the Laser Beam in Open Space with Image Intensifier Tube, specimen, 2023
  Authors: Rydlo Štěpán, Nováčková Kateřina, Pemčák Ivan, Malaník Petr Detail
• RacerF, Version 1.0, software, 2023
  Authors: Dacík Tomáš, Vojnar Tomáš Detail
• SYDA-Fidentis dataset for evaluate face recognition algorithms, software, 2023
  Authors: Černý Dominik, Drahanský Martin, Goldmann Tomáš, Urbanová Petra Detail
• System for soil analysis and evaluation, software, 2023
  Authors: Beneš Michal, Betáš Pavel, Čížek Jiří, Kovářová Barbora, Kožuchová Lenka, Kratochvílová Martina, Ligenza Tomáš, Mahr Lukáš, Marek Tomáš, Ponc Pavel, Sládeček David, Stacho Jakub, Tesařík Jaroslav, Varga Marián, Všetečková Iva, Zachariáš Jan, Klíma Ondřej, Grmela Lubomír, Kaspar Pavel, Čekan Ondřej, Koktavý Pavel, Krčma Martin, Orság Filip, Pánek Richard, Podivínský Jakub, Sadovský Petr Detail
• Universal telemedicine software libraries, software, 2023
  Authors: Bortsov Vitalii, Khoptiak Mariana, Matúšková Simona, Minks Štěpán, Rohaľová Dominika, Ruttkay Ladislav, Součková Veronika, Varga Benjamín, Zelinková Natálie, Klíma Ondřej, Orság Filip, Sadovský Petr Detail