Ústav inteligentních systémů
2024
- Mata: Knihovna pro konečné automaty, software, 2024
Autoři: Fiedor Tomáš, Havlena Vojtěch, Holík Lukáš, Hruška Martin, Chocholatý David, Lengál Ondřej, Síč Juraj Detail - Predator Hunting Party: Nástroj pro verifikaci a hledání chyb, verze 3.1415, software, 2024
Autoři: Kinšt Ondřej, Kotoun Michal, Müller Petr, Peringer Petr, Šoková Veronika, Vojnar Tomáš Detail - Z3-Noodler: Řetězcový Řešič, software, 2024
Autoři: Havlena Vojtěch, Holík Lukáš, Chen Yu-Fang, Chocholatý David, Lengál Ondřej, Síč Juraj Detail
2023
- 2LS: Nástroj pro statickou analýzu a verifikaci, verze 0.10, software, 2023
Autoři: 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 - Detekce laserového svazku v otevřeném prostoru, software, 2023
Autoři: Šoková Lenka, Kolář Dušan, Rydlo Štěpán Detail - DiffKemp: Statický analyzátor sémantických rozdílů, verze 0.4.0, software, 2023
Autoři: Glozar Tomáš, Malecová Tatiana, Malík Viktor, Rozek Jakub, Šilling Petr, Vojnar Tomáš, Žáčik Pavol Detail - FaceAIKit: Knihovna pro detekci a rozpoznávání obličeje, software, 2023
Autoři: Goldmann Tomáš Detail - Nástroj pro testování síťových aplikací založený na injekci vad, software, 2023
Autoři: Rozsíval Michal, Smrčka Aleš Detail - Optická soustava pro boční snímání laserového svazku v otevřeném prostoru se zesilovačem jasu obrazu, funkční vzorek, 2023
Autoři: Rydlo Štěpán, Nováčková Kateřina, Pemčák Ivan, Malaník Petr Detail - RacerF, verze 1.0, software, 2023
Autoři: Dacík Tomáš, Vojnar Tomáš Detail - SYDA-Fidentis dataset pro evaluaci algoritmů pro rozpoznávání osob podle obličeje, software, 2023
Autoři: Černý Dominik, Drahanský Martin, Goldmann Tomáš, Urbanová Petra Detail - Systém pro analýzu a vyhodnocení půdy, software, 2023
Autoři: 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 - Univerzální telemedicínské softwarové knihovny, software, 2023
Autoři: 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 - Zařízení pro snímání krevního řečiště prstu ve 3D za použití zrcadel, funkční vzorek, 2023
Autoři: Drahanský Martin, Rydlo Štěpán Detail