Podstatou projektu je výzkum v oblasti bezpečnosti a spolehlivosti počítačových systémů při současném zachování jejich patřičné efektivity. Za tímto účelem projekt integruje zaměstnance a doktorandy z Ústavu inteligentních systémů (ÚITS) FIT VUT v Brně, kteří svým výzkumem pokrývají různé oblasti počítačové bezpečnosti, spolehlivosti a optimalizace. Projekt zahrnuje teoretický výzkum i prototypovou implementaci a experimentální ověření navržených technik na vhodných případových studiích.

FIT-S-17-4014

Czech

Vojnar Tomáš, prof. Ing., Ph.D. - principal person responsible
Abdulrahman Wassem, Ing. - fellow researcher
Aron Lukáš, Ing., Ph.D. - fellow researcher
Barabas Maroš, Ing., Ph.D. - fellow researcher
Černík Tomáš, Ing. - fellow researcher
Češka Milan, doc. RNDr., Ph.D. - fellow researcher
Češka Milan, prof. RNDr., CSc. - fellow researcher
Daniš Daniel, Ing. - fellow researcher
Drahanský Martin, prof. Ing., Ph.D. - fellow researcher
Dvořák Michal, Ing., Ph.D. - fellow researcher
Fiedor Jan, Ing., Ph.D. - fellow researcher
Fiedor Tomáš, Ing., Ph.D. - fellow researcher
Goldmann Tomáš, Ing., Ph.D. - fellow researcher
Hájek Josef, Ing., Ph.D. - fellow researcher
Hanáček Petr, doc. Dr. Ing. - fellow researcher
Heidari Mona, Ph.D. - fellow researcher
Hellebrandt Lukáš, Ing. - fellow researcher
Holík Lukáš, doc. Mgr., Ph.D. - fellow researcher
Holíková Lenka, Ing., Ph.D. - fellow researcher
Hrubý Martin, Ing., Ph.D. - fellow researcher
Hruška Martin, Ing., Ph.D. - fellow researcher
Hujňák Ondřej, Ing., Ph.D. - fellow researcher
Chaloupka Jan, Ing. - fellow researcher
Charvát Lukáš, Ing., Ph.D. - fellow researcher
Janků Petr, Ing., Ph.D. - fellow researcher
Janoušek Vladimír, doc. Ing., Ph.D. - fellow researcher
Kačic Matej, Ing., Ph.D. - fellow researcher
Kanich Ondřej, Ing., Ph.D. - fellow researcher
Karásek Štěpán, Ing. - fellow researcher
Kocina Filip, Ing., Ph.D. - fellow researcher
Kočí Radek, Ing., Ph.D. - fellow researcher
Kolář Adam, Ing. - fellow researcher
Košík Michal, Ing. - fellow researcher
Křena Bohuslav, Ing., Ph.D. - fellow researcher
Kunovský Jiří, doc. Ing., CSc. - fellow researcher
Kupková Karolína, Ing. - fellow researcher
Lengál Ondřej, doc. Ing., Ph.D. - fellow researcher
Luža Radim, Ing. - fellow researcher
Malčík Dominik, Ing., Ph.D. - fellow researcher
Malinka Kamil, doc. Mgr., Ph.D. - fellow researcher
Maruniak Lukáš, Ing. - fellow researcher
Nečasová Gabriela, Ing., Ph.D. - fellow researcher
Novosad Petr, Ing. - fellow researcher
Orság Filip, Ing., Ph.D. - fellow researcher
Ovšonka Daniel, Ing. - fellow researcher
Pacura Dávid, Ing. - fellow researcher
Peringer Petr, Dr. Ing. - fellow researcher
Richta Tomáš, Ing., Ph.D. - fellow researcher
Rogalewicz Adam, doc. Mgr., Ph.D. - fellow researcher
Rozman Jaroslav, Ing., Ph.D. - fellow researcher
Samek Jan, Ing., Ph.D. - fellow researcher
Semerád Lukáš, Ing., Ph.D. - fellow researcher
Smetka Tomáš, Ing. - fellow researcher
Smrčka Aleš, Ing., Ph.D. - fellow researcher
Snášelová Petra, Ing. - fellow researcher
Šátek Václav, Ing., Ph.D. - fellow researcher
Šimáček Jiří, Ing., Ph.D. - fellow researcher
Šimková Hana, Mgr. Bc., Ph.D. - fellow researcher
Šoková Veronika, Ing., Ph.D. - fellow researcher
Švéda Petr, Mgr. - fellow researcher
Uhlíř Václav, Ing. - fellow researcher
Veigend Petr, Ing., Ph.D. - fellow researcher
Zbořil František, doc. Ing., CSc. - fellow researcher
Zbořil František, doc. Ing., Ph.D. - fellow researcher
Žák Marek, Ing., Ph.D. - fellow researcher

Department of Intelligent Systems
- internal (1.1.2017 - 31.12.2019)
Faculty of Information Technology
- beneficiary (1.1.2017 - 31.12.2019)

