Detail projektu

Spolehlivé, bezpečné a efektivní počítačové systémy

Období řešení: 01.03.2020 — 28.02.2023

Zdroje financování

Vysoké učení technické v Brně - Vnitřní projekty VUT

- plně financující (2020-01-01 - 2021-12-31)

O projektu

Podstatou projektu je výzkum v oblasti návrhu spolehlivých, bezpečných a efektivních počítačových systémů. Za tím účelem projekt integruje zaměstnance a doktorandy z Ústavu inteligentních systémů FIT VUT v Brně, kteří svým výzkumem pokrývají různé aspekty zmíněné oblasti. Projekt zahrnuje teoretický výzkum i prototypovou implementaci a experimentální ověření navržených technik na vhodných případových studiích.

Označení

FIT-S-20-6427

Originální jazyk

čeština

Řešitelé

Vojnar Tomáš, prof. Ing., Ph.D. - hlavní řešitel
Ambrožová Gabriela, Mgr., Ph.D. - spoluřešitel
Barabas Maroš, Ing., Ph.D. - spoluřešitel
Češka Milan, doc. RNDr., Ph.D. - spoluřešitel
Češka Milan, prof. RNDr., CSc. - spoluřešitel
Drahanský Martin, prof. Ing., Ph.D. - spoluřešitel
Dvořák Michal, Ing., Ph.D. - spoluřešitel
Fiedor Jan, Ing., Ph.D. - spoluřešitel
Fiedor Tomáš, Ing., Ph.D. - spoluřešitel
Goldmann Tomáš, Ing. - spoluřešitel
Hanáček Petr, doc. Dr. Ing. - spoluřešitel
Havlena Vojtěch, Ing., Ph.D. - spoluřešitel
Heidari Mona - spoluřešitel
Hellebrandt Lukáš, Ing. - spoluřešitel
Holík Lukáš, doc. Mgr., Ph.D. - spoluřešitel
Holíková Lenka, Ing., Ph.D. - spoluřešitel
Homoliak Ivan, Ing., Ph.D. - spoluřešitel
Hrubý Martin, Ing., Ph.D. - spoluřešitel
Hruška Martin, Ing. - spoluřešitel
Hujňák Ondřej, Ing. - spoluřešitel
Charvát Lukáš, Ing., Ph.D. - spoluřešitel
Janků Petr, Ing. - spoluřešitel
Janoušek Vladimír, doc. Ing., Ph.D. - spoluřešitel
Kanich Ondřej, Ing., Ph.D. - spoluřešitel
Kavetskyi Andrii - spoluřešitel
Kočí Radek, Ing., Ph.D. - spoluřešitel
Křena Bohuslav, Ing., Ph.D. - spoluřešitel
Lengál Ondřej, Ing., Ph.D. - spoluřešitel
Malík Viktor, Ing. - spoluřešitel
Malinka Kamil, Mgr., Ph.D. - spoluřešitel
Martiček Štefan, Ing. - spoluřešitel
Matyáš Jiří, Ing. - spoluřešitel
Nečasová Gabriela, Ing. - spoluřešitel
Očenáš Martin, Ing. - spoluřešitel
Orság Filip, Ing., Ph.D. - spoluřešitel
Peringer Petr, Dr. Ing. - spoluřešitel
Pernický Radim, Ing. - spoluřešitel
Rogalewicz Adam, doc. Mgr., Ph.D. - spoluřešitel
Rozman Jaroslav, Ing., Ph.D. - spoluřešitel
Rydlo Štěpán, Ing. - spoluřešitel
Sakin Martin, Ing. - spoluřešitel
Semerád Lukáš, Ing., Ph.D. - spoluřešitel
Smrčka Aleš, Ing., Ph.D. - spoluřešitel
Šátek Václav, Ing., Ph.D. - spoluřešitel
Šimková Hana, Mgr. Bc., Ph.D. - spoluřešitel
Šoková Veronika, Ing. - spoluřešitel
Šůstek Martin, Ing. - spoluřešitel
Uhlíř Václav, Ing. - spoluřešitel
Vargovčík Pavol, Ing. - spoluřešitel
Veigend Petr, Ing. - spoluřešitel
Vídeňský František, Ing. - spoluřešitel
Zbořil František, doc. Ing., CSc. - spoluřešitel
Zbořil František, doc. Ing., Ph.D. - spoluřešitel
Zimmermann Viktor, M.Sc. - spoluřešitel
Žák Marek, Ing. - spoluřešitel

Útvary

Ústav inteligentních systémů
- interní (01.01.2020 - 31.12.2022)
Fakulta informačních technologií
- příjemce (01.01.2020 - 31.12.2022)

Výsledky

KOČÍ, R.; ROZMAN, J.; ZBOŘIL, F. Database Concept for Transcription of Registry Records into Digital Form. In Proceedings of the 3rd International Conference on Software Engineering and Information Management - ICSIM'20. Sydney: Association for Computing Machinery, 2020. p. 21-25. ISBN: 978-1-4503-7690-7.
Detail

OČENÁŠ, M.; HOMOLIAK, I.; MALINKA, K.; HANÁČEK, P. Security and Encryption at Modern Databases. In ICCSP 2020: Proceedings of the 2020 4th International Conference on Cryptography, Security and Privacy. Nanjing: Association for Computing Machinery, 2020. p. 19-23. ISBN: 978-1-4503-7744-7.
Detail

