Project Details

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

Project Period: 1. 3. 2020 - 31. 12. 2022

Project Type: grant

Code: FIT-S-20-6427

Agency: Brno University of Technology

Program: Vnitřní projekty VUT

English title
Reliable, Secure, and Efficient Computer Systems
Type
grant
Keywords

reliability, security, efficiency, computer systems

Abstract

The project targets research on methods of developing reliable, secure, and efficient computer systems. The project involves employees and students from the Department of Intelligent Systems of FIT BUT whose research covers different aspects of the mentioned areas. The project includes both theoretical research as well as prototype implementation and experimental evaluation of the studied approaches.

Team members
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT) , research leader
Ambrožová Gabriela, Mgr., Ph.D. (DITS FIT BUT)
Andriushchenko Roman, Ing. (DITS FIT BUT)
Barabas Maroš, Ing., Ph.D. (DITS FIT BUT)
Češka Milan, doc. RNDr., Ph.D. (DITS FIT BUT)
Češka Milan, prof. RNDr., CSc. (DITS FIT BUT)
Drahanský Martin, prof. Ing., Dipl.-Ing., Ph.D. (DITS FIT BUT)
Dvořák Michal, Ing. (DITS FIT BUT)
Fiedor Jan, Ing., Ph.D. (DITS FIT BUT)
Fiedor Tomáš, Ing., Ph.D. (DITS FIT BUT)
Goldmann Tomáš, Ing., Ph.D. (DITS FIT BUT)
Hanáček Petr, doc. Dr. Ing. (DITS FIT BUT)
Havlena Vojtěch, Ing., Ph.D. (DITS FIT BUT)
Heidari Mona (DITS FIT BUT)
Hellebrandt Lukáš, Ing. (DITS FIT BUT)
Holík Lukáš, doc. Mgr., Ph.D. (DITS FIT BUT)
Holíková Lenka, Ing. (DITS FIT BUT)
Homoliak Ivan, doc. Ing., Ph.D. (DITS FIT BUT)
Hrubý Martin, Ing., Ph.D. (DITS FIT BUT)
Hruška Martin, Ing. (DITS FIT BUT)
Janků Petr, Ing. (DITS FIT BUT)
Janoušek Vladimír, doc. Ing., Ph.D. (DITS FIT BUT)
Kačic Matej, Ing., Ph.D. (DITS FIT BUT)
Kanich Ondřej, Ing., Ph.D. (DITS FIT BUT)
Kavetskyi Andrii (DITS FIT BUT)
Kočí Radek, Ing., Ph.D. (DITS FIT BUT)
Křena Bohuslav, Ing., Ph.D. (DITS FIT BUT)
Lengál Ondřej, Ing., Ph.D. (DITS FIT BUT)
Luža Radim, Ing. (DITS FIT BUT)
Malásková Věra (DITS FIT BUT)
Malčík Dominik, Ing. (DITS FIT BUT)
Malík Viktor, Ing. (DITS FIT BUT)
Malinka Kamil, Mgr., Ph.D. (DITS FIT BUT)
Martiček Štefan, Ing. (DITS FIT BUT)
Matyáš Jiří, Ing. (DITS FIT BUT)
Nečasová Gabriela, Ing., Ph.D. (DITS FIT BUT)
Očenáš Martin, Ing. (DITS FIT BUT)
Orság Filip, Ing., Ph.D. (DITS FIT BUT)
Pavela Jiří, Ing. (DITS FIT BUT)
Peringer Petr, Dr. Ing. (DITS FIT BUT)
Pernický Radim, Ing. (DITS FIT BUT)
Pluháčková Hana, Mgr. Bc. (DITS FIT BUT)
Richta Tomáš, Ing. (DITS FIT BUT)
Rogalewicz Adam, doc. Mgr., Ph.D. (DITS FIT BUT)
Rozman Jaroslav, Ing., Ph.D. (DITS FIT BUT)
Rydlo Štěpán, Ing. (DITS FIT BUT)
Sakin Martin, Ing. (DITS FIT BUT)
Semerád Lukáš, Ing., Ph.D. (DITS FIT BUT)
Síč Juraj, Mgr. (DITS FIT BUT)
Smrčka Aleš, Ing., Ph.D. (DITS FIT BUT)
Svoboda Pavel, Ing., Ph.D. (DITS FIT BUT)
Šátek Václav, Ing., Ph.D. (DITS FIT BUT)
Šimáček Jiří, Ing., Ph.D. (DITS FIT BUT)
Šoková Veronika, Ing. (DITS FIT BUT)
Šůstek Martin, Ing. (DCGM FIT BUT)
Tinka Jan, Ing. (DCSY FIT BUT)
Uhlíř Václav, Ing. (DITS FIT BUT)
Vargovčík Pavol, Ing. (DITS FIT BUT)
Veigend Petr, Ing., Ph.D. (DITS FIT BUT)
Vídeňský František, Ing. (DITS FIT BUT)
Vojnarová Marta, Ing. (DITS FIT BUT)
Zbořil František V., doc. Ing., CSc. (DITS FIT BUT)
Zbořil František, doc. Ing., Ph.D. (DITS FIT BUT)
Žák Marek, Ing. (DITS FIT BUT)
Publications

