The project aims at research of theories and methods to facilitate the design of reliable, secure, and intelligent systems. For that purpose, it integrates selected researchers and students from all research groups of the Department of Intelligent systems of the Faculty of Information Technology of Brno University of Technology. The project includes theoretical research as well as prototype implementation and experimental evaluation of the proposed techniques on suitable case studies.

FIT-S-23-8151

Czech

Vojnar Tomáš, prof. Ing., Ph.D. - principal person responsible
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, doc. Ing., Ph.D. - fellow researcher
Malaník Petr, Ing. - fellow researcher
Malík Viktor, Ing., Ph.D. - fellow researcher
Malinka Kamil, doc. 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., Ph.D. - 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

Department of Intelligent Systems
- internal (1.1.2023 - 31.12.2025)
Faculty of Information Technology
- beneficiary (1.1.2023 - 31.12.2025)

DACÍK, T.; VOJNAR, T. RacerF: Lightweight Static Data Race Detection for C Code. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025. p. 37.1-37.19. ISBN: 978-3-95977-373-7.
Detail

DACÍK, T.; VOJNAR, T. RacerF: Data Race Detection with Frama-C (Competition Contribution). In Proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part 3. Lecture Notes in Computer Science. Hamilton: Springer Nature Switzerland AG, 2025. p. 248-253. ISBN: 978-3-031-90659-6.
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

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

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

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

Š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

VAŇO, M.; SVOBODA, J.; SAKIN, M.: FIVASVO; Fingerprint Processing Web Application. https://strade.fit.vutbr.cz/app/fivasvo/. URL: https://strade.fit.vutbr.cz/app/fivasvo/. (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

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

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

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. URL: https://www.fit.vut.cz/research/product/783/. (Funkční vzorek)
Detail

ROZSÍVAL, M. Automated Testing of Networked Systems Reliability. In ISSTA 2024 - Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. Vienna: Association for Computing Machinery, 2024. p. 1920-1922. ISBN: 979-8-4007-0612-7.
Detail

ANDRIUSHCHENKO, R.; ALEXANDER, B.; ČEŠKA, M.; JUNGES, S.; KATOEN, J.; MACÁK, F. Search and Explore: Symbiotic Policy Synthesis in POMDPs. In Computer Aided Verification. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cham: Springer Verlag, 2023. p. 113-135. ISBN: 978-3-031-37708-2.
Detail

HELFRICH, M.; ANDRIUSHCHENKO, R.; ČEŠKA, M.; KŘETÍNSKÝ, J.; MARTIČEK, Š.; ŠAFRÁNEK, D. Abstraction-based segmental simulation of reaction networks using adaptive memoization. BMC BIOINFORMATICS, 2024, vol. 25, no. 1, p. 1-24. ISSN: 1471-2105.
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. Deepfake Speech Detection: A Spectrogram Analysis. In Proceedings of the ACM Symposium on Applied Computing. Avila: Association for Computing Machinery, 2024. p. 1312-1320. ISBN: 979-8-4007-0243-3.
Detail

FIRC, A.; KLUSÁČEK, J.; MALINKA, K. Hiding in Plain Sight: Query Obfuscation via Random Multilingual Searches. In Coppens, B., Volckaert, B., Naessens, V., De Sutter, B. (eds) Availability, Reliability and Security. Ghent: Springer Nature Switzerland AG, 2025. p. 253-268. ISBN: 978-3-032-00633-2.
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. no. 1, p. 392-412. ISSN: 0302-9743.
Detail

HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; SÍČ, J. Cooking String-Integer Conversions with Noodles. Proceedings of SAT'24. Leibniz International Proceedings in Informatics, LIPIcs. Leibniz International Proceedings in Informatics (LIPIcs). Pune: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2024. no. 305, p. 1-19. ISSN: 1868-8969.
Detail

KOZÁK, D.; STANCU, C.; VOJNAR, T.; WIMMER, C. SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges. In Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization. New York: Association for Computing Machinery, 2025. p. 347-361. ISBN: 979-8-4007-1275-3.
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. no. 13966, p. 139-153. ISSN: 0302-9743.
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

MALÍK, V.; VOJNAR, T.; SCHRAMMEL, P. Template-Based Verification of Array-Manipulating Programs. In Taming the Infinities of Concurrency. Lecture Notes in Computer Science. Cham: Springer Nature Switzerland AG, 2024. p. 206-224. ISBN: 978-3-031-56221-1.
Detail

ANDRIUSHCHENKO, R.; ČEŠKA, M.; MACÁK, F.; FRANCESCO, P.; MICHELE, C. Decentralized Planning Using Probabilistic Hyperproperties. Proc. of the 24th International Conference on Autonomous Agents and Multiagent Systems. Detroit: 2025. p. 1688-1697. ISBN: 979-8-4007-1426-9.
Detail

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. no. 2849, p. 1-4. ISSN: 0094-243X.
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