HRUŠKA, M.; CHALUPA, M.; JAŠEK, T.; STREJČEK, J.; ŠOKOVÁ, V.; VOJNAR, T.; AYAZIOVÁ, P.; TOMOVIČ, L. Symbiotic 7: Integration of Predator and More (Competition Contribution). In Proceedings of TACAS 2020 (2). Lecture Notes in Computer Science. Cham: Springer International Publishing, 2020. p. 413-417. ISBN: 978-3-030-45236-0.
Detail

DVOŘÁK, M.; DRAHANSKÝ, M. Hand image acquisition - New approaches. INTERPOL, Lyon: 2020. p. 1-17.
Detail

BINDER, A.; BREITENBACHER, D.; HARTEL, P.; SZALACHOWSKI, P.; HOMOLIAK, I.; HUJŇÁK, O. SmartOTPs: An Air-Gapped 2-Factor Authentication for Smart-Contract Wallets. In Proceedings of the 2nd ACM Conference on Advances in Financial Technologies. New York City: Association for Computing Machinery, 2020. p. 145-162. ISBN: 978-1-4503-8139-0.
Detail

HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; VALEŠ, O.; VOJNAR, T. Antiprenexing for WSkS: A Little Goes a Long Way. In EPiC Series in Computing. Proceedings of LPAR-23. Manchester: EasyChair, 2020. p. 298-316. ISSN: 2398-7340.
Detail

MATYÁŠ, J.; PANKUCH, A.; VOJNAR, T.; ČEŠKA, M.; ČEŠKA, M. Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error. In International Conference on Computer Aided Systems Theory (EUROCAST'19). Lecture Notes in Computer Science. Cham: Springer Verlag, 2020. p. 482-490. ISBN: 978-3-030-45092-2.
Detail

KOČÍ, R. Requirements Validation Through Scenario Generation and Comparison. The Fifteenth International Conference on Software Engineering Advances, ICSEA 2020. Porto: Xpert Publishing Services, 2020. p. 129-134. ISBN: 978-1-61208-827-3.
Detail

HAVLENA, V.; LENGÁL, O.; CHEN, Y.; TURRINI, A. A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving. In Proceedings of APLAS'20. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2020. p. 343-363. ISSN: 0302-9743.
Detail

ČEŠKA, M.; MATYÁŠ, J.; MRÁZEK, V.; VOJNAR, T. Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits. In Theory and Applications of Satisfiability Testing - SAT 2020. Lecture Notes in Computer Science. Alghero: Springer International Publishing, 2020. p. 481-491. ISBN: 978-3-030-51824-0.
Detail

HUM, Q.; TAN, W.; TEY, S.; LENUS, L.; HOMOLIAK, I.; LIN, Y.; SUN, J. CoinWatch: A Clone-Based Approach for Detecting Vulnerabilities in Cryptocurrencies. In 3rd IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN (BLOCKCHAIN 2020). Rhodos: Institute of Electrical and Electronics Engineers, 2020. p. 17-25. ISBN: 978-0-7381-0495-9.
Detail

HOMOLIAK, I.; VENUGOPALAN, S.; REIJSBERGEN, D.; HUM, Q.; SCHUMI, R.; SZALACHOWSKI, P. The Security Reference Architecture for Blockchains: Toward a Standardized Model for Studying Vulnerabilities, Threats, and Defenses. IEEE COMMUN SURV TUT, 2021, vol. 23, no. 1, p. 341-390. ISSN: 1553-877X.
Detail

DRAHANSKÝ, M.; KANICH, O.; HEIDARI, M. Practical Considerations in the Use of Biometric Systems. Darmstadt: European Association for Biometrics, 2020. p. 1-20.
Detail

DRAHANSKÝ, M. Jednou nás možná nebude potřeba. Praha: 2020. s. 16-19.
Detail

UHLÍŘ, V.; VÍDEŇSKÝ, F.; ZBOŘIL, F. Multi-Agent Programming Contest 2019 FIT BUT Team solution. In The Multi-Agent Programming Contest 2019, Agents Assemble - Block by Block to Victory. Lecture Notes in Computer Science. Lecture Notes of Computer Challenges. Berlin: Springer International Publishing, 2020. p. 59-78. ISBN: 978-3-030-59298-1. ISSN: 0302-9743.
Detail

SEMERÁD, L.; DRAHANSKÝ, M. Retina Recognition Using Crossings and Bifurcations. In Applications of Pattern Recognition. London: InTech - Open Access Publisher, 2021. p. 77-94. ISBN: 978-1-78985-332-2.
Detail

VEIGEND, P.; NEČASOVÁ, G.; ŠÁTEK, V. System control using high order numerical method. In 18th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2022. p. 1-4. ISSN: 0094-243X.
Detail

NEČASOVÁ, G.; VEIGEND, P.; ŠÁTEK, V. Parallel Solution of Partial Differential Equations Using Taylor Series Method. In 18th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2022. p. 1-4. ISSN: 0094-243X.
Detail

DVOŘÁK, M.; KANICH, O.; DRAHANSKÝ, M. Scalable Imaging Device Using Line Scan Camera for use in Biometric Recognition and Medical Imaging. In Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies. Lisboa: Institute for Systems and Technologies of Information, Control and Communication, 2021. p. 160-168. ISBN: 978-989-758-490-9.
Detail

HOLÍKOVÁ, L.; HOLÍK, L.; LENGÁL, O.; SAARIKIVI, O.; VEANES, M.; VOJNAR, T. Regex Matching with Counting-Set Automata. Proceedings of the ACM on Programming Languages, 2020, vol. 4, no. 11, p. 1-30. ISSN: 2475-1421.
Detail

VEIGEND, P.; NEČASOVÁ, G.; ŠÁTEK, V. Taylor Series Based Numerical Integration Method. Open Computer Science, 2021, vol. 11, no. 1, p. 60-69. ISSN: 2299-1093.
Detail

SCHWARZ, M.; KANICH, O.; BERKA, M.; HAVLOVICOVÁ, M.; DRAHANSKÝ, M. Dermatoglyphic Patterns in Monozygotic Twins with Zimmermann-Laband Syndrome. Journal of Forensic Identification, 2023, vol. 73, no. 1, p. 3-13. ISSN: 0895-173X.
Detail

KANICH, O.; HYTYCHOVÁ, T.; DRAHANSKÝ, M. Hyperkeratotic eczema damage simulation into synthetic fingerprints. 2020, p. 0-0. ISSN: 2637-6407.
Detail

KANICH, O.; WILDMANN, R.; DRAHANSKÝ, M. Colagenosis and psoriasis damage simulation into synthetic fingerprints. 2020, p. 0-0. ISSN: 2637-6407.
Detail

KANICH, O.; VRÁBĽOVÁ, Ž.; DRAHANSKÝ, M. Simulation of damages typical for fingerprint spoofs. 2020, p. 0-0. ISSN: 2637-6407.
Detail

HASLINGER, J.; KUČERA, R.; SASSI, T.; ŠÁTEK, V. Dual strategies for solving the Stokes problem with stick-slip boundary conditions in 3D. Mathematics and Computers in Simulation, 2021, vol. 2021, no. 189, p. 191-206. ISSN: 0378-4754.
Detail

HOLÍK, L.; JANKŮ, P.; BUI PHI, D.; CHEN, Y.; LIN, H.; WU, W.; ABDULLA, P.; ATIG, M. Efficient handling of string-number conversion. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). New York: Association for Computing Machinery, 2020. p. 943-957. ISBN: 978-1-4503-7613-6.
Detail

