Department of Intelligent Systems
2024
- 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. - 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. - 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. - 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. - FaceAIKit: Library for face detection and recognition, software, 2023
Authors: GOLDMANN, T. - Network application tester based on fault-injection, software, 2023
Authors: ROZSÍVAL, M.; SMRČKA, A. - RacerF, Version 1.0, software, 2023
Authors: DACÍK, T.; VOJNAR, T. - SmartOTPs: An Air-Gapped 2-Factor Authentication for Smart-Contract Wallets, functional specimen, 2023
Authors: HOMOLIAK, I.; BREITENBACHER, D.; HUJŇÁK, O. - SYDA-Fidentis dataset for evaluate face recognition algorithms, software, 2023
Authors: GOLDMANN, T.; ČERNÝ, D.; DRAHANSKÝ, M.; URBANOVÁ, P.