Ústav inteligentních systémů
2024
- CHEN Tian-fu, CHEN Yu-Fang, JIANG Jie-hong, JOBRANOVÁ Sára a 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áš 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
- 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, č. 8, 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
- DACÍK Tomáš, ROGALEWICZ Adam, VOJNAR Tomáš a ZULEGER Florian. Deciding Boolean Separation Logic via Small Models. In: 2024. 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
- ANNA Polánecká, BALÁŽ Teodor, KOLÁŘ Dušan, NOVÁČKOVÁ Kateřina a RYDLO Štěpán. Detection of Laser Beams Aimed at Aircraft in Flight. In: 2024 New Trends in Civil Aviation (NTCA). Praha, 2024, s. 119-124. ISBN 978-80-01-07182-3. Detail
- FIRC Anton, MALINKA Kamil a HANÁČEK Petr. Diffuse or Confuse: A Diffusion Deepfake Speech Dataset. In: Darmstadt: GI - Gesellschaft für Informatik e.V., 2024. Detail
- URBANOVÁ Petra, GOLDMANN Tomáš, ČERNÝ Dominik a DRAHANSKÝ Martin. Head Poses and Grimaces: Challenges for automated face identification algorithms?. Science & Justice, roč. 64, č. 4, 2024, s. 421-442. ISSN 1355-0306. Detail
- MALINKA Kamil. ChatGPT in education - year after. Have the catastrophic scenarios come true?. Book of Abstracts SCITEED 2024. Oludeniz, 2024. 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
- NEČASOVÁ Gabriela a ŠÁTEK Václav. Parallel numerical solution of PDEs using Taylor series method. Soláň, 2024. Detail
- MALINKA Kamil, FIRC Anton, KAŠKA Petr, LAPŠANSKÝ Tomáš, ŠANDOR Oskar a HOMOLIAK Ivan. Resilience of Voice Assistants to Deepfake Speech. In: Computer Security - ESORICS 2024. Bydgoszcz: Springer Nature Switzerland AG, 2024, s. 66-84. ISBN 978-3-031-70879-4. Detail
- KOZÁK David, STANCU Codrut, WIMMER Christian a WÜRTHINGER Thomas. Scaling Type-Based Points-to Analysis with Saturation. In: Proceedings of the ACM on Programming Languages. New York, 2024, s. 990-1013. 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, 2024, s. 12-22. ISBN 979-8-3503-3066-3. 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
- 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
- GOLDSCHMIDT Patrik a KUČERA Jan. Windower: Feature Extraction for Real-Time DDoS Detection Using Machine Learning. In: NOMS 2024-2024 IEEE Network Operations and Management Symposium. Seoul: Institute of Electrical and Electronics Engineers, 2024, s. 1-10. ISBN 979-8-3503-2793-9. 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
- 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
- HAVLENA Vojtěch, MATOUŠEK Petr, RYŠAVÝ Ondřej a HOLÍK Lukáš. Accurate Automata-Based Detection of Cyber Threats in Smart Grid Communication. IEEE Transactions on Smart Grid, roč. 2023, č. 14, s. 2352-2366. ISSN 1949-3053. Detail
- VENUGOPALAN Sarad, STANČÍKOVÁ Ivana a HOMOLIAK Ivan. Always on Voting: A Framework for Repetitive Voting on the Blockchain. 2023, s. 1-11. 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
- HOLÍKOVÁ Lenka, HORKÝ Michal a SÍČ Juraj. Automata with Bounded Repetition in RE2. In: Computer Aided Systems Theory - EUROCAST 2022. Heidelberg: Springer Verlag, 2023, s. 232-239. ISSN 0302-9743. 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
- 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
- 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
- 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: 2023. 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
- 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
- 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
- HOLÍK Lukáš, HOLÍKOVÁ Lenka, SÍČ Juraj a VOJNAR Tomáš. Fast Matching of Regular Patterns with Synchronizing Counting (Technical Report). Ithaca, 2023. Detail
- BUDINSKÝ Rastislav, HOMOLIAK Ivan a STANČÍKOVÁ Ivana. Fee-Redistribution Smart Contracts for Transaction-Fee-Based Regime of Blockchains with the Longest Chain Rule. In: 2023. 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
- PEREŠÍNI Martin, HOMOLIAK Ivan, HRUBÝ Martin, BENČIĆ Federico M. a MALINKA Kamil. Incentive Attacks on DAG-Oriented Blockchains with Random Transaction Selection. In: 2023, s. 12. 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
- 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
- HAVLENA Vojtěch, LENGÁL Ondřej, LI Yong, ŠMAHLÍKOVÁ Barbora a TURRINI Andrea. Modular Mix-and-Match Complementation of Büchi Automata (Technical Report). Ithaca: Cornell University Library, 2023. Detail
- ROZSÍVAL Michal a SMRČKA Aleš. NetLoiter: A Tool for Automated Testing of Network Applications using Fault-injection. In: Proceedings - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023. Porto: Institute of Electrical and Electronics Engineers, 2023, s. 207-210. ISBN 979-8-3503-2543-0. 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
- 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
- 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
- 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
- GOLDMANN Tomáš a URBANOVÁ Petra. Poses and Grimaces: Challenges for automated face identification algorithms?. Colorado, 2023. 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
- 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
- DYK Tomáš a DRAHANSKÝ Martin. Tank Barrel Surface Damage Detection Algorithm. In: ICMT 2023: 17. International Conference on Military Technology. Brno: IEEE Computer Society, 2023, s. 1-4. ISBN 979-8-3503-2568-3. 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
- SMRČKA Aleš, SANGCHOOLIE Behrooz, EMANUELE Mingozzi, VARA Luis De La Jose, FARRELL Marie, BARBOSA Raul, BAGLUM Cem, YAYAN Ugur, ERGUN Salih a KANAK Alper. Towards an extensive set of criteria for safety and cyber-security evaluation of cyber-physical systems [version 1; peer review: 2 approved]. Open Research Europe, roč. 3, č. 219, 2023, s. 1-21. ISSN 2732-5121. Detail
- HOLÍK Lukáš a ŠEDÝ Michal. Utilization of Repeating Substructures for Efficient Representation of Automata (Technical Report). Brno, 2023. 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