DRAHANSKÝ, M. Fingerprints in forensic verifications. Bussum: 2021. p. 1-24.
Detail

BREITENBACHER, D.; HOMOLIAK, I.; AUNG, Y.; ELOVICI, Y.; TIPPENHAUER, N. HADES-IoT: A practical host-based anomaly detection system for IoT devices (Extended Version). IEEE Internet of Things Journal, 2022, vol. 9, no. 12, p. 9640-9658. ISSN: 2327-4662.
Detail

HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; IOSIF, R. Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. FORMAL METHODS IN SYSTEM DESIGN, 2020, vol. 55, no. 3, p. 137-170. ISSN: 0925-9856.
Detail

BISWAS, S.; ROHDIN, J.; KAVETSKYI, A.; ALVES SARAIVA, G.; BISWAS, A.; DRAHANSKÝ, M. Investigation of Bilateral Similarity in Central Retinal Blood Vessels. IEEE Access, 2021, vol. 2021, no. 9, p. 63012-63028. ISSN: 2169-3536.
Detail

CASINO, F.; LYKOUSAS, N.; HOMOLIAK, I.; PATSAKIS, C.; HERNANDEZ-CASTRO, J. Intercepting Hail Hydra: Real-Time Detection of Algorithmically Generated Domains. JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2021, vol. 2021, no. 190, p. 1-17. ISSN: 1084-8045.
Detail

BISWAS, S.; ROHDIN, J.; BISWAS, A.; DRAHANSKÝ, M. A Study of Bilateral Symmetry in Color Fundus Photographs. IEEE Access, 2021, vol. 2021, no. 9, p. 109624-109651. ISSN: 2169-3536.
Detail

ŠMAHLÍKOVÁ, B.; HAVLENA, V.; LENGÁL, O. Deciding S1S: Down the Rabbit Hole and Through the Looking Glass. In Proceedings of NETYS'21. Lecture Notes in Computer Science. Lecture notes in Computer Science. Cham: Springer Verlag, 2021. p. 215-222. ISSN: 0302-9743.
Detail

MALÍK, V.; VOJNAR, T. Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects. In 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST). Porto de Galinhas: Institute of Electrical and Electronics Engineers, 2021. p. 329-339. ISBN: 978-1-7281-6837-1.
Detail

SÍČ, J.; STREJČEK, J. DQBDD: An Efficient BDD-Based DQBF Solver. In Proc. of the 24th International Conference on Theory and Applications of Satisfiability Testing. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2021. p. 535-544. ISSN: 0302-9743.
Detail

HAVLENA, V.; LENGÁL, O. Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation. In 32nd International Conference on Concurrency Theory (CONCUR 2021). Leibniz International Proceedings in Informatics, LIPIcs. Paris: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2021. p. 1-19. ISSN: 1868-8969.
Detail

HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; VOJNAR, T. Automata Terms in a Lazy WSkS Decision Procedure. JOURNAL OF AUTOMATED REASONING, 2021, vol. 65, no. 7, p. 971-999. ISSN: 0168-7433.
Detail

DRAHANSKÝ, M. Využití podvrhů biometrických charakteristik v praxi. In Porada V., Rais K.: Právní, kriminalistické a kybernetické aspekty kybernetické kriminality a bezpečnosti. Brno: Akademické nakladatelství CERM sro., 2021. s. 333-345. ISBN: 978-80-7623-065-1.
Detail