2024

  • VEIGEND Petr and ŠÁTEK Václav. Non-linear control using the numerical method based on the Taylor series. In: 20th International Conference of Numerical Analysis and Applied Mathematics. Heraklion: American Institute of Physics, 2024, pp. 1-4. ISSN 0094-243X. Detail
  • NEČASOVÁ Gabriela and ŠÁTEK Václav. Parallel solution of parabolic partial differential equation using higher-order method. In: 20th International Conference of Numerical Analysis and Applied Mathematics. Heraklion: American Institute of Physics, 2024, pp. 1-4. ISSN 0094-243X. Detail

2023

  • HAVLENA Vojtěch, CHEN Yu-Fang, LENGÁL Ondřej and TURRINI Andrea. A symbolic algorithm for the case-split rule in solving word constraints with extensions. Journal of Systems and Software, vol. 201, no. 201, 2023, pp. 111673-111693. ISSN 0164-1212. Detail
  • HAVLENA Vojtěch, CHEN Yu-Fang, LENGÁL Ondřej and 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 and HOMOLIAK Ivan. BBB-Voting: 1-out-of-k Blockchain-Based Boardroom Voting with Fault Recovery. In: 2023, p. 15. Detail
  • SCHWARZ Martin, KANICH Ondřej, BERKA Miroslav, HAVLOVICOVÁ Markéta and DRAHANSKÝ Martin. Dermatoglyphic Patterns in Monozygotic Twins with Zimmermann-Laband Syndrome. Journal of Forensic Identification, vol. 73, no. 1, 2023, pp. 3-13. ISSN 0895-173X. Detail
  • ZBOŘIL František, BERAN Jan, DOKOUPIL Ladislav and 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, pp. 120-150. ISSN 1611-3349. Detail
  • HUJŇÁK Ondřej, MALINKA Kamil and 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, pp. 328-333. ISBN 978-1-6654-6268-6. Detail
  • FIEDOR Jan, KŘENA Bohuslav, SMRČKA Aleš, VAŠÍČEK Ondřej and VOJNAR Tomáš. Integrating OSLC Services into Eclipse. In: Computer Aided Systems Theory - EUROCAST 2022. Lecture Notes in Computer Science, vol. 13789. Las Palmas de Gran Canaria: Springer International Publishing, 2023, pp. 240-249. ISBN 978-3-031-25311-9. Detail
  • ZBOŘIL Jan, HUJŇÁK Ondřej and MALINKA Kamil. IoT Gateways Network Communication Analysis. In: 2023 International Conference on Information Networking (ICOIN). Bangkok: Institute of Electrical and Electronics Engineers, 2023, pp. 334-339. ISBN 978-1-6654-6268-6. Detail
  • KUČERA Radek, ARZT Vladimír, HASLINGER Jaroslav and ŠÁ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, pp. 1-4. ISSN 0094-243X. Detail
  • VÍDEŇSKÝ František, ZBOŘIL František, ZBOŘIL František V. and 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, pp. 173-180. ISBN 978-989-758-623-1. Detail
  • FIEDOR Tomáš, HRUŠKA Martin and SMRČKA Aleš. Orchestrating Digital Twins for Distributed Manufacturing Execution Systems. In: Computer Aided Systems Theory - EUROCAST 2022. Lecture Notes in Computer Science, vol. 13789. Zurich: Springer International Publishing, 2023, pp. 223-231. ISBN 978-3-031-25311-9. Detail
  • HARMIM Dominik, MARCIN Vladimír, SVOBODOVÁ Lucie and 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, vol. 13789. Cham: Springer Nature Switzerland AG, 2023, pp. 267-276. ISBN 978-3-031-25311-9. Detail
  • NEČASOVÁ Gabriela and ŠÁ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, pp. 1-4. ISSN 0094-243X. Detail
  • VEIGEND Petr, NEČASOVÁ Gabriela and ŠÁ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, pp. 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 and SÍČ Juraj. Word Equations in Synergy with Regular Constraints. In: Proceedings of FM'23. Lübeck: Springer Verlag, 2023, pp. 403-423. ISSN 0302-9743. Detail

