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

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

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

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

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

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

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

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. p. 1-15. ISBN: 978-3-95977-334-8. ISSN: 1868-8969.
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

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

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

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, 2025, vol. 9, no. 1, p. 923-953. ISSN: 2475-1421.
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

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

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

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

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

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. Proceedings of the ACM on Programming Languages, 2024, vol. 8, no. PLDI, p. 990-1013. ISSN: 2475-1421.
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. p. 1-19. 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

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

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