JANOUŠEK, V.; KOČÍ, R. On the Model Continuity in Control Systems Design Using DEVS, UML, and IEC 61499. ICSEA 2021, The Sixteenth International Conference on Software Engineering Advances. Barcelona: Xpert Publishing Services, 2021. p. 114-120. ISBN: 978-1-61208-894-5.
Detail

UHLÍŘ, V.; ZBOŘIL, F.; VÍDEŇSKÝ, F. FIT BUT: Rational Agents in the Multi-Agent Programming Contest. In The Multi-Agent Programming Contest 2021, One-and-a-Half Decades of Exploring Multi-Agent Systems. Lecture Notes in Computer Science. Lecture Notes of Computer Challenges. Berlin: Springer International Publishing, 2021. p. 23-45. ISBN: 978-3-030-88548-9. ISSN: 0302-9743.
Detail

ČEŠKA, M.; MATYÁŠ, J.; MRÁZEK, V.; SEKANINA, L.; VAŠÍČEK, Z.; VOJNAR, T. SagTree: Towards Efficient Mutation in Evolutionary Circuit Approximation. Swarm and Evolutionary Computation, 2022, vol. 69, no. 100986, p. 1-10. ISSN: 2210-6502.
Detail

FIRC, A.; MALINKA, K. The dawn of a text-dependent society: deepfakes as a threat to speech verification systems. In SAC '22: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing. New York, NY: Association for Computing Machinery, 2022. p. 1646-1655. ISBN: 978-1-4503-8713-2.
Detail

DRAHANSKÝ, M.; RYDLO, Š.; KAVETSKYI, A.; KANICH, O.; BISWAS, S.; MŇUK, T. Analýza kvality retinálních snímků. Brno: Ústav zdravotnických informací a statistiky ČR, 2021. s. 1-57.
Detail

DRAHANSKÝ, M.; RYDLO, Š.; KAVETSKYI, A.; MŇUK, T. Detekce exsudátů v retinálních snímcích. Brno: Ústav zdravotnických informací a statistiky ČR, 2021. s. 1-8.
Detail

DRAHANSKÝ, M.; RYDLO, Š.; KAVETSKYI, A.; MŇUK, T. Detekce hemoragií a mikroaneurysmat v retinálních snímcích. Brno: Ústav zdravotnických informací a statistiky ČR, 2021. s. 1-9.
Detail

ZBOŘIL, F.; VÍDEŇSKÝ, F.; KOČÍ, R.; ZBOŘIL, F. Late Bindings in AgentSpeak(L). In Proceedings of the 14th International Conference on Agents and Artificial Intelligence vol. 3. Lisabon: SciTePress - Science and Technology Publications, 2022. p. 715-724. ISBN: 978-989-758-547-0.
Detail

HAVLENA, V.; LENGÁL, O.; ŠMAHLÍKOVÁ, B. Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Buchi Automata Complementation. In Proceedings of TACAS'22. Lecture Notes in Computer Science. Munich: Springer Verlag, 2022. p. 118-136. ISBN: 978-3-030-99526-3. ISSN: 0302-9743.
Detail

GOLDMANN, T.; DRAHANSKÝ, M. Generating Face Image Dataset Using a 3D Head Model. In 2021 International Conference on Computer, Communication, Chemical, Materials and Electronic Engineering (IC4ME2). Rajshahi: Institute of Electrical and Electronics Engineers, 2021. p. 1-4. ISBN: 978-1-6654-0638-3.
Detail

SCHWARZ, M.; RYBA, L.; KŘEPELOVÁ, A.; MOSLEROVÁ, V.; ZELINOVÁ, M.; TURNOVEC, M.; MARTINKOVÁ, J.; KRATOCHVÍLOVÁ, L.; DRAHANSKÝ, M.; MACEK, M.; HAVLOVICOVÁ, M. Zimmermann-Laband syndrome in monozygotic twins with a mild neurobehavioral phenotype lacking gingival overgrowth-A case report of a novel KCNN3 gene variant. American Journal of Medical Genetics, Part A, 2021, vol. 2021, no. 12, p. 1-5. ISSN: 1552-4833.
Detail

HOLÍK, L.; HRUŠKA, M. Towards Efficient Shape Analysis with Tree Automata. In Proceedings International Conference on Networked Systems. Lecture Notes in Computer Science. Lecture notes in Computer Science. Cham: Springer Verlag, 2021. p. 206-214. ISSN: 0302-9743.
Detail

HOLÍK, L.; VARGOVČÍK, P. Simplifying Alternating Automata for Emptiness Testing. In Programming Languages and Systems - 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings. Cham: Springer International Publishing, 2021. p. 243-264. ISBN: 978-3-030-89051-3.
Detail

MALINKA, K.; HUJŇÁK, O.; HANÁČEK, P.; HELLEBRANDT, L. E-Banking Security Study - 10 years later. IEEE Access, 2022, vol. 2022, no. 10, p. 16681-16699. ISSN: 2169-3536.
Detail

KANICH, O.; DRAHANSKÝ, M. Fingerprints in forensic applications - processing and generation of diseased, damaged and spoofed fingerprints. INTERPOL, Lyon: 2020. p. 1-20.
Detail

HASLINGER, J.; KUČERA, R.; MOTYČKOVÁ, K.; ŠÁTEK, V. Numerical modeling of the leak through semipermeable walls for 2D/3D Stokes flow: experimental scalability of dual algorithms. Mathematics, 2021, vol. 9, no. 22, p. 1-24. ISSN: 2227-7390.
Detail