2022

  • LA Cava Simone Maurizio, ORR Giulia, GOLDMANN Tomáš, DRAHANSKÝ Martin and MARCIALIS Gian Luca. 3D Face Reconstruction for Forensic Recognition - A Survey. In: 2022 26th International Conference on Pattern Recognition (ICPR). Manhattan, New York, 2022, pp. 930-937. ISBN 978-1-6654-9062-7. Detail
  • MALÍK Viktor, ŠILLING Petr and VOJNAR Tomáš. Applying Custom Patterns in Semantic Equality Analysis. In: Networked Systems. Lecture Notes in Computer Science, vol. 13464. Cham: Springer Nature Switzerland AG, 2022, pp. 265-282. ISBN 978-3-031-17436-0. Detail
  • HAVLENA Vojtěch, LENGÁL Ondřej and ŠMAHLÍKOVÁ Barbora. Complementing Büchi Automata with Ranker. In: Proceedings of the 34th International Conference on Computer Aided Verification. Haifa: Springer Verlag, 2022, pp. 188-201. ISBN 978-3-031-13187-5. ISSN 0302-9743. Detail
  • HAVLENA Vojtěch, LENGÁL Ondřej and Š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 and 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, pp. 4165-4182. ISBN 978-1-939133-31-1. Detail
  • FIRC Anton, MALINKA Kamil and 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: Czech Open Systems User's Group, 2022, pp. 125-145. ISBN 978-80-86583-34-1. Detail
  • ŠŮSTEK Martin, SADHU Samik and 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, pp. 1046-1050. ISSN 1990-9772. Detail
  • FIRC Anton, MALINKA Kamil and 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, pp. 1073-1082. ISBN 978-80-87952-37-5. Detail
  • ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch and 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, pp. 785-792. ISBN 978-1-6654-7404-7. Detail
  • HUJŇÁK Ondřej, MALINKA Kamil and 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: Czech Open Systems User's Group, 2022, pp. 211-221. ISBN 978-80-86583-34-1. Detail
  • MALINKA Kamil, HUJŇÁK Ondřej, HANÁČEK Petr and HELLEBRANDT Lukáš. E-Banking Security Study - 10 years later. IEEE Access, vol. 2022, no. 10, pp. 16681-16699. ISSN 2169-3536. Detail
  • ANDRIUSHCHENKO Roman, ČEŠKA Milan, MARCIN Vladimír and 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, pp. 256-266. ISBN 978-3-031-25312-6. Detail
  • BREITENBACHER Dominik, HOMOLIAK Ivan, AUNG Yan Lin, ELOVICI Yuval and TIPPENHAUER Nils Ole. HADES-IoT: A practical host-based anomaly detection system for IoT devices (Extended Version). IEEE Internet of Things Journal, vol. 9, no. 12, 2022, pp. 9640-9658. ISSN 2327-4662. Detail
  • ZBOŘIL František, VÍDEŇSKÝ František, KOČÍ Radek and 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, pp. 715-724. ISBN 978-989-758-547-0. Detail
  • HOLÍK Lukáš, PERINGER Petr, ROGALEWICZ Adam, ŠOKOVÁ Veronika, VOJNAR Tomáš and ZULEGER Florian. Low-Level Bi-Abduction. In: 36th European Conference on Object-Oriented Programming (ECOOP 2022). Leibniz International Proceedings in Informatics, vol. 2022. Wadern: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2022, pp. 1-30. ISBN 978-3-95977-225-9. ISSN 1868-8969. Detail
  • HOLÍK Lukáš, PERINGER Petr, ROGALEWICZ Adam, ŠOKOVÁ Veronika, VOJNAR Tomáš and ZULEGER Florian. Low-Level Bi-Abduction (Artifact). Dagstuhl, 2022. Detail
  • HOLÍK Lukáš, PERINGER Petr, ROGALEWICZ Adam, ŠOKOVÁ Veronika, VOJNAR Tomáš and ZULEGER Florian. Low-Level Bi-Abduction (technical report). Ithaca, 2022. Detail
  • KOČÍ Radek and 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, pp. 102-107. ISBN 978-1-61208-997-3. Detail
  • NEČASOVÁ Gabriela, VEIGEND Petr and ŠÁ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, pp. 1-4. ISSN 0094-243X. Detail
  • FIRC Anton and 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: Czech Open Systems User's Group, 2022, pp. 161-172. ISBN 978-80-86583-34-1. Detail
  • ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch, SEKANINA Lukáš, VAŠÍČEK Zdeněk and VOJNAR Tomáš. SagTree: Towards Efficient Mutation in Evolutionary Circuit Approximation. Swarm and Evolutionary Computation, vol. 69, no. 100986, 2022, pp. 1-10. ISSN 2210-6502. Detail
  • PEREŠÍNI Martin, MALINKA Kamil, HOMOLIAK Ivan, BENČIĆ Federico M. and 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: Czech Open Systems User's Group, 2022, pp. 173-184. ISBN 978-80-86583-34-1. Detail
  • HAVLENA Vojtěch, LENGÁL Ondřej and Š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, pp. 118-136. ISBN 978-3-030-99526-3. ISSN 0302-9743. Detail
  • HAVLENA Vojtěch, LENGÁL Ondřej and Š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 and WIMMER Ralf. Solving dependency quantified Boolean formulas using quantifier localization. Theoretical Computer Science, vol. 2022, no. 925, pp. 1-24. ISSN 0304-3975. Detail
  • KAUBA Christof, DRAHANSKÝ Martin, NOVÁKOVÁ Marie, UHL Andreas and 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, vol. 2022, no. 8, pp. 1-25. ISSN 2313-433X. Detail
  • VEIGEND Petr, NEČASOVÁ Gabriela and ŠÁ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, pp. 1-4. ISSN 0094-243X. Detail
  • KANICH Ondřej, MATEJKA Ján, FIALOVÁ Eva, PETROVÁ Kafková Marcela, DOSEDĚL Tomáš and DRAHANSKÝ Martin. Technological, legal and sociological summary of biometric technology usage. ScienceOpen Research, vol. 2022, no. 12, pp. 1-7. ISSN 2199-1006. Detail
  • FIRC Anton and 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, pp. 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: Czech Open Systems User's Group, 2022, pp. 185-210. ISBN 978-80-86583-34-1. Detail
  • VAŠÍČEK Ondřej, FIEDOR Jan, KRATOCHVÍLA Tomáš, KŘENA Bohuslav, SMRČKA Aleš and 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, pp. 1408-1418. ISBN 978-1-4503-9413-0. Detail