ŠALKO, M.; FIRC, A.; MALINKA, K. Security Implications of Deepfakes in Face Authentication. In Proceedings of the ACM Symposium on Applied Computing. Avila: Association for Computing Machinery, 2024. p. 1376-1384. ISBN: 979-8-4007-0243-3.
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-PACMPL, 2023, vol. 7, no. 6, p. 1218-1243. ISSN: 2475-1421.
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. 216, no. February, p. 145-167. ISSN: 0378-4754.
Detail

FIRC, A.; MALINKA, K.; HANÁČEK, P. Evaluation Framework for Deepfake Speech Detection: A Comparative Study of State-of-the-art Deepfake Speech Detectors. Cybersecurity, 2025, vol. 8, no. 50, p. 1-24. ISSN: 2523-3246.
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

HOMOLIAK, I.; LI, Z.; SZALACHOWSKI, P. BBB-Voting: Self-Tallying End-to-End Verifiable 1-out-of-k Blockchain-Based Boardroom Voting. In 2023 IEEE International Conference on Blockchain (Blockchain). Hainan: Institute of Electrical and Electronics Engineers, 2023. p. 297-306. ISBN: 979-8-3503-1929-3.
Detail

KOČÍ, R. On the Object Oriented Petri Nets Model Transformation into Java Programming Language. ICSEA 2024 The Nineteenth International Conference on Software Engineering Advances. Venice: Xpert Publishing Services, 2024. p. 38-42. ISBN: 978-1-68558-194-7.
Detail

HOMOLIAK, I.; PEREŠÍNI, M. SoK: Cryptocurrency Wallets - A Security Review and Classification based on Authentication Factors. In 2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) - Proceedings. Dublin: Institute of Electrical and Electronics Engineers, 2024. p. 1-8. ISBN: 979-8-3503-1674-2.
Detail

DACÍK, T.; ROGALEWICZ, A.; VOJNAR, T.; ZULEGER, F. Deciding Boolean Separation Logic via Small Models. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Lecture Notes in Computer Science. Cham: Springer Nature Switzerland AG, 2024. p. 188-206. ISBN: 978-3-031-57245-6.
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-211. ISBN: 978-1-4503-9517-5.
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. no. 14681, p. 42-67. ISSN: 0302-9743.
Detail

VEIGEND, P.; NEČASOVÁ, G.; ŠÁTEK, V. Taylor series based numerical integration method for solution of nonlinear problems with division. In 2024 IEEE 17th International Scientific Conference on Informatics Proceedings. Poprad: Institute of Electrical and Electronics Engineers, 2025. p. 421-426. ISBN: 979-8-3503-8766-7.
Detail

FIRC, A.; MALINKA, K.; HANÁČEK, P. Diffuse or Confuse: A Diffusion Deepfake Speech Dataset. In 2024 International Conference of the Biometrics Special Interest Group (BIOSIG). Darmstadt: GI - Group for computer science, 2024. p. 1-7. ISBN: 978-3-88579-749-4.
Detail

FLORIAN, S.; ROGALEWICZ, A.; VOJNAR, T.; ZULEGER, F. Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration. In Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025. Lecture Notes in Computer Science. Springer, 2025. p. 230-257. ISBN: 978-3-031-91121-7.
Detail

HAVLENA, V.; HEČKO, M.; HOLÍK, L.; LENGÁL, O. Negated String Containment is Decidable. 50th International Symposium on Mathematical Foundations of Computer Science. Leibniz International Proceedings in Informatics, LIPIcs. Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2025. no. 345, p. 1-20. ISSN: 1868-8969.
Detail

MALINKA, K.; FIRC, A.; LOUTOCKÝ, P.; VOSTOUPAL, J.; KRIŠTOFÍK, A.; KASL, F. Using Real-world Bug Bounty Programs in Secure Coding Course: Experience Report. In Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE. New York, NY, USA: Association for Computing Machinery, 2024. p. 227-233. ISBN: 979-8-4007-0600-4.
Detail

MALINKA, K.; FIRC, A.; ŠALKO, M.; PRUDKÝ, D.; RADAČOVSKÁ, K.; HANÁČEK, P. Comprehensive Multiparametric Analysis of Human Deepfake Speech Recognition. EURASIP Journal on Image and Video Processing, 2024, vol. 2024, no. 24, p. 1-25. ISSN: 1687-5281.
Detail

HAVLENA, V.; ŠMAHLÍKOVÁ, B.; LENGÁL, O.; LI, Y.; TURRINI, A. Modular Mix-and-Match Complementation of Büchi Automata. In Proceedings of TACAS'23. Lecture Notes in Computer Science. Paris: Springer Verlag, 2023. no. 13993, p. 249-270. ISSN: 0302-9743.
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

