Project detail

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

Duration: 01.01.2017 — 31.12.2019

On the project

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.

Mark

FIT-S-17-4014

Default language

Czech

People responsible

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

Units

Department of Intelligent Systems
- (2017-01-01 - 2019-12-31)
Faculty of Information Technology
- (2017-01-01 - 2019-12-31)

Funding resources

Brno University of Technology - Vnitřní projekty VUT

- whole funder (2017-01-01 - 2018-12-31)

Results

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

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. p. 499-517. ISBN: 978-3-662-46680-3. ISSN: 0302-9743.
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.; KANICH, O. Skin Diseases in Fingerprints. Praha: 2017. p. 0-0.
Detail

DRAHANSKÝ, M. Detector of Weapons in Video. Praha: 2017. p. 0-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.; 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

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

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. In Beiträge zum Usability Day XV - Umgebungsunterstütztes Leben. Dornbirn: Pabst Science Publishers, 2017. p. 125-133. ISBN: 978-3-95853-316-5.
Detail

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

LAI, K.; KANICH, O.; DVOŘÁK, M.; DRAHANSKÝ, M.; YANUSHKEVICH, S.; SHMERKO, V. Biometric-Enabled Watchlists Technology. IET Biometrics, 2017, vol. 7, no. 2, p. 163-172. ISSN: 2047-4938.
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

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

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

DRAHANSKÝ, M. Bezpečnosť biometrických systémov. PC Revue, 2017, roč. 2017, č. 5, s. 96-99. ISSN: 1335-0226.
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

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

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

DRAHANSKÝ, M. Multispectral Optical Properties of Human Hands Skin. Lillehammer: 2017. p. 0-0.
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

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. p. 205-225. ISBN: 978-3-319-73720-1. ISSN: 0302-9743.
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, 2018, vol. 2018, no. 2, p. 96-127. ISSN: 2475-1421.
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. p. 421-438. 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

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. p. 63-73. ISBN: 978-3-319-76347-7. ISSN: 2194-5357.
Detail

HOLÍK, L.; MEYER, R.; VOJNAR, T.; WOLF, S. Effect Summaries for Thread-Modular Analysis. In SAS 2017: Static Analysis. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2017. p. 169-191. ISBN: 978-3-319-66706-5. ISSN: 0302-9743.
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

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

KŘENA, B.; PLUHÁČKOVÁ, 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

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

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

ŠŮ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. p. 540-547. ISBN: 978-3-319-76347-7. ISSN: 2194-5357.
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

Č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. p. 155-175. ISSN: 0302-9743.
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

KANICH, O.; MÉZL, M.; DRAHANSKÝ, M. Creative Materials Used 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

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

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

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

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

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

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

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

CHARVÁT, M.; DRAHANSKÝ, M. 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. p. 41-51. ISBN: 978-3-95853-405-6.
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. p. 109-125. ISBN: 978-3-030-01089-8. ISSN: 0302-9743.
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

RICHTA, T.; JANOUŠEK, V.; NIKDO, N. Transformace modelů s použitím XSLT. In DATESO 2017. Praha: Faculty of Electrical Engineering, Czech Technical University, 2017. s. 43-54. ISBN: 978-80-01-06138-1.
Detail

RICHTA, T.; JANOUŠEK, V.; NIKDO, N. Tvorba informačních systémů pomocí transformací modelů. In ACIIDS 2018. Brno: Faculty of Electrical Engineering, Czech Technical University, 2018. s. 447-452. ISBN: 978-80-214-5543-6.
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

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

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

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

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

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

VEIGEND, P.; RAFFAI, P.; NEČASOVÁ, G.; ŠÁTEK, V.; KUNOVSKÝ, J. 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. p. 1-4. ISBN: 978-0-7354-1690-1.
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

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

KANICH, O. Research in Fingerprint Damage Simulations. Brno: Brno University of Technology, 2018. p. 1-148.
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

HASLINGER, J.; KUČERA, R.; ŠÁTEK, V. Stokes system with local Coulomb's slip boundary conditions: Analysis of discretized models and implementation. Computers and Mathematics with Applications, 2019, vol. 77, no. 6, p. 1655-1667. ISSN: 0898-1221.
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. p. 577-586. ISSN: 2194-5357.
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

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. p. 650-658. ISBN: 978-3-030-16659-5. ISSN: 2194-5357.
Detail

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

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. p. 1-4. ISSN: 0094-243X.
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. p. 300-318. ISSN: 0302-9743.
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

