Detail projektu
Reliable, Secure, and Intelligent Computer Systems
Období řešení: 1. 3. 2023 - 31. 12. 2025
Typ projektu: grant
Kód: FIT-S-23-8151
Agentura: Vysoké učení technické v Brně
Program: Vnitřní projekty VUT
Název anglicky
Reliable, Secure, and Intelligent Computer Systems
Typ
grant
Řešitelé
Vojnar Tomáš, prof. Ing., Ph.D.
(UITS FIT VUT)
, hlavní řešitel
Andriushchenko Roman, Ing. (UITS FIT VUT)
Beran Jan, Ing. (UITS FIT VUT)
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Dacík Tomáš, Ing. (UITS FIT VUT)
Drga Jozef, Mgr. (UITS FIT VUT)
Dyk Tomáš, Ing. (UPSY FIT VUT)
Firc Anton, Ing. (UITS FIT VUT)
Goldmann Tomáš, Ing., Ph.D. (UITS FIT VUT)
Hanáček Petr, doc. Dr. Ing. (UITS FIT VUT)
Harmim Dominik, Ing. (UITS FIT VUT)
Hečko Michal, Ing. (FIT VUT)
Heidari Mona (UITS FIT VUT)
Hellebrandt Lukáš, Ing. (UITS FIT VUT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Holop Patrik, Ing. (UITS FIT VUT)
Homoliak Ivan, doc. Ing., Ph.D. (UITS FIT VUT)
Hruška Martin, Ing. (UITS FIT VUT)
Hudák David, Ing. (FIT VUT)
Hujňák Ondřej, Ing. (UITS FIT VUT)
Chocholatý David, Ing. (FIT VUT)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT)
Januš Filip, Ing. (UITS FIT VUT)
Kanich Ondřej, Ing., Ph.D. (UITS FIT VUT)
Kavetskyi Andrii (UITS FIT VUT)
Kocourek Tomáš, Ing. (FIT VUT)
Kočí Radek, Ing., Ph.D. (UITS FIT VUT)
Kozák David, Ing. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Malaník Petr, 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)
Pavela Jiří, Ing. (UITS FIT VUT)
Perešíni Martin, 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)
Semerád Lukáš, Ing., Ph.D. (UITS FIT VUT)
Síč Juraj, Mgr. (UITS FIT VUT)
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT)
Snášel Daniel, Ing. (UITS FIT VUT)
Stančíková Ivana, Ing. (UITS FIT VUT)
Šátek Václav, Ing., Ph.D. (UITS FIT VUT)
Šedý Michal, Ing. (FIT VUT)
Šoková Veronika, Ing. (UITS FIT VUT)
Tamaškovič Marek, Ing. (UITS FIT VUT)
Tinka Jan, Ing. (UPSY FIT VUT)
Vašíček Ondřej, Ing. (UITS FIT VUT)
Veigend Petr, Ing., Ph.D. (UITS FIT VUT)
Vídeňský František, Ing. (UITS FIT VUT)
Viskupič Matej, Ing. (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)
Andriushchenko Roman, Ing. (UITS FIT VUT)
Beran Jan, Ing. (UITS FIT VUT)
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Dacík Tomáš, Ing. (UITS FIT VUT)
Drga Jozef, Mgr. (UITS FIT VUT)
Dyk Tomáš, Ing. (UPSY FIT VUT)
Firc Anton, Ing. (UITS FIT VUT)
Goldmann Tomáš, Ing., Ph.D. (UITS FIT VUT)
Hanáček Petr, doc. Dr. Ing. (UITS FIT VUT)
Harmim Dominik, Ing. (UITS FIT VUT)
Hečko Michal, Ing. (FIT VUT)
Heidari Mona (UITS FIT VUT)
Hellebrandt Lukáš, Ing. (UITS FIT VUT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Holop Patrik, Ing. (UITS FIT VUT)
Homoliak Ivan, doc. Ing., Ph.D. (UITS FIT VUT)
Hruška Martin, Ing. (UITS FIT VUT)
Hudák David, Ing. (FIT VUT)
Hujňák Ondřej, Ing. (UITS FIT VUT)
Chocholatý David, Ing. (FIT VUT)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT)
Januš Filip, Ing. (UITS FIT VUT)
Kanich Ondřej, Ing., Ph.D. (UITS FIT VUT)
Kavetskyi Andrii (UITS FIT VUT)
Kocourek Tomáš, Ing. (FIT VUT)
Kočí Radek, Ing., Ph.D. (UITS FIT VUT)
Kozák David, Ing. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Malaník Petr, 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)
Pavela Jiří, Ing. (UITS FIT VUT)
Perešíni Martin, 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)
Semerád Lukáš, Ing., Ph.D. (UITS FIT VUT)
Síč Juraj, Mgr. (UITS FIT VUT)
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT)
Snášel Daniel, Ing. (UITS FIT VUT)
Stančíková Ivana, Ing. (UITS FIT VUT)
Šátek Václav, Ing., Ph.D. (UITS FIT VUT)
Šedý Michal, Ing. (FIT VUT)
Šoková Veronika, Ing. (UITS FIT VUT)
Tamaškovič Marek, Ing. (UITS FIT VUT)
Tinka Jan, Ing. (UPSY FIT VUT)
Vašíček Ondřej, Ing. (UITS FIT VUT)
Veigend Petr, Ing., Ph.D. (UITS FIT VUT)
Vídeňský František, Ing. (UITS FIT VUT)
Viskupič Matej, Ing. (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)
Publikace
2025
- HSIEH Min-hsiu, HUANG Wei-jia, CHEN Yu-Fang, CHUNG Kai-Min, LENGÁL Ondřej, LIN Jyun-ao a TSAI Wei-lun. AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs. In: Proceedings of TACAS'25. Springer Verlag, 2025. ISSN 0302-9743. Detail
- HAVLENA Vojtěch, LENGÁL Ondřej a ŠMAHLÍKOVÁ Barbora. Complementation of Emerson-Lei Automata. In: Proceedings of FoSSaCS'25. Springer Verlag, 2025, s. 19. ISSN 0302-9743. Detail
- ABDULLA Parosh A., CHEN Yo-ga, CHEN Yu-Fang, HOLÍK Lukáš, LENGÁL Ondřej, LIN Jyun-ao, LO Fang-yi a TSAI Wei-lun. Verifying Quantum Circuits with Level-Synchronized Tree Automata. Proceedings of the ACM on Programming Languages, roč. 9, č. 1, 2025, s. 923-953. ISSN 2475-1421. Detail
- CHOCHOLATÝ David, HAVLENA Vojtěch, HOLÍK Lukáš, HRANIČKA Jan, LENGÁL Ondřej a SÍČ Juraj. Z3-Noodler 1.3: Shepherding Decision Procedures for Strings with Model Generation. In: Proceedings of TACAS'25. Hamilton: Springer Verlag, 2025, s. 22. ISSN 0302-9743. Detail
2024
- HELFRICH Martin, ANDRIUSHCHENKO Roman, ČEŠKA Milan, KŘETÍNSKÝ Jan, MARTIČEK Štefan a ŠAFRÁNEK David. Abstraction-based segmental simulation of reaction networks using adaptive memoization. BMC Bioinformatics, roč. 25, č. 1, 2024, s. 1-24. ISSN 1471-2105. Detail
- HABERMEHL Peter, HAVLENA Vojtěch, HEČKO Michal, HOLÍK Lukáš a LENGÁL Ondřej. Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic. In: Proceedings of CAV'24. Montreal: Springer Verlag, 2024, s. 42-67. ISSN 0302-9743. Detail
- HOLÍK Lukáš a VARGOVČÍK Pavol. Antichain with SAT and Tries. In: 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024) . Leibniz International Proceedings in Informatics (LIPIcs), roč. 2024. Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2024, s. 1-15. ISBN 978-3-95977-334-8. ISSN 1868-8969. Detail
- ROZSÍVAL Michal. Automated Testing of Networked Systems Reliability. In: ISSTA 2024 - Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis. Vienna: Association for Computing Machinery, 2024, s. 1920-1922. ISBN 979-8-4007-0612-7. Detail
- ROZSÍVAL Michal, SMRČKA Aleš a VOJNAR Tomáš. Automated Testing of Reliability of Networked Systems. In: 2024 IEEE 17th International Scientific Conference on Informatics Proceedings. Poprad: Institute of Electrical and Electronics Engineers, 2024, s. 312-317. ISBN 979-8-3503-8768-1. Detail
- VÍDEŇSKÝ František, ZBOŘIL František, BERAN Jan, KOČÍ Radek a 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, s. 25-36. ISBN 978-989-758-680-4. Detail
- MALINKA Kamil, FIRC Anton, ŠALKO Milan, PRUDKÝ Daniel, RADAČOVSKÁ Karolína a HANÁČEK Petr. Comprehensive Multiparametric Analysis of Human Deepfake Speech Recognition. Eurasip Journal on Image and Video Processing, roč. 2024, č. 1, s. 1-25. ISSN 1687-5281. Detail
- HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej a 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, s. 1-19. ISSN 1868-8969. Detail
- PEREŠÍNI Martin, HLADKÝ Tomáš, MALINKA Kamil a HOMOLIAK Ivan. DAG-Sword: A Simulator for DAG-Oriented Proof-of-Work Blockchains with Realistic Network Topologies. In: Proceedings of the 57th Annual Hawaii International Conference on System Sciences. Waikiki: IEEE Computer Society, 2024, s. 1-10. ISBN 978-0-9981331-7-1. Detail
- DACÍK Tomáš, ROGALEWICZ Adam, VOJNAR Tomáš a 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, roč. 14570. Cham: Springer Nature Switzerland AG, 2024, s. 188-206. ISBN 978-3-031-57245-6. Detail
- FIRC Anton, MALINKA Kamil a HANÁČEK Petr. Deepfake Speech Detection: A Spectrogram Analysis. In: Proceedings of the ACM Symposium on Applied Computing. Avila: Association for Computing Machinery, 2024, s. 1312-1320. ISBN 979-8-4007-0243-3. Detail
- MALINKA Kamil a FIRC Anton. Deepfakes: příležitost, nebo hrozba?. Proč se nebát umělé inteligence?. Praha: Nakladatelství JOTA, s.r.o., 2024, s. 271-283. ISBN 978-80-7689-459-4. Detail
- FIRC Anton, MALINKA Kamil a HANÁČEK Petr. Diffuse or Confuse: A Diffusion Deepfake Speech Dataset. In: 2024 International Conference of the Biometrics Special Interest Group (BIOSIG). Darmstadt: GI - Gesellschaft für Informatik e.V., 2024, s. 1-7. ISBN 978-3-88579-749-4. Detail
- VAŠÍČEK Ondřej, ARIAS Joaquín, FIEDOR Jan, GUPTA Gopal, HALL Brendan, KŘENA Bohuslav, LARSON Brian, VARANASI Sarat a VOJNAR Tomáš. Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming. Theory and Practice of Logic Programming, roč. 24, č. 4, 2024, s. 844-862. ISSN 1475-3081. Detail
- FIEDOR Tomáš, PAVELA Jiří, ROGALEWICZ Adam a VOJNAR Tomáš. Efficient Manipulation of Control Flow Models in Evolving Software. Eurocast 2024 -- Computer Aided Systems Theory: Extended Abstracts. Las Palmas de Gran Canaria, 2024. Detail
- PEREŠÍNI Martin, HOMOLIAK Ivan, HRUBÝ Martin, BENČIĆ Federico M. a MALINKA Kamil. Incentive Attacks on DAG-Based Blockchains with Random Transaction Selection. In: IEEE International Conference on Blockchain (Blockchain) - Proceedings. Hainan: Institute of Electrical and Electronics Engineers, 2024, s. 1-8. ISBN 979-8-3503-1929-3. Detail
- FIEDOR Tomáš, HAVLENA Vojtěch, HOLÍK Lukáš, HRUŠKA Martin, CHOCHOLATÝ David, LENGÁL Ondřej a SÍČ Juraj. Mata: A Fast and Simple Finite Automata Library. In: Proceedings of TACAS'24. Luxembourgh: Springer Verlag, 2024, s. 130-151. ISSN 0302-9743. Detail
- BUDINSKÝ Rastislav, STANČÍKOVÁ Ivana a HOMOLIAK Ivan. Mitigating Undercutting Attacks: Fee-Redistribution Smart Contracts for Transaction-Fee-Based Regime of Blockchains with the Longest Chain Rule. In: 2023 IEEE International Conference on Blockchain (Blockchain). Danzhou, China: Institute of Electrical and Electronics Engineers, 2024, s. 25-32. ISBN 979-8-3503-1929-3. Detail
- KOČÍ Radek. On the Object Oriented Petri Nets Model Transformation into Java Programming Language. In: ICSEA 2024 The Nineteenth International Conference on Software Engineering Advances. Venice: Xpert Publishing Services, 2024, s. 38-42. ISBN 978-1-68558-194-7. Detail
- MALINKA Kamil, FIRC Anton, KAŠKA Petr, LAPŠANSKÝ Tomáš, ŠANDOR Oskar a 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, s. 66-84. ISBN 978-3-031-70878-7. Detail
- KOZÁK David, STANCU Codrut, WIMMER Christian a WÜRTHINGER Thomas. Scaling Type-Based Points-to Analysis with Saturation. Proceedings of the ACM on Programming Languages, roč. 8, č. 8, 2024, s. 990-1013. ISSN 2475-1421. Detail
- ŠALKO Milan, FIRC Anton a MALINKA Kamil. Security Implications of Deepfakes in Face Authentication. In: Proceedings of the ACM Symposium on Applied Computing. Avila: Association for Computing Machinery, 2024, s. 1376-1384. ISBN 979-8-4007-0243-3. Detail
- ABDELFATTAH Amr S., BLANCHARD Austin, ČERNÝ Tomáš, HALE Jack, HUTCHESON Richard, KOZÁK David a 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, s. 12-22. ISBN 979-8-3503-3066-3. Detail
- HOMOLIAK Ivan a PEREŠÍNI Martin. SoK: Cryptocurrency Wallets - A Security Review and Classification based on Authentication Factors. In: 2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) - Proceedings. Dublin: Institute of Electrical and Electronics Engineers, 2024, s. 1-8. ISBN 979-8-3503-1674-2. Detail
- VEIGEND Petr, NEČASOVÁ Gabriela a ŠÁTEK Václav. Solving linear and nonlinear problems using Taylor Series Method. Open Computer Science, roč. 14, č. 1, 2024, s. 1-15. ISSN 2299-1093. Detail
- HASLINGER Jaroslav, KUČERA Radek, MOTYČKOVÁ Kristina a ŠÁTEK Václav. Stokes problem with the Coulomb stick-slip boundary conditions in 3D: formulations, approximation, algorithms, and experiments. Mathematics and Computers in Simulation, roč. 2024, č. 216, s. 145-167. ISSN 0378-4754. Detail
- VEIGEND Petr, NEČASOVÁ Gabriela a ŠÁ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, s. 432-437. ISBN 979-8-3503-8766-7. Detail
- MALÍK Viktor, SCHRAMMEL Peter a VOJNAR Tomáš. Template-Based Verification of Array-Manipulating Programs. In: Taming the Infinities of Concurrency . Lecture Notes in Computer Science, roč. 14660. Cham: Springer Nature Switzerland AG, 2024, s. 206-224. ISBN 978-3-031-56221-1. Detail
- MALINKA Kamil, FIRC Anton, LOUTOCKÝ Pavel, VOSTOUPAL Jakub, KRIŠTOFÍK Andrej a 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, s. 227-233. ISBN 979-8-4007-0600-4. Detail
- HAVLENA Vojtěch, HOLÍK Lukáš, CHEN Yu-Fang, CHOCHOLATÝ David, LENGÁL Ondřej a SÍČ Juraj. Z3-Noodler: An Automata-based String Solver. In: Proceedings of TACAS'24. Lecture Notes. Luxembourgh: Springer Verlag, 2024, s. 24-33. ISSN 0302-9743. Detail
2023
- MALÍK Viktor, NEČAS František, SCHRAMMEL Peter a 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, roč. 13994. Paris: Springer International Publishing, 2023, s. 529-534. ISBN 978-3-031-30819-2. Detail
- VENUGOPALAN Sarad, STANČÍKOVÁ Ivana a HOMOLIAK Ivan. Always on Voting: A Framework for Repetitive Voting on the Blockchain. IEEE Transactions on Emerging Topics in Computing, roč. 11, č. 4, 2023, s. 1082-1092. ISSN 2168-6750. Detail
- CHEN Yu-Fang, CHUNG Kai-Min, LENGÁL Ondřej, LIN Jyun-ao, TSAI Wei-lun a YEN Di-de. An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits. Proceedings of the ACM on Programming Languages, roč. 7, č. 6, 2023, s. 1218-1243. ISSN 2475-1421. Detail
- PRUDKÝ Daniel, FIRC Anton a 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 - Gesellschaft für Informatik e.V., 2023, s. 1-5. ISBN 978-3-88579-733-3. Detail
- CHEN Yu-Fang, CHUNG Kai-Min, LENGÁL Ondřej, LIN Jyun-ao a TSAI Wei-lun. AutoQ: An Automata-based Quantum Circuit Verifier. In: Proceedings of 35th International Conference on Computer Aided Verification. Cham: Springer Verlag, 2023, s. 139-153. ISSN 0302-9743. Detail
- HOMOLIAK Ivan, LI Zengpeng a SZALACHOWSKI Pawel. BBB-Voting: Self-Tallying End-to-End Verifiable 1-out-of-k Blockchain-Based Boardroom Voting. In: 2023 IEEE International Conference on Blockchain (Blockchain). Hainan: Institute of Electrical and Electronics Engineers, 2023, s. 297-306. ISBN 979-8-3503-1929-3. Detail
- JOVANOVIC Vojin, KOZÁK David, STANCU Codrut, VOJNAR Tomáš a 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, s. 129-142. ISBN 979-8-4007-0380-5. Detail
- ANDRIUSHCHENKO Roman, BARTOCCI Ezio, ČEŠKA Milan, FRANCESCO Pontiggia a 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), roč. 14287. Cham: Springer Verlag, 2023, s. 288-306. ISBN 978-3-031-43834-9. Detail
- MALINKA Kamil, FIRC Anton a HANÁČEK Petr. Deepfakes a lidé: dokážeme ještě rozlišit pravou řeč od umělé?. DSM Data Security Management, roč. 2023, č. 04, s. 22-26. ISSN 1211-8737. Detail
- FIRC Anton, MALINKA Kamil a HANÁČEK Petr. Deepfakes as a threat to a speaker and facial recognition: an overview of tools and attack vectors. Heliyon, roč. 9, č. 4, 2023, s. 1-33. ISSN 2405-8440. Detail
- FIRC Anton, MALINKA Kamil a HANÁČEK Petr. Deepfakes: Bezpečnostní výzva pro naše uši. DSM Data Security Management, roč. 2023, č. 02, s. 41-44. ISSN 1211-8737. Detail
- DRGA Jozef, HOMOLIAK Ivan, VANČO Juraj, PEREŠÍNI Martin, HANÁČEK Petr a 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, s. 1-4. ISBN 0-06-000020-1. Detail
- ŽÁK Marek, ROZMAN Jaroslav a ZBOŘIL František V. Energy Efficiency of a Wheeled Bio-Inspired Hexapod Walking Robot in Sloping Terrain. Robotics, roč. 12, č. 2, 2023, s. 1-15. ISSN 2218-6581. Detail
- PLEŠKO Filip, GOLDMANN Tomáš a MALINKA Kamil. Facial Image Reconstruction and its Influence to Face Recognition. In: 2023 International Conference of the Biometrics Special Interest Group (BIOSIG). Darmstadt: Gesellschaft für Informatik, 2023, s. 1-4. ISBN 979-8-3503-3655-9. Detail
- HOLÍK Lukáš, HOLÍKOVÁ Lenka, SÍČ Juraj a VOJNAR Tomáš. Fast Matching of Regular Patterns with Synchronizing Counting. In: Foundations of Software Science and Computation Structures. Heidelberg: Springer Verlag, 2023, s. 392-412. ISSN 0302-9743. Detail
- HAVLENA Vojtěch, LENGÁL Ondřej, LI Yong, ŠMAHLÍKOVÁ Barbora a TURRINI Andrea. Modular Mix-and-Match Complementation of Büchi Automata. In: Proceedings of TACAS'23. Paris: Springer Verlag, 2023, s. 249-270. ISSN 0302-9743. Detail
- VEIGEND Petr a ŠÁ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, s. 1-4. ISSN 0094-243X. Detail
- MALINKA Kamil, FIRC Anton, PEREŠÍNI Martin, JANUŠ Filip a 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, s. 47-53. ISBN 979-8-4007-0138-2. Detail
- KOČÍ Radek a 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, s. 105-109. ISBN 978-1-68558-098-8. Detail
- FIEDOR Tomáš, HOLÍK Lukáš, HRUŠKA Martin, ROGALEWICZ Adam, SÍČ Juraj a VARGOVČÍK Pavol. Reasoning about Regular Properties: A Comparative Study. In: Automated Deduction - CADE 29. Cham: Springer Nature Switzerland AG, 2023, s. 286-306. ISSN 0302-9743. Detail
- STANČÍKOVÁ Ivana a 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, s. 203-2011. ISBN 978-1-4503-9517-5. Detail
- ANDRIUSHCHENKO Roman, ALEXANDER Bork, ČEŠKA Milan, JUNGES Sebastian, KATOEN Joost-Pieter a 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), roč. 13966. Cham: Springer Verlag, 2023, s. 113-135. ISBN 978-3-031-37708-2. Detail
- CHEN Yu-Fang, CHOCHOLATÝ David, HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej a SÍČ Juraj. Solving String Constraints with Lengths by Stabilization. Proceedings of the ACM on Programming Languages, roč. 7, č. 10, 2023, s. 2112-2141. ISSN 2475-1421. Detail
Produkty
2024
- Mata: Knihovna pro konečné automaty, software, 2024
Autoři: Fiedor Tomáš, Havlena Vojtěch, Holík Lukáš, Hruška Martin, Chocholatý David, Lengál Ondřej, Síč Juraj Detail - Predator Hunting Party: Nástroj pro verifikaci a hledání chyb, verze 3.1415, software, 2024
Autoři: Kinšt Ondřej, Kotoun Michal, Müller Petr, Peringer Petr, Šoková Veronika, Vojnar Tomáš Detail - Webová aplikace pro zpracování otisků prstů, software, 2024
Autoři: Vaňo Michal, Svoboda Jan, Sakin Martin Detail - Z3-Noodler: Řetězcový Řešič, software, 2024
Autoři: Havlena Vojtěch, Holík Lukáš, Chen Yu-Fang, Chocholatý David, Lengál Ondřej, Síč Juraj Detail
2023
- 2LS: Nástroj pro statickou analýzu a verifikaci, verze 0.10, software, 2023
Autoři: 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 - Detekce laserového svazku v otevřeném prostoru, software, 2023
Autoři: Šoková Lenka, Kolář Dušan, Rydlo Štěpán Detail - FaceAIKit: Knihovna pro detekci a rozpoznávání obličeje, software, 2023
Autoři: Goldmann Tomáš Detail - Optická soustava pro boční snímání laserového svazku v otevřeném prostoru se zesilovačem jasu obrazu, funkční vzorek, 2023
Autoři: Rydlo Štěpán, Nováčková Kateřina, Pemčák Ivan, Malaník Petr Detail - SYDA-Fidentis dataset pro evaluaci algoritmů pro rozpoznávání osob podle obličeje, software, 2023
Autoři: Černý Dominik, Drahanský Martin, Goldmann Tomáš, Urbanová Petra Detail - Zařízení pro snímání krevního řečiště prstu ve 3D za použití zrcadel, funkční vzorek, 2023
Autoři: Drahanský Martin, Rydlo Štěpán Detail
2021
- 3D fotogrammetrická stanice pro celotělový záznam člověka, funkční vzorek, 2021
Autoři: Rydlo Štěpán, Jurda Mikoláš, Drahanský Martin, Urbanová Petra, Černý Dominik, Sakin Martin Detail