FIEDOR, T.; HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; SINN, M.; ZULEGER, F.: xx; Ranger: A Tool for Bounds Analysis of Heap-Manipulating Programs. xx. URL: https://www.fit.vut.cz/research/product/562/. (Software)
Detail

KANICH, O.; DRAHANSKÝ, M.: xx; Synthetic Fingerprint Damage Simulator and Generator - Touch Damage Module. xx. URL: https://www.fit.vut.cz/research/product/600/. (Software)
Detail

FIEDOR, T.; HOLÍK, L.; JANKŮ, P.; LENGÁL, O.; VOJNAR, T.: xx; Gaston - Symbolic WS1S Solver. xx. URL: https://www.fit.vut.cz/research/product/511/. (Software)
Detail

GOLDMANN, T.; DRAHANSKÝ, M.: xx; SYDAGenerator - nástroj pro generování datasetů s využitím 3D objektů. xx. URL: https://www.fit.vutbr.cz/~igoldmann/app/sydagenerator/old/. (Software)
Detail

HOLÍK, L.; JANKŮ, P.; VOJNAR, T.; LIN, A.; RUMMER, P.: xx; Sloth: An SMT Solver for String Constraints. xx. URL: https://www.fit.vut.cz/research/product/563/. (Software)
Detail

KANICH, O.; ORAVEC, T.; DEJMAL, D.: xx; Fingerprint Quality Visualizer. xx. URL: http://www.fit.vutbr.cz/~ikanich/FiQiVi.zip. (Software)
Detail

RICHTA, T.; JANOUŠEK, V.; MINÁŘ, M.: xx; Petri Nets for Embedded Systems - Translator and Interpreter, rev. 2015. xx. URL: https://www.fit.vut.cz/research/product/427/. (Software)
Detail

HOLÍKOVÁ, L.; JANKŮ, P.: xx; PICoSo: An SMT Solver for String Constraints. xx. URL: https://www.fit.vut.cz/research/product/620/. (Software)
Detail

HOLÍK, L.; HOLÍKOVÁ, L.; VOJNAR, T.: xx; MINA: A Tool for Verification of Programs with an Unbounded Number of Threads. xx. URL: https://www.fit.vut.cz/research/product/559/. (Software)
Detail

MALANÍK, P.; DRAHANSKÝ, M.; PERNICKÝ, R.: xx; Mobilní kriminalistická elektronická jednotka. xx. URL: https://www.fit.vut.cz/research/product/609/. (Funkční vzorek)
Detail

HOLÍK, L.; ABDULLA, P.; ATIG, M.; BUI PHI, D.; CHEN, Y.; REZINE, A.; RUMMER, P.: xx; Trau: SMT solver for string constraints. xx. URL: https://github.com/diepbp/Trau. (Software)
Detail

KANICH, O.; DRAHANSKÝ, M.: xx; Synthetic Fingerprint Damage Simulator and Generator - Swipe Damage Module. xx. URL: https://www.fit.vut.cz/research/product/599/. (Software)
Detail

HOLÍK, L.; ABDULLA, P.; ATIG, M.; CHEN, Y.; REZINE, A.; STENMAN, J.: xx; Norn: An SMT Solver for String Constraints. xx. URL: http://user.it.uu.se/~jarst116/norn/. (Software)
Detail

MARCIN, V.; HARMIM, D.; PAVELA, O.; VOJNAR, T.; FIEDOR, T.; ROGALEWICZ, A.: xx; VeriFIT Static Analysis Plugins. xx. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/sa-plugins/. (Software)
Detail

KANICH, O. Research in Fingerprint Damage Simulations. Brno: Brno University of Technology, 2018. p. 1-148.
Detail

KOTOUN, M.; PERINGER, P.; ŠOKOVÁ, V.; VOJNAR, T. PredatorHP Attacks Interval-Sized Regions. Ithaca: 2019. p. 1-4.
Detail

ABDULLA, P.; ATIG, M.; BUI PHI, D.; HOLÍK, L.; JANKŮ, P. Chain-Free String Constraints. In Proceedings of ATVA'19. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2019. p. 277-293. ISBN: 978-3-030-31783-6.
Detail

DVOŘÁK, M.; DRAHANSKÝ, M.; KEMPTER, G.; MOHELNÍKOVÁ, J.; LUŽA, R.; RITTER, W.; KÜNZ, A. Usability and Quality of Light Sources for Households. Beiträge zum Usability Day XV - Umgebungsunterstütztes Leben. Dornbirn: Pabst Science Publishers, 2017. p. 125-133. ISBN: 978-3-95853-316-5.
Detail

KOČÍ, R.; JANOUŠEK, V. Validation of Specification Models Based on Petri Nets. Software Engineering Advances. Ateny: Xpert Publishing Services, 2017. p. 232-237. ISBN: 978-1-61208-590-6.
Detail

