Bezpečné a spolehlivé počítačové systémy

2021

• SEMERÁD Lukáš and DRAHANSKÝ Martin. Retina Recognition Using Crossings and Bifurcations. Applications of Pattern Recognition. London: InTech - Open Access Publisher, 2021, pp. 77-94. ISBN 978-1-78985-332-2. Detail

2020

• HOLÍK Lukáš, IOSIF Radu, ROGALEWICZ Adam and VOJNAR Tomáš. Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. Formal Methods in System Design, vol. 55, no. 3, 2020, pp. 137-170. ISSN 0925-9856. Detail
• ČEŠKA Milan, HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej and VOJNAR Tomáš. Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. International Journal on Software Tools for Technology Transfer, vol. 22, no. 5, 2020, pp. 523-539. ISSN 1433-2779. Detail
• HRUBÝ Martin, GONZÁLES Antonio, RUIZ Nolasco Ricardo, SHARMAN Ken and SÁEZ Sergio. Simulation Infrastructure for Automated Anesthesia During Operations. In: International Conference on Computer Aided Systems Theory (EUROCAST'19). Lecture Notes in Computer Science, vol. 12013. Cham: Springer Verlag, 2020, pp. 474-481. ISBN 978-3-030-45092-2. Detail
• HOLÍK Lukáš, JANKŮ Petr, LIN Anthony W., RUMMER Philipp and VOJNAR Tomáš. String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report). New York: Springer International Publishing, 2020. Detail

2019

