Detail projektu
Spolehlivé, bezpečné a efektivní počítačové systémy
Období řešení: 1. 3. 2020 – 28. 2. 2023
Typ projektu: grant
Kód: FIT-S-20-6427
Agentura: Vysoké učení technické v Brně
Program: Vnitřní projekty VUT
Typ
grant
Abstrakt
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.
Řešitelé
Vojnar Tomáš, prof. Ing., Ph.D.
(UITS)
– hlavní řešitel
Ambrožová Gabriela, Mgr., Ph.D.
Barabas Maroš, Ing., Ph.D.
Češka Milan, doc. RNDr., Ph.D. (UITS)
Češka Milan, prof. RNDr., CSc.
Drahanský Martin, prof. Ing., Ph.D.
Dvořák Michal, Ing., Ph.D.
Fiedor Jan, Ing., Ph.D. (UITS)
Fiedor Tomáš, Ing., Ph.D. (VZ VERIFIT)
Goldmann Tomáš, Ing., Ph.D. (UITS)
Hanáček Petr, doc. Dr. Ing. (UITS)
Havlena Vojtěch, Ing., Ph.D. (UITS)
Heidari Mona, Ph.D. (FIT)
Hellebrandt Lukáš, Ing. (FIT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Holíková Lenka, Ing., Ph.D. (UITS)
Homoliak Ivan, Ing., Ph.D. (UITS)
Hrubý Martin, Ing., Ph.D. (UITS)
Hruška Martin, Ing., Ph.D. (VZ Automata@FIT)
Hujňák Ondřej, Ing. (UITS)
Charvát Lukáš, Ing., Ph.D.
Janků Petr, Ing. (UITS)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS)
Kanich Ondřej, Ing., Ph.D. (UITS)
Kavetskyi Andrii (UITS)
Kočí Radek, Ing., Ph.D. (UITS)
Křena Bohuslav, Ing., Ph.D. (UITS)
Lengál Ondřej, Ing., Ph.D. (UITS)
Malík Viktor, Ing., Ph.D. (UITS)
Malinka Kamil, Mgr., Ph.D. (UITS)
Martiček Štefan, Ing.
Matyáš Jiří, Ing., Ph.D. (VZ VERIFIT)
Nečasová Gabriela, Ing., Ph.D. (UITS)
Očenáš Martin, Ing. (FIT)
Orság Filip, Ing., Ph.D. (UITS)
Peringer Petr, Dr. Ing. (UITS)
Pernický Radim, Ing.
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS)
Rozman Jaroslav, Ing., Ph.D. (UITS)
Rydlo Štěpán, Ing. (UITS)
Sakin Martin, Ing. (UITS)
Semerád Lukáš, Ing., Ph.D. (UITS)
Smrčka Aleš, Ing., Ph.D. (UITS)
Šátek Václav, Ing., Ph.D. (UITS)
Šimková Hana, Mgr. Bc., Ph.D.
Šoková Veronika, Ing. (UITS)
Šůstek Martin, Ing. (UPGM)
Uhlíř Václav, Ing.
Vargovčík Pavol, Ing. (UITS)
Veigend Petr, Ing., Ph.D. (UITS)
Vídeňský František, Ing. (UITS)
Zbořil František, doc. Ing., CSc. (UITS)
Zbořil František, doc. Ing., Ph.D. (UITS)
Zimmermann Viktor, M.Sc.
Žák Marek, Ing., Ph.D.
Ambrožová Gabriela, Mgr., Ph.D.
Barabas Maroš, Ing., Ph.D.
Češka Milan, doc. RNDr., Ph.D. (UITS)
Češka Milan, prof. RNDr., CSc.
Drahanský Martin, prof. Ing., Ph.D.
Dvořák Michal, Ing., Ph.D.
Fiedor Jan, Ing., Ph.D. (UITS)
Fiedor Tomáš, Ing., Ph.D. (VZ VERIFIT)
Goldmann Tomáš, Ing., Ph.D. (UITS)
Hanáček Petr, doc. Dr. Ing. (UITS)
Havlena Vojtěch, Ing., Ph.D. (UITS)
Heidari Mona, Ph.D. (FIT)
Hellebrandt Lukáš, Ing. (FIT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Holíková Lenka, Ing., Ph.D. (UITS)
Homoliak Ivan, Ing., Ph.D. (UITS)
Hrubý Martin, Ing., Ph.D. (UITS)
Hruška Martin, Ing., Ph.D. (VZ Automata@FIT)
Hujňák Ondřej, Ing. (UITS)
Charvát Lukáš, Ing., Ph.D.
Janků Petr, Ing. (UITS)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS)
Kanich Ondřej, Ing., Ph.D. (UITS)
Kavetskyi Andrii (UITS)
Kočí Radek, Ing., Ph.D. (UITS)
Křena Bohuslav, Ing., Ph.D. (UITS)
Lengál Ondřej, Ing., Ph.D. (UITS)
Malík Viktor, Ing., Ph.D. (UITS)
Malinka Kamil, Mgr., Ph.D. (UITS)
Martiček Štefan, Ing.
Matyáš Jiří, Ing., Ph.D. (VZ VERIFIT)
Nečasová Gabriela, Ing., Ph.D. (UITS)
Očenáš Martin, Ing. (FIT)
Orság Filip, Ing., Ph.D. (UITS)
Peringer Petr, Dr. Ing. (UITS)
Pernický Radim, Ing.
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS)
Rozman Jaroslav, Ing., Ph.D. (UITS)
Rydlo Štěpán, Ing. (UITS)
Sakin Martin, Ing. (UITS)
Semerád Lukáš, Ing., Ph.D. (UITS)
Smrčka Aleš, Ing., Ph.D. (UITS)
Šátek Václav, Ing., Ph.D. (UITS)
Šimková Hana, Mgr. Bc., Ph.D.
Šoková Veronika, Ing. (UITS)
Šůstek Martin, Ing. (UPGM)
Uhlíř Václav, Ing.
Vargovčík Pavol, Ing. (UITS)
Veigend Petr, Ing., Ph.D. (UITS)
Vídeňský František, Ing. (UITS)
Zbořil František, doc. Ing., CSc. (UITS)
Zbořil František, doc. Ing., Ph.D. (UITS)
Zimmermann Viktor, M.Sc.
Žák Marek, Ing., Ph.D.
Publikace
2023
- 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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
2022
- 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 - 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 - Č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 - Č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 - 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 - 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.; 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.; 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. Complementing Büchi Automata with Ranker (Technical Report). Ithaca: Cornell University Library, 2022.
p. 0-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 (Technical Report). Ithaca: 2022.
p. 0-0. 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - ROGALEWICZ, A.; ŠOKOVÁ, V.; VOJNAR, T.; HOLÍK, L.; PERINGER, P.; ZULEGER, F. Low-Level Bi-Abduction (Artifact). Dagstuhl: 2022.
p. 1-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 - Š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 - ŠŮ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 - 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 - 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 - 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
2021
- 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 - 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 - DRAHANSKÝ, M. Fingerprints in forensic verifications. Bussum: 2021.
p. 1-24. 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.; 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - Š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 - 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 - 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 - ŽÁ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
2020
- 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 - 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 - 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 - 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 - Č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 - DRAHANSKÝ, M. Jednou nás možná nebude potřeba. Praha: 2020.
s. 16-19. 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.; 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 - DVOŘÁK, M.; DRAHANSKÝ, M. Hand image acquisition - New approaches. INTERPOL, Lyon: 2020.
p. 1-17. 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 - 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 - 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 - 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 - 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 - 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 - 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 - KANICH, O.; DRAHANSKÝ, M. Fingerprints in forensic applications - processing and generation of diseased, damaged and spoofed fingerprints. INTERPOL, Lyon: 2020.
p. 1-20. Detail - KANICH, O.; HYTYCHOVÁ, T.; DRAHANSKÝ, M. Hyperkeratotic eczema 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 - KANICH, O.; WILDMANN, R.; DRAHANSKÝ, M. Colagenosis and psoriasis damage simulation into synthetic fingerprints. 2020,
p. 0-0. ISSN: 2637-6407. 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 - 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 - 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 - 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 - 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 - 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