VEIGEND, P.; RAFFAI, P.; NEČASOVÁ, G.; ŠÁTEK, V.; KUNOVSKÝ, J. Gas flow through the piston ring pack. In 15rd International Conference of Numerical Analysis and Applied Mathematics. Thessaloniki: American Institute of Physics, 2018. p. 1-4. ISBN: 978-0-7354-1690-1.
Detail

HOMOLIAK, I.; TEKNŐS, M.; BREITENBACHER, D.; HANÁČEK, P. Improving Network Intrusion Detection Classifiers by Non-Payload-Based Exploit-Independent Obfuscations: An Adversarial Approach. EAI Endorsed Transactions on Security and Safety, 2018, vol. 5, no. 17, p. 1-15. ISSN: 2032-9393.
Detail

NEČASOVÁ, G.; KOCINA, F.; VEIGEND, P.; ŠÁTEK, V.; KUNOVSKÝ, J. Model of the Telegraph Line. In Informatics 2017 - 14th International Scientific Conference on Informatics. Poprad: Institute of Electrical and Electronics Engineers, 2017. p. 271-275. ISBN: 978-1-5386-0888-3.
Detail

ROZMAN, J.; HŘÍBEK, D.; ZBOŘIL, F. Testing of Various Approaches for Semiautomatic Parish Records Word Standardization. In JIST: Joint International Semantic Technology Conference. Communications in Computer and Information Science. Communications in Computer and Information Science. Hangzhou: Springer International Publishing, 2019. no. 1157, p. 21-33. ISBN: 978-981-1534-11-9. ISSN: 1865-0929.
Detail

ŠŮSTEK, M.; VÍDEŇSKÝ, F.; ZBOŘIL, F.; ZBOŘIL, F. Family Coat of Arms and Armorial Achievement Classification. In Intelligent Systems Design and Applications. Advances in Intelligent Systems and Computing. Advances in Intelligent Systems and Computing. Los Alamitos: Springer International Publishing, 2019. no. 2, p. 577-586. ISSN: 2194-5357.
Detail

OČENÁŠ, M. Bitcoin blockchain analysis. Mikulášská kryptobesídka. Praha: Trusted Network Solutions, a.s., 2017. p. 67-68.
Detail

DRAHANSKÝ, M.; MEISTER, T.; NEZHYBA, O. Sicherheit für intelligente Häuser. Beiträge zum Usability Day XV - Umgebungsunterstütztes Leben. Dornbirn: Pabst Science Publishers, 2017. s. 64-69. ISBN: 978-3-95853-316-5.
Detail

ROZMAN, J.; ZBOŘIL, F.; KOČÍ, R. Possibilities of Creation of Community Genealogical Database with Semantic Information. In ICSIM2018: 2018 International Conference on Software Engineering and Information Management. Casablanca: 2018. p. 87-91. ISBN: 978-1-4503-5438-7.
Detail

HASLINGER, J.; KUČERA, R.; ŠÁTEK, V. Stokes system with local Coulomb's slip boundary conditions: Analysis of discretized models and implementation. COMPUTERS & MATHEMATICS WITH APPLICATIONS, 2019, vol. 77, no. 6, p. 1655-1667. ISSN: 0898-1221.
Detail

ČEŠKA, M.; HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; VOJNAR, T. Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. International Journal on Software Tools for Technology Transfer, 2020, vol. 22, no. 5, p. 523-539. ISSN: 1433-2779.
Detail

KOČÍ, R.; JANOUŠEK, V. Tracing and Reversing the Run of Software Systems Implemented by Petri Nets. In Software Engineering Advances. Nice: Xpert Publishing Services, 2018. p. 122-127. ISBN: 978-1-61208-668-2.
Detail

HASLINGER, J.; KUČERA, R.; ŠÁTEK, V.; POCHYLÝ, F. Numerical Modelling of the Stokes Flow with Coulomb Slip Boundary Conditions. In 15th International Conference of Numerical Analysis and Applied Mathematics. Thessaloniki: American Institute of Physics, 2018. p. 1-4. ISBN: 978-0-7354-1690-1.
Detail

HOLÍK, L.; HOLÍKOVÁ, L.; LENGÁL, O.; VOJNAR, T.; SAARIKIVI, O.; VEANES, M. Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report). Ithaca: Cornell University Library, 2019. p. 1-19.
Detail

FIEDOR, T.; HOLÍK, L.; LENGÁL, O.; VOJNAR, T. Nested Antichains for WS1S. ACTA INFORMATICA, 2019, vol. 56, no. 3, p. 205-228. ISSN: 0001-5903.
Detail

HOLÍK, L.; ABDULLA, P.; HAZIZA, F.; JONSSON, B.; REZINE, A. An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures. International Journal on Software Tools for Technology Transfer, 2017, vol. 5, no. 19, p. 549-563. ISSN: 1433-2779.
Detail

ABDULLA, P.; ATIG, M.; CHEN, Y.; BUI PHI, D.; HOLÍK, L.; REZINE, A.; RUMMER, P. Trau : SMT solver for string constraints. In Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design. Austin: FMCAD Inc., 2019. p. 165-169. ISBN: 978-0-9835678-8-2.
Detail

