Přístupnostní navigace
E-application
Search Search Close
Project detail
Duration: 01.03.2020 — 28.02.2023
Funding resources
Brno University of Technology - Vnitřní projekty VUT
- whole funder (2020-01-01 - 2021-12-31)
On the project
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.
Mark
FIT-S-20-6427
Default language
Czech
People responsible
Ambrožová Gabriela, Mgr., Ph.D. - fellow researcherBarabas Maroš, Ing., Ph.D. - fellow researcherČeška Milan, doc. RNDr., Ph.D. - fellow researcherČeška Milan, prof. RNDr., CSc. - fellow researcherDrahanský Martin, prof. Ing., Ph.D. - fellow researcherDvořák Michal, Ing., Ph.D. - fellow researcherFiedor Jan, Ing., Ph.D. - fellow researcherFiedor Tomáš, Ing., Ph.D. - fellow researcherGoldmann Tomáš, Ing., Ph.D. - fellow researcherHanáček Petr, doc. Dr. Ing. - fellow researcherHavlena Vojtěch, Ing., Ph.D. - fellow researcherHeidari Mona, Ph.D. - fellow researcherHellebrandt Lukáš, Ing. - fellow researcherHolík Lukáš, doc. Mgr., Ph.D. - fellow researcherHolíková Lenka, Ing., Ph.D. - fellow researcherHomoliak Ivan, Ing., Ph.D. - fellow researcherHrubý Martin, Ing., Ph.D. - fellow researcherHruška Martin, Ing., Ph.D. - fellow researcherHujňák Ondřej, Ing. - fellow researcherCharvát Lukáš, Ing., Ph.D. - fellow researcherJanků Petr, Ing. - fellow researcherJanoušek Vladimír, doc. Ing., Ph.D. - fellow researcherKanich Ondřej, Ing., Ph.D. - fellow researcherKavetskyi Andrii - fellow researcherKočí Radek, Ing., Ph.D. - fellow researcherKřena Bohuslav, Ing., Ph.D. - fellow researcherLengál Ondřej, Ing., Ph.D. - fellow researcherMalík Viktor, Ing., Ph.D. - fellow researcherMalinka Kamil, Mgr., Ph.D. - fellow researcherMartiček Štefan, Ing. - fellow researcherMatyáš Jiří, Ing., Ph.D. - fellow researcherNečasová Gabriela, Ing., Ph.D. - fellow researcherOčenáš Martin, Ing. - fellow researcherOrság Filip, Ing., Ph.D. - fellow researcherPeringer Petr, Dr. Ing. - fellow researcherPernický Radim, Ing. - fellow researcherRogalewicz Adam, doc. Mgr., Ph.D. - fellow researcherRozman Jaroslav, Ing., Ph.D. - fellow researcherRydlo Štěpán, Ing. - fellow researcherSakin Martin, Ing. - fellow researcherSemerád Lukáš, Ing., Ph.D. - fellow researcherSmrč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. - fellow researcherŠůstek Martin, Ing. - fellow researcherUhlíř Václav, Ing. - fellow researcherVargovčík Pavol, Ing. - fellow researcherVeigend Petr, Ing., Ph.D. - fellow researcherVídeňský František, Ing. - fellow researcherZbořil František, doc. Ing., CSc. - fellow researcherZbořil František, doc. Ing., Ph.D. - fellow researcherZimmermann Viktor, M.Sc. - fellow researcherŽák Marek, Ing., Ph.D. - fellow researcherVojnar Tomáš, prof. Ing., Ph.D. - principal person responsible
Units
Department of Intelligent Systems- (2020-01-01 - 2022-12-31)Faculty of Information Technology- (2020-01-01 - 2022-12-31)
Results
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