PEREŠÍNI, M.; HLADKÝ, T.; MALINKA, K.; HOMOLIAK, I. DAG-Sword: A Simulator for DAG-Oriented Proof-of-Work Blockchains with Realistic Network Topologies. In Proceedings of the 57th Annual Hawaii International Conference on System Sciences. Waikiki: IEEE Computer Society, 2024. p. 1-10. ISBN: 978-0-9981331-7-1.
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

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

FIEDOR, T.; PAVELA, J.; ROGALEWICZ, A.; VOJNAR, T. Efficient Manipulation of Control Flow Models in Evolving Software. In Eurocast 2024 -- Computer Aided Systems Theory: Extended Abstracts. Lecture Notes in Computer Science. Las Palmas de Gran Canaria: Springer International Publishing, 2025. p. 412-427. ISBN: 978-3-031-82949-9.
Detail

HAVLENA, V.; LENGÁL, O.; ŠMAHLÍKOVÁ, B. Complementation of Emerson-Lei Automata. Proceedings of FoSSaCS'25. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2025. no. 1, p. 88-110. ISSN: 0302-9743.
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

BUDINSKÝ, R.; STANČÍKOVÁ, I.; HOMOLIAK, I. Mitigating Undercutting Attacks: Fee-Redistribution Smart Contracts for Transaction-Fee-Based Regime of Blockchains with the Longest Chain Rule. In 2023 IEEE International Conference on Blockchain (Blockchain). Danzhou, China: Institute of Electrical and Electronics Engineers, 2024. p. 25-32. ISBN: 979-8-3503-1929-3.
Detail

MALINKA, K.; FIRC, A.; KAŠKA, P.; LAPŠANSKÝ, T.; ŠANDOR, O.; HOMOLIAK, I. Resilience of Voice Assistants to Synthetic Speech. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Bydgoszcz: Springer Nature Switzerland AG, 2024. p. 66-84. ISBN: 978-3-031-70878-7.
Detail

HOLÍK, L.; CHOCHOLATÝ, D.; FIEDOR, T.; HAVLENA, V.; HRUŠKA, M.; LENGÁL, O.; SÍČ, J. Mata: A Fast and Simple Finite Automata Library. Proceedings of TACAS'24. Lecture Notes in Computer Science. Luxembourgh: Springer Verlag, 2024. no. 14571, p. 130-151. ISSN: 0302-9743.
Detail

ANDRIUSHCHENKO, R.; BARTOCCI, E.; ČEŠKA, M.; FRANCESCO, P.; SARAH, S. Deductive Controller Synthesis for Probabilistic Hyperproperties. In Quantitative Evaluation of SysTems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cham: Springer Verlag, 2023. p. 288-306. ISBN: 978-3-031-43834-9.
Detail

ROZSÍVAL, M.; SMRČKA, A.; VOJNAR, T. Automated Testing of Reliability of Networked Systems. In 2024 IEEE 17th International Scientific Conference on Informatics Proceedings. Poprad: Institute of Electrical and Electronics Engineers, 2024. p. 312-317. ISBN: 979-8-3503-8768-1.
Detail

CHEN, Y.; CHOCHOLATÝ, D.; HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; SÍČ, J. Z3-Noodler: An Automata-based String Solver. Proceedings of TACAS'24. Lecture Notes in Computer Science. Lecture Notes. Luxembourgh: Springer Verlag, 2024. no. 14570, p. 24-33. ISSN: 0302-9743.
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

ŠEDÝ, M.; HOLÍK, L. Automata Size Reduction by Procedure Finding. Proceedings of NFM'25. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Williamsburg: Springer Nature Switzerland AG, 2025. no. 15682, p. 421-440. ISSN: 0302-9743.
Detail

VARGOVČÍK, P.; HOLÍK, L. Antichain with SAT and Tries. 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024). Leibniz International Proceedings in Informatics, LIPIcs. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2024. no. 305, p. 1-15. ISBN: 978-3-95977-334-8. ISSN: 1868-8969.
Detail

VENUGOPALAN, S.; STANČÍKOVÁ, I.; HOMOLIAK, I. Always on Voting: A Framework for Repetitive Voting on the Blockchain. IEEE Transactions on Emerging Topics in Computing, 2023, vol. 11, no. 4, p. 1-11. ISSN: 2168-6750.
Detail

MALINKA, K.; FIRC, A. Deepfakes: příležitost, nebo hrozba?. In Proč se nebát umělé inteligence?. Praha: Nakladatelství JOTA, s.r.o., 2024. s. 271-283. ISBN: 978-80-7689-459-4.
Detail

VÍDEŇSKÝ, F.; ZBOŘIL, F.; BERAN, J.; KOČÍ, R.; ZBOŘIL, F. Comparing Variable Handling Strategies in BDI Agents: Experimental Study. In 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

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