ČEŠKA, M.; HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; VOJNAR, T. Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. In Proceedings of TACAS'18. Lecture Notes in Computer Science. Thessaloniki: Springer Verlag, 2018. no. 2, p. 155-175. ISSN: 0302-9743.
Detail

KOCINA, F.; KUNOVSKÝ, J. Advanced VLSI Circuits Simulation. In Proceedings of the 2017 International Conference on High Performance Computing & Simulation (HPCS 2017). Genoa: Institute of Electrical and Electronics Engineers, 2017. p. 526-533. ISBN: 978-1-5386-3250-5.
Detail

HOLÍK, L.; MEYER, R.; VOJNAR, T.; WOLF, S. Effect Summaries for Thread-Modular Analysis Sound Analysis Despite an Unsound Heuristic. In SAS 2017: Static Analysis. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2017. no. 1, p. 169-191. ISBN: 978-3-319-66706-5. ISSN: 0302-9743.
Detail

SEHNALOVÁ, P.; ŠÁTEK, V. 35 Years of Taylor-Kunovsky Simulation Language. In 16th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2019. no. 7, p. 1-4. ISSN: 0094-243X.
Detail

LENGÁL, O.; VOJNAR, T.; ENEA, C.; SIGHIREANU, M. SPEN: A Solver for Separation Logic. In Proceedings of NFM'17. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2017. p. 302-309. ISBN: 978-3-319-57287-1.
Detail

DRAHANSKÝ, M.; DVOŘÁK, M.; HEIDARI, M.; SPURNÝ, M. Overview of biometric technologies. Brno: 2018. p. 1-16.
Detail

HOLÍK, L.; LENGÁL, O.; SÍČ, J.; VOJNAR, T.; VEANES, M. Simulation Algorithms for Symbolic Automata (Technical Report). Ithaca: 2018. p. 1-23.
Detail

CHALOUPKA, J.; NEČASOVÁ, G.; VEIGEND, P.; KUNOVSKÝ, J.; ŠÁTEK, V. Modern Taylor series method in numerical integration: PART 1. 16th Czech-Polish Conference Modern Mathematical Methods in Engineering (3mi). Systemy Wspomagania w Inżynierii Produkcji. Rybnik: 2017. no. 4, p. 263-273. ISBN: 978-83-65265-14-2. ISSN: 2391-9361.
Detail

LENGÁL, O.; CHEN, Y.; TAN, T.; WU, Z. Register Automata with Linear Arithmetic. arXiv:1704.03972: 2017. p. 1-30.
Detail

SEMERÁD, L.; DRAHANSKÝ, M. Retinal Vascular Characteristics. In Handbook of Vascular Biometrics. Advances in Computer Vision and Pattern Recognition. Londýn: Springer International Publishing, 2019. p. 309-354. ISBN: 978-3-030-27730-7.
Detail

DVOŘÁK, M.; DRAHANSKÝ, M. Security of Hand Geometry. Proceedings of Conference SPI 2017. Brno: University of Defence in Brno, 2017. p. 17-29. ISBN: 978-80-7231-414-0.
Detail

ZBOŘIL, F.; ROZMAN, J.; KOČÍ, R. Algorithmic creation of genealogical models. In Proceedings of ISDA 2018. Advances in Intelligent Systems and Computing. Advances in Intelligent Systems and Computing. Los Alamitos: Springer International Publishing, 2019. no. 941, p. 650-658. ISBN: 978-3-030-16659-5. ISSN: 2194-5357.
Detail

HARTEL, P.; HOMOLIAK, I.; REIJSBERGEN, D. An Empirical Study into the Success of Listed Smart Contracts in Ethereum. IEEE Access, 2019, vol. 07, no. 12, p. 177539-177555. ISSN: 2169-3536.
Detail

LOURENCO, J.; FIEDOR, J.; KŘENA, B.; VOJNAR, T. Discovering Concurrency Errors. In Lectures on Runtime Verification: Introductory and Advanced Topics. Lecture Notes in Computer Science, vol 10457. Cham: Springer International Publishing, 2018. p. 34-60. ISBN: 978-3-319-75632-5.
Detail

LENGÁL, O.; HONG, C.; CHEN, Y.; MU, S.; SINHA, N.; WANG, B. An Executable Sequential Specification for Spark Aggregation. In Proceedings of NETYS'17. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2017. no. 10299, p. 421-438. ISSN: 0302-9743.
Detail

CHARVÁT, M.; DRAHANSKÝ, M. Detecting and Locating People Using Low-Cost Thermal Imaging Camera. Beiträge zum Usability Day XVI - Assistenztechnologien in der Arbeitswelt. Dornbirn: Pabst Science Publishers, 2018. p. 41-51. ISBN: 978-3-95853-405-6.
Detail

HOLÍKOVÁ, L.; JANKŮ, P. Solving String Constraints with Approximate Parikh Image. In Proceedings of EUROCAST'19. Lecture Notes in Computer Science. Heidelberg: Springer International Publishing, 2019. p. 1-8. ISBN: 978-3-030-45092-2.
Detail

