Ústav inteligentních systémů
2024
- Mata: Knihovna pro konečné automaty, software, 2024
Autoři: HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; FIEDOR, T.; HRUŠKA, M. - Predator Hunting Party: Nástroj pro verifikaci a hledání chyb, verze 3.1415, software, 2024
Autoři: MÜLLER, P.; PERINGER, P.; ŠOKOVÁ, V.; VOJNAR, T.; KINŠT, O.; KOTOUN, M. - Z3-Noodler: Řetězcový Řešič, software, 2024
Autoři: HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; CHEN, Y.
2023
- 2LS: Nástroj pro statickou analýzu a verifikaci, verze 0.10, software, 2023
Autoři: 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. - DiffKemp: Statický analyzátor sémantických rozdílů, verze 0.4.0, software, 2023
Autoři: MALÍK, V.; GLOZAR, T.; VOJNAR, T.; ŠILLING, P.; ŽÁČIK, P.; MALECOVÁ, T.; ROZEK, J. - FaceAIKit: Knihovna pro detekci a rozpoznávání obličeje, software, 2023
Autoři: GOLDMANN, T. - Nástroj pro testování síťových aplikací založený na injekci vad, software, 2023
Autoři: ROZSÍVAL, M.; SMRČKA, A. - RacerF, verze 1.0, software, 2023
Autoři: DACÍK, T.; VOJNAR, T. - SYDA-Fidentis dataset pro evaluaci algoritmů pro rozpoznávání osob podle obličeje, software, 2023
Autoři: GOLDMANN, T.; ČERNÝ, D.; DRAHANSKÝ, M.; URBANOVÁ, P.