HAVLENA, V.; LENGÁL, O.; ŠMAHLÍKOVÁ, B. Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Buchi Automata Complementation (Technical Report). Ithaca: 2022. p. 0-0.
Detail

DYK, T.; DRAHANSKÝ, M. Tank Barrel Scanning Device. In Proceedings of the 8th International Conference on Military Technologies 2021. Brno: IEEE Computer Society, 2021. p. 1-4. ISBN: 978-1-6654-3724-0.
Detail

FIRC, A.; MALINKA, K.; HANÁČEK, P. Creation and detection of malicious synthetic media - a preliminary survey on deepfakes. Sborník příspevků z 54. konference EurOpen.CZ, 28.5.-1.6.2022. Radešín: Czech Open Systems User's Group, 2022. p. 125-145. ISBN: 978-80-86583-34-1.
Detail

FIRC, A.; MALINKA, K. Practical lessons of (deep)faking human speech. Sborník příspevků z 54. konference EurOpen.CZ, 28.5.-1.6.2022. Radešín: Czech Open Systems User's Group, 2022. p. 161-172. ISBN: 978-80-86583-34-1.
Detail

KAUBA, C.; DRAHANSKÝ, M.; NOVÁKOVÁ, M.; UHL, A.; RYDLO, Š. State-of-the-Art in 3D Finger Vein Recognition and a NovelMirror-Based 3D Finger Vein Imaging Device. Journal of Imaging, 2022, vol. 2022, no. 8, p. 1-25. ISSN: 2313-433X.
Detail

HOLÍKOVÁ, L.; HOLÍK, L.; HOMOLIAK, I.; LENGÁL, O.; VEANES, M.; VOJNAR, T. Counting in Regexes Considered Harmful: Exposing ReDoS Vulnerability of Nonbacktracking Matchers. In Proceedings of the 31st USENIX Security Symposium. Boston, MA: USENIX, 2022. p. 4165-4182. ISBN: 978-1-939133-31-1.
Detail

HAVLENA, V.; LENGÁL, O.; ŠMAHLÍKOVÁ, B. Complementing Büchi Automata with Ranker. In Proceedings of the 34th International Conference on Computer Aided Verification. Lecture Notes in Computer Science. Haifa: Springer Verlag, 2022. p. 188-201. ISBN: 978-3-031-13187-5. ISSN: 0302-9743.
Detail

HOLÍK, L.; PERINGER, P.; ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; ZULEGER, F. Low-Level Bi-Abduction. In 36th European Conference on Object-Oriented Programming (ECOOP 2022). Leibniz International Proceedings in Informatics, LIPIcs. Leibniz International Proceedings in Informatics. Wadern: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2022. p. 1-30. ISBN: 978-3-95977-225-9. ISSN: 1868-8969.
Detail

ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; HOLÍK, L.; PERINGER, P.; ZULEGER, F. Low-Level Bi-Abduction (Artifact). Dagstuhl: 2022. p. 1-6.
Detail

HAVLENA, V.; LENGÁL, O.; ŠMAHLÍKOVÁ, B. Complementing Büchi Automata with Ranker (Technical Report). Ithaca: Cornell University Library, 2022. p. 0-0.
Detail

