Brno University of Technology - Vnitřní projekty VUT

- whole funder (2023-01-01 - 2024-12-31)

FIT-S-23-8151

Czech

Andriushchenko Roman, Ing. - fellow researcher
Beran Jan, Ing. - fellow researcher
Češka Milan, doc. RNDr., Ph.D. - fellow researcher
Dacík Tomáš, Ing. - fellow researcher
Drahanský Martin, prof. Ing., Ph.D. - fellow researcher
Drga Jozef, Mgr. - fellow researcher
Dvořák Michal, Ing., Ph.D. - fellow researcher
Firc Anton, Ing. - fellow researcher
Goldmann Tomáš, Ing., Ph.D. - fellow researcher
Hanáček Petr, doc. Dr. Ing. - fellow researcher
Harmim Dominik, Ing. - fellow researcher
Heidari Mona, Ph.D. - fellow researcher
Hellebrandt Lukáš, Ing. - fellow researcher
Holík Lukáš, doc. Mgr., Ph.D. - fellow researcher
Holop Patrik, Ing. - fellow researcher
Homoliak Ivan, doc. Ing., Ph.D. - fellow researcher
Hruška Martin, Ing., Ph.D. - fellow researcher
Hujňák Ondřej, Ing., Ph.D. - fellow researcher
Janoušek Vladimír, doc. Ing., Ph.D. - fellow researcher
Januš Filip, Ing. - fellow researcher
Kanich Ondřej, Ing., Ph.D. - fellow researcher
Kočí Radek, Ing., Ph.D. - fellow researcher
Kozák David, Ing. - fellow researcher
Lengál Ondřej, Ing., Ph.D. - fellow researcher
Malaník Petr, Ing. - fellow researcher
Malík Viktor, Ing., Ph.D. - fellow researcher
Malinka Kamil, Mgr., Ph.D. - fellow researcher
Martiček Štefan, Ing. - fellow researcher
Matyáš Jiří, Ing., Ph.D. - fellow researcher
Nečasová Gabriela, Ing., Ph.D. - fellow researcher
Pavela Jiří, Ing. - fellow researcher
Perešíni Martin, Ing. - fellow researcher
Rogalewicz Adam, doc. Mgr., Ph.D. - fellow researcher
Rozman Jaroslav, Ing., Ph.D. - fellow researcher
Rydlo Štěpán, Ing. - fellow researcher
Semerád Lukáš, Ing., Ph.D. - fellow researcher
Síč Juraj, Mgr. - fellow researcher
Snášel Daniel, Ing. - fellow researcher
Stančíková Ivana, Ing. - fellow researcher
Šátek Václav, Ing., Ph.D. - fellow researcher
Šoková Veronika, Ing. - fellow researcher
Tamaškovič Marek, Ing. - fellow researcher
Vašíček Ondřej, Ing. - fellow researcher
Veigend Petr, Ing., Ph.D. - fellow researcher
Vídeňský František, Ing. - fellow researcher
Zbořil František, doc. Ing., CSc. - fellow researcher
Zbořil František, doc. Ing., Ph.D. - fellow researcher
Žák Marek, Ing., Ph.D. - fellow researcher
Vojnar Tomáš, prof. Ing., Ph.D. - principal person responsible

Department of Intelligent Systems
- internal (2023-01-01 - 2025-12-31)
Faculty of Information Technology
- beneficiary (2023-01-01 - 2025-12-31)

VEIGEND, P.; ŠÁTEK, V. Nonlinear Control Using High-Order Integration Method. In 19th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2023. p. 1-4. ISSN: 0094-243X.
Detail

MALÍK, V.; NEČAS, F.; SCHRAMMEL, P.; VOJNAR, T. 2LS: Arrays and Loop Unwinding (Competition Contribution). In Proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part 2. Lecture Notes in Computer Science. Paris: Springer International Publishing, 2023. p. 529-534. ISBN: 978-3-031-30819-2.
Detail