2021

  • BISWAS Sangeeta, ROHDIN Johan A., BISWAS Angkan and DRAHANSKÝ Martin. A Study of Bilateral Symmetry in Color Fundus Photographs. IEEE Access, vol. 2021, no. 9, pp. 109624-109651. ISSN 2169-3536. Detail
  • DRAHANSKÝ Martin, RYDLO Štěpán, KAVETSKYI Andrii, KANICH Ondřej, BISWAS Sangeeta and MŇUK Tomáš. Analýza kvality retinálních snímků. Brno: Institute of Health Information and Statistics of the Czech Republic, 2021. Detail
  • HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej and VOJNAR Tomáš. Automata Terms in a Lazy WSkS Decision Procedure. Journal of Automated Reasoning, vol. 65, no. 7, 2021, pp. 971-999. ISSN 0168-7433. Detail
  • MALÍK Viktor and 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, pp. 329-339. ISBN 978-1-7281-6837-1. Detail
  • HAVLENA Vojtěch, LENGÁL Ondřej and Š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, pp. 215-222. ISSN 0302-9743. Detail
  • ŽÁK Marek, ROZMAN Jaroslav and ZBOŘIL František V. Design and Control of 7-DOF Omni-directional Hexapod Robot. Open Computer Science, vol. 11, no. 1, 2021, pp. 80-89. ISSN 2299-1093. Detail
  • DRAHANSKÝ Martin, RYDLO Štěpán, KAVETSKYI Andrii and MŇUK Tomáš. Detekce exsudátů v retinálních snímcích. Brno: Institute of Health Information and Statistics of the Czech Republic, 2021. Detail
  • DRAHANSKÝ Martin, RYDLO Štěpán, KAVETSKYI Andrii and MŇUK Tomáš. Detekce hemoragií a mikroaneurysmat v retinálních snímcích. Brno: Institute of Health Information and Statistics of the Czech Republic, 2021. Detail
  • SÍČ Juraj and 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, pp. 535-544. ISSN 0302-9743. Detail
  • HASLINGER Jaroslav, KUČERA Radek, SASSI Taoufik and ŠÁTEK Václav. Dual strategies for solving the Stokes problem with stick-slip boundary conditions in 3D. Mathematics and Computers in Simulation, vol. 2021, no. 189, pp. 191-206. ISSN 0378-4754. Detail
  • DRAHANSKÝ Martin. Fingerprints in forensic verifications. Bussum, 2021. Detail
  • UHLÍŘ Václav, ZBOŘIL František and 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, vol. 12947. Berlin: Springer International Publishing, 2021, pp. 23-45. ISBN 978-3-030-88548-9. ISSN 0302-9743. Detail
  • GOLDMANN Tomáš and 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, pp. 1-4. ISBN 978-1-6654-0638-3. Detail
  • CASINO Fran, LYKOUSAS Nikolaos, HOMOLIAK Ivan, PATSAKIS Constantinos and HERNANDEZ-CASTRO Julio. Intercepting Hail Hydra: Real-Time Detection of Algorithmically Generated Domains. Journal of Network and Computer Applications, vol. 2021, no. 190, pp. 1-17. ISSN 1084-8045. Detail
  • BISWAS Sangeeta, ROHDIN Johan A., KAVETSKYI Andrii, ALVES Saraiva Gabriel, BISWAS Angkan and DRAHANSKÝ Martin. Investigation of Bilateral Similarity in Central Retinal Blood Vessels. IEEE Access, vol. 2021, no. 9, pp. 63012-63028. ISSN 2169-3536. Detail
  • HASLINGER Jaroslav, KUČERA Radek, MOTYČKOVÁ Kristina and ŠÁTEK Václav. Numerical modeling of the leak through semipermeable walls for 2D/3D Stokes flow: experimental scalability of dual algorithms. Mathematics, vol. 9, no. 22, 2021, pp. 1-24. ISSN 2227-7390. Detail
  • JANOUŠEK Vladimír and 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, pp. 114-120. ISBN 978-1-61208-894-5. Detail
  • HAVLENA Vojtěch and 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, pp. 1-19. ISSN 1868-8969. Detail
  • SEMERÁD Lukáš and DRAHANSKÝ Martin. Retina Recognition Using Crossings and Bifurcations. Applications of Pattern Recognition. London: InTech - Open Access Publisher, 2021, pp. 77-94. ISBN 978-1-78985-332-2. Detail
  • DVOŘÁK Michal, KANICH Ondřej and 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, pp. 160-168. ISBN 978-989-758-490-9. Detail
  • HOLÍK Lukáš and 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, pp. 243-264. ISBN 978-3-030-89051-3. Detail
  • ABDULLA Parosh A., ATIG Mohamed F., BUI Phi Diep, HOLÍK Lukáš, CHEN Yu-Fang and 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, pp. 305-320. ISBN 978-3-030-89051-3. Detail
  • DYK Tomáš and DRAHANSKÝ Martin. Tank Barrel Scanning Device. In: Proceedings of the 8th International Conference on Military Technologies 2021. Brno: IEEE Computer Society, 2021, pp. 1-4. ISBN 978-1-6654-3724-0. Detail
  • VEIGEND Petr, NEČASOVÁ Gabriela and ŠÁTEK Václav. Taylor Series Based Numerical Integration Method. Open Computer Science, vol. 11, no. 1, 2021, pp. 60-69. ISSN 2299-1093. Detail
  • HOMOLIAK Ivan, VENUGOPALAN Sarad, REIJSBERGEN Daniel, HUM Qingze, SCHUMI Richard and SZALACHOWSKI Pawel. The Security Reference Architecture for Blockchains: Toward a Standardized Model for Studying Vulnerabilities, Threats, and Defenses. IEEE Communications Surveys and Tutorials, vol. 23, no. 1, 2021, pp. 341-390. ISSN 1553-877X. Detail
  • HOLÍK Lukáš and 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, pp. 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, 2021, pp. 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 and 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, vol. 2021, no. 12, pp. 1-5. ISSN 1552-4833. Detail

