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.

FIT-S-20-6427

Czech

Vojnar Tomáš, prof. Ing., Ph.D. - principal person responsible
Ambrožová Gabriela, Mgr., Ph.D. - fellow researcher
Barabas Maroš, Ing., Ph.D. - fellow researcher
Češka Milan, doc. RNDr., Ph.D. - fellow researcher
Češka Milan, prof. RNDr., CSc. - fellow researcher
Drahanský Martin, prof. Ing., Ph.D. - fellow researcher
Dvořák Michal, Ing., Ph.D. - fellow researcher
Fiedor Jan, Ing., Ph.D. - fellow researcher
Fiedor Tomáš, Ing., Ph.D. - fellow researcher
Goldmann Tomáš, Ing., Ph.D. - fellow researcher
Hanáček Petr, doc. Dr. Ing. - fellow researcher
Havlena Vojtěch, Ing., Ph.D. - fellow researcher
Heidari Mona, Ph.D. - fellow researcher
Hellebrandt Lukáš, Ing. - fellow researcher
Holík Lukáš, doc. Mgr., Ph.D. - fellow researcher
Holíková Lenka, Ing., Ph.D. - fellow researcher
Homoliak Ivan, doc. Ing., Ph.D. - fellow researcher
Hrubý Martin, Ing., Ph.D. - fellow researcher
Hruška Martin, Ing., Ph.D. - fellow researcher
Hujňák Ondřej, Ing., Ph.D. - fellow researcher
Charvát Lukáš, Ing., Ph.D. - fellow researcher
Janků Petr, Ing., Ph.D. - fellow researcher
Janoušek Vladimír, doc. Ing., Ph.D. - fellow researcher
Kanich Ondřej, Ing., Ph.D. - fellow researcher
Kavetskyi Andrii - fellow researcher
Kočí Radek, Ing., Ph.D. - fellow researcher
Křena Bohuslav, Ing., Ph.D. - fellow researcher
Lengál Ondřej, doc. Ing., Ph.D. - 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
Očenáš Martin, Ing. - fellow researcher
Orság Filip, Ing., Ph.D. - fellow researcher
Peringer Petr, Dr. Ing. - fellow researcher
Pernický Radim, 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
Sakin Martin, Ing. - fellow researcher
Semerád Lukáš, Ing., Ph.D. - fellow researcher
Smrčka Aleš, Ing., Ph.D. - fellow researcher
Šátek Václav, Ing., Ph.D. - fellow researcher
Šimková Hana, Mgr. Bc., Ph.D. - fellow researcher
Šoková Veronika, Ing., Ph.D. - fellow researcher
Šůstek Martin, Ing. - fellow researcher
Uhlíř Václav, Ing. - fellow researcher
Vargovčík Pavol, 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
Zimmermann Viktor, M.Sc. - fellow researcher
Žák Marek, Ing., Ph.D. - fellow researcher

Department of Intelligent Systems
- internal (1.1.2020 - 31.12.2022)
Faculty of Information Technology
- beneficiary (1.1.2020 - 31.12.2022)

VISKUPIČ, M.; MACEK, I.; DRAHANSKÝ, M.; DYK, T.; GOLDMANN, T.; HRABEC, J.: xx; Aplikace pro generování heatmap v muzejních expozicích. xx. URL: https://www.fit.vut.cz/research/product/746/. (Software)
Detail

MALANÍK, P.: xx; BUTCube - Electronic power system. xx. URL: https://www.fit.vut.cz/research/product/758/. (Funkční vzorek)
Detail

HOLÍK, L.; HOLÍKOVÁ, L.; HOMOLIAK, I.; LENGÁL, O.; VOJNAR, T.; VEANES, M.: xx; GadgetCA: A Tool for Generating ReDoS Attacks. xx. URL: https://www.fit.vut.cz/research/product/730/. (Software)
Detail

HOMOLA, R.; MACEK, I.; DRAHANSKÝ, M.; HRABEC, J.; DYK, T.: xx; Inteligentní kamerová jednotka pro muzejní expozice. xx. URL: https://www.fit.vut.cz/research/product/745/. (Funkční vzorek)
Detail

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

MALANÍK, P.: xx; BUTCube - Solar unit. xx. URL: https://www.fit.vut.cz/research/product/757/. (Funkční vzorek)
Detail

RYDLO, Š.; DRAHANSKÝ, M.: xx; Zařízení s rotujícím osvětlením okolo prstu pro pozorování viditelnosti krevního řečiště prstu. xx. URL: https://www.fit.vut.cz/research/product/743/. (Funkční vzorek)
Detail