• SEHNALOVÁ Pavla and ŠÁTEK Václav. 35 Years of Taylor-Kunovsky Simulation Language. In: 16th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2019, pp. 1-4. ISSN 0094-243X. Detail
• ZBOŘIL František, ROZMAN Jaroslav and KOČÍ Radek. Algorithmic creation of genealogical models. In: Proceedings of ISDA 2018. Advances in Intelligent Systems and Computing. Los Alamitos: Springer International Publishing, 2019, pp. 650-658. ISBN 978-3-030-16659-5. ISSN 2194-5357. Detail
• HARTEL Pieter H., HOMOLIAK Ivan and REIJSBERGEN Daniel. An Empirical Study into the Success of Listed Smart Contracts in Ethereum. IEEE Access, vol. 07, no. 12, 2019, pp. 177539-177555. ISSN 2169-3536. Detail
• HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej and VOJNAR Tomáš. Automata Terms in a Lazy WSkS Decision Procedure. In: Proceedings of 27th International Conference on Automated Deduction (CADE-27). Natal: Springer Verlag, 2019, pp. 300-318. ISSN 0302-9743. Detail
• HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej and VOJNAR Tomáš. Automata Terms in a Lazy WSkS Decision Procedure (Technical Report). Ithaca, 2019. Detail
• DRAHANSKÝ Martin, KANICH Ondřej, GOLDMANN Tomáš and DVOŘÁK Michal. Biometrické systémy - aktuální stav a bezpečnost. Útvar polic. vzdělávání a služební přípravy, Policie ČR, Brno, 2019. Detail
• ŽÁK Marek, ROZMAN Jaroslav and ZBOŘIL František V. 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, pp. 119-123. ISBN 978-1-7281-3179-5. Detail
• ŠŮSTEK Martin, VÍDEŇSKÝ František, ZBOŘIL František and ZBOŘIL František V. Family Coat of Arms and Armorial Achievement Classification. In: Intelligent Systems Design and Applications. Advances in Intelligent Systems and Computing, vol. 941. Los Alamitos: Springer International Publishing, 2019, pp. 577-586. ISSN 2194-5357. Detail
• VEIGEND Petr, NEČASOVÁ Gabriela and ŠÁTEK Václav. 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, pp. 25-30. ISBN 978-1-7281-3179-5. Detail
• ABDULLA Parosh A., ATIG Mohamed F., BUI Phi Diep, HOLÍK Lukáš and JANKŮ Petr. Chain-Free String Constraints. In: Proceedings of ATVA'19. Lecture Notes in Computer Science, vol. 11781. Cham: Springer International Publishing, 2019, pp. 277-293. ISBN 978-3-030-31783-6. Detail
• MALČÍK Dominik and DRAHANSKÝ Martin. Improving the Physical Security of Microchips. International Journal of Security and Its Applications, vol. 13, no. 3, 2019, pp. 17-28. ISSN 2207-9629. Detail
• MALČÍK Dominik and DRAHANSKÝ Martin. Improving The Physical Security Of Microchips Against Side-Channel Attacks. International Journal of Advanced Science and Technology, vol. 2019, no. 127, pp. 13-24. ISSN 2207-6360. Detail
• KOČÍ Radek and JANOUŠEK Vladimír. Incorporating Petri Nets into DEVS Formalism for Precise System Modeling. In: ICSEA 2019, The Fourteenth International Conference on Software Engineering Advances. Valencia: Xpert Publishing Services, 2019, pp. 184-189. ISBN 978-1-61208-752-8. Detail
• HELLEBRANDT Lukáš, HOMOLIAK Ivan, MALINKA Kamil and HANÁČEK Petr. 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, pp. 29-32. ISBN 978-1-7281-1328-9. Detail
• HOMOLIAK Ivan, TOFFALINI Flavio, GUARNIZO Juan D., ELOVICI Yuval and OCHOA Martín. Insight Into Insiders and IT: A Survey of Insider Threat Taxonomies, Analysis, Modeling, and Countermeasures. ACM Computing Surveys, vol. 52, no. 2, 2019, pp. 1-40. ISSN 0360-0300. Detail
• VEIGEND Petr and ŠÁTEK Václav. Linear system control using the high order method. In: 16th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2019, pp. 1-4. ISSN 0094-243X. Detail
• FIEDOR Tomáš, HOLÍK Lukáš, LENGÁL Ondřej and VOJNAR Tomáš. Nested Antichains for WS1S. Acta Informatica, vol. 56, no. 3, 2019, pp. 205-228. ISSN 0001-5903. Detail
• NEČASOVÁ Gabriela and ŠÁTEK Václav. Parallel Solution of Telegraph Line. In: 16th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2019, pp. 1-4. ISSN 0094-243X. Detail
• KOTOUN Michal, PERINGER Petr, ŠOKOVÁ Veronika and VOJNAR Tomáš. PredatorHP Attacks Interval-Sized Regions. Ithaca, 2019. Detail
• SEMERÁD Lukáš. Processing and generation of retinal images for medical purposes. Berlín, 2019. Detail
• SEMERÁD Lukáš and DRAHANSKÝ Martin. Retinal Vascular Characteristics. Handbook of Vascular Biometrics. Advances in Computer Vision and Pattern Recognition. Londýn: Springer International Publishing, 2019, pp. 309-354. ISBN 978-3-030-27730-7. Detail
• CHEN Yu-Fang, HAVLENA Vojtěch and LENGÁL Ondřej. Simulations in Rank-Based Büchi Automata Complementation. In: Proceedings of 17th Asian Symposium on Programming Languages and Systems (APLAS). Nusa Dua: Springer International Publishing, 2019, pp. 447-467. ISSN 0302-9743. Detail
• HOLÍKOVÁ Lenka and JANKŮ Petr. Solving String Constraints with Approximate Parikh Image. In: Proceedings of EUROCAST'19. Lecture Notes in Computer Science. Heidelberg: Springer International Publishing, 2019, pp. 1-8. ISBN 978-3-030-45092-2. Detail
• HASLINGER Jaroslav, KUČERA Radek and ŠÁTEK Václav. Stokes system with local Coulomb's slip boundary conditions: Analysis of discretized models and implementation. Computers and Mathematics with Applications, vol. 77, no. 6, 2019, pp. 1655-1667. ISSN 0898-1221. Detail
• HOLÍK Lukáš, HOLÍKOVÁ Lenka, LENGÁL Ondřej, SAARIKIVI Olli, VEANES Margus and VOJNAR Tomáš. Succinct Determinisation of Counting Automata via Sphere Construction. In: In Proc. of 17th Asian Symposium on Programming Languages and Systems - APLAS'19. Berlin Heidelberg: Springer Verlag, 2019, pp. 468-489. ISSN 0302-9743. Detail
• HOLÍK Lukáš, HOLÍKOVÁ Lenka, LENGÁL Ondřej, SAARIKIVI Olli, VEANES Margus and VOJNAR Tomáš. Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report). Ithaca: Cornell University Library, 2019. Detail
• ŠÁTEK Václav, VEIGEND Petr and NEČASOVÁ Gabriela. Taylor Series Based Integration in Electric Circuits Simulations. Advances in Electrical and Electronic Engineering, vol. 17, no. 3, 2019, pp. 352-359. ISSN 1804-3119. Detail
• HŘÍBEK David, ROZMAN Jaroslav and ZBOŘIL František. Testing of Various Approaches for Semiautomatic Parish Records Word Standardization. In: JIST: Joint International Semantic Technology Conference. Communications in Computer and Information Science, vol. 1157. Hangzhou: Springer International Publishing, 2019, pp. 21-33. ISBN 978-981-1534-11-9. ISSN 1865-0929. Detail
• HASLINGER Jaroslav, KUČERA Radek and ŠÁTEK Václav. 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. Rhodes: American Institute of Physics, 2019, pp. 1-4. ISSN 0094-243X. Detail
• ABDULLA Parosh A., ATIG Mohamed F., CHEN Yu-Fang, BUI Phi Diep, HOLÍK Lukáš, REZINE Ahmed and RUMMER Philipp. Trau: SMT solver for string constraints. In: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design. Austin: FMCAD Inc., 2019, pp. 165-169. ISBN 978-0-9835678-8-2. Detail
• BALÁŽ Teodor, KREJČÍ Jaroslav, ŠVEC Miroslav and DRAHANSKÝ Martin. UAV Range Measurement by Impulse Laser Rangefinder. In: Proceedings of the 7th International Conference on Military Technologies 2019. Brno: IEEE Computer Society, 2019, pp. 1-7. ISBN 978-1-7281-4593-8. Detail

