Detail projektu
Spolehlivé, bezpečné a efektivní počítačové systémy
Období řešení: 1. 3. 2020 - 31. 12. 2022
Typ projektu: grant
Kód: FIT-S-20-6427
Agentura: Vysoké učení technické v Brně
Program: Vnitřní projekty VUT
spolehlivost, bezpečnost, efektivita, počítačové systémy
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.
Ambrožová Gabriela, Mgr., Ph.D. (UITS FIT VUT)
Andriushchenko Roman, Ing. (UITS FIT VUT)
Barabas Maroš, Ing., Ph.D. (UITS FIT VUT)
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT)
Drahanský Martin, prof. Ing., Dipl.-Ing., Ph.D. (UITS FIT VUT)
Dvořák Michal, Ing. (UITS FIT VUT)
Fiedor Jan, Ing., Ph.D. (UITS FIT VUT)
Fiedor Tomáš, Ing., Ph.D. (UITS FIT VUT)
Goldmann Tomáš, Ing., Ph.D. (UITS FIT VUT)
Hanáček Petr, doc. Dr. Ing. (UITS FIT VUT)
Havlena Vojtěch, Ing., Ph.D. (UITS FIT VUT)
Heidari Mona (UITS FIT VUT)
Hellebrandt Lukáš, Ing. (UITS FIT VUT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Holíková Lenka, Ing. (UITS FIT VUT)
Homoliak Ivan, Ing., Ph.D. (UITS FIT VUT)
Hrubý Martin, Ing., Ph.D. (UITS FIT VUT)
Hruška Martin, Ing. (UITS FIT VUT)
Janků Petr, Ing. (UITS FIT VUT)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT)
Kačic Matej, Ing., Ph.D. (UITS FIT VUT)
Kanich Ondřej, Ing., Ph.D. (UITS FIT VUT)
Kavetskyi Andrii (UITS FIT VUT)
Kočí Radek, Ing., Ph.D. (UITS FIT VUT)
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Luža Radim, Ing. (UITS FIT VUT)
Malásková Věra (UITS FIT VUT)
Malčík Dominik, Ing. (UITS FIT VUT)
Malík Viktor, Ing. (UITS FIT VUT)
Malinka Kamil, Mgr., Ph.D. (UITS FIT VUT)
Martiček Štefan, Ing. (UITS FIT VUT)
Matyáš Jiří, Ing. (UITS FIT VUT)
Nečasová Gabriela, Ing., Ph.D. (UITS FIT VUT)
Očenáš Martin, Ing. (UITS FIT VUT)
Orság Filip, Ing., Ph.D. (UITS FIT VUT)
Pavela Jiří, Ing. (UITS FIT VUT)
Peringer Petr, Dr. Ing. (UITS FIT VUT)
Pernický Radim, Ing. (UITS FIT VUT)
Pluháčková Hana, Mgr. Bc. (UITS FIT VUT)
Richta Tomáš, Ing. (UITS FIT VUT)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
Rozman Jaroslav, Ing., Ph.D. (UITS FIT VUT)
Rydlo Štěpán, Ing. (UITS FIT VUT)
Sakin Martin, Ing. (UITS FIT VUT)
Semerád Lukáš, Ing., Ph.D. (UITS FIT VUT)
Síč Juraj, Mgr. (UITS FIT VUT)
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT)
Svoboda Pavel, Ing., Ph.D. (UITS FIT VUT)
Šátek Václav, Ing., Ph.D. (UITS FIT VUT)
Šimáček Jiří, Ing., Ph.D. (UITS FIT VUT)
Šoková Veronika, Ing. (UITS FIT VUT)
Šůstek Martin, Ing. (UPGM FIT VUT)
Tinka Jan, Ing. (UPSY FIT VUT)
Uhlíř Václav, Ing. (UITS FIT VUT)
Vargovčík Pavol, Ing. (UITS FIT VUT)
Veigend Petr, Ing., Ph.D. (UITS FIT VUT)
Vídeňský František, Ing. (UITS FIT VUT)
Vojnarová Marta, Ing. (UITS FIT VUT)
Zbořil František V., doc. Ing., CSc. (UITS FIT VUT)
Zbořil František, doc. Ing., Ph.D. (UITS FIT VUT)
Žák Marek, Ing. (UITS FIT VUT)
2023
- HAVLENA Vojtěch, CHEN Yu-Fang, LENGÁL Ondřej a TURRINI Andrea. A symbolic algorithm for the case-split rule in solving word constraints with extensions. Journal of Systems and Software, roč. 201, č. 201, 2023, s. 111673-111693. ISSN 0164-1212. Detail
- HAVLENA Vojtěch, CHEN Yu-Fang, LENGÁL Ondřej a TURRINI Andrea. A symbolic algorithm for the case-split rule in solving word constraints with extensions (technical report). Ithaca: Cornell University Library, 2023. Detail
- LI Zengpeng, SZALACHOWSKI Pawel, VENUGOPALAN Sarad a HOMOLIAK Ivan. BBB-Voting: 1-out-of-k Blockchain-Based Boardroom Voting with Fault Recovery. In: 2023, s. 15. Detail
- SCHWARZ Martin, KANICH Ondřej, BERKA Miroslav, HAVLOVICOVÁ Markéta a DRAHANSKÝ Martin. Dermatoglyphic Patterns in Monozygotic Twins with Zimmermann-Laband Syndrome. Journal of Forensic Identification, roč. 73, č. 1, 2023, s. 3-13. ISSN 0895-173X. Detail
- ZBOŘIL František, BERAN Jan, DOKOUPIL Ladislav a VÍDEŇSKÝ František. 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 of Artificial Intelligence. Berlin: Springer Nature Switzerland AG, 2023, s. 120-150. ISSN 1611-3349. Detail
- HUJŇÁK Ondřej, MALINKA Kamil a HANÁČEK Petr. Indirect Bluetooth Low Energy Connection Detection. In: 2023 International Conference on Information Networking (ICOIN). Bangkok: Institute of Electrical and Electronics Engineers, 2023, s. 328-333. ISBN 978-1-6654-6268-6. Detail
- FIEDOR Jan, KŘENA Bohuslav, SMRČKA Aleš, VAŠÍČEK Ondřej a VOJNAR Tomáš. Integrating OSLC Services into Eclipse. In: Computer Aided Systems Theory - EUROCAST 2022. Lecture Notes in Computer Science, roč. 13789. Las Palmas de Gran Canaria: Springer International Publishing, 2023, s. 240-249. ISBN 978-3-031-25311-9. Detail
- ZBOŘIL Jan, HUJŇÁK Ondřej a MALINKA Kamil. IoT Gateways Network Communication Analysis. In: 2023 International Conference on Information Networking (ICOIN). Bangkok: Institute of Electrical and Electronics Engineers, 2023, s. 334-339. ISBN 978-1-6654-6268-6. Detail
- KUČERA Radek, ARZT Vladimír, HASLINGER Jaroslav a ŠÁTEK Václav. Numerical solution of the Navier-Stokes system with the stick-slip boundary condition. In: 19th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2023, s. 1-4. ISSN 0094-243X. Detail
- VÍDEŇSKÝ František, ZBOŘIL František, ZBOŘIL František V. a KOČÍ Radek. 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, s. 173-180. ISBN 978-989-758-623-1. Detail
- FIEDOR Tomáš, HRUŠKA Martin a SMRČKA Aleš. Orchestrating Digital Twins for Distributed Manufacturing Execution Systems. In: Computer Aided Systems Theory - EUROCAST 2022. Lecture Notes in Computer Science, roč. 13789. Zurich: Springer International Publishing, 2023, s. 223-231. ISBN 978-3-031-25311-9. Detail
- HARMIM Dominik, MARCIN Vladimír, SVOBODOVÁ Lucie a VOJNAR Tomáš. Static Deadlock Detection in Low-Level C Code. In: International Conference on Computer Aided Systems Theory (EUROCAST'22). Lecture Notes in Computer Science, roč. 13789. Cham: Springer Nature Switzerland AG, 2023, s. 267-276. ISBN 978-3-031-25311-9. Detail
- NEČASOVÁ Gabriela a ŠÁTEK Václav. Taylor series based parallel numerical solution of partial differential equations. In: 19th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2023, s. 1-4. ISSN 0094-243X. Detail
- VEIGEND Petr, NEČASOVÁ Gabriela a ŠÁTEK Václav. 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, s. 239-244. ISBN 979-8-3503-1034-4. Detail
- BLAHOUDEK František, HAVLENA Vojtěch, HOLÍK Lukáš, CHEN Yu-Fang, CHOCHOLATÝ David, LENGÁL Ondřej a SÍČ Juraj. Word Equations in Synergy with Regular Constraints. In: Proceedings of FM'23. Lübeck: Springer Verlag, 2023, s. 403-423. ISSN 0302-9743. Detail
2022
- LA Cava Simone Maurizio, ORR Giulia, GOLDMANN Tomáš, DRAHANSKÝ Martin a MARCIALIS Gian Luca. 3D Face Reconstruction for Forensic Recognition - A Survey. In: 2022 26th International Conference on Pattern Recognition (ICPR). Manhattan, New York, 2022, s. 930-937. ISBN 978-1-6654-9062-7. Detail
- MALÍK Viktor, ŠILLING Petr a VOJNAR Tomáš. Applying Custom Patterns in Semantic Equality Analysis. In: Networked Systems. Lecture Notes in Computer Science, roč. 13464. Cham: Springer Nature Switzerland AG, 2022, s. 265-282. ISBN 978-3-031-17436-0. Detail
- HAVLENA Vojtěch, LENGÁL Ondřej a ŠMAHLÍKOVÁ Barbora. Complementing Büchi Automata with Ranker. In: Proceedings of the 34th International Conference on Computer Aided Verification. Haifa: Springer Verlag, 2022, s. 188-201. ISBN 978-3-031-13187-5. ISSN 0302-9743. Detail
- HAVLENA Vojtěch, LENGÁL Ondřej a ŠMAHLÍKOVÁ Barbora. Complementing Büchi Automata with Ranker (Technical Report). Ithaca: Cornell University Library, 2022. Detail
- HOLÍKOVÁ Lenka, HOLÍK Lukáš, HOMOLIAK Ivan, LENGÁL Ondřej, VEANES Margus a VOJNAR Tomáš. Counting in Regexes Considered Harmful: Exposing ReDoS Vulnerability of Nonbacktracking Matchers. In: Proceedings of the 31st USENIX Security Symposium. Boston, MA: USENIX, 2022, s. 4165-4182. ISBN 978-1-939133-31-1. Detail
- FIRC Anton, MALINKA Kamil a HANÁČEK Petr. Creation and detection of malicious synthetic media - a preliminary survey on deepfakes. In: Sborník příspevků z 54. konference EurOpen.CZ, 28.5.-1.6.2022. Radešín: Česká společnost uživatelů otevřených systémů EurOpen.CZ, 2022, s. 125-145. ISBN 978-80-86583-34-1. Detail
- ŠŮSTEK Martin, SADHU Samik a HEŘMANSKÝ Hynek. 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. Incheon: International Speech Communication Association, 2022, s. 1046-1050. ISSN 1990-9772. Detail
- FIRC Anton, MALINKA Kamil a HANÁČEK Petr. Deepfakes: A Dangerous Entertainment?. In: Recenzovaný sborník příspěvků mezinárodní vědecké konference MMK2022. Hradec Králové: Akademické sdružení MAGNANIMITAS Assn., 2022, s. 1073-1082. ISBN 978-80-87952-37-5. Detail
- ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch a VOJNAR Tomáš. 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, s. 785-792. ISBN 978-1-6654-7404-7. Detail
- HUJŇÁK Ondřej, MALINKA Kamil a HANÁČEK Petr. E-Banking Authentication - Dynamic Password Generators and Hardware Tokens. In: Sborník příspevků z 54. konference EurOpen.CZ, 28.5.-1.6.2022. Radešín: Česká společnost uživatelů otevřených systémů EurOpen.CZ, 2022, s. 211-221. ISBN 978-80-86583-34-1. Detail
- MALINKA Kamil, HUJŇÁK Ondřej, HANÁČEK Petr a HELLEBRANDT Lukáš. E-Banking Security Study - 10 years later. IEEE Access, roč. 2022, č. 10, s. 16681-16699. ISSN 2169-3536. Detail
- ANDRIUSHCHENKO Roman, ČEŠKA Milan, MARCIN Vladimír a VOJNAR Tomáš. GPU-Accelerated Synthesis of Probabilistic Programs. In: International Conference on Computer Aided Systems Theory (EUROCAST'22). Lecture Notes in Computer Science. Cham, 2022, s. 256-266. ISBN 978-3-031-25312-6. Detail
- BREITENBACHER Dominik, HOMOLIAK Ivan, AUNG Yan Lin, ELOVICI Yuval a TIPPENHAUER Nils Ole. HADES-IoT: A practical host-based anomaly detection system for IoT devices (Extended Version). IEEE Internet of Things Journal, roč. 9, č. 12, 2022, s. 9640-9658. ISSN 2327-4662. Detail
- ZBOŘIL František, VÍDEŇSKÝ František, KOČÍ Radek a ZBOŘIL František V. 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, s. 715-724. ISBN 978-989-758-547-0. Detail
- HOLÍK Lukáš, PERINGER Petr, ROGALEWICZ Adam, ŠOKOVÁ Veronika, VOJNAR Tomáš a ZULEGER Florian. Low-Level Bi-Abduction. In: 36th European Conference on Object-Oriented Programming (ECOOP 2022). Leibniz International Proceedings in Informatics, roč. 2022. Wadern: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2022, s. 1-30. ISBN 978-3-95977-225-9. ISSN 1868-8969. Detail
- HOLÍK Lukáš, PERINGER Petr, ROGALEWICZ Adam, ŠOKOVÁ Veronika, VOJNAR Tomáš a ZULEGER Florian. Low-Level Bi-Abduction (Artifact). Dagstuhl, 2022. Detail
- HOLÍK Lukáš, PERINGER Petr, ROGALEWICZ Adam, ŠOKOVÁ Veronika, VOJNAR Tomáš a ZULEGER Florian. Low-Level Bi-Abduction (technical report). Ithaca, 2022. Detail
- KOČÍ Radek a OSADSKÝ Lukáš. On the Applicability of ALF Language in Real Software Projects. In: ICSEA 2022, The Seventeenth International Conference on Software Engineering Advances . Lisbon: Xpert Publishing Services, 2022, s. 102-107. ISBN 978-1-61208-997-3. Detail
- NEČASOVÁ Gabriela, VEIGEND Petr a ŠÁTEK Václav. Parallel Solution of Partial Differential Equations Using Taylor Series Method. In: 18th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2022, s. 1-4. ISSN 0094-243X. Detail
- FIRC Anton a MALINKA Kamil. Practical lessons of (deep)faking human speech. In: Sborník příspevků z 54. konference EurOpen.CZ, 28.5.-1.6.2022. Radešín: Česká společnost uživatelů otevřených systémů EurOpen.CZ, 2022, s. 161-172. ISBN 978-80-86583-34-1. Detail
- ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch, SEKANINA Lukáš, VAŠÍČEK Zdeněk a VOJNAR Tomáš. SagTree: Towards Efficient Mutation in Evolutionary Circuit Approximation. Swarm and Evolutionary Computation, roč. 69, č. 100986, 2022, s. 1-10. ISSN 2210-6502. Detail
- PEREŠÍNI Martin, MALINKA Kamil, HOMOLIAK Ivan, BENČIĆ Federico M. a HLADKÝ Tomáš. Simulations of DAG-based Blockchain Protocols and Attacks on the PHANTOM Protocol via Transaction Selection Strategies. In: Sborník příspevků z 54. konference EurOpen.CZ, 28.5.-1.6.2022. Radešín: Česká společnost uživatelů otevřených systémů EurOpen.CZ, 2022, s. 173-184. ISBN 978-80-86583-34-1. Detail
- HAVLENA Vojtěch, LENGÁL Ondřej a ŠMAHLÍKOVÁ Barbora. Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Buchi Automata Complementation. In: Proceedings of TACAS'22. Munich: Springer Verlag, 2022, s. 118-136. ISBN 978-3-030-99526-3. ISSN 0302-9743. Detail
- HAVLENA Vojtěch, LENGÁL Ondřej a ŠMAHLÍKOVÁ Barbora. Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Buchi Automata Complementation (Technical Report). Ithaca, 2022. Detail
- GE-ERNST Aile, SCHOLL Christoph, SÍČ Juraj a WIMMER Ralf. Solving dependency quantified Boolean formulas using quantifier localization. Theoretical Computer Science, roč. 2022, č. 925, s. 1-24. ISSN 0304-3975. Detail
- KAUBA Christof, DRAHANSKÝ Martin, NOVÁKOVÁ Marie, UHL Andreas a RYDLO Štěpán. State-of-the-Art in 3D Finger Vein Recognition and a NovelMirror-Based 3D Finger Vein Imaging Device. Journal of Imaging, roč. 2022, č. 8, s. 1-25. ISSN 2313-433X. Detail
- VEIGEND Petr, NEČASOVÁ Gabriela a ŠÁTEK Václav. System control using high order numerical method. In: 18th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2022, s. 1-4. ISSN 0094-243X. Detail
- KANICH Ondřej, MATEJKA Ján, FIALOVÁ Eva, PETROVÁ Kafková Marcela, DOSEDĚL Tomáš a DRAHANSKÝ Martin. Technological, legal and sociological summary of biometric technology usage. ScienceOpen Research, roč. 2022, č. 12, s. 1-7. ISSN 2199-1006. Detail
- FIRC Anton a MALINKA Kamil. 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, s. 1646-1655. ISBN 978-1-4503-8713-2. Detail
- HOMOLIAK Ivan. The Security Reference Architecture for Blockchains: Toward a Standardized Model for Studying Vulnerabilities, Threats, and Defenses. In: Sborník příspevků z 54. konference EurOpen.CZ, 28.5.-1.6.2022. Radešín: Česká společnost uživatelů otevřených systémů EurOpen.CZ, 2022, s. 185-210. ISBN 978-80-86583-34-1. Detail
- VAŠÍČEK Ondřej, FIEDOR Jan, KRATOCHVÍLA Tomáš, KŘENA Bohuslav, SMRČKA Aleš a VOJNAR Tomáš. 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, s. 1408-1418. ISBN 978-1-4503-9413-0. Detail
2021
- BISWAS Sangeeta, ROHDIN Johan A., BISWAS Angkan a DRAHANSKÝ Martin. A Study of Bilateral Symmetry in Color Fundus Photographs. IEEE Access, roč. 2021, č. 9, s. 109624-109651. ISSN 2169-3536. Detail
- DRAHANSKÝ Martin, RYDLO Štěpán, KAVETSKYI Andrii, KANICH Ondřej, BISWAS Sangeeta a MŇUK Tomáš. Analýza kvality retinálních snímků. Brno: Ústav zdravotnických informací a statistiky ČR, 2021. Detail
- HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej a VOJNAR Tomáš. Automata Terms in a Lazy WSkS Decision Procedure. Journal of Automated Reasoning, roč. 65, č. 7, 2021, s. 971-999. ISSN 0168-7433. Detail
- MALÍK Viktor a VOJNAR Tomáš. 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, s. 329-339. ISBN 978-1-7281-6837-1. Detail
- HAVLENA Vojtěch, LENGÁL Ondřej a ŠMAHLÍKOVÁ Barbora. Deciding S1S: Down the Rabbit Hole and Through the Looking Glass. In: Proceedings of NETYS'21. Lecture notes in Computer Science. Cham: Springer Verlag, 2021, s. 215-222. ISSN 0302-9743. Detail
- ŽÁK Marek, ROZMAN Jaroslav a ZBOŘIL František V. Design and Control of 7-DOF Omni-directional Hexapod Robot. Open Computer Science, roč. 11, č. 1, 2021, s. 80-89. ISSN 2299-1093. Detail
- DRAHANSKÝ Martin, RYDLO Štěpán, KAVETSKYI Andrii a MŇUK Tomáš. Detekce exsudátů v retinálních snímcích. Brno: Ústav zdravotnických informací a statistiky ČR, 2021. Detail
- DRAHANSKÝ Martin, RYDLO Štěpán, KAVETSKYI Andrii a MŇUK Tomáš. Detekce hemoragií a mikroaneurysmat v retinálních snímcích. Brno: Ústav zdravotnických informací a statistiky ČR, 2021. Detail
- SÍČ Juraj a STREJČEK Jan. DQBDD: An Efficient BDD-Based DQBF Solver. In: Proc. of the 24th International Conference on Theory and Applications of Satisfiability Testing. Heidelberg: Springer Verlag, 2021, s. 535-544. ISSN 0302-9743. Detail
- HASLINGER Jaroslav, KUČERA Radek, SASSI Taoufik a ŠÁTEK Václav. Dual strategies for solving the Stokes problem with stick-slip boundary conditions in 3D. Mathematics and Computers in Simulation, roč. 2021, č. 189, s. 191-206. ISSN 0378-4754. Detail
- DRAHANSKÝ Martin. Fingerprints in forensic verifications. Bussum, 2021. Detail
- UHLÍŘ Václav, ZBOŘIL František a VÍDEŇSKÝ František. 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 of Computer Challenges, roč. 12947. Berlin: Springer International Publishing, 2021, s. 23-45. ISBN 978-3-030-88548-9. ISSN 0302-9743. Detail
- GOLDMANN Tomáš a DRAHANSKÝ Martin. 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, s. 1-4. ISBN 978-1-6654-0638-3. Detail
- CASINO Fran, LYKOUSAS Nikolaos, HOMOLIAK Ivan, PATSAKIS Constantinos a HERNANDEZ-CASTRO Julio. Intercepting Hail Hydra: Real-Time Detection of Algorithmically Generated Domains. Journal of Network and Computer Applications, roč. 2021, č. 190, s. 1-17. ISSN 1084-8045. Detail
- BISWAS Sangeeta, ROHDIN Johan A., KAVETSKYI Andrii, ALVES Saraiva Gabriel, BISWAS Angkan a DRAHANSKÝ Martin. Investigation of Bilateral Similarity in Central Retinal Blood Vessels. IEEE Access, roč. 2021, č. 9, s. 63012-63028. ISSN 2169-3536. Detail
- HASLINGER Jaroslav, KUČERA Radek, MOTYČKOVÁ Kristina a ŠÁTEK Václav. Numerical modeling of the leak through semipermeable walls for 2D/3D Stokes flow: experimental scalability of dual algorithms. Mathematics, roč. 9, č. 22, 2021, s. 1-24. ISSN 2227-7390. Detail
- JANOUŠEK Vladimír a KOČÍ Radek. On the Model Continuity in Control Systems Design Using DEVS, UML, and IEC 61499. In: ICSEA 2021, The Sixteenth International Conference on Software Engineering Advances. Barcelona: Xpert Publishing Services, 2021, s. 114-120. ISBN 978-1-61208-894-5. Detail
- HAVLENA Vojtěch a LENGÁL Ondřej. Reducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation. In: 32nd International Conference on Concurrency Theory (CONCUR 2021). Paris: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2021, s. 1-19. ISSN 1868-8969. Detail
- SEMERÁD Lukáš a DRAHANSKÝ Martin. Retina Recognition Using Crossings and Bifurcations. Applications of Pattern Recognition. London: InTech - Open Access Publisher, 2021, s. 77-94. ISBN 978-1-78985-332-2. Detail
- DVOŘÁK Michal, KANICH Ondřej a DRAHANSKÝ Martin. 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, s. 160-168. ISBN 978-989-758-490-9. Detail
- HOLÍK Lukáš a VARGOVČÍK Pavol. 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, s. 243-264. ISBN 978-3-030-89051-3. Detail
- ABDULLA Parosh A., ATIG Mohamed F., BUI Phi Diep, HOLÍK Lukáš, CHEN Yu-Fang a WU Zhilin. 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, s. 305-320. ISBN 978-3-030-89051-3. Detail
- DYK Tomáš a DRAHANSKÝ Martin. Tank Barrel Scanning Device. In: Proceedings of the 8th International Conference on Military Technologies 2021. Brno: IEEE Computer Society, 2021, s. 1-4. ISBN 978-1-6654-3724-0. Detail
- VEIGEND Petr, NEČASOVÁ Gabriela a ŠÁTEK Václav. Taylor Series Based Numerical Integration Method. Open Computer Science, roč. 11, č. 1, 2021, s. 60-69. ISSN 2299-1093. Detail
- HOMOLIAK Ivan, VENUGOPALAN Sarad, REIJSBERGEN Daniel, HUM Qingze, SCHUMI Richard a SZALACHOWSKI Pawel. The Security Reference Architecture for Blockchains: Toward a Standardized Model for Studying Vulnerabilities, Threats, and Defenses. IEEE Communications Surveys and Tutorials, roč. 23, č. 1, 2021, s. 341-390. ISSN 1553-877X. Detail
- HOLÍK Lukáš a HRUŠKA Martin. Towards Efficient Shape Analysis with Tree Automata. In: Proceedings International Conference on Networked Systems. Lecture notes in Computer Science. Cham: Springer Verlag, 2021, s. 206-214. ISSN 0302-9743. Detail
- DRAHANSKÝ Martin. Využití podvrhů biometrických charakteristik v praxi. 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
- SCHWARZ Martin, RYBA Lukáš, KŘEPELOVÁ Anna, MOSLEROVÁ Veronika, ZELINOVÁ Michaela, TURNOVEC Marek, MARTINKOVÁ Júlia, KRATOCHVÍLOVÁ Lenka, DRAHANSKÝ Martin, MACEK Milan a HAVLOVICOVÁ Markéta. 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, roč. 2021, č. 12, s. 1-5. ISSN 1552-4833. Detail
2020
- HAVLENA Vojtěch, CHEN Yu-Fang, LENGÁL Ondřej a TURRINI Andrea. A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving. In: Proceedings of APLAS'20. Heidelberg: Springer Verlag, 2020, s. 343-363. ISSN 0302-9743. Detail
- HOLÍK Lukáš, IOSIF Radu, ROGALEWICZ Adam a VOJNAR Tomáš. Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. Formal Methods in System Design, roč. 55, č. 3, 2020, s. 137-170. ISSN 0925-9856. Detail
- HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej, VALEŠ Ondřej a VOJNAR Tomáš. Antiprenexing for WSkS: A Little Goes a Long Way. In: EPiC Series in Computing. Proceedings of LPAR-23. Manchester: EasyChair, 2020, s. 298-316. ISSN 2398-7340. Detail
- MATYÁŠ Jiří, PANKUCH Adam, VOJNAR Tomáš, ČEŠKA Milan a ČEŠKA Milan. 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, roč. 12013. Cham: Springer Verlag, 2020, s. 482-490. ISBN 978-3-030-45092-2. Detail
- BISWAS Sangeeta, ROHDIN Johan A. a DRAHANSKÝ Martin. Bilateral Symmetry in Central Retinal Blood Vessels. In: 8th International Workshop on Biometrics and Forensics, IWBF 2020. Porto: IEEE Computer Society, 2020, s. 1-6. ISBN 978-1-7281-6232-4. Detail
- HUM Qingze, TAN Wei Jin, TEY Shi Ying, LENUS Latasha, HOMOLIAK Ivan, LIN Yun a SUN Jun. 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, s. 17-25. ISBN 978-0-7381-0495-9. Detail
- KOČÍ Radek, ROZMAN Jaroslav a ZBOŘIL František. 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, s. 21-25. ISBN 978-1-4503-7690-7. Detail
- ABDULLA Parosh A., ATIG Mohamed F., BUI Phi Diep, HOLÍK Lukáš, CHEN Yu-Fang, JANKŮ Petr, LIN Hsin-Hung a WU Wei-Cheng. 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, s. 943-957. ISBN 978-1-4503-7613-6. Detail
- KANICH Ondřej a DRAHANSKÝ Martin. Fingerprints in forensic applications - processing and generation of diseased, damaged and spoofed fingerprints. INTERPOL, Lyon, 2020. Detail
- BISWAS Sangeeta, ROHDIN Johan A., KAVETSKYI Andrii a DRAHANSKÝ Martin. 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, s. 77-82. ISBN 978-1-7281-9429-5. Detail
- DVOŘÁK Michal a DRAHANSKÝ Martin. Hand image acquisition - New approaches. INTERPOL, Lyon, 2020. Detail
- BISWAS Sangeeta, ROHDIN Johan A. a DRAHANSKÝ Martin. 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, s. 1980-1983. ISBN 978-1-7281-1990-8. Detail
- DRAHANSKÝ Martin. Jednou nás možná nebude potřeba. Praha, 2020, s. 16-19. Detail
- DRAHANSKÝ Martin, MACEK Ivo a GOLDMANN Tomáš. Monitoring of visitors in museum exhibitions. Journal of the National Museum (Prague), roč. 2020, č. 189, s. 155-162. ISSN 1802-6850. Detail
- UHLÍŘ Václav, VÍDEŇSKÝ František a ZBOŘIL František. 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 of Computer Challenges, roč. 12381. Berlin: Springer International Publishing, 2020, s. 59-78. ISBN 978-3-030-59298-1. ISSN 0302-9743. Detail
- DRAHANSKÝ Martin, KANICH Ondřej a HEIDARI Mona. Practical Considerations in the Use of Biometric Systems. Darmstadt: European Association for Biometrics, 2020. Detail
- HOLÍKOVÁ Lenka, HOLÍK Lukáš, LENGÁL Ondřej, SAARIKIVI Olli, VEANES Margus a VOJNAR Tomáš. Regex Matching with Counting-Set Automata. Proceedings of the ACM on Programming Languages, roč. 4, č. 11, 2020, s. 1-30. ISSN 2475-1421. Detail
- KOČÍ Radek. Requirements Validation Through Scenario Generation and Comparison. In: The Fifteenth International Conference on Software Engineering Advances, ICSEA 2020. Porto: Xpert Publishing Services, 2020, s. 129-134. ISBN 978-1-61208-827-3. Detail
- ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch a VOJNAR Tomáš. Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits. In: Theory and Applications of Satisfiability Testing - SAT 2020. Lecture Notes in Computer Science, roč. 12178. Alghero: Springer International Publishing, 2020, s. 481-491. ISBN 978-3-030-51824-0. Detail
- OČENÁŠ Martin, HOMOLIAK Ivan, MALINKA Kamil a HANÁČEK Petr. 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, s. 19-23. ISBN 978-1-4503-7744-7. Detail
- BINDER Alexander, BREITENBACHER Dominik, HARTEL Pieter H., SZALACHOWSKI Pawel, HOMOLIAK Ivan a HUJŇÁK Ondřej. 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, s. 145-162. ISBN 978-1-4503-8139-0. Detail
- AYAZIOVÁ Paulína, HRUŠKA Martin, CHALUPA Marek, JAŠEK Tomáš, STREJČEK Jan, ŠOKOVÁ Veronika, TOMOVIČ Lukáš a VOJNAR Tomáš. Symbiotic 7: Integration of Predator and More (Competition Contribution). In: Proceedings of TACAS 2020 (2). Lecture Notes in Computer Science, roč. 12079. Cham: Springer International Publishing, 2020, s. 413-417. ISBN 978-3-030-45236-0. Detail
- PERNICKÝ Radim, DRAHANSKÝ Martin a KANICH Ondřej. Výzkum falzifikátů otisků prstů na různých nosičích. Kriminalistický sborník, roč. 2020, č. 5, s. 54-58. ISSN 1453-259X. Detail
2022
- Aplikace pro generování heatmap v muzejních expozicích, software, 2022
Autoři: Viskupič Matej, Macek Ivo, Drahanský Martin, Dyk Tomáš, Goldmann Tomáš, Hrabec Jakub Detail - Aplikace pro sledovaní tříštění akrylového skla, software, 2022
Autoři: Kavetskyi Andrii, Drahanský Martin, Weinberg Kerstin, Nötzel Ralf Detail - Barrel Bore eXplorer - mini, prototyp, 2022
Autoři: Malaník Petr, Váňa Jan, Drahanský Martin Detail - Broom: Nástroj pro statickou analýzu C programů založen na separační logice a bi-abdukčním přístupu, software, 2022
Autoři: Holík Lukáš, Peringer Petr, Rogalewicz Adam, Šoková Veronika, Vojnar Tomáš, Zuleger Florian Detail - BUTCube - firmware mikrosatelitu, software, 2022
Autoři: Malaník Petr, Rydlo Štěpán, Láznička Tomáš, Lazar Václav, Bartoněk Jaroslav Detail - BUTCube - Komunikační deska, funkční vzorek, 2022
Autoři: Rydlo Štěpán, Malaník Petr Detail - BUTCube - Modul pro určení pozice slunce, funkční vzorek, 2022
Autoři: Malaník Petr, Lazar Václav, Rydlo Štěpán, Láznička Tomáš, Bartoněk Jaroslav, Popela Robert Detail - BUTCube - Řídící počítač satelitu, funkční vzorek, 2022
Autoři: Malaník Petr, Lazar Václav, Rydlo Štěpán, Láznička Tomáš, Bartoněk Jaroslav, Popela Robert Detail - GadgetCA - Nástroj pro generování ReDoS útoků, software, 2022
Autoři: Holík Lukáš, Holíková Lenka, Homoliak Ivan, Lengál Ondřej, Veanes Margus, Vojnar Tomáš Detail - Inteligentní kamerová jednotka pro muzejní expozice, funkční vzorek, 2022
Autoři: Homola Radim, Macek Ivo, Drahanský Martin, Hrabec Jakub, Dyk Tomáš Detail - Nasazení inteligentní kamerové jednotky a aplikace pro heatmapy v prostorách Národního muzea, poloprovoz, 2022
Autoři: Macek Ivo, Viskupič Matej, Homola Radim, Dyk Tomáš, Drahanský Martin Detail - Phenobottle 2: Řasový kultivátor pro distribuovanou optimalizaci s kontrolou teploty a spektrálním měřením hustoty, prototyp, 2022
Autoři: Červený Jan, Drahanský Martin, Malaník Petr, Tinka Jan Detail - Ranker: Nástroj pro komplementaci Büchiho automatů, software, 2022
Autoři: Havlena Vojtěch, Lengál Ondřej, Šmahlíková Barbora Detail - Unite: Adaptér pro zpřístupnění nástrojů pro analýzu softwaru přes webové služby s využitím OSLC, Verze 3.0, software, 2022
Autoři: Vašíček Ondřej, Fiedor Jan, Smrčka Aleš, Vojnar Tomáš, Křena Bohuslav Detail - Zařízení pro snímání meibomských žláz (meibograf), funkční vzorek, 2022
Autoři: Rydlo Štěpán, Mňuk Tomáš, Drahanský Martin Detail - Zařízení s rotujícím osvětlením okolo prstu pro pozorování viditelnosti krevního řečiště prstu, funkční vzorek, 2022
Autoři: Rydlo Štěpán, Drahanský Martin Detail
2021
- BUTCube - Jednotka solárních panelů, funkční vzorek, 2021
Autoři: Malaník Petr Detail - BUTCube - Napájecí jednotka, funkční vzorek, 2021
Autoři: Malaník Petr Detail - Jednotka pro transluminaci plic, funkční vzorek, 2021
Autoři: Goldmann Tomáš, Votruba Jiří, Drahanský Martin, Brůha Tomáš Detail - Phenobottle: Řasový kultivátor pro distribuovanou optimalizaci, funkční vzorek, 2021
Autoři: Malaník Petr, Červený Jan, Drahanský Martin, Dvořák Michal Detail
2020
- Elektronické pero pro záznam dynamických vlastností písma, funkční vzorek, 2020
Autoři: Müller Dominik, Drahanský Martin Detail - Chipmunk: Nástroj pro vyhledávní podle regulárních výrazů., software, 2020
Autoři: Holík Lukáš, Holíková Lenka, Lengál Ondřej, Veanes Margus, Vojnar Tomáš Detail - SYDAGenerator 2 - pokročilý nástroj pro generování datasetů s využitím 3D objektu, software, 2020
Autoři: Goldmann Tomáš, Drahanský Martin Detail