KOZÁK, D.; ČERNÝ, T.; ABDELFATTAH, A.; BLANCHARD, A.; HALE, J.; HUTCHESON, R.; LAMBARIA, N. Software Architecture Reconstruction for Microservice Systems using Static Analysis via GraalVM Native Image. In 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). Los Alamitos: Institute of Electrical and Electronics Engineers, 2024. p. 12-22. ISBN: 979-8-3503-3066-3.
Detail

KOZÁK, D.; STANCU, C.; WIMMER, C.; WÜRTHINGER, T. Scaling Type-Based Points-to Analysis with Saturation. In Proceedings of the ACM on Programming Languages. Proceedings of the ACM on Programming Languages. New York: 2024. p. 990-1013. ISSN: 2475-1421.
Detail

DRGA, J.; HOMOLIAK, I.; VANČO, J.; PEREŠÍNI, M.; HANÁČEK, P.; VASILAKOS, A. Detecting and Preventing Credential Misuse in OTP-Based Two and Half Factor Authentication Toward Centralized Services Utilizing Blockchain-Based Identity Management. In 2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC). Dubai: Institute of Electrical and Electronics Engineers, 2023. p. 1-4. ISBN: 979-8-3503-1019-1.
Detail

STANČÍKOVÁ, I.; HOMOLIAK, I. SBvote: Scalable Self-Tallying Blockchain-Based Voting. In SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing. Tallin: Association for Computing Machinery, 2023. p. 203-2011. ISBN: 978-1-4503-9517-5.
Detail

FIRC, A.; MALINKA, K.; HANÁČEK, P. Deepfakes as a threat to a speaker and facial recognition: an overview of tools and attack vectors. Heliyon, 2023, vol. 9, no. 4, p. 1-33. ISSN: 2405-8440.
Detail

FIRC, A.; MALINKA, K.; HANÁČEK, P. Deepfakes: Bezpečnostní výzva pro naše uši. DSM Data Security Management, 2023, roč. 2023, č. 02, s. 41-44. ISSN: 1211-8737.
Detail

MALINKA, K.; FIRC, A.; PEREŠÍNI, M.; JANUŠ, F.; HUJŇÁK, O. On the educational impact of ChatGPT: Is Artificial Intelligence ready to obtain a University degree?. In Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education. Turku: Association for Computing Machinery, 2023. p. 47-53. ISBN: 979-8-4007-0138-2.
Detail

ŽÁK, M.; ROZMAN, J.; ZBOŘIL, F. Energy Efficiency of a Wheeled Bio-Inspired Hexapod Walking Robot in Sloping Terrain. Robotics, 2023, vol. 12, no. 2, p. 1-15. ISSN: 2218-6581.
Detail

HOLÍK, L.; HOLÍKOVÁ, L.; SÍČ, J.; VOJNAR, T. Fast Matching of Regular Patterns with Synchronizing Counting. In Foundations of Software Science and Computation Structures. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2023. p. 392-412. ISSN: 0302-9743.
Detail

HASLINGER, J.; KUČERA, R.; MOTYČKOVÁ, K.; ŠÁTEK, V. Stokes problem with the Coulomb stick-slip boundary conditions in 3D: formulations, approximation, algorithms, and experiments. Mathematics and Computers in Simulation, 2024, vol. 2024, no. 216, p. 145-167. ISSN: 0378-4754.
Detail

LENGÁL, O.; CHEN, Y.; TSAI, W.; LIN, J.; CHUNG, K.; YEN, D. An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits. Proceedings of the ACM on Programming Languages, 2023, vol. 7, no. 6, p. 1218-1243. ISSN: 2475-1421.
Detail

LENGÁL, O.; CHEN, Y.; TSAI, W.; CHUNG, K.; LIN, J. AutoQ: An Automata-based Quantum Circuit Verifier. In Proceedings of 35th International Conference on Computer Aided Verification. Lecture Notes in Computer Science. Cham: Springer Verlag, 2023. p. 139-153. ISSN: 0302-9743.
Detail