2018

• MALÍK Viktor, MARTIČEK Štefan, SCHRAMMEL Peter, SRIVAS Mandayam, VOJNAR Tomáš and WAHLANG Johanan. 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, vol. 10806. Thessaloniki: Springer International Publishing, 2018, pp. 417-421. ISBN 978-3-319-89962-6. Detail
• DVOŘÁK Michal and DRAHANSKÝ Martin. 3D Hand Geometry Recognition. Biometric-Based Physical and Cybersecurity Systems. Cham: Springer International Publishing, 2018, pp. 103-123. ISBN 978-3-319-98733-0. Detail
• HEIZMANN Matthias, CHEN Yu-Fang, LENGÁL Ondřej, LI Yong, TSAI Ming-Hsien, TURRINI Andrea and ZHANG Lijun. Advanced Automata-based Algorithms for Program Termination Checking. In: Proceedings of PLDI'18. Philadelphia: Association for Computing Machinery, 2018, pp. 135-150. ISBN 978-1-4503-5698-5. Detail
• ČEŠKA Milan, HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej and VOJNAR Tomáš. Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. In: Proceedings of TACAS'18. Thessaloniki: Springer Verlag, 2018, pp. 155-175. ISSN 0302-9743. Detail
• LAI Kenneth K., KANICH Ondřej, DVOŘÁK Michal, DRAHANSKÝ Martin, YANUSHKEVICH Svetlana and SHMERKO Vlad. P. Biometric-Enabled Watchlists Technology. IET Biometrics, vol. 7, no. 2, 2018, pp. 163-172. ISSN 2047-4938. Detail
• VÍDEŇSKÝ František and ZBOŘIL František. Computer Aided Recognition and Classification of Coats of Arms. In: Proceedings ISDA 2017. Advances in Intelligent Systems and Computing, vol 736, vol. 2018. Los Alamitos: Springer International Publishing, 2018, pp. 63-73. ISBN 978-3-319-76347-7. ISSN 2194-5357. Detail
• CHARVÁT Michal and DRAHANSKÝ Martin. Detecting and Locating People Using Low-Cost Thermal Imaging Camera. In: Beiträge zum Usability Day XVI - Assistenztechnologien in der Arbeitswelt. Dornbirn: Pabst Science Publishers, 2018, pp. 41-51. ISBN 978-3-95853-405-6. Detail
• HEIDARI Mona and DRAHANSKÝ Martin. Detection of Ridge Discontinuities in Fingerprint Recognition Influenced by Skin Diseases. International Journal of Advanced Science and Technology, vol. 116, no. 116, 2018, pp. 13-22. ISSN 2005-4238. Detail
• LOURENCO Joao, FIEDOR Jan, KŘENA Bohuslav and VOJNAR Tomáš. Discovering Concurrency Errors. Lectures on Runtime Verification: Introductory and Advanced Topics. Lecture Notes in Computer Science, vol 10457. Cham: Springer International Publishing, 2018, pp. 34-60. ISBN 978-3-319-75632-5. Detail
• RICHTA Tomáš, JANOUŠEK Vladimír et al. Domain Specific Modelling for Reconfigurable Distributed Embedded Control Systems. In: ACIIDS 2018. Brno: Faculty of Electrical Engineering, Czech Technical University, 2018, pp. 447-452. ISBN 978-80-214-5543-6. Detail
• FIEDOR Tomáš, HOLÍK Lukáš, ROGALEWICZ Adam, SINN Moritz, VOJNAR Tomáš and ZULEGER Florian. From Shapes to Amortized Complexity. In: Proceedings of VMCAI'18. Lecture Notes in Computer Science, vol. 10145. Heidelberg: Springer Verlag, 2018, pp. 205-225. ISBN 978-3-319-73720-1. ISSN 0302-9743. Detail
• VEIGEND Petr, RAFFAI Peter, NEČASOVÁ Gabriela, ŠÁTEK Václav and KUNOVSKÝ Jiří. Simulation of the Gas Flow Through the Piston Ring Pack. In: 15rd International Conference of Numerical Analysis and Applied Mathematics. Thessaloniki: American Institute of Physics, 2018, pp. 1-4. ISBN 978-0-7354-1690-1. Detail
• DRAHANSKÝ Martin and YANUSHKEVICH Svetlana. General introduction. Hand-Based Biometrics: Methods and technology. IET Book Series on Advances in Biometrics. London: The Institution of Engineering and Technology, 2018, pp. 1-17. ISBN 978-1-78561-224-4. Detail
• DRAHANSKÝ Martin. Hand-Based Biometrics: Methods and Technology. London: The Institution of Engineering and Technology, 2018. ISBN 978-1-78561-224-4. Detail
• HOMOLIAK Ivan, TEKNŐS Martin, BREITENBACHER Dominik and HANÁČEK Petr. Improving Network Intrusion Detection Classifiers by Non-payload-Based Exploit-Independent Obfuscations: An Adversarial Approach. EAI Endorsed Transactions on Security and Safety, vol. 5, no. 17, 2018, pp. 1-15. ISSN 2032-9393. Detail
• UHLÍŘ Václav, ZBOŘIL František and ROZMAN Jaroslav. 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, pp. 589-596. ISBN 978-3-319-76347-7. Detail
• VEIGEND Petr, ŠÁTEK Václav and NEČASOVÁ Gabriela. Model of the Telegraph line and its Numerical Solution. Open Computer Science, vol. 8, no. 1, 2018, pp. 10-17. ISSN 2299-1093. Detail
• HASLINGER Jaroslav, KUČERA Radek, ŠÁTEK Václav and POCHYLÝ František. 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, pp. 1-4. ISBN 978-0-7354-1690-1. Detail
• ŠŮSTEK Martin and ZBOŘIL František V. Obtaining word embedding from existing classification model. In: Intelligent Systems Design and Applications. ISDA 2017 Intelligent Systems Design and Applications, vol. 2018. Cham: Springer International Publishing, 2018, pp. 540-547. ISBN 978-3-319-76347-7. ISSN 2194-5357. Detail
• DRAHANSKÝ Martin, DVOŘÁK Michal, HEIDARI Mona and SPURNÝ Martin. Overview of biometric technologies. Brno, 2018. Detail
• ROZMAN Jaroslav and ZBOŘIL František. Persons Linking in Baptism Records. In: Workshop PAOS2018 and PASSCR2018 of JIST2018 conference. CEUR Workshop Proceedings, vol. 2293. Awaji, 2018, pp. 43-54. ISSN 1613-0073. Detail
• ROZMAN Jaroslav, ZBOŘIL František and KOČÍ Radek. Possibilities of Creation of Community Genealogical Database with Semantic Information. In: ICSIM2018: 2018 International Conference on Software Engineering and Information Management. Casablanca, 2018, pp. 87-91. ISBN 978-1-4503-5438-7. Detail
• DRAHANSKÝ Martin. Präsentationsangriffe der Fingerabdrucktechnologie (TTT-AG-Biometrie). Darmstadt, 2018. Detail
• KŘENA Bohuslav, PLUHÁČKOVÁ Hana, UR Shmuel and VOJNAR Tomáš. 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, vol. 10672. Las Palmas: Springer International Publishing, 2018, pp. 99-108. ISBN 978-3-319-74726-2. Detail
• HEIDARI Mona, KANICH Ondřej and DRAHANSKÝ Martin. Processing of fingerprints influenced by skin diseases. Hand-Based Biometrics: Methods and Technology. IET Book Series on Advances in Biometrics. London: The Institution of Engineering and Technology, 2018, pp. 135-168. ISBN 978-1-78561-224-4. Detail
• HOLÍK Lukáš, LENGÁL Ondřej, SÍČ Juraj, VEANES Margus and VOJNAR Tomáš. Simulation Algorithms for Symbolic Automata. In: Proc. of 16th International Symposium on Automated Technology for Verification and Analysis. Heidelberg: Springer Verlag, 2018, pp. 109-125. ISBN 978-3-030-01089-8. ISSN 0302-9743. Detail
• HOLÍK Lukáš, LENGÁL Ondřej, SÍČ Juraj, VEANES Margus and VOJNAR Tomáš. Simulation Algorithms for Symbolic Automata (Technical Report). Ithaca, 2018. Detail
• HASLINGER Jaroslav, KUČERA Radek, ŠÁTEK Václav and SASSI Taoufik. Stokes system with solution-dependent threshold slip boundary conditions: Analysis, approximation and implementation. Mathematics and Mechanics of Solids, vol. 2018, no. 23, pp. 294-307. ISSN 1081-2865. Detail
• HOLÍK Lukáš, JANKŮ Petr, LIN Anthony W., RUMMER Philipp and VOJNAR Tomáš. String constraints with concatenation and transducers solved efficiently. Proceedings of the ACM on Programming Languages, vol. 2, no. 2, 2018, pp. 96-127. ISSN 2475-1421. Detail
• VEIGEND Petr, ŠÁTEK Václav and KUNOVSKÝ Jiří. System Control Using the Modern Taylor Series Method. In: 15th International Conference of Numerical Analysis and Applied Mathematics. Thessaloniki: American Institute of Physics, 2018, pp. 1-4. ISBN 978-0-7354-1690-1. Detail
• HRUŠKA Martin, MALÍK Viktor, SCHRAMMEL Peter and VOJNAR Tomáš. Template-Based Verification of Heap-Manipulating Programs. In: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design. Austin: FMCAD Inc., 2018, pp. 103-111. ISBN 978-0-9835678-8-2. Detail
• HOLÍK Lukáš and HOLÍKOVÁ Lenka. Towards Smaller Invariants for Proving Coverability. In: Computer Aided Systems Theory - EUROCAST 2017. Berlin Heidelberg: Springer Verlag, 2018, pp. 109-116. ISBN 978-3-319-74727-9. Detail
• KOČÍ Radek and JANOUŠEK Vladimír. Tracing and Reversing the Run of Software Systems Implemented by Petri Nets. In: Software Engineering Advances. Nice: Xpert Publishing Services, 2018, pp. 122-127. ISBN 978-1-61208-668-2. Detail
• KANICH Ondřej, MÉZL Martin and DRAHANSKÝ Martin. Creative Materials Used for Fingerprint Spoofs. In: 2018 International Workshop on Biometrics and Forensics (IWBF). Sassari: Institute of Electrical and Electronics Engineers, 2018, pp. 1-8. ISBN 978-1-5386-1366-5. Detail