MÜLLER, D.; DRAHANSKÝ, M.: xx; Elektronické pero pro záznam dynamických vlastností písma. xx. URL: https://www.fit.vut.cz/research/product/645/. (Funkční vzorek)
Detail

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

KAVETSKYI, A.; DRAHANSKÝ, M.; WEINBERG, K.; NÖTZEL, R.: xx; Application for monitoring the shattering of acrylic glass. xx. URL: https://www.fit.vut.cz/research/product/763/. (Software)
Detail

MALANÍK, P.; ČERVENÝ, J.; DRAHANSKÝ, M.; DVOŘÁK, M.: xx; Phenobottle: Algae cultivator for distributed optimization. xx. URL: https://www.fit.vut.cz/research/product/732/. (Funkční vzorek)
Detail

MALANÍK, P.; LAZAR, V.; RYDLO, Š.; LÁZNIČKA, T.; BARTONĚK, J.; POPELA, R.: xx; BUTCube - Flight controller computer. xx. URL: https://www.fit.vut.cz/research/product/737/. (Funkční vzorek)
Detail

RYDLO, Š.; MŇUK, T.; DRAHANSKÝ, M.: xx; Zařízení pro snímání meibomských žláz (meibograf). xx. URL: https://www.fit.vut.cz/research/product/741/. (Funkční vzorek)
Detail

MALANÍK, P.; VÁŇA, J.; DRAHANSKÝ, M.: xx; Barrel Bore eXplorer - mini. xx. URL: https://www.fit.vut.cz/research/product/738/. (Prototyp)
Detail

MALANÍK, P.; LAZAR, V.; RYDLO, Š.; LÁZNIČKA, T.; BARTONĚK, J.; POPELA, R.: xx; BUTCube - Sun sensor module. xx. URL: https://www.fit.vut.cz/research/product/756/. (Funkční vzorek)
Detail

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

HOLÍK, L.; HOLÍKOVÁ, L.; LENGÁL, O.; VOJNAR, T.; VEANES, M.: xx; Chipmunk: A Tool for Matching of Regular Expressions. xx. URL: https://www.fit.vut.cz/research/product/685/. (Software)
Detail

MALANÍK, P.; RYDLO, Š.; LÁZNIČKA, T.; LAZAR, V.; BARTONĚK, J.: xx; BUTCube - Microsatellite firmware. xx. URL: https://www.fit.vut.cz/research/product/765/. (Software)
Detail

MACEK, I.; VISKUPIČ, M.; HOMOLA, R.; DYK, T.; DRAHANSKÝ, M.: xx; Nasazení inteligentní kamerové jednotky a aplikace pro heatmapy v prostorách Národního muzea. xx. URL: https://www.fit.vut.cz/research/product/747/. (Poloprovoz)
Detail

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

RYDLO, Š.; MALANÍK, P.: xx; BUTCube - Communnication. xx. URL: https://www.fit.vut.cz/research/product/759/. (Funkční vzorek)
Detail

MALANÍK, P.; ČERVENÝ, J.; TINKA, J.; DRAHANSKÝ, M.: xx; Phenobottle 2: Algae cultivator for distributed optimization with temperature control and spectral density measurement. xx. URL: https://www.fit.vut.cz/research/product/736/. (Prototyp)
Detail

GOLDMANN, T.; VOTRUBA, J.; DRAHANSKÝ, M.; BRŮHA, T.: xx; Jednotka pro transluminaci plic. xx. URL: https://www.fit.vut.cz/research/product/727/. (Funkční vzorek)
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

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

Č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

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

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

ŽÁK, M.; ROZMAN, J.; ZBOŘIL, F. Design and Control of 7-DOF Omni-directional Hexapod Robot. Open Computer Science, 2021, vol. 11, no. 1, p. 80-89. ISSN: 2299-1093.
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

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

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

Č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

VEIGEND, P.; NEČASOVÁ, G.; ŠÁTEK, V. Taylor Series Based Numerical Integration Method. Open Computer Science, 2020, vol. 11, no. 1, p. 60-69. ISSN: 2299-1093.
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

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

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

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.; DRAHANSKÝ, M. Grading Quality of Color Retinal Images to Assist Fundus Camera Operators. In Proceedings of the IEEE 33rd International Symposium on Computer-Based Medical Systems (CBMS). Rochester: IEEE Computer Society Press, 2020. p. 77-82. ISBN: 978-1-7281-9429-5.
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

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

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

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. no. 8, p. 1-19. ISSN: 1868-8969.
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

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

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

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