DRAHANSKÝ, M. Bezpečnosť biometrických systémov. PC Revue, 2017, roč. 2017, č. 5, s. 96-99. ISSN: 1335-0226.
Detail

ŠÁTEK, V.; VEIGEND, P.; NEČASOVÁ, G. Taylor Series Based Integration in Electric Circuits Simulations. Advances in Electrical and Electronic Engineering, 2019, vol. 17, no. 3, p. 352-359. ISSN: 1804-3119.
Detail

HELLEBRANDT, L.; HOMOLIAK, I.; MALINKA, K.; HANÁČEK, P. Increasing Trust in Tor Node List Using Blockchain. In 2019 IEEE International Conference on Blockchain and Cryptocurrency (ICBC). Soul: Institute of Electrical and Electronics Engineers, 2019. p. 29-32. ISBN: 978-1-7281-1328-9.
Detail

FIEDOR, T.; HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; SINN, M.; ZULEGER, F. From Shapes to Amortized Complexity. In Proceedings of VMCAI'18. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2018. no. 10747, p. 205-225. ISBN: 978-3-319-73720-1. ISSN: 0302-9743.
Detail

BAROTOVÁ, Š.; DRAHANSKÝ, M. Fingerprint Damage Localizer and Detector of Skin Diseases from Fingerprint Images. In Proceedings of the 16th International Conference of the Biometrics Special Interest Group. Lecture Notes in Informatics P-270. Darmstadt: Springer Verlag, 2017. p. 267-274. ISBN: 978-3-88579-664-0.
Detail

UHLÍŘ, V.; ZBOŘIL, F.; ROZMAN, J. Improving upon package and food delivery by Semi-autonomous Tag-along Vehicles. In Intelligent Systems Design and Applications. ISDA 2017: Intelligent Systems Design and Applications. Cham: Springer International Publishing, 2018. p. 589-596. ISBN: 978-3-319-76347-7.
Detail

ROZMAN, J.; ZBOŘIL, F. Persons Linking in Baptism Records. In Workshop PAOS2018 and PASSCR2018 of JIST2018 conference. CEUR Workshop Proceedings. CEUR Workshop Proceedings. Awaji: 2018. p. 43-54. ISSN: 1613-0073.
Detail

LENGÁL, O.; LIN, A.; MAJUMDAR, R.; RUMMER, P. Fair Termination for Parameterized Probabilistic Concurrent Systems. In Proceedings of TACAS'17. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2017. no. 1, p. 499-517. ISBN: 978-3-662-46680-3. ISSN: 0302-9743.
Detail

VEIGEND, P.; NEČASOVÁ, G.; ŠÁTEK, V. High Order Numerical Integration Method and its Applications - The First 36 Years of MTSM. In 2019 IEEE 15th International Scientific Conference on Informatics. Poprad: Institute of Electrical and Electronics Engineers, 2019. p. 25-30. ISBN: 978-1-7281-3179-5.
Detail

SEMERÁD, L. Processing and generation of retinal images for medical purposes. Berlín: 2019. p. 1-10.
Detail

MALČÍK, D.; DRAHANSKÝ, M. Improving The Physical Security Of Microchips Against Side-Channel Attacks. International Journal of Advanced Science and Technology, 2019, vol. 2019, no. 127, p. 13-24. ISSN: 2207-6360.
Detail

KOZÁK, D.; KŘENA, B.; ŠIMKOVÁ, H.; VOJNAR, T. Search-Based Testing Concurrent Java Programs Using the RoadRunner Analysis Framework [poster]. The proceedings of the 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Telč: 2017. p. 25-25.
Detail

HELLEBRANDT, L. URI-based HBAC in FreeIPA. SantaCrypt, proceedings. Bílovice nad Svitavou: Trusted Network Solutions, a.s., 2016. p. 45-46. ISBN: 978-80-904257-8-1.
Detail

BALÁŽ, T.; KREJČÍ, J.; ŠVEC, M.; DRAHANSKÝ, M. UAV Range Measurement by Impulse Laser Rangefinder. In Proceedings of the 7th International Conference on Military Technologies 2019. Brno: IEEE Computer Society, 2019. p. 1-7. ISBN: 978-1-7281-4593-8.
Detail

HOLÍK, L.; JANKŮ, P.; VOJNAR, T.; LIN, A.; RUMMER, P. String constraints with concatenation and transducers solved efficiently. Proceedings of the ACM on Programming Languages-PACMPL, 2018, vol. 2, no. 2, p. 96-127. ISSN: 2475-1421.
Detail

VEIGEND, P.; ŠÁTEK, V. Linear system control using high order method. In 16th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2019. no. 7, p. 1-4. ISSN: 0094-243X.
Detail

KOČÍ, R.; JANOUŠEK, V. Specification of Requirements Using Unified Modeling Language and Petri Nets. International Journal on Advances in Software, 2017, vol. 10, no. 12, p. 121-131. ISSN: 1942-2628.
Detail

