Detail projektu

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

Období řešení: 01.03.2017 — 29.02.2020

Zdroje financování

Vysoké učení technické v Brně - Vnitřní projekty VUT

- plně financující (2017-01-01 - 2018-12-31)

O projektu

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.

Označení

FIT-S-17-4014

Originální jazyk

čeština

Řešitelé

Útvary

Ústav inteligentních systémů
- interní (01.01.2017 - 31.12.2019)
Fakulta informačních technologií
- příjemce (01.01.2017 - 31.12.2019)

Výsledky

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. 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. 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, 2018, 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. 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. 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. 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. 2, 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. 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.; Š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

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

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

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. 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ů. 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 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

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. 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, 2020, vol. 22, no. 5, p. 523-539. 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.; 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. 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. 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, 2021, vol. 8, no. 3, p. 1-12. ISSN: 2047-4938.
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

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

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

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

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

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). Rybnik: 2017. p. 263-273. ISBN: 978-83-65265-14-2. ISSN: 2391-9361.
Detail

OČENÁŠ, M. Bitcoin blockchain analysis. Mikulášská kryptobesídka. Praha: Trusted Network Solutions, a.s., 2017. p. 67-68.
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

SEMERÁD, L. Generation of Synthetic Retinal Images. OPHTHALMIC RESEARCH, 2018, vol. 2018, no. 4, p. 1-6. ISSN: 0030-3747.
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

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

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

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

LENGÁL, O.; CHEN, Y.; TAN, T.; WU, Z. Register Automata with Linear Arithmetic. arXiv:1704.03972: 2017. p. 1-30.
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

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

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

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.; HOLÍKOVÁ, 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. https://www.fit.vutbr.cz/~igoldmann/app/sydagenerator/old/. URL: https://www.fit.vutbr.cz/~igoldmann/app/sydagenerator/old/. (software)
Detail

HOLÍKOVÁ, L.; JANKŮ, P.: 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

Odpovědnost: Vojnar Tomáš, prof. Ing., Ph.D.

VUT

Fakulty

Vysokoškolské ústavy

Součásti

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