BISWAS, S.; ROHDIN, J.; DRAHANSKÝ, M. Interretinal Symmetry in Color Fundus Photographs. In Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS. Montreal: IEEE Computer Society, 2020. p. 1980-1983. ISBN: 978-1-7281-1990-8.
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. no. 12831, p. 535-544. ISSN: 0302-9743.
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

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

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

DRAHANSKÝ, M. Jednou nás možná nebude potřeba. Praha: 2020. s. 16-19.
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

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

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

DRAHANSKÝ, M.; KANICH, O.; HEIDARI, M. Practical Considerations in the Use of Biometric Systems. Darmstadt: European Association for Biometrics, 2020. p. 1-20.
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

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

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

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

BISWAS, S.; ROHDIN, J.; DRAHANSKÝ, M. Bilateral Symmetry in Central Retinal Blood Vessels. In 8th International Workshop on Biometrics and Forensics, IWBF 2020. Porto: IEEE Computer Society, 2020. p. 1-6. ISBN: 978-1-7281-6232-4.
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. 2021, vol. 2021, no. 12, p. 1-5. ISSN: 1552-4833.
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

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

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. no. 13244, p. 118-136. ISBN: 978-3-030-99526-3. 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

DRAHANSKÝ, M. Fingerprints in forensic verifications. Bussum: 2021. p. 1-24.
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

HRUŠKA, M.; FIEDOR, T.; SMRČKA, A. Orchestrating Digital Twins for Distributed Manufacturing Execution Systems. In Computer Aided Systems Theory - EUROCAST 2022. Lecture Notes in Computer Science. Zurich: Springer International Publishing, 2023. p. 223-231. ISBN: 978-3-031-25311-9.
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. no. 3, p. 1-4. ISSN: 0094-243X.
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

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. no. 10, p. 23-45. ISBN: 978-3-030-88548-9. ISSN: 0302-9743.
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. no. 12754, p. 206-214. ISSN: 0302-9743.
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. no. 12754, p. 215-222. ISSN: 0302-9743.
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

NEČASOVÁ, G.; ŠÁTEK, V. Parallel solution of parabolic partial differential equation using higher-order method. In 20th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Heraklion: American Institute of Physics, 2024. no. 3094, p. 1-4. ISSN: 0094-243X.
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

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

DRAHANSKÝ, M.; MACEK, I.; GOLDMANN, T. Monitoring of visitors in museum exhibitions. Journal of the National Museum. Natural History Series. Národní muzeum EG EF, 2020, vol. 2020, no. 189, p. 155-162. ISSN: 1802-6850.
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Í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

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. no. 14000, 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. JOURNAL OF SYSTEMS AND SOFTWARE, 2023, vol. 201, no. 201, p. 111673-111693. ISSN: 0164-1212.
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

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

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

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

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. no. 13372, p. 188-201. ISBN: 978-3-031-13187-5. ISSN: 0302-9743.
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

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

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. no. 73, p. 298-316. ISSN: 2398-7340.
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. no. 8, p. 59-78. ISBN: 978-3-030-59298-1. ISSN: 0302-9743.
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. no. 9, p. 1046-1050. ISSN: 1990-9772.
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. no. 2849, p. 1-4. ISSN: 0094-243X.
Detail

DVOŘÁK, M.; DRAHANSKÝ, M. Hand image acquisition - New approaches. INTERPOL, Lyon: 2020. p. 1-17.
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. no. 13997, p. 120-150. ISSN: 1611-3349.
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

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

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. 45 p.
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

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. 27 p.
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. no. 12470, p. 343-363. ISSN: 0302-9743.
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

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

PERNICKÝ, R.; DRAHANSKÝ, M.; KANICH, O. Výzkum falzifikátů otisků prstů na různých nosičích. Kriminalistický sborník, 2020, roč. 2020, č. 5, s. 54-58. ISSN: 1453-259X.
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

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. no. 222, p. 1-30. ISBN: 978-3-95977-225-9. ISSN: 1868-8969.
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

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

Š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

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

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: Springer Nature Switzerland AG, 2022. p. 256-266. ISBN: 978-3-031-25312-6.
Detail

VEIGEND, P.; ŠÁTEK, V. Non-linear control using the numerical method based on the Taylor series. In 20th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Heraklion: American Institute of Physics, 2024. no. 3094, p. 1-4. ISSN: 0094-243X.
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

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

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

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

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