DRAHANSKÝ, M.; KANICH, O.; GOLDMANN, T.; DVOŘÁK, M. Biometrické systémy - aktuální stav a bezpečnost. Útvar polic. vzdělávání a služební přípravy, Policie ČR, Brno: 2019. s. 1-45.
Detail

VEIGEND, P.; ŠÁTEK, V.; KUNOVSKÝ, J. System control using the Modern Taylor series method. In 15th International Conference of Numerical Analysis and Applied Mathematics. Thessaloniki: American Institute of Physics, 2018. p. 1-4. ISBN: 978-0-7354-1690-1.
Detail

ŽÁK, M.; ROZMAN, J.; ZBOŘIL, F. Design of Omni-directional Hexapod Robot with Horizontal Coxa Joint. In INFORMATICS 2019 - IEEE 15th International Scientific Conference on Informatics, Proceedings. Poprad: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2019. p. 119-123. ISBN: 978-1-7281-3179-5.
Detail

ŠŮSTEK, M.; ZBOŘIL, F. Obtaining word embedding from existing classification model. In Intelligent Systems Design and Applications. Advances in Intelligent Systems and Computing. ISDA 2017 Intelligent Systems Design and Applications. Cham: Springer International Publishing, 2018. no. 736, p. 540-547. ISBN: 978-3-319-76347-7. ISSN: 2194-5357.
Detail

HRUBÝ, M.; GONZÁLES, A.; RUIZ NOLASCO, R.; SHARMAN, K.; SÁEZ, S. Simulation Infrastructure for Automated Anesthesia During Operations. In International Conference on Computer Aided Systems Theory (EUROCAST'19). Lecture Notes in Computer Science. Cham: Springer Verlag, 2020. p. 474-481. ISBN: 978-3-030-45092-2.
Detail

DRAHANSKÝ, M. Detector of Weapons in Video. Praha: 2017. 18 p.
Detail

HOMOLIAK, I.; TOFFALINI, F.; GUARNIZO, J.; ELOVICI, Y.; OCHOA, M. Insight Into Insiders and IT: A Survey of Insider Threat Taxonomies, Analysis, Modeling, and Countermeasures. ACM Computing Surveys, 2019, vol. 52, no. 2, p. 1-40. ISSN: 0360-0300.
Detail

HEIDARI, M.; DRAHANSKÝ, M. Detection of Ridge Discontinuities in Fingerprint Recognition Influenced by Skin Diseases. International Journal of Advanced Science and Technology, 2018, vol. 116, no. 116, p. 13-22. ISSN: 2005-4238.
Detail

FIEDOR, J.; VOJNAR, T.; SMRČKA, A.; DIAS, R.; FERREIRA, C.; LOURENCO, J.; SOUSA, D. Verifying Concurrent Programs Using Contracts. In 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). Tokyo: Institute of Electrical and Electronics Engineers, 2017. p. 196-206. ISBN: 978-1-5090-6032-0.
Detail

SEMERÁD, L.; DRAHANSKÝ, M. Retina Recognition Using Crossings and Bifurcations. In Applications of Pattern Recognition. London: InTech - Open Access Publisher, 2021. p. 77-94. ISBN: 978-1-78985-332-2.
Detail

VÍDEŇSKÝ, F.; ZBOŘIL, F. Computer Aided Recognition and Classification of Coats of Arms. In Proceedings ISDA 2017. Advances in Intelligent Systems and Computing. Advances in Intelligent Systems and Computing, vol 736. Los Alamitos: Springer International Publishing, 2018. no. 3, p. 63-73. ISBN: 978-3-319-76347-7. ISSN: 2194-5357.
Detail

NEČASOVÁ, G.; ŠÁTEK, V. Parallel Solution of Telegraph Line. In 16th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2019. no. 7, p. 1-4. ISSN: 0094-243X.
Detail

NEČASOVÁ, G.; KUNOVSKÝ, J.; ŠÁTEK, V. Numerical Solution of Wave Equation Using Higher Order Methods. In 15th International Conference of Numerical Analysis and Applied Mathematics. Thessaloniki: American Institute of Physics, 2017. p. 1-4. ISBN: 978-0-7354-1690-1.
Detail

HOLÍK, L.; HOLÍKOVÁ, L. Towards Smaller Invariants for Proving Coverability. In Computer Aided Systems Theory - EUROCAST 2017. Berlin Heidelberg: Springer Verlag, 2018. p. 109-116. ISBN: 978-3-319-74727-9.
Detail

KŘENA, B.; ŠIMKOVÁ, H.; UR, S.; VOJNAR, T. Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics. In Computer Aided Systems Theory - EUROCAST 2017. 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II. Las Palmas: Springer International Publishing, 2018. p. 99-108. ISBN: 978-3-319-74726-2.
Detail

