Department of Intelligent Systems
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, 2023. 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
- DRGA Jozef, HOMOLIAK Ivan, VANČO Juraj, PEREŠÍNI Martin and HANÁČEK Petr. Detecting and Preventing Credential Misuse in OTP-Based Two and Half Factor Authentication Toward Centralized Services. In: Dubai, 2023. 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
- HOLÍK Lukáš, SÍČ Juraj, TUROŇOVÁ Lenka and VOJNAR Tomáš. Fast Matching of Regular Patterns with Synchronizing Counting (Technical Report). Ithaca, 2023. 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
- 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. 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 (Technical Report). Ithaca: Cornell University Library, 2023. 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: Turku: Association for Computing Machinery, 2023. 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, 2023, pp. 173-180. ISBN 978-989-758-623-1. 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
- HELFRICH Martin, ČEŠKA Milan, KŘETÍNSKÝ Jan and MARTIČEK Štefan. Abstraction-Based Segmental Simulation of Chemical Reaction Networks. In: International Conference on Computational Methods in Systems Biology. Lecture Notes in Bioinformatics. Bucharest: Springer Verlag, 2022, pp. 41-60. ISBN 978-3-031-15033-3. Detail
- HAVLENA Vojtěch, MATOUŠEK Petr, RYŠAVÝ Ondřej and HOLÍK Lukáš. Accurate Automata-Based Detection of Cyber Threats in Smart Grid Communication. IEEE Transactions on Smart Grid, vol. 2022, no. 1, pp. 1-14. ISSN 1949-3053. 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
- BARTONĚK Jaroslav, LAZAR Václav, LÁZNIČKA Tomáš, MALANÍK Petr, POPELA Robert and RYDLO Štěpán. BUTCube - road for CubeSat in-orbit solar eclipse observation mission utilizing 1U demonstrator. In: Proceedings of the International Astronautical Congress, IAC. Paříž, 2022, pp. 1-7. ISSN 0074-1795. Detail
- MALANÍK Petr and RYDLO Štěpán. BUTCube-small satellite technology demostrator development. San Luis Obispo, 2022. 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
- TUROŇOVÁ 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
- BAUER Thomas, AGIRRE Andoni Joseba, FÜRCHO David, HERZNER Wolfgang, HRUŠKA Bob, KARACA Mustafa, PEREIRA David M., PROENÇA José, SCHLICK Rupert, SICHER Robert, SMRČKA Aleš, YAYAN Ugur and SANGCHOOLIE Behrooz. Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S Invited Paper. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science. Cham, 2022, pp. 368-382. 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
- MALINKA Kamil, VODOVÁ Libuše, JANČOVÁ Martina, SOBKOVÁ Lenka and SCHINDLER Vladimír. Effective Teaching through Multidisciplinary Lessons Adopting 3D Print - Preliminary Study. In: Proceedings of EdMedia + Innovate Learning. Waynesville, NC, 2022, pp. 286-291. Detail
- MATYÁŠ Václav, MALINKA Kamil, KRAUS Lydia, KNAPOVÁ Lenka and KRUŽÍKOVÁ Agáta. Even if users do not read security directives, their behavior is not so catastrophic. Communications of the ACM, vol. 65, no. 1, 2022, pp. 37-40. ISSN 0001-0782. 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. 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
- ANDRIUSHCHENKO Roman, ČEŠKA Milan, JUNGES Sebastian and KATOEN Joost-Pieter. Inductive Synthesis of Finite-State Controllers for POMDPs. In: Conference on Uncertainty in Artificial Intelligence. Proceedings of Machine Learning Research, vol. 180. Eindhoven: Proceedings of Machine Learning Research, 2022, pp. 85-95. ISSN 2640-3498. 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
- BARTONĚK Jaroslav, LAZAR Václav, MALANÍK Petr, RYDLO Štěpán, POPELA Robert, LÁZNIČKA Tomáš and DRUCKMÜLLER Miloslav. Low Earth Orbit determination in small satellite mission proposal for corona observation of close solar surface region. Acta Astronautica, vol. 2023, no. 203, 2022, pp. 202-213. ISSN 0094-5765. 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
- KANICH Ondřej, KRAUSOVÁ Alžběta, PETROVÁ Kafková Marcela, DRAHANSKÝ Martin, DOSEDĚL Tomáš and MATEJKA Ján. Metodika bezpečnosti biometrických systémů pro státní správu. Brno: Brno University of Technology, 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 and ŠÁTEK Václav. Parallel Numeric Solution of Differential Equations. Soláň, 2022. 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
- FIEDOR Tomáš, PAVELA Jiří, ROGALEWICZ Adam and VOJNAR Tomáš. Perun: Performance Version System. In: Proceedings of the 38th IEEE International Conference on Software Maintenance and Evolution (ICSME 2022). Limassol: Institute of Electrical and Electronics Engineers, 2022, pp. 499-503. ISBN 978-1-6654-7956-1. 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
- 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
- CHARVÁT Lukáš, SMRČKA Aleš and VOJNAR Tomáš. Utilizing parametric systems for detection of pipeline hazards. International Journal on Software Tools for Technology Transfer, vol. 2020, no. 1, 2022, pp. 1-28. ISSN 1433-2779. Detail
- BISWAS Sangeeta, ROHDIN Johan A., KHAN Md. Iqbal Aziz, BISWAS Angkan, HOSSAIN Md. Tanvir and NAKAI Takayoshi. Which Color Channel Is Better for Diagnosing Retinal Diseases Automatically in Color Fundus Photographs?. Life-Basel, vol. 12, no. 7, 2022, pp. 1-38. ISSN 2075-1729. Detail