Project Details
Reliable, Secure, and Intelligent Computer Systems
Project Period: 1. 3. 2023 - 31. 12. 2025
Project Type: grant
Code: FIT-S-23-8151
Agency: Brno University of Technology
Program: Vnitřní projekty VUT
English title
Reliable, Secure, and Intelligent Computer Systems
Type
grant
Abstract
Research on Reliable, Secure, and Intelligent Computer Systems
Team members
Vojnar Tomáš, prof. Ing., Ph.D.
(DITS FIT BUT)
, research leader
Andriushchenko Roman, Ing. (DITS FIT BUT)
Beran Jan, Ing. (DITS FIT BUT)
Češka Milan, doc. RNDr., Ph.D. (DITS FIT BUT)
Dacík Tomáš, Ing. (DITS FIT BUT)
Drga Jozef, Mgr. (DITS FIT BUT)
Dyk Tomáš, Ing. (DCSY FIT BUT)
Firc Anton, Ing. (DITS FIT BUT)
Goldmann Tomáš, Ing., Ph.D. (DITS FIT BUT)
Hanáček Petr, doc. Dr. Ing. (DITS FIT BUT)
Harmim Dominik, Ing. (DITS FIT BUT)
Hečko Michal, Ing. (FIT BUT)
Heidari Mona (DITS FIT BUT)
Hellebrandt Lukáš, Ing. (DITS FIT BUT)
Holík Lukáš, doc. Mgr., Ph.D. (DITS FIT BUT)
Holop Patrik, Ing. (DITS FIT BUT)
Homoliak Ivan, doc. Ing., Ph.D. (DITS FIT BUT)
Hruška Martin, Ing. (DITS FIT BUT)
Hudák David, Ing. (FIT BUT)
Hujňák Ondřej, Ing. (DITS FIT BUT)
Chocholatý David, Ing. (FIT BUT)
Janoušek Vladimír, doc. Ing., Ph.D. (DITS FIT BUT)
Januš Filip, Ing. (DITS FIT BUT)
Kanich Ondřej, Ing., Ph.D. (DITS FIT BUT)
Kavetskyi Andrii (DITS FIT BUT)
Kocourek Tomáš, Ing. (FIT BUT)
Kočí Radek, Ing., Ph.D. (DITS FIT BUT)
Kozák David, Ing. (DITS FIT BUT)
Lengál Ondřej, Ing., Ph.D. (DITS FIT BUT)
Malaník Petr, 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)
Pavela Jiří, Ing. (DITS FIT BUT)
Perešíni Martin, 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)
Semerád Lukáš, Ing., Ph.D. (DITS FIT BUT)
Síč Juraj, Mgr. (DITS FIT BUT)
Smrčka Aleš, Ing., Ph.D. (DITS FIT BUT)
Snášel Daniel, Ing. (DITS FIT BUT)
Stančíková Ivana, Ing. (DITS FIT BUT)
Šátek Václav, Ing., Ph.D. (DITS FIT BUT)
Šedý Michal, Ing. (FIT BUT)
Šoková Veronika, Ing. (DITS FIT BUT)
Tamaškovič Marek, Ing. (DITS FIT BUT)
Tinka Jan, Ing. (DCSY FIT BUT)
Vašíček Ondřej, Ing. (DITS FIT BUT)
Veigend Petr, Ing., Ph.D. (DITS FIT BUT)
Vídeňský František, Ing. (DITS FIT BUT)
Viskupič Matej, Ing. (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)
Andriushchenko Roman, Ing. (DITS FIT BUT)
Beran Jan, Ing. (DITS FIT BUT)
Češka Milan, doc. RNDr., Ph.D. (DITS FIT BUT)
Dacík Tomáš, Ing. (DITS FIT BUT)
Drga Jozef, Mgr. (DITS FIT BUT)
Dyk Tomáš, Ing. (DCSY FIT BUT)
Firc Anton, Ing. (DITS FIT BUT)
Goldmann Tomáš, Ing., Ph.D. (DITS FIT BUT)
Hanáček Petr, doc. Dr. Ing. (DITS FIT BUT)
Harmim Dominik, Ing. (DITS FIT BUT)
Hečko Michal, Ing. (FIT BUT)
Heidari Mona (DITS FIT BUT)
Hellebrandt Lukáš, Ing. (DITS FIT BUT)
Holík Lukáš, doc. Mgr., Ph.D. (DITS FIT BUT)
Holop Patrik, Ing. (DITS FIT BUT)
Homoliak Ivan, doc. Ing., Ph.D. (DITS FIT BUT)
Hruška Martin, Ing. (DITS FIT BUT)
Hudák David, Ing. (FIT BUT)
Hujňák Ondřej, Ing. (DITS FIT BUT)
Chocholatý David, Ing. (FIT BUT)
Janoušek Vladimír, doc. Ing., Ph.D. (DITS FIT BUT)
Januš Filip, Ing. (DITS FIT BUT)
Kanich Ondřej, Ing., Ph.D. (DITS FIT BUT)
Kavetskyi Andrii (DITS FIT BUT)
Kocourek Tomáš, Ing. (FIT BUT)
Kočí Radek, Ing., Ph.D. (DITS FIT BUT)
Kozák David, Ing. (DITS FIT BUT)
Lengál Ondřej, Ing., Ph.D. (DITS FIT BUT)
Malaník Petr, 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)
Pavela Jiří, Ing. (DITS FIT BUT)
Perešíni Martin, 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)
Semerád Lukáš, Ing., Ph.D. (DITS FIT BUT)
Síč Juraj, Mgr. (DITS FIT BUT)
Smrčka Aleš, Ing., Ph.D. (DITS FIT BUT)
Snášel Daniel, Ing. (DITS FIT BUT)
Stančíková Ivana, Ing. (DITS FIT BUT)
Šátek Václav, Ing., Ph.D. (DITS FIT BUT)
Šedý Michal, Ing. (FIT BUT)
Šoková Veronika, Ing. (DITS FIT BUT)
Tamaškovič Marek, Ing. (DITS FIT BUT)
Tinka Jan, Ing. (DCSY FIT BUT)
Vašíček Ondřej, Ing. (DITS FIT BUT)
Veigend Petr, Ing., Ph.D. (DITS FIT BUT)
Vídeňský František, Ing. (DITS FIT BUT)
Viskupič Matej, Ing. (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
2025
- VÍDEŇSKÝ František, ZBOŘIL František and VEIGEND Petr. Integrating Late Variable Binding with SP-MCTS for Efficient Plan Execution in BDI Agents. In: 2025. Detail
- ABDULLA Parosh A., CHEN Yo-ga, CHEN Yu-Fang, HOLÍK Lukáš, LENGÁL Ondřej, LIN Jyun-ao, LO Fang-yi and TSAI Wei-lun. Verifying Quantum Circuits with Level-Synchronized Tree Automata. Proceedings of the ACM on Programming Languages, vol. 9, no. 1, 2025, p. 31. ISSN 2475-1421. Detail
2024
- HELFRICH Martin, ANDRIUSHCHENKO Roman, ČEŠKA Milan, KŘETÍNSKÝ Jan, MARTIČEK Štefan and ŠAFRÁNEK David. Abstraction-based segmental simulation of reaction networks using adaptive memoization. BMC Bioinformatics, vol. 25, no. 1, 2024, pp. 1-24. ISSN 1471-2105. Detail
- CHEN Tian-fu, CHEN Yu-Fang, JIANG Jie-hong, JOBRANOVÁ Sára and LENGÁL Ondřej. Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization. In: IEEE/ACM International Conference on Computer-Aided Design (ICCAD '24), October 27--31, 2024, New York, NY, USA. Association for Computing Machinery, 2024. ISBN 979-8-4007-1077-3. Detail
- HABERMEHL Peter, HAVLENA Vojtěch, HEČKO Michal, HOLÍK Lukáš and LENGÁL Ondřej. Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic. In: Proceedings of CAV'24. Montreal: Springer Verlag, 2024, pp. 42-67. ISSN 0302-9743. Detail
- VÍDEŇSKÝ František, ZBOŘIL František, BERAN Jan, KOČÍ Radek and ZBOŘIL František V. Comparing Variable Handling Strategies in BDI Agents: Experimental Study. In: Proceedings of the 16th International Conference on Agents and Artificial Intelligence - Volume 1. Rome: SciTePress - Science and Technology Publications, 2024, pp. 25-36. ISBN 978-989-758-680-4. Detail
- MALINKA Kamil, FIRC Anton, ŠALKO Milan, PRUDKÝ Daniel, RADAČOVSKÁ Karolína and HANÁČEK Petr. Comprehensive Multiparametric Analysis of Human Deepfake Speech Recognition. Eurasip Journal on Image and Video Processing, vol. 2024, no. 1, pp. 1-25. ISSN 1687-5281. Detail
- HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej and SÍČ Juraj. Cooking String-Integer Conversions with Noodles. In: Proceedings of SAT'24. Leibniz International Proceedings in Informatics (LIPIcs). Pune: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2024, pp. 1-19. ISSN 1868-8969. Detail
- DACÍK Tomáš, ROGALEWICZ Adam, VOJNAR Tomáš and ZULEGER Florian. Deciding Boolean Separation Logic via Small Models. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Lecture Notes in Computer Science, vol. 14570. Cham: Springer Nature Switzerland AG, 2024, pp. 188-206. ISBN 978-3-031-57245-6. Detail
- FIRC Anton, MALINKA Kamil and HANÁČEK Petr. Deepfake Speech Detection: A Spectrogram Analysis. In: Proceedings of the ACM Symposium on Applied Computing. Avila: Association for Computing Machinery, 2024, pp. 1312-1320. ISBN 979-8-4007-0243-3. Detail
- FIRC Anton, MALINKA Kamil and HANÁČEK Petr. Diffuse or Confuse: A Diffusion Deepfake Speech Dataset. In: 2024 International Conference of the Biometrics Special Interest Group (BIOSIG). Darmstadt: GI - Group for computer science, 2024, pp. 1-7. ISBN 978-3-88579-749-4. Detail
- FIEDOR Tomáš, HAVLENA Vojtěch, HOLÍK Lukáš, HRUŠKA Martin, CHOCHOLATÝ David, LENGÁL Ondřej and SÍČ Juraj. Mata: A Fast and Simple Finite Automata Library. In: Proceedings of TACAS'24. Luxembourgh: Springer Verlag, 2024, pp. 130-151. ISSN 0302-9743. Detail
- ANDRIUSHCHENKO Roman, ČEŠKA Milan, JUNGES Sebastian and MACÁK Filip. Policies Grow on Trees: Model Checking Families of MDPs. In: Proceeding of 22nd International Symposium on Automated Technology for Verification and Analysis. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cham: Springer Verlag, 2024, p. 13. Detail
- MALINKA Kamil, FIRC Anton, KAŠKA Petr, LAPŠANSKÝ Tomáš, ŠANDOR Oskar and HOMOLIAK Ivan. Resilience of Voice Assistants to Synthetic Speech. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Bydgoszcz: Springer Nature Switzerland AG, 2024, pp. 66-84. ISBN 978-3-031-70878-7. Detail
- KOZÁK David, STANCU Codrut, WIMMER Christian and WÜRTHINGER Thomas. Scaling Type-Based Points-to Analysis with Saturation. In: Proceedings of the ACM on Programming Languages. New York, 2024, pp. 990-1013. ISSN 2475-1421. Detail
- ŠALKO Milan, FIRC Anton and MALINKA Kamil. Security Implications of Deepfakes in Face Authentication. In: Proceedings of the ACM Symposium on Applied Computing. Avila: Association for Computing Machinery, 2024, pp. 1376-1384. ISBN 979-8-4007-0243-3. Detail
- ABDELFATTAH Amr S., BLANCHARD Austin, ČERNÝ Tomáš, HALE Jack, HUTCHESON Richard, KOZÁK David and LAMBARIA Noah. Software Architecture Reconstruction for Microservice Systems using Static Analysis via GraalVM Native Image. In: 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). Los Alamitos: Institute of Electrical and Electronics Engineers, 2024, pp. 12-22. ISBN 979-8-3503-3066-3. Detail
- VEIGEND Petr, NEČASOVÁ Gabriela and ŠÁTEK Václav. Solving linear and nonlinear problems using Taylor Series Method. Open Computer Science, vol. 14, no. 1, 2024, pp. 1-15. ISSN 2299-1093. Detail
- HASLINGER Jaroslav, KUČERA Radek, MOTYČKOVÁ Kristina and ŠÁTEK Václav. Stokes problem with the Coulomb stick-slip boundary conditions in 3D: formulations, approximation, algorithms, and experiments. Mathematics and Computers in Simulation, vol. 2024, no. 216, pp. 145-167. ISSN 0378-4754. Detail
- VEIGEND Petr, NEČASOVÁ Gabriela and ŠÁTEK Václav. Taylor series based numerical integration method for solution of nonlinear problems with division. In: 2024 IEEE 17th International Scientific Conference on Informatics Proceedings. Poprad: Institute of Electrical and Electronics Engineers, 2024, pp. 432-437. ISBN 979-8-3503-8766-7. Detail
- MALÍK Viktor, SCHRAMMEL Peter and VOJNAR Tomáš. Template-Based Verification of Array-Manipulating Programs. In: Taming the Infinities of Concurrency . Lecture Notes in Computer Science, vol. 14660. Cham: Springer Nature Switzerland AG, 2024, pp. 206-224. ISBN 978-3-031-56221-1. Detail
- MALINKA Kamil, FIRC Anton, LOUTOCKÝ Pavel, VOSTOUPAL Jakub, KRIŠTOFÍK Andrej and KASL František. Using Real-world Bug Bounty Programs in Secure Coding Course: Experience Report. In: Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE. New York, NY, USA: Association for Computing Machinery, 2024, pp. 227-233. ISBN 979-8-4007-0600-4. Detail
- HAVLENA Vojtěch, HOLÍK Lukáš, CHEN Yu-Fang, CHOCHOLATÝ David, LENGÁL Ondřej and SÍČ Juraj. Z3-Noodler: An Automata-based String Solver. In: Proceedings of TACAS'24. Lecture Notes. Luxembourgh: Springer Verlag, 2024, pp. 24-33. ISSN 0302-9743. Detail
2023
- MALÍK Viktor, NEČAS František, SCHRAMMEL Peter and VOJNAR Tomáš. 2LS: Arrays and Loop Unwinding (Competition Contribution). In: Proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part 2. Lecture Notes in Computer Science, vol. 13994. Paris: Springer International Publishing, 2023, pp. 529-534. ISBN 978-3-031-30819-2. Detail
- CHEN Yu-Fang, CHUNG Kai-Min, LENGÁL Ondřej, LIN Jyun-ao, TSAI Wei-lun and YEN Di-de. An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits. Proceedings of the ACM on Programming Languages, vol. 7, no. 6, 2023, pp. 1218-1243. ISSN 2475-1421. Detail
- PRUDKÝ Daniel, FIRC Anton and MALINKA Kamil. Assessing the Human Ability to Recognize Synthetic Speech in Ordinary Conversation. In: 2023 International Conference of the Biometrics Special Interest Group (BIOSIG). Proceedings of the 22nd International Conference of the Biometrics Special Interest Group. Darmstadt: GI - Group for computer science, 2023, pp. 1-5. ISBN 978-3-88579-733-3. Detail
- CHEN Yu-Fang, CHUNG Kai-Min, LENGÁL Ondřej, LIN Jyun-ao and TSAI Wei-lun. AutoQ: An Automata-based Quantum Circuit Verifier. In: Proceedings of 35th International Conference on Computer Aided Verification. Cham: Springer Verlag, 2023, pp. 139-153. ISSN 0302-9743. Detail
- JOVANOVIC Vojin, KOZÁK David, STANCU Codrut, VOJNAR Tomáš and WIMMER Christian. Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image. In: Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes. New York: Association for Computing Machinery, 2023, pp. 129-142. ISBN 979-8-4007-0380-5. Detail
- ANDRIUSHCHENKO Roman, BARTOCCI Ezio, ČEŠKA Milan, FRANCESCO Pontiggia and SARAH Sallinger. Deductive Controller Synthesis for Probabilistic Hyperproperties. In: Quantitative Evaluation of SysTems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14287. Cham: Springer Verlag, 2023, pp. 288-306. ISBN 978-3-031-43834-9. Detail
- MALINKA Kamil, FIRC Anton and HANÁČEK Petr. Deepfakes a lidé: dokážeme ještě rozlišit pravou řeč od umělé?. DSM Data Security Management, vol. 2023, no. 04, pp. 22-26. ISSN 1211-8737. Detail
- FIRC Anton, MALINKA Kamil and HANÁČEK Petr. Deepfakes as a threat to a speaker and facial recognition: an overview of tools and attack vectors. Heliyon, vol. 9, no. 4, 2023, pp. 1-33. ISSN 2405-8440. Detail
- FIRC Anton, MALINKA Kamil and HANÁČEK Petr. Deepfakes: Bezpečnostní výzva pro naše uši. DSM Data Security Management, vol. 2023, no. 02, pp. 41-44. ISSN 1211-8737. Detail
- DRGA Jozef, HOMOLIAK Ivan, VANČO Juraj, PEREŠÍNI Martin, HANÁČEK Petr and VASILAKOS Athanasios. Detecting and Preventing Credential Misuse in OTP-Based Two and Half Factor Authentication Toward Centralized Services Utilizing Blockchain-Based Identity Management. In: 2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC). Dubai: Institute of Electrical and Electronics Engineers, 2023, pp. 1-4. ISBN 0-06-000020-1. Detail
- ŽÁK Marek, ROZMAN Jaroslav and ZBOŘIL František V. Energy Efficiency of a Wheeled Bio-Inspired Hexapod Walking Robot in Sloping Terrain. Robotics, vol. 12, no. 2, 2023, pp. 1-15. ISSN 2218-6581. Detail
- PLEŠKO Filip, GOLDMANN Tomáš and MALINKA Kamil. Facial Image Reconstruction and its Influence to Face Recognition. In: 2023 International Conference of the Biometrics Special Interest Group (BIOSIG). Darmstadt: Society for Informatics, 2023, pp. 1-4. ISBN 979-8-3503-3655-9. Detail
- HOLÍK Lukáš, HOLÍKOVÁ Lenka, SÍČ Juraj and VOJNAR Tomáš. Fast Matching of Regular Patterns with Synchronizing Counting. In: Foundations of Software Science and Computation Structures. Heidelberg: Springer Verlag, 2023, pp. 392-412. ISSN 0302-9743. Detail
- HAVLENA Vojtěch, LENGÁL Ondřej, LI Yong, ŠMAHLÍKOVÁ Barbora and TURRINI Andrea. Modular Mix-and-Match Complementation of Büchi Automata. In: Proceedings of TACAS'23. Paris: Springer Verlag, 2023, pp. 249-270. ISSN 0302-9743. Detail
- VEIGEND Petr and ŠÁTEK Václav. Nonlinear Control Using High-Order Integration Method. In: 19th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2023, pp. 1-4. ISSN 0094-243X. Detail
- MALINKA Kamil, FIRC Anton, PEREŠÍNI Martin, JANUŠ Filip and HUJŇÁK Ondřej. On the educational impact of ChatGPT: Is Artificial Intelligence ready to obtain a University degree?. In: Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE. Turku: Association for Computing Machinery, 2023, pp. 47-53. ISBN 979-8-4007-0138-2. Detail
- KOČÍ Radek and JANOUŠEK Vladimír. Prerequisites for Simulation-Based Software Design and Deployment. In: ICSEA 2023 The Eighteenth International Conference on Software Engineering Advances. Porto: Xpert Publishing Services, 2023, pp. 105-109. ISBN 978-1-68558-098-8. Detail
- FIEDOR Tomáš, HOLÍK Lukáš, HRUŠKA Martin, ROGALEWICZ Adam, SÍČ Juraj and VARGOVČÍK Pavol. Reasoning about Regular Properties: A Comparative Study. In: Automated Deduction - CADE 29. Cham: Springer Nature Switzerland AG, 2023, pp. 286-306. ISSN 0302-9743. Detail
- STANČÍKOVÁ Ivana and HOMOLIAK Ivan. SBvote: Scalable Self-Tallying Blockchain-Based Voting. In: SAC '23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing. Tallin: Association for Computing Machinery, 2023, pp. 203-2011. ISBN 978-1-4503-9517-5. Detail
- ANDRIUSHCHENKO Roman, ALEXANDER Bork, ČEŠKA Milan, JUNGES Sebastian, KATOEN Joost-Pieter and MACÁK Filip. Search and Explore: Symbiotic Policy Synthesis in POMDPs. In: Computer Aided Verification. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13966. Cham: Springer Verlag, 2023, pp. 113-135. ISBN 978-3-031-37708-2. Detail
- CHEN Yu-Fang, CHOCHOLATÝ David, HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej and SÍČ Juraj. Solving String Constraints with Lengths by Stabilization. Proceedings of the ACM on Programming Languages, vol. 7, no. 10, 2023, pp. 2112-2141. ISSN 2475-1421. Detail
Products
2024
- Mata: A Finite Automata Library, software, 2024
Authors: Fiedor Tomáš, Havlena Vojtěch, Holík Lukáš, Hruška Martin, Chocholatý David, Lengál Ondřej, Síč Juraj Detail - Predator Hunting Party: A Tool for Verification and Bug Hunting, version 3.1415, software, 2024
Authors: Kinšt Ondřej, Kotoun Michal, Müller Petr, Peringer Petr, Šoková Veronika, Vojnar Tomáš Detail - Z3-Noodler: A String Solver, software, 2024
Authors: Havlena Vojtěch, Holík Lukáš, Chen Yu-Fang, Chocholatý David, Lengál Ondřej, Síč Juraj Detail
2023
- 2LS: Static Analyser and Verifier, version 0.10, software, 2023
Authors: Brain Martin, Buecheli Samuel, David Cristina, Hruška Martin, Kroening Daniel, Kumar Madhukar, Malík Viktor, Martiček Štefan, Mukherjee Rajdeep, Nečas František, Schrammel Peter, Vojnar Tomáš, Watcher Björn Detail - FaceAIKit: Library for face detection and recognition, software, 2023
Authors: Goldmann Tomáš Detail - Laser Beam Detection in Open Space, software, 2023
Authors: Šoková Lenka, Kolář Dušan, Rydlo Štěpán Detail - Mirror based scanning device for 3D finger vein structure, specimen, 2023
Authors: Drahanský Martin, Rydlo Štěpán Detail - Optical System for Lateral Scanning of the Laser Beam in Open Space with Image Intensifier Tube, specimen, 2023
Authors: Rydlo Štěpán, Nováčková Kateřina, Pemčák Ivan, Malaník Petr Detail - SYDA-Fidentis dataset for evaluate face recognition algorithms, software, 2023
Authors: Černý Dominik, Drahanský Martin, Goldmann Tomáš, Urbanová Petra Detail
2021
- 3D photogrammetry station for a full-body documentation, specimen, 2021
Authors: Rydlo Štěpán, Jurda Mikoláš, Drahanský Martin, Urbanová Petra, Černý Dominik, Sakin Martin Detail