RICHTA, T.; JANOUŠEK, V.; NIKDO, N. Domain Specific Modelling for Reconfigurable Distributed Embedded Control Systems. ACIIDS 2018. Brno: Faculty of Electrical Engineering, Czech Technical University, 2018. p. 447-452. ISBN: 978-80-214-5543-6.
Detail

DRAHANSKÝ, M. Hand-Based Biometrics: Methods and Technology. London: The Institution of Engineering and Technology, 2018. 430 p. ISBN: 978-1-78561-224-4.
Detail

HOLÍK, L.; JANKŮ, P.; VOJNAR, T.; LIN, A.; RUMMER, P. String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report). New York: Springer International Publishing, 2020. p. 1-33.
Detail

HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; VOJNAR, T. Automata Terms in a Lazy WSkS Decision Procedure (Technical Report). Ithaca: 2019. p. 1-25.
Detail

DVOŘÁK, M.; DRAHANSKÝ, M. 3D Hand Geometry Recognition. In Biometric-Based Physical and Cybersecurity Systems. Cham: Springer International Publishing, 2018. p. 103-123. ISBN: 978-3-319-98733-0.
Detail

HOMOLIAK, I.; TEKNŐS, M.; BARABAS, M.; HANÁČEK, P. Exploitation of NetEm Utility for Non-payload-based Obfuscation Techniques Improving Network Anomaly Detection. In Proceedings of 12th International Conference on Security and Privacy in Communication Networks. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. Guangzhou: Springer International Publishing, 2017. p. 770-773. ISBN: 978-3-319-59607-5.
Detail

DRAHANSKÝ, M.; KANICH, O. Skin Diseases in Fingerprints. Praha: 2017. 21 p.
Detail

HASLINGER, J.; KUČERA, R.; ŠÁTEK, V.; SASSI, T. Stokes system with solution-dependent threshold slip boundary conditions: Analysis, approximation and implementation. MATHEMATICS AND MECHANICS OF SOLIDS, 2018, vol. 2018, no. 23, p. 294-307. ISSN: 1081-2865.
Detail

DRAHANSKÝ, M.; SPURNÝ, M.; GOLDMANN, T. Gesichtsdetektion und -erkennung in Videos aus öffentlichen Kamerasystemen. DuD - Datenschutz und Datensicherheit, 2017, roč. 41, č. 7, s. 415-421. ISSN: 1614-0702.
Detail

HRUŠKA, M.; MALÍK, V.; SCHRAMMEL, P.; VOJNAR, T. Template-Based Verification of Heap-Manipulating Programs. In Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design. Austin: FMCAD Inc., 2018. p. 103-111. ISBN: 978-0-9835678-8-2.
Detail

VEIGEND, P.; ŠÁTEK, V.; NEČASOVÁ, G. Model of the Telegraph line and its Numerical Solution. Open Computer Science, 2018, vol. 8, no. 1, p. 10-17. ISSN: 2299-1093.
Detail

LENGÁL, O.; HEIZMANN, M.; CHEN, Y.; LI, Y.; TSAI, M.; TURRINI, A.; ZHANG, L. Advanced Automata-based Algorithms for Program Termination Checking. In Proceedings of PLDI'18. Philadelphia: Association for Computing Machinery, 2018. p. 135-150. ISBN: 978-1-4503-5698-5.
Detail

HASLINGER, J.; KUČERA, R.; ŠÁTEK, V. The Semi-smooth Newton Method for Solving the Stokes Flow with Coulomb Slip Boundary Conditions. In 16th International Conference of Numerical Analysis and Applied Mathematics. AIP conference proceedings. Rhodes: American Institute of Physics, 2019. no. 7, p. 1-4. ISSN: 0094-243X.
Detail

DRAHANSKÝ, M. Präsentationsangriffe der Fingerabdrucktechnologie (TTT-AG-Biometrie). Darmstadt: 2018. s. 1-10.
Detail

HOLÍK, L.; HOLÍKOVÁ, L.; LENGÁL, O.; VOJNAR, T.; SAARIKIVI, O.; VEANES, M. Succinct Determinisation of Counting Automata via Sphere Construction. In In Proc. of 17th Asian Symposium on Programming Languages and Systems - APLAS'19. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2019. no. 11893, p. 468-489. ISSN: 0302-9743.
Detail

DRAHANSKÝ, M. Multispectral Optical Properties of Human Hands Skin. Lillehammer: 2017. 18 p.
Detail

DRAHANSKÝ, M.; PERNICKÝ, R.; KANICH, O.; BAROTOVÁ, Š. Verarbeitung von beschädigten Fingerabdrücken in der polizeilichen Praxis. DuD - Datenschutz und Datensicherheit, 2017, roč. 41, č. 7, s. 407-414. ISSN: 1614-0702.
Detail

HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; IOSIF, R. Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. FORMAL METHODS IN SYSTEM DESIGN, 2020, vol. 55, no. 3, p. 137-170. ISSN: 0925-9856.
Detail