ŠÁTEK, V.; VEIGEND, P.; NEČASOVÁ, G. Taylor Series Based Integration in Electric Circuits Simulations. Advances in Electrical and Electronic Engineering - intenetový časopis (http://advances.utc.sk), 2019, vol. 17, no. 3, p. 352-359. ISSN: 1804-3119.
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

ŽÁK, M.; ROZMAN, J.; ZBOŘIL, F. Design of Omni-directional Hexapod Robot with Horizontal Coxa Joint. In 2019 IEEE 15th International Scientific Conference on Informatics. Poprad: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2019. p. 473-477. ISBN: 978-1-7281-3178-8.
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. p. 447-467. ISSN: 0302-9743.
Detail

KOČÍ, R.; JANOUŠEK, V. 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. p. 184-189. ISBN: 978-1-61208-752-8.
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

Č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, 2019, vol. 2019, no. 1, p. 1-17. ISSN: 1433-2779.
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

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

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

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

HOLÍK, L.; LENGÁL, O.; TUROŇOVÁ, L.; 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. p. 468-489. ISSN: 0302-9743.
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

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

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

SEMERÁD, L.; BISWAS, S.; DRAHANSKÝ, M. Statistics of Bifurcations and Crossings in Eye Retina for Biometric Purposes. In Proceedings 2019 International Conference on Biometrics. Hersonissos: IEEE Biometric Council, 2019. p. 1-4. ISBN: 978-1-4799-7824-3.
Detail

KANICH, O.; DRAHANSKÝ, M. Swipe Sensor Damage Simulation into Synthetic Fingerprint. IET Biometrics, 2019, vol. 8, no. 3, p. 1-20. ISSN: 2047-4938.
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

JANKŮ, P.; TUROŇOVÁ, L. Solving String Constraints with Approximate Parikh Image. In Proceedings of EUROCAST'19. Lecture Notes in Computer Science. Heidelberg: Springer International Publishing, 2019. p. 0-0.
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. p. 21-33. ISBN: 978-981-1534-11-9. ISSN: 1865-0929.
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

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

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

FIEDOR, T.; HOLÍK, L.; JANKŮ, P.; LENGÁL, O.; VOJNAR, T.: gaston; Gaston - Symbolic WS1S Solver. Nástroj a dodatečné informace se nacházejí na http://www.fit.vutbr.cz/research/groups/verifit/tools/gaston/ a https://github.com/tfiedor/gaston. URL: https://www.fit.vut.cz/research/product/511/. (software)
Detail

HOLÍK, L.; TUROŇOVÁ, L.; VOJNAR, T.: mina; MINA: A Tool for Verification of Programs with an Unbounded Number of Threads. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/mina/. URL: https://www.fit.vut.cz/research/product/559/. (software)
Detail

FIEDOR, T.; HOLÍK, L.; ROGALEWICZ, A.; VOJNAR, T.; SINN, M.; ZULEGER, F.: ranger; Ranger: A Tool for Bounds Analysis of Heap-Manipulating Programs. Nástroj a dodatečné informace se nacházejí na http://www.fit.vutbr.cz/research/groups/verifit/tools/ranger/ a https://pajda.fit.vutbr.cz/ifiedortom/forester-resource-bounds. URL: https://www.fit.vut.cz/research/product/562/. (software)
Detail

HOLÍK, L.; JANKŮ, P.; VOJNAR, T.; LIN, A.; RUMMER, P.: sloth; Sloth: An SMT Solver for String Constraints. Nástroj a dodatečné informace se nacházejí na http://www.fit.vutbr.cz/research/groups/verifit/tools/sloth/ (http://www.fit.vutbr.cz/research/groups/verifit/tools/gaston/) a https://github.com/uuverifiers/sloth. URL: https://www.fit.vut.cz/research/product/563/. (software)
Detail

GOLDMANN, T.; DRAHANSKÝ, M.: SYDAGenerator; SYDAGenerator - tool for generating datasets using a 3D model. http://www.fit.vutbr.cz/~igoldmann/app/SYDAGenerator. URL: http://www.fit.vutbr.cz/~igoldmann/app/SYDAGenerator. (software)
Detail

JANKŮ, P.; TUROŇOVÁ, L.: PICoSo; PICoSo: An SMT Solver for String Constraints. Nástroj a dodatečné informace se nacházejí na .... URL: https://www.fit.vut.cz/research/product/620/. (software)
Detail

KANICH, O.; DRAHANSKÝ, M.: SyFDaS - TDM; Synthetic Fingerprint Damage Simulator and Generator - Touch Damage Module. www.fit.vutbr.cz/~ikanich/SyFDaS - TDM.zip. URL: https://www.fit.vut.cz/research/product/600/. (software)
Detail

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

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

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

MALANÍK, P.; DRAHANSKÝ, M.; PERNICKÝ, R.: MoKEJ; Mobilní kriminalistická elektronická jednotka. ÚITS FIT VUT v Brně. URL: https://www.fit.vut.cz/research/product/609/. (funkční vzorek)
Detail

KANICH, O.; DRAHANSKÝ, M.: SyFDaS - SDM; Synthetic Fingerprint Damage Simulator and Generator - Swipe Damage Module. www.fit.vutbr.cz/~ikanich/SyFDaS - SDM.zip. URL: https://www.fit.vut.cz/research/product/599/. (software)
Detail