PEREŠÍNI, M.; HOMOLIAK, I.; HRUBÝ, M.; BENČIĆ, F.; MALINKA, K. Incentive Attacks on DAG-Based Blockchains with Random Transaction Selection. In IEEE International Conference on Blockchain. Institute of Electrical and Electronics Engineers Inc., 2023. p. 1-8. ISBN: 979-8-3503-1929-3.
Detail

CHOCHOLATÝ, D.; HAVLENA, V.; HOLÍK, L.; HRANIČKA, J.; LENGÁL, O.; SÍČ, J. Z3-Noodler 1.3: Shepherding Decision Procedures for Strings with Model Generation. Proceedings of TACAS'25. Lecture Notes in Computer Science. Hamilton: Springer Verlag, 2025. no. 1, p. 23-44. 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. no. 14132, p. 286-306. ISSN: 0302-9743.
Detail

VAŠÍČEK, O.; ARIAS, J.; FIEDOR, J.; GUPTA, G.; HALL, B.; KŘENA, B.; LARSON, B.; VARANASI, S.; VOJNAR, T. Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2024, vol. 24, no. 4, p. 844-862. ISSN: 1475-3081.
Detail

WIMMER, C.; STANCU, C.; KOZÁK, D.; WUERTHINGER, T. Scaling Type-Based Points-to Analysis with Saturation. Proceedings of the ACM on Programming Languages-PACMPL, 2024, vol. 8, no. PLDI, p. 990-1013. ISSN: 2475-1421.
Detail

ABDULLA, P.; CHEN, Y.; CHEN, Y.; HOLÍK, L.; LENGÁL, O.; LIN, J.; LO, F.; TSAI, W. Verifying Quantum Circuits with Level-Synchronized Tree Automata. Proceedings of the ACM on Programming Languages-PACMPL, 2025, vol. 9, no. 1, p. 923-953. ISSN: 2475-1421.
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. COMMUNICATIONS OF THE ACM, 2025, vol. 68, no. 6, p. 85-93.
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

ŽÁ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

LENGÁL, O.; CHEN, Y.; LIN, J.; TSAI, W.; HSIEH, M.; HUANG, W.; CHUNG, K. AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs. In Proceedings of TACAS'25. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2025. no. 15698, p. 87-108. ISSN: 0302-9743.
Detail

MACÁK, F.; ANDRIUSHCHENKO, R.; ČEŠKA, M.; JUNGES, S.; KATOEN, J. An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2025, vol. 2025, no. 82, p. 433-469. ISSN: 1076-9757.
Detail

VEIGEND, P.; NEČASOVÁ, G.; ŠÁTEK, V. Solving linear and nonlinear problems using Taylor Series Method. Open Computer Science, 2024, vol. 14, no. 1, p. 1-15. ISSN: 2299-1093.
Detail

ZBOŘIL, F.; VÍDEŇSKÝ, F.; KOČÍ, R.; ZBOŘIL, F. Advanced Evaluation of Variable Binding Strategies in BDI Agents with Integrated Failure Handling. In Agents and Artificial Intelligence. Lecture Notes in Computer Science. Cham: Springer Nature Switzerland AG, 2025. p. 3-29. ISBN: 978-3-031-87326-3.
Detail

ANDRIUSHCHENKO, R.; ČEŠKA, M.; JUNGES, S.; MACÁK, F. Small Decision Trees for MDPs with Deductive Synthesis. In Computer Aided Verification. Springer Cham, 2025. p. 169-192. ISBN: 978-3-031-98678-9.
Detail

ANDRIUSHCHENKO, R.; ČEŠKA, M.; CHAKRABORTY, D.; JUNGES, S.; KRETINSKY, J.; MACÁK, F. Symbiotic Local Search for Small Decision Tree Policies in MDPs. In Proceedings of the Forty-first Conference on Uncertainty in Artificial Intelligence. Proceedings of Machine Learning Research. ML Research Press, 2025. p. 132-142.
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

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, 2025. p. 51-75. ISBN: 978-3-031-78749-2.
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-PACMPL, 2023, vol. 7, no. 10, p. 2112-2141. ISSN: 2475-1421.
Detail

JOBRANOVÁ, S.; LENGÁL, O.; CHEN, Y.; CHEN, T.; 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. New York: Association for Computing Machinery, 2025. p. 1-9. ISBN: 979-8-4007-1077-3.
Detail

VÍDEŇSKÝ, F.; ZBOŘIL, F.; VEIGEND, P. Integrating Late Variable Binding with SP-MCTS for Efficient Plan Execution in BDI Agents. In Proceedings of the 17th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART. Porto: SciTePress - Science and Technology Publications, 2025. p. 679-686. ISBN: 978-989-758-737-5.
Detail

Responsibility: Vojnar Tomáš, prof. Ing., Ph.D.