HOLÍK, L.; HRUŠKA, M.; SÍČ, J.; VARGOVČÍK, P.; FIEDOR, T.; ROGALEWICZ, A. Reasoning about Regular Properties: A Comparative Study. In Automated Deduction - CADE 29. Lecture Notes in Computer Science. Cham: Springer Nature Switzerland AG, 2023. p. 286-306. ISSN: 0302-9743.
Detail

PRUDKÝ, D.; FIRC, A.; MALINKA, K. Assessing the Human Ability to Recognize Synthetic Speech in Ordinary Conversation. In 2023 International Conference of the Biometrics Special Interest Group (BIOSIG). Proceedings of the 22nd International Conference of the Biometrics Special Interest Group. Darmstadt: GI - Group for computer science, 2023. p. 1-5. ISBN: 978-3-88579-733-3.
Detail

CHEN, Y.; CHOCHOLATÝ, D.; HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; SÍČ, J. Solving String Constraints with Lengths by Stabilization. Proceedings of the ACM on Programming Languages, 2023, vol. 7, no. 10, p. 2112-2141. ISSN: 2475-1421.
Detail

VÍDEŇSKÝ, F.; ZBOŘIL, F.; BERAN, J.; KOČÍ, R.; ZBOŘIL, F. Comparing Variable Handling Strategies in BDI Agents: Experimental Study. Proceedings of the 16th International Conference on Agents and Artificial Intelligence - Volume 1. Rome: SciTePress - Science and Technology Publications, 2024. p. 25-36. ISBN: 978-989-758-680-4.
Detail