2017

• KOCINA Filip and KUNOVSKÝ Jiří. 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, pp. 526-533. ISBN 978-1-5386-3250-5. Detail
• HONG Chih-Duo, CHEN Yu-Fang, LENGÁL Ondřej, MU Shin-Cheng, SINHA Nishant and WANG Bow-Yaw. An Executable Sequential Specification for Spark Aggregation. In: Proceedings of NETYS'17. Heidelberg: Springer Verlag, 2017, pp. 421-438. ISSN 0302-9743. Detail
• HONG Chih-Duo, CHEN Yu-Fang, LENGÁL Ondřej, MU Shin-Cheng, SINHA Nishant and WANG Bow-Yaw. An Executable Sequential Specification for Spark Aggregation. Ithaca, 2017. Detail
• ABDULLA Parosh A., HAZIZA Frédéric, HOLÍK Lukáš, JONSSON Bengt and REZINE Ahmed. An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures. International Journal on Software Tools for Technology Transfer, vol. 5, no. 19, 2017, pp. 549-563. ISSN 1433-2779. Detail
• DRAHANSKÝ Martin. Bezpečnosť biometrických systémov. PC Revue, vol. 2017, no. 5, pp. 96-99. ISSN 1335-0226. Detail
• OČENÁŠ Martin. Bitcoin blockchain analysis. In: Mikulášská kryptobesídka. Praha: Trusted Network Solutions, a.s., 2017, pp. 67-68. Detail
• DRAHANSKÝ Martin. Detector of Weapons in Video. Praha, 2017. Detail
• HOLÍK Lukáš, MEYER Roland, VOJNAR Tomáš and WOLF Sebastian. Effect Summaries for Thread-Modular Analysis. In: SAS 2017: Static Analysis. Lecture Notes in Computer Science, vol. 10422. Cham: Springer International Publishing, 2017, pp. 169-191. ISBN 978-3-319-66706-5. ISSN 0302-9743. Detail
• HOMOLIAK Ivan, TEKNŐS Martin, BARABAS Maroš and HANÁČEK Petr. 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, pp. 770-773. ISBN 978-3-319-59607-5. Detail
• LENGÁL Ondřej, LIN Anthony W., MAJUMDAR Rupak and RUMMER Philipp. Fair Termination for Parameterized Probabilistic Concurrent Systems. In: Proceedings of TACAS'17. Lecture Notes in Computer Science, vol. 10205. Heidelberg: Springer Verlag, 2017, pp. 499-517. ISBN 978-3-662-46680-3. ISSN 0302-9743. Detail
• BAROTOVÁ Štěpánka and DRAHANSKÝ Martin. 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, pp. 267-274. ISBN 978-3-88579-664-0. Detail
• HRUŠKA Martin, HOLÍK Lukáš, LENGÁL Ondřej, ROGALEWICZ Adam, ŠIMÁČEK Jiří and VOJNAR Tomáš. Forester: From Heap Shapes to Automata Predicates. In: Proceedings of TACAS'17. Lecture Notes in Computer Science, vol. 10206. Heidelberg: Springer Verlag, 2017, pp. 365-369. ISBN 978-3-662-54580-5. Detail
• DRAHANSKÝ Martin, SPURNÝ Martin and GOLDMANN Tomáš. Gesichtsdetektion und -erkennung in Videos aus öffentlichen Kamerasystemen. DuD - Datenschutz und Datensicherheit, vol. 41, no. 7, 2017, pp. 415-421. ISSN 1614-0702. Detail
• KAČIC Matej and BARABAS Maroš. Klasifikace informací v souvislostech. In: IS2 - Other Dimensions of Security. Praha: Tate International s.r.o., 2017, pp. 133-141. ISBN 978-80-86813-30-1. Detail
• DRAHANSKÝ Martin, DVOŘÁK Michal, LUŽA Radim, RITTER Walter, KÜNZ Andreas, KEMPTER Guido, MOHELNÍKOVÁ Jitka and MOHELNÍK Petr. Measurement of light sources. Brno: Faculty of Information Technology BUT, 2017. Detail
• NEČASOVÁ Gabriela, KOCINA Filip, VEIGEND Petr, ŠÁTEK Václav and KUNOVSKÝ Jiří. Model of the Telegraph Line. In: Informatics 2017 - 14th International Scientific Conference on Informatics. Poprad: Institute of Electrical and Electronics Engineers, 2017, pp. 271-275. ISBN 978-1-5386-0888-3. Detail
• CHALOUPKA Jan, NEČASOVÁ Gabriela, VEIGEND Petr, KUNOVSKÝ Jiří and ŠÁTEK Václav. Modern Taylor series method in numerical integration: PART 1. In: 16th Czech-Polish Conference Modern Mathematical Methods in Engineering (3mi). Rybnik, 2017, pp. 263-273. ISBN 978-83-65265-14-2. ISSN 2391-9361. Detail
• DRAHANSKÝ Martin. Multispectral Optical Properties of Human Hands Skin. Lillehammer, 2017. Detail
• NEČASOVÁ Gabriela, KUNOVSKÝ Jiří and ŠÁTEK Václav. 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, pp. 1-4. ISBN 978-0-7354-1690-1. Detail
• CHEN Yu-Fang, LENGÁL Ondřej, TAN Tony and WU Zhilin. Register Automata with Linear Arithmetic. In: Proceedings of LICS'17. Reykjavik: IEEE Computer Society, 2017, pp. 1-12. ISBN 978-1-5090-3018-7. Detail
• CHEN Yu-Fang, LENGÁL Ondřej, TAN Tony and WU Zhilin. Register Automata with Linear Arithmetic. arXiv:1704.03972, 2017. Detail
• LUŽA Radim, ORSÁG Filip, DRAHANSKÝ Martin and ROZMAN Jaroslav. Robot RUDA - Introduction and Current Research. Central European Researchers Journal, vol. 3, no. 1, 2017, pp. 1-8. ISSN 2453-7314. Detail
• KOZÁK David, KŘENA Bohuslav, PLUHÁČKOVÁ Hana and VOJNAR Tomáš. 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. Detail
• DVOŘÁK Michal and DRAHANSKÝ Martin. Security of Hand Geometry. In: Proceedings of Conference SPI 2017. Brno: University of Defence in Brno, 2017, pp. 17-29. ISBN 978-80-7231-414-0. Detail
• DRAHANSKÝ Martin, MEISTER Torsten and NEZHYBA Ondřej. Sicherheit für intelligente Häuser. In: Beiträge zum Usability Day XV - Umgebungsunterstütztes Leben. Dornbirn: Pabst Science Publishers, 2017, pp. 64-69. ISBN 978-3-95853-316-5. Detail
• DRAHANSKÝ Martin and KANICH Ondřej. Skin Diseases in Fingerprints. Praha, 2017. Detail
• KOČÍ Radek and JANOUŠEK Vladimír. Specification of Requirements Using Unified Modeling Language and Petri Nets. International Journal on Advances in Software, vol. 10, no. 12, 2017, pp. 121-131. ISSN 1942-2628. Detail
• ENEA Constantin, LENGÁL Ondřej, SIGHIREANU Mihaela and VOJNAR Tomáš. SPEN: A Solver for Separation Logic. In: Proceedings of NFM'17. Lecture Notes in Computer Science, vol. 10227. Heidelberg: Springer Verlag, 2017, pp. 302-309. ISBN 978-3-319-57287-1. Detail
• HELLEBRANDT Lukáš, HUJŇÁK Ondřej, HANÁČEK Petr and HOMOLIAK Ivan. 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, pp. 216-221. ISBN 978-1-4503-5392-2. Detail
• DVOŘÁK Michal, DRAHANSKÝ Martin, KEMPTER Guido, MOHELNÍKOVÁ Jitka, LUŽA Radim, RITTER Walter and KÜNZ Andreas. Usability and Quality of Light Sources for Households. In: Beiträge zum Usability Day XV - Umgebungsunterstütztes Leben. Dornbirn: Pabst Science Publishers, 2017, pp. 125-133. ISBN 978-3-95853-316-5. Detail
• KOČÍ Radek and JANOUŠEK Vladimír. Validation of Specification Models Based on Petri Nets. In: Software Engineering Advances. Ateny: Xpert Publishing Services, 2017, pp. 232-237. ISBN 978-1-61208-590-6. Detail
• DRAHANSKÝ Martin, PERNICKÝ Radim, KANICH Ondřej and BAROTOVÁ Štěpánka. Verarbeitung von beschädigten Fingerabdrücken in der polizeilichen Praxis. DuD - Datenschutz und Datensicherheit, vol. 41, no. 7, 2017, pp. 407-414. ISSN 1614-0702. Detail
• DIAS Ricardo J., FERREIRA Carla, FIEDOR Jan, LOURENCO Joao, SMRČKA Aleš, SOUSA Diogo J. and VOJNAR Tomáš. 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, pp. 196-206. ISBN 978-1-5090-6032-0. Detail