2020

  • HAVLENA Vojtěch, CHEN Yu-Fang, LENGÁL Ondřej and TURRINI Andrea. A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving. In: Proceedings of APLAS'20. Heidelberg: Springer Verlag, 2020, pp. 343-363. ISSN 0302-9743. Detail
  • HOLÍK Lukáš, IOSIF Radu, ROGALEWICZ Adam and VOJNAR Tomáš. Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. Formal Methods in System Design, vol. 55, no. 3, 2020, pp. 137-170. ISSN 0925-9856. Detail
  • HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej, VALEŠ Ondřej and VOJNAR Tomáš. Antiprenexing for WSkS: A Little Goes a Long Way. In: EPiC Series in Computing. Proceedings of LPAR-23. Manchester: EasyChair, 2020, pp. 298-316. ISSN 2398-7340. Detail
  • MATYÁŠ Jiří, PANKUCH Adam, VOJNAR Tomáš, ČEŠKA Milan and Č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, vol. 12013. Cham: Springer Verlag, 2020, pp. 482-490. ISBN 978-3-030-45092-2. Detail
  • BISWAS Sangeeta, ROHDIN Johan A. and DRAHANSKÝ Martin. Bilateral Symmetry in Central Retinal Blood Vessels. In: 8th International Workshop on Biometrics and Forensics, IWBF 2020. Porto: IEEE Computer Society, 2020, pp. 1-6. ISBN 978-1-7281-6232-4. Detail
  • HUM Qingze, TAN Wei Jin, TEY Shi Ying, LENUS Latasha, HOMOLIAK Ivan, LIN Yun and 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, pp. 17-25. ISBN 978-0-7381-0495-9. Detail
  • KOČÍ Radek, ROZMAN Jaroslav and 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, pp. 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 and 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, pp. 943-957. ISBN 978-1-4503-7613-6. Detail
  • KANICH Ondřej and 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 and 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, pp. 77-82. ISBN 978-1-7281-9429-5. Detail
  • DVOŘÁK Michal and DRAHANSKÝ Martin. Hand image acquisition - New approaches. INTERPOL, Lyon, 2020. Detail
  • BISWAS Sangeeta, ROHDIN Johan A. and 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, pp. 1980-1983. ISBN 978-1-7281-1990-8. Detail
  • DRAHANSKÝ Martin. Jednou nás možná nebude potřeba. Praha, 2020, pp. 16-19. Detail
  • DRAHANSKÝ Martin, MACEK Ivo and GOLDMANN Tomáš. Monitoring of visitors in museum exhibitions. Journal of the National Museum (Prague), vol. 2020, no. 189, pp. 155-162. ISSN 1802-6850. Detail
  • UHLÍŘ Václav, VÍDEŇSKÝ František and 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, vol. 12381. Berlin: Springer International Publishing, 2020, pp. 59-78. ISBN 978-3-030-59298-1. ISSN 0302-9743. Detail
  • DRAHANSKÝ Martin, KANICH Ondřej and 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 and VOJNAR Tomáš. Regex Matching with Counting-Set Automata. Proceedings of the ACM on Programming Languages, vol. 4, no. 11, 2020, pp. 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, pp. 129-134. ISBN 978-1-61208-827-3. Detail
  • ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch and 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, vol. 12178. Alghero: Springer International Publishing, 2020, pp. 481-491. ISBN 978-3-030-51824-0. Detail
  • OČENÁŠ Martin, HOMOLIAK Ivan, MALINKA Kamil and 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, pp. 19-23. ISBN 978-1-4503-7744-7. Detail
  • BINDER Alexander, BREITENBACHER Dominik, HARTEL Pieter H., SZALACHOWSKI Pawel, HOMOLIAK Ivan and 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, pp. 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áš and VOJNAR Tomáš. Symbiotic 7: Integration of Predator and More (Competition Contribution). In: Proceedings of TACAS 2020 (2). Lecture Notes in Computer Science, vol. 12079. Cham: Springer International Publishing, 2020, pp. 413-417. ISBN 978-3-030-45236-0. Detail
  • PERNICKÝ Radim, DRAHANSKÝ Martin and KANICH Ondřej. Výzkum falzifikátů otisků prstů na různých nosičích. Kriminalistický sborník, vol. 2020, no. 5, pp. 54-58. ISSN 1453-259X. Detail