JOBRANOVÁ, S.; LENGÁL, O.; CHEN, T.; CHEN, Y.; JIANG, J. Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization. IEEE/ACM International Conference on Computer-Aided Design (ICCAD '24), October 27--31, 2024, New York, NY, USA. Association for Computing Machinery, 2024. p. 0-0. ISBN: 979-8-4007-1077-3.
Detail

MALINKA, K.; FIRC, A.; HANÁČEK, P. Deepfakes a lidé: dokážeme ještě rozlišit pravou řeč od umělé?. DSM Data Security Management, 2023, roč. 2023, č. 04, s. 22-26. ISSN: 1211-8737.
Detail

HAVLENA, V.; HEČKO, M.; HOLÍK, L.; LENGÁL, O.; HABERMEHL, P. Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic. Proceedings of CAV'24. Lecture Notes in Computer Science. Montreal: Springer Verlag, 2024. p. 42-67. ISSN: 0302-9743.
Detail

PLEŠKO, F.; GOLDMANN, T.; MALINKA, K. Facial Image Reconstruction and its Influence to Face Recognition. 2023 International Conference of the Biometrics Special Interest Group (BIOSIG). Darmstadt: Society for Informatics, 2023. p. 1-4. ISBN: 979-8-3503-3655-9.
Detail

KOČÍ, R.; JANOUŠEK, V. Prerequisites for Simulation-Based Software Design and Deployment. ICSEA 2023 The Eighteenth International Conference on Software Engineering Advances. Porto: Xpert Publishing Services, 2023. p. 105-109. ISBN: 978-1-68558-098-8.
Detail

DACÍK, T.; ROGALEWICZ, A.; VOJNAR, T.; ZULEGER, F. Deciding Boolean Separation Logic via Small Models. 2024. p. 0-0.
Detail

KOZÁK, D.; JOVANOVIC, V.; STANCU, C.; VOJNAR, T.; WIMMER, C. Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image. In Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes. New York: Association for Computing Machinery, 2023. p. 129-142. ISBN: 979-8-4007-0380-5.
Detail

ANDRIUSHCHENKO, R.; ČEŠKA, M.; MACÁK, F.; JUNGES, S. Policies Grow on Trees: Model Checking Families of MDPs. Proceeding of 22nd International Symposium on Automated Technology for Verification and Analysis. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cham: Springer Verlag, 2024. p. 0-0.
Detail

RYDLO, Š.; DRAHANSKÝ, M.; Vysoké učení technické v Brně: Multimodální snímač prostorové struktury krevního řečiště prstu. 37053, užitný vzor. (2023)
Detail

RYDLO, Š.; NOVÁČKOVÁ, K.; PEMČÁK, I.; MALANÍK, P.: APALER-ZJO; Optická soustava pro boční snímání laserového svazku v otevřeném prostoru se zesilovačem jasu obrazu. Zařízení je umístěno na Ústavu Inteligentních systemů ve výzkumné skupině STRaDe, v rámci spolupráce na projektu APALER. URL: https://www.fit.vut.cz/research/product/783/. (funkční vzorek)
Detail

RYDLO, Š.; DRAHANSKÝ, M.: FingVein3D_v1; Zařízení pro snímání krevního řečiště prstu ve 3D za použití zrcadel. Zařízení je umístěno na Ústavu Inteligentních systemů ve výzkumné skupině STRaDe a jako součást biometrické laboratoře.. URL: https://www.fit.vut.cz/research/product/749/. (funkční vzorek)
Detail

RYDLO, Š.; JURDA, M.; DRAHANSKÝ, M.; URBANOVÁ, P.; ČERNÝ, D.; SAKIN, M.: ADAPT_PGS_001; 3D fotogrammetrická stanice pro celotělový záznam člověka. Umístěno níže v souborech. URL: https://www.fit.vut.cz/research/product/723/. (funkční vzorek)
Detail

GOLDMANN, T.: FACEAIKIT; FaceAIKit: Library for face detection and recognition. https://github.com/tgoldmann/face-ai-kit. URL: https://github.com/tgoldmann/face-ai-kit. (software)
Detail

ŠOKOVÁ, L.; KOLÁŘ, D.; RYDLO, Š.: APALER-DETECT01; Detekce laserového svazku v otevřeném prostoru. Software je umístěn na Fakultě informačních technologií VUT v Brně v datovém repozitáři výzkumné skupiny STRaDe.. URL: https://www.fit.vut.cz/research/product/798/. (software)
Detail

HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; FIEDOR, T.; HRUŠKA, M.: mata; Mata: A Finite Automata Library. https://github.com/VeriFIT/mata. URL: https://github.com/VeriFIT/mata. (software)
Detail

HAVLENA, V.; HOLÍK, L.; CHOCHOLATÝ, D.; LENGÁL, O.; SÍČ, J.; CHEN, Y.: Z3-Noodler; Z3-Noodler: A String Solver. https://github.com/VeriFIT/z3-noodler. URL: https://github.com/VeriFIT/z3-noodler. (software)
Detail

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.: 2LS 0.10; 2LS: Static Analyser and Verifier, version 0.10. https://github.com/diffblue/2ls/releases/tag/2ls-0.10. URL: https://github.com/diffblue/2ls/releases/tag/2ls-0.10. (software)
Detail

GOLDMANN, T.; ČERNÝ, D.; DRAHANSKÝ, M.; URBANOVÁ, P.: SYDAFIDENTIS23; SYDA-Fidentis dataset for evaluate face recognition algorithms. Odkaz ke stažení je dostupný až po odsouhlasení licenčních podmínek. Pro více informací kontaktuje Tomáše Goldmann, igoldmann@fit.vutbr.cz.. URL: https://www.fit.vut.cz/research/product/791/. (software)
Detail

MÜLLER, P.; PERINGER, P.; ŠOKOVÁ, V.; VOJNAR, T.; KINŠT, O.; KOTOUN, M.: PredatorHP v3.1415; Predator Hunting Party: A Tool for Verification and Bug Hunting, version 3.1415. https://www.fit.vutbr.cz/research/groups/verifit/tools/predatorhp/. URL: https://www.fit.vutbr.cz/research/groups/verifit/tools/predatorhp/. (software)
Detail