2016

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

2019

• Fingerprint Quality Visualizer, software, 2019
  Authors: Kanich Ondřej, Oravec Tomáš, Dejmal David Detail
• Mobile criminalistic electronic unit, specimen, 2019
  Authors: Malaník Petr, Drahanský Martin, Pernický Radim Detail
• PICoSo: An SMT Solver for String Constraints, software, 2019
  Authors: Holíková Lenka, Janků Petr Detail
• Trau: SMT solver for string constraints, software, 2019
  Authors: Abdulla Parosh A., Atig Mohamed F., Bui Phi Diep, Holík Lukáš, Chen Yu-Fang, Rezine Ahmed, Rummer Philipp Detail
• VeriFIT Static Analysis Plugins, software, 2019
  Authors: Marcin Vladimír, Harmim Dominik, Pavela Ondřej, Vojnar Tomáš, Fiedor Tomáš, Rogalewicz Adam Detail

2018

• MINA: A Tool for Verification of Programs with an Unbounded Number of Threads, software, 2018
  Authors: Holík Lukáš, Holíková Lenka, Vojnar Tomáš Detail
• Ranger: A Tool for Bounds Analysis of Heap-Manipulating Programs, software, 2018
  Authors: Fiedor Tomáš, Holík Lukáš, Rogalewicz Adam, Sinn Moritz, Vojnar Tomáš, Zuleger Florian Detail