Products

2022

  • Application for generating heatmaps in museum exhibits, software, 2022
    Authors: Viskupič Matej, Macek Ivo, Drahanský Martin, Dyk Tomáš, Goldmann Tomáš, Hrabec Jakub Detail
  • Application for monitoring the shattering of acrylic glass, software, 2022
    Authors: Kavetskyi Andrii, Drahanský Martin, Weinberg Kerstin, Nötzel Ralf Detail
  • Barrel Bore eXplorer - mini, prototype, 2022
    Authors: Malaník Petr, Váňa Jan, Drahanský Martin Detail
  • Broom: A Static Analyzer for C Based on Separation Logic and the Principle of Bi-Abductive Reasoning, software, 2022
    Authors: Holík Lukáš, Peringer Petr, Rogalewicz Adam, Šoková Veronika, Vojnar Tomáš, Zuleger Florian Detail
  • BUTCube - Communnication, specimen, 2022
    Authors: Rydlo Štěpán, Malaník Petr Detail
  • BUTCube - Flight controller computer, specimen, 2022
    Authors: Malaník Petr, Lazar Václav, Rydlo Štěpán, Láznička Tomáš, Bartoněk Jaroslav, Popela Robert Detail
  • BUTCube - Microsatellite firmware, software, 2022
    Authors: Malaník Petr, Rydlo Štěpán, Láznička Tomáš, Lazar Václav, Bartoněk Jaroslav Detail
  • BUTCube - Sun sensor module, specimen, 2022
    Authors: Malaník Petr, Lazar Václav, Rydlo Štěpán, Láznička Tomáš, Bartoněk Jaroslav, Popela Robert Detail
  • Deployment of an intelligent camera unit and application for heatmaps in the premises of the National Museum, pilot production, 2022
    Authors: Macek Ivo, Viskupič Matej, Homola Radim, Dyk Tomáš, Drahanský Martin Detail
  • Device with rotary illumination unit for testing a visibility of finger vein structure, specimen, 2022
    Authors: Rydlo Štěpán, Drahanský Martin Detail
  • GadgetCA: A Tool for Generating ReDoS Attacks, software, 2022
    Authors: Holík Lukáš, Holíková Lenka, Homoliak Ivan, Lengál Ondřej, Veanes Margus, Vojnar Tomáš Detail
  • Phenobottle 2: Algae cultivator for distributed optimization with temperature control and spectral density measurement, prototype, 2022
    Authors: Červený Jan, Drahanský Martin, Malaník Petr, Tinka Jan Detail
  • Ranker: A Tool for Complementing Büchi Automata, software, 2022
    Authors: Havlena Vojtěch, Lengál Ondřej, Šmahlíková Barbora Detail
  • Smart camera unit for museum exhibitions, specimen, 2022
    Authors: Homola Radim, Macek Ivo, Drahanský Martin, Hrabec Jakub, Dyk Tomáš Detail
  • The meibomian glands scanning device (meibograf), specimen, 2022
    Authors: Rydlo Štěpán, Mňuk Tomáš, Drahanský Martin Detail
  • Unite: An Adapter for Transforming Analysis Tools to Web Services via OSLC, Version 3.0, software, 2022
    Authors: Vašíček Ondřej, Fiedor Jan, Smrčka Aleš, Vojnar Tomáš, Křena Bohuslav Detail

2021

  • BUTCube - Electronic power system, specimen, 2021
    Authors: Malaník Petr Detail
  • BUTCube - Solar unit, specimen, 2021
    Authors: Malaník Petr Detail
  • Equipment for lung transillumination, specimen, 2021
    Authors: Goldmann Tomáš, Votruba Jiří, Drahanský Martin, Brůha Tomáš Detail
  • Phenobottle: Algae cultivator for distributed optimization, specimen, 2021
    Authors: Malaník Petr, Červený Jan, Drahanský Martin, Dvořák Michal Detail

2020

  • Electronic pen for recording of dynamic properties of handwriting, specimen, 2020
    Authors: Müller Dominik, Drahanský Martin Detail
  • Chipmunk: A Tool for Matching of Regular Expressions., software, 2020
    Authors: Holík Lukáš, Holíková Lenka, Lengál Ondřej, Veanes Margus, Vojnar Tomáš Detail
  • SYDAGenerator 2 - Advanced tool for generating datasets using a 3D object, software, 2020
    Authors: Goldmann Tomáš, Drahanský Martin Detail
Back to top