ČEŠKA, M.; MATYÁŠ, J.; MRÁZEK, V.; VOJNAR, T. Designing Approximate Arithmetic Circuits with Combined Error Constraints. In Proceeding of 25th Euromicro Conference on Digital System Design 2022 (DSD'22). Gran Canaria: Institute of Electrical and Electronics Engineers, 2022. p. 785-792. ISBN: 978-1-6654-7404-7.
Detail

HOLÍK, L.; PERINGER, P.; ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; ZULEGER, F. Low-Level Bi-Abduction (technical report). Ithaca: 2022. p. 0-0.
Detail

ANDRIUSHCHENKO, R.; ČEŠKA, M.; MARCIN, V.; VOJNAR, T. GPU-Accelerated Synthesis of Probabilistic Programs. In International Conference on Computer Aided Systems Theory (EUROCAST'22). Lecture Notes in Computer Science. Cham: 2022. p. 256-266. ISBN: 978-3-031-25312-6.
Detail

SÍČ, J.; GE-ERNST, A.; SCHOLL, C.; WIMMER, R. Solving dependency quantified Boolean formulas using quantifier localization. Theoretical Computer Science, 2022, vol. 2022, no. 925, p. 1-24. ISSN: 0304-3975.
Detail

HUJŇÁK, O.; MALINKA, K.; HANÁČEK, P. E-Banking Authentication - Dynamic Password Generators and Hardware Tokens. Sborník příspevků z 54. konference EurOpen.CZ, 28.5.-1.6.2022. Radešín: Czech Open Systems User's Group, 2022. p. 211-221. ISBN: 978-80-86583-34-1.
Detail

PEREŠÍNI, M.; MALINKA, K.; HOMOLIAK, I.; BENČIĆ, F.; HLADKÝ, T. Simulations of DAG-based Blockchain Protocols and Attacks on the PHANTOM Protocol via Transaction Selection Strategies. Sborník příspevků z 54. konference EurOpen.CZ, 28.5.-1.6.2022. Radešín: Czech Open Systems User's Group, 2022. p. 173-184. ISBN: 978-80-86583-34-1.
Detail

FIRC, A.; MALINKA, K.; HANÁČEK, P. Deepfakes: A Dangerous Entertainment?. Recenzovaný sborník příspěvků mezinárodní vědecké konference MMK2022. Hradec Králové: Akademické sdružení MAGNANIMITAS Assn., 2022. p. 1073-1082. ISBN: 978-80-87952-37-5.
Detail

VÍDEŇSKÝ, F.; ZBOŘIL, F.; KOČÍ, R.; ZBOŘIL, F. Operational Semantic of an AgentSpeak(L) Interpreter using Late Bindings. In Proceedings of the 15th International Conference on Agents and Artificial Intelligence, Volume 1. Lisabon: SciTePress - Science and Technology Publications, 2023. p. 173-180. ISBN: 978-989-758-623-1.
Detail

KANICH, O.; MATEJKA, J.; FIALOVÁ, E.; PETROVÁ KAFKOVÁ, M.; DOSEDĚL, T.; DRAHANSKÝ, M. Technological, legal and sociological summary of biometric technology usage. ScienceOpen Research, 2022, vol. 2022, no. 12, p. 1-7. ISSN: 2199-1006.
Detail

ŠILLING, P.; MALÍK, V.; VOJNAR, T. Applying Custom Patterns in Semantic Equality Analysis. In Networked Systems. Lecture Notes in Computer Science. Cham: Springer Nature Switzerland AG, 2022. p. 265-282. ISBN: 978-3-031-17436-0.
Detail

VAŠÍČEK, O.; FIEDOR, J.; KRATOCHVÍLA, T.; KŘENA, B.; SMRČKA, A.; VOJNAR, T. Unite: An Adapter for Transforming Analysis Tools to Web Services via OSLC. In ESEC/FSE 2022: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Singapore: Association for Computing Machinery, 2022. p. 1408-1418. ISBN: 978-1-4503-9413-0.
Detail

LA CAVA, S.; ORR, G.; GOLDMANN, T.; DRAHANSKÝ, M.; MARCIALIS, G. 3D Face Reconstruction for Forensic Recognition - A Survey. In 2022 26th International Conference on Pattern Recognition (ICPR). Manhattan, New York: 2022. p. 930-937. ISBN: 978-1-6654-9062-7.
Detail

KOČÍ, R.; OSADSKÝ, L. On the Applicability of ALF Language in Real Software Projects. ICSEA 2022, The Seventeenth International Conference on Software Engineering Advances. Lisbon: Xpert Publishing Services, 2022. p. 102-107. ISBN: 978-1-61208-997-3.
Detail

ŠŮSTEK, M.; SADHU, S.; HEŘMANSKÝ, H. Dealing with Unknowns in Continual Learning for End-to-end Automatic Speech Recognition. In Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. Proceedings of Interspeech. Incheon: International Speech Communication Association, 2022. p. 1046-1050. ISSN: 1990-9772.
Detail

HOLÍK, L.; ABDULLA, P.; ATIG, M.; BUI PHI, D.; CHEN, Y.; WU, Z. Solving Not-Substring Constraint with Flat Abstraction. In Programming Languages and Systems - 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021, Proceedings. 13008. Berlín: Springer International Publishing, 2021. p. 305-320. ISBN: 978-3-030-89051-3.
Detail

VEIGEND, P.; NEČASOVÁ, G.; ŠÁTEK, V. Taylor Series Method in Numerical Integration: Linear and Nonlinear problems. In 2022 IEEE 16th International Scientific Conference on Informatics, Informatics 2022 - Proceedings. Poprad: IEEE Communications Society, 2023. p. 239-244. ISBN: 979-8-3503-1034-4.
Detail

HUJŇÁK, O.; MALINKA, K.; HANÁČEK, P. Indirect Bluetooth Low Energy Connection Detection. In 2023 International Conference on Information Networking (ICOIN). Bangkok: Institute of Electrical and Electronics Engineers, 2023. p. 328-333. ISBN: 978-1-6654-6268-6.
Detail

ZBOŘIL, J.; HUJŇÁK, O.; MALINKA, K. IoT Gateways Network Communication Analysis. In 2023 International Conference on Information Networking (ICOIN). Bangkok: Institute of Electrical and Electronics Engineers, 2023. p. 334-339. ISBN: 978-1-6654-6268-6.
Detail

FIEDOR, J.; KŘENA, B.; SMRČKA, A.; VAŠÍČEK, O.; VOJNAR, T. Integrating OSLC Services into Eclipse. In Computer Aided Systems Theory - EUROCAST 2022. Lecture Notes in Computer Science. Las Palmas de Gran Canaria: Springer International Publishing, 2023. p. 240-249. ISBN: 978-3-031-25311-9.
Detail

ZBOŘIL, F.; DOKOUPIL, L.; VÍDEŇSKÝ, F.; BERAN, J. General deSouches commands multi-agent army for performing in Agents Assembe III scenario: FIT-BUT at MAPC 2022. In The Multi-Agent Programming Contest 2022 Coordinating Agents in a Dynamic World: Agents Follow the Rules, or Not. Lecture Notes in Computer Science. Lecture Notes of Artificial Intelligence. Berlin: Springer Nature Switzerland AG, 2023. p. 120-150. ISSN: 1611-3349.
Detail

HOMOLIAK, I. The Security Reference Architecture for Blockchains: Toward a Standardized Model for Studying Vulnerabilities, Threats, and Defenses. Sborník příspevků z 54. konference EurOpen.CZ, 28.5.-1.6.2022. Radešín: Czech Open Systems User's Group, 2022. p. 185-210. ISBN: 978-80-86583-34-1.
Detail

HAVLENA, V.; LENGÁL, O.; CHEN, Y.; TURRINI, A. A symbolic algorithm for the case-split rule in solving word constraints with extensions. JOURNAL OF SYSTEMS AND SOFTWARE, 2023, vol. 201, no. 201, p. 111673-111693. ISSN: 0164-1212.
Detail

HAVLENA, V.; CHOCHOLATÝ, D.; LENGÁL, O.; HOLÍK, L.; SÍČ, J.; BLAHOUDEK, F.; CHEN, Y. Word Equations in Synergy with Regular Constraints. In Proceedings of FM'23. Lecture Notes in Computer Science. Lübeck: Springer Verlag, 2023. p. 403-423. ISSN: 0302-9743.
Detail

HAVLENA, V.; LENGÁL, O.; CHEN, Y.; TURRINI, A. A symbolic algorithm for the case-split rule in solving word constraints with extensions (technical report). Ithaca: Cornell University Library, 2023. p. 0-0.
Detail

DYK, T.; DRAHANSKÝ, M. Tank Barrel Surface Damage Detection Algorithm. In ICMT 2023: 17. International Conference on Military Technology. Brno: IEEE Computer Society, 2023. p. 1-4. ISBN: 979-8-3503-2568-3.
Detail

NEČASOVÁ, G.; ŠÁTEK, V. Taylor series based parallel numerical solution of partial differential equations. 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

KUČERA, R.; ŠÁTEK, V. Numerical solution of the Navier-Stokes system with the stick-slip boundary condition. 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

HARMIM, D.; MARCIN, V.; SVOBODOVÁ, L.; VOJNAR, T. Static Deadlock Detection in Low-Level C Code. In International Conference on Computer Aided Systems Theory (EUROCAST'22). Lecture Notes in Computer Science. Cham: Springer Nature Switzerland AG, 2023. p. 267-276. ISBN: 978-3-031-25311-9.
Detail

MÜLLER, D.; DRAHANSKÝ, M.: EPEDYN; Elektronické pero pro záznam dynamických vlastností písma. ÚITS FIT VUT v Brně. URL: https://www.fit.vut.cz/research/product/645/. (funkční vzorek)
Detail

RYDLO, Š.; DRAHANSKÝ, M.: ROTLIGHT_VEIN; Zařízení s rotujícím osvětlením okolo prstu pro pozorování viditelnosti krevního řečiště prstu. Zařízení je umístěné na Fakultě informačních technologíí. URL: https://www.fit.vut.cz/research/product/743/. (funkční vzorek)
Detail

GOLDMANN, T.; DRAHANSKÝ, M.: SYDAGen2; SYDAGenerator 2 - Advanced tool for generating datasets using a 3D object. https://www.fit.vutbr.cz/~igoldmann/app/sydagenerator/. URL: https://www.fit.vutbr.cz/~igoldmann/app/sydagenerator/. (software)
Detail

ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; HOLÍK, L.; PERINGER, P.; ZULEGER, F.: broom; Broom: A Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning. https://pajda.fit.vutbr.cz/rogalew/broom/-/tree/v0.0.1. URL: https://pajda.fit.vutbr.cz/rogalew/broom/-/tree/v0.0.1. (software)
Detail

GOLDMANN, T.; VOTRUBA, J.; DRAHANSKÝ, M.; BRŮHA, T.: Translum_Unit; Jednotka pro transluminaci plic. Aktuálně zapůjčeno - pro více informací kontaktujte prof. Martina Drahanského (drahan@fit.vutbr.cz) nebo Ing. Tomáš Goldmanna (igoldmann@fit.vutbr.cz). URL: https://www.fit.vut.cz/research/product/727/. (funkční vzorek)
Detail

HAVLENA, V.; LENGÁL, O.; ŠMAHLÍKOVÁ, B.: Ranker; Ranker: A Tool for Complementing Büchi Automata. https://github.com/vhavlena/ranker. URL: https://github.com/vhavlena/ranker. (software)
Detail

HOLÍK, L.; HOLÍKOVÁ, L.; HOMOLIAK, I.; LENGÁL, O.; VOJNAR, T.; VEANES, M.: gadgetca; GadgetCA: A Tool for Generating ReDoS Attacks. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/gadgetca. URL: https://www.fit.vut.cz/research/product/730/. (software)
Detail

MALANÍK, P.; ČERVENÝ, J.; DRAHANSKÝ, M.; DVOŘÁK, M.: Phenobottle_21; Phenobottle: Algae cultivator for distributed optimization. Repozitář projektu: https://github.com/SmartBioTech/Phenobottle_SBT/. URL: https://www.fit.vut.cz/research/product/732/. (funkční vzorek)
Detail

MALANÍK, P.; ČERVENÝ, J.; TINKA, J.; DRAHANSKÝ, M.: Phenobottle_22; Phenobottle 2: Algae cultivator for distributed optimization with temperature control and spectral density measurement. Repozitář projektu: https://github.com/SmartBioTech/Phenobottle (https://github.com/SmartBioTech/Phenobottle_SBT/)_v2 (https://github.com/SmartBioTech/Phenobottle_SBT/)_SBT/. URL: https://www.fit.vut.cz/research/product/736/. (prototyp)
Detail

MALANÍK, P.; LAZAR, V.; RYDLO, Š.; LÁZNIČKA, T.; BARTONĚK, J.; POPELA, R.: BUTCube_FC; BUTCube - Flight controller computer. Produkt je fyzicky umístěn na Leteckém ústavu FSI. Výrobní podklady a zdrojové kódy jsou dostupné na odkaze níže. STRaDe Git: https://strade.fit.vutbr.cz/git/imalanik/BUTCube/src/branch/FC/modules/FC. URL: https://www.fit.vut.cz/research/product/737/. (funkční vzorek)
Detail

MALANÍK, P.; VÁŇA, J.; DRAHANSKÝ, M.: BBX-mini; Barrel Bore eXplorer - mini. Touchless Biometric Systems s.r.o. které je sídlem: Palackého třída 180/44, 612 00, Brno, Česká republika. URL: https://www.fit.vut.cz/research/product/738/. (prototyp)
Detail

RYDLO, Š.; MŇUK, T.; DRAHANSKÝ, M.: FNUSA_MEIBO22; Zařízení pro snímání meibomských žláz (meibograf). Zařízení je umístěno na Oddělení nemocí očních a optometrie, Fakultní nemocnice u sv. Anny.. URL: https://www.fit.vut.cz/research/product/741/. (funkční vzorek)
Detail

VAŠÍČEK, O.; FIEDOR, J.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.: Unite 3.0; Unite: An Adapter for Transforming Analysis Tools to Web Services via OSLC, Version 3.0. https://pajda.fit.vutbr.cz/verifit/unite/-/tags/v3.0.0. URL: https://pajda.fit.vutbr.cz/verifit/unite/-/tags/v3.0.0. (software)
Detail

HOMOLA, R.; MACEK, I.; DRAHANSKÝ, M.; HRABEC, J.; DYK, T.: NM_CAM_2022; Inteligentní kamerová jednotka pro muzejní expozice. Produkt je v tuto chvíli umístěn ve funkčním stavu v expozici Národního muzea.. URL: https://www.fit.vut.cz/research/product/745/. (funkční vzorek)
Detail

VISKUPIČ, M.; MACEK, I.; DRAHANSKÝ, M.; DYK, T.; GOLDMANN, T.; HRABEC, J.: NM_HeatMap_SW_2022; Aplikace pro generování heatmap v muzejních expozicích. Produkt je v tuto chvíli umístěn ve funkčním stavu v expozici Národního muzea.. URL: https://www.fit.vut.cz/research/product/746/. (software)
Detail

MACEK, I.; VISKUPIČ, M.; HOMOLA, R.; DYK, T.; DRAHANSKÝ, M.: NM_PoloProvoz_2022; Nasazení inteligentní kamerové jednotky a aplikace pro heatmapy v prostorách Národního muzea. Pilotní instalace v podobě poloprovozuj je v tuto chvíli umístěna v expozici Národního muzea, konkrétně výstavě XXX.. URL: https://www.fit.vut.cz/research/product/747/. (poloprovoz)
Detail

MALANÍK, P.; LAZAR, V.; RYDLO, Š.; LÁZNIČKA, T.; BARTONĚK, J.; POPELA, R.: BUTCube_SSM; BUTCube - Sun sensor module. Produkt je fyzicky umístěn na Leteckém ústavu FSI. Výrobní podklady a zdrojové kódy jsou dostupné na odkaze níže. STRaDe Git: https://strade.fit.vutbr.cz/git/imalanik/BUTCube/src/branch/Sun_sensor. URL: https://www.fit.vut.cz/research/product/756/. (funkční vzorek)
Detail

MALANÍK, P.: BUTCube_SM; BUTCube - Solar unit. Produkt je fyzicky umístěn na Leteckém ústavu FSI VUT v Brně. Výrobní podklady a zdrojové kódy jsou dostupné na odkaze níže.. URL: https://www.fit.vut.cz/research/product/757/. (funkční vzorek)
Detail

MALANÍK, P.: BUTCube_EPS; BUTCube - Electronic power system. Produkt je fyzicky umístěn na Leteckém ústavu FSI. Výrobní podklady a zdrojové kódy jsou dostupné na odkaze níže. STRaDe Git: https://strade.fit.vutbr.cz/git/imalanik/BUTCube. URL: https://www.fit.vut.cz/research/product/758/. (funkční vzorek)
Detail

RYDLO, Š.; MALANÍK, P.: BUTCube_COMM; BUTCube - Communnication. Produkt je fyzicky umístěn na Leteckém ústavu FSI. Výrobní podklady a zdrojové kódy jsou dostupné na odkaze níže. STRaDe Git: https://strade.fit.vutbr.cz/git/imalanik/BUTCube/src/branch/CommModule/modules/Communication. URL: https://www.fit.vut.cz/research/product/759/. (funkční vzorek)
Detail

KAVETSKYI, A.; DRAHANSKÝ, M.; WEINBERG, K.; NÖTZEL, R.: AP_AkrylFrac_2022; Application for monitoring the shattering of acrylic glass. 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/763/. (software)
Detail

MALANÍK, P.; RYDLO, Š.; LÁZNIČKA, T.; LAZAR, V.; BARTONĚK, J.: BUTCube-Firmware; BUTCube - Microsatellite firmware. Firmware je přístupný z repozitáře výzkumné skupiny STRaDe: https://strade.fit.vutbr.cz/git/imalanik/BUTCube/src/branch/Camera_driver/resources/Camera_driver. URL: https://www.fit.vut.cz/research/product/765/. (software)
Detail

HOLÍK, L.; HOLÍKOVÁ, L.; LENGÁL, O.; VOJNAR, T.; VEANES, M.: chipmunk; Chipmunk: A Tool for Matching of Regular Expressions. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/chipmunk/. (software)
Detail