• Sloth: An SMT Solver for String Constraints, software, 2018
  Authors: Holík Lukáš, Janků Petr, Lin Anthony W., Rummer Philipp, Vojnar Tomáš Detail
• SYDAGenerator - tool for generating datasets using a 3D model, software, 2018
  Authors: Goldmann Tomáš, Drahanský Martin Detail
• Synthetic Fingerprint Damage Simulator and Generator - Swipe Damage Module, software, 2018
  Authors: Kanich Ondřej, Drahanský Martin Detail

2017

• Gaston - Symbolic WS1S Solver, software, 2017
  Authors: Fiedor Tomáš, Holík Lukáš, Janků Petr, Lengál Ondřej, Vojnar Tomáš Detail

2015

• Norn: An SMT Solver for String Constraints, software, 2015
  Authors: Abdulla Parosh A., Atig Mohamed F., Holík Lukáš, Chen Yu-Fang, Rezine Ahmed, Stenman Jari Detail
• Petri Nets for Embedded Systems - Translator and Interpreter, rev. 2015, software, 2015
  Authors: Richta Tomáš, Janoušek Vladimír, Minář Michal Detail

2014

• Synthetic Fingerprint Damage Simulator and Generator - Touch Damage Module, software, 2014
  Authors: Kanich Ondřej, Drahanský Martin Detail