KOČÍ, R.; JANOUŠEK, V. Incorporating Petri Nets into DEVS Formalism for Precise System Modeling. ICSEA 2019, The Fourteenth International Conference on Software Engineering Advances. Valencia: Xpert Publishing Services, 2019. p. 184-189. ISBN: 978-1-61208-752-8.
Detail

MALČÍK, D.; DRAHANSKÝ, M. Improving the Physical Security of Microchips. International Journal of Security and Its Applications, 2019, vol. 13, no. 3, p. 17-28. ISSN: 2207-9629.
Detail

KANICH, O.; MÉZL, M.; DRAHANSKÝ, M. Use of Creative Materials for Fingerprint Spoofs. In 2018 International Workshop on Biometrics and Forensics (IWBF). Sassari: Institute of Electrical and Electronics Engineers, 2018. p. 1-8. ISBN: 978-1-5386-1366-5.
Detail

DRAHANSKÝ, M.; YANUSHKEVICH, S. General introduction. In Hand-Based Biometrics: Methods and technology. IET Book Series on Advances in Biometrics. London: The Institution of Engineering and Technology, 2018. p. 1-17. ISBN: 978-1-78561-224-4.
Detail

HEIDARI, M.; KANICH, O.; DRAHANSKÝ, M. Processing of fingerprints influenced by skin diseases. In Hand-Based Biometrics: Methods and Technology. IET Book Series on Advances in Biometrics. London: The Institution of Engineering and Technology, 2018. p. 135-168. ISBN: 978-1-78561-224-4.
Detail

HELLEBRANDT, L.; HUJŇÁK, O.; HANÁČEK, P.; HOMOLIAK, I. Survey of Privacy Enabling Strategies in IoT Networks. In Proceedings of the 2017 International Conference on Computer Science and Artificial Intelligence. Jakarta: Association for Computing Machinery, 2017. p. 216-221. ISBN: 978-1-4503-5392-2.
Detail

KAČIC, M.; BARABAS, M. Klasifikace informací v souvislostech. IS2 - Other Dimensions of Security. Praha: Tate International s.r.o., 2017. s. 133-141. ISBN: 978-80-86813-30-1.
Detail

CHEN, Y.; HAVLENA, V.; LENGÁL, O. Simulations in Rank-Based Büchi Automata Complementation. In Proceedings of 17th Asian Symposium on Programming Languages and Systems (APLAS). Lecture Notes in Computer Science. Nusa Dua: Springer International Publishing, 2019. no. 11893, p. 447-467. ISSN: 0302-9743.
Detail

LENGÁL, O.; CHEN, Y.; TAN, T.; WU, Z. Register Automata with Linear Arithmetic. In Proceedings of LICS'17. Reykjavik: IEEE Computer Society, 2017. p. 1-12. ISBN: 978-1-5090-3018-7.
Detail

HRUŠKA, M.; HOLÍK, L.; LENGÁL, O.; ROGALEWICZ, A.; ŠIMÁČEK, J.; VOJNAR, T. Forester: From Heap Shapes to Automata Predicates. In Proceedings of TACAS'17. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2017. p. 365-369. ISBN: 978-3-662-54580-5.
Detail

LAI, K.; KANICH, O.; DVOŘÁK, M.; DRAHANSKÝ, M.; YANUSHKEVICH, S.; SHMERKO, V. Biometric-Enabled Watchlists Technology. IET Biometrics, 2018, vol. 7, no. 2, p. 163-172. ISSN: 2047-4938.
Detail

HOLÍK, L.; LENGÁL, O.; SÍČ, J.; VOJNAR, T.; VEANES, M. Simulation Algorithms for Symbolic Automata. In Proc. of 16th International Symposium on Automated Technology for Verification and Analysis. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2018. no. 1, p. 109-125. ISBN: 978-3-030-01089-8. ISSN: 0302-9743.
Detail

LUŽA, R.; ORSÁG, F.; DRAHANSKÝ, M.; ROZMAN, J. Robot RUDA - Introduction and Current Research. Central European Researchers Journal, 2017, vol. 3, no. 1, p. 1-8. ISSN: 2453-7314.
Detail

HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; VOJNAR, T. Automata Terms in a Lazy WSkS Decision Procedure. In Proceedings of 27th International Conference on Automated Deduction (CADE-27). Lecture Notes in Computer Science. Natal: Springer Verlag, 2019. no. 11716, p. 300-318. ISSN: 0302-9743.
Detail

MALÍK, V.; MARTIČEK, Š.; SCHRAMMEL, P.; VOJNAR, T.; SRIVAS, M.; WAHLANG, J. 2LS: Memory Safety and Non-termination (Competition Contribution). In Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part 2. Lecture Notes in Computer Science. Thessaloniki: Springer International Publishing, 2018. p. 417-421. ISBN: 978-3-319-89962-6.
Detail

LENGÁL, O.; HONG, C.; CHEN, Y.; MU, S.; SINHA, N.; WANG, B. An Executable Sequential Specification for Spark Aggregation. Ithaca: 2017. 32 p.
Detail

Responsibility: Vojnar Tomáš, prof. Ing., Ph.D.