Project Details
Bezpečné a spolehlivé počítačové systémy
Project Period: 1. 3. 2017 – 29. 2. 2020
Project Type: grant
Code: FIT-S-17-4014
Agency: Brno University of Technology
Program: Vnitřní projekty VUT
Type
grant
Abstract
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.
Team members
Vojnar Tomáš, prof. Ing., Ph.D.
(DITS)
– research leader
Abdulrahman Wassem, Ing.
Aron Lukáš, Ing., Ph.D.
Barabas Maroš, Ing., Ph.D.
Černík Tomáš, Ing.
Češka Milan, doc. RNDr., Ph.D. (DITS)
Češka Milan, prof. RNDr., CSc.
Daniš Daniel, Ing.
Drahanský Martin, prof. Ing., Ph.D.
Dvořák Michal, Ing., Ph.D.
Fiedor Jan, Ing., Ph.D. (DITS)
Fiedor Tomáš, Ing., Ph.D. (RG VERIFIT)
Goldmann Tomáš, Ing., Ph.D. (DITS)
Hájek Josef, Ing., Ph.D.
Hanáček Petr, doc. Dr. Ing. (DITS)
Heidari Mona, Ph.D. (FIT)
Hellebrandt Lukáš, Ing. (FIT)
Holík Lukáš, doc. Mgr., Ph.D. (DITS)
Holíková Lenka, Ing., Ph.D. (DITS)
Hrubý Martin, Ing., Ph.D. (DITS)
Hruška Martin, Ing., Ph.D. (Automata@FIT)
Hujňák Ondřej, Ing., Ph.D. (RG-3-02)
Chaloupka Jan, Ing.
Charvát Lukáš, Ing., Ph.D.
Janků Petr, Ing. (RG VERIFIT)
Janoušek Vladimír, doc. Ing., Ph.D. (DITS)
Kačic Matej, Ing., Ph.D.
Kanich Ondřej, Ing., Ph.D. (DITS)
Karásek Štěpán, Ing.
Kocina Filip, Ing., Ph.D.
Kočí Radek, Ing., Ph.D. (DITS)
Kolář Adam, Ing.
Košík Michal, Ing.
Křena Bohuslav, Ing., Ph.D. (DITS)
Kunovský Jiří, doc. Ing., CSc.
Kupková Karolína, Ing.
Lengál Ondřej, Ing., Ph.D. (DITS)
Luža Radim, Ing.
Malčík Dominik, Ing., Ph.D.
Malinka Kamil, Mgr., Ph.D. (DITS)
Maruniak Lukáš, Ing.
Nečasová Gabriela, Ing., Ph.D. (DITS)
Novosad Petr, Ing.
Orság Filip, Ing., Ph.D. (DITS)
Ovšonka Daniel, Ing.
Pacura Dávid, Ing.
Peringer Petr, Dr. Ing. (DITS)
Richta Tomáš, Ing., Ph.D.
Rogalewicz Adam, doc. Mgr., Ph.D. (DITS)
Rozman Jaroslav, Ing., Ph.D. (DITS)
Samek Jan, Ing., Ph.D. (CM-SFE)
Semerád Lukáš, Ing., Ph.D. (DITS)
Smetka Tomáš, Ing.
Smrčka Aleš, Ing., Ph.D. (DITS)
Snášelová Petra, Ing.
Šátek Václav, Ing., Ph.D. (DITS)
Šimáček Jiří, Ing., Ph.D.
Šimková Hana, Mgr. Bc., Ph.D.
Šoková Veronika, Ing. (DITS)
Švéda Petr, Mgr.
Uhlíř Václav, Ing.
Veigend Petr, Ing., Ph.D. (DITS)
Zbořil František, doc. Ing., CSc. (DITS)
Zbořil František, doc. Ing., Ph.D. (DITS)
Žák Marek, Ing., Ph.D.
Abdulrahman Wassem, Ing.
Aron Lukáš, Ing., Ph.D.
Barabas Maroš, Ing., Ph.D.
Černík Tomáš, Ing.
Češka Milan, doc. RNDr., Ph.D. (DITS)
Češka Milan, prof. RNDr., CSc.
Daniš Daniel, Ing.
Drahanský Martin, prof. Ing., Ph.D.
Dvořák Michal, Ing., Ph.D.
Fiedor Jan, Ing., Ph.D. (DITS)
Fiedor Tomáš, Ing., Ph.D. (RG VERIFIT)
Goldmann Tomáš, Ing., Ph.D. (DITS)
Hájek Josef, Ing., Ph.D.
Hanáček Petr, doc. Dr. Ing. (DITS)
Heidari Mona, Ph.D. (FIT)
Hellebrandt Lukáš, Ing. (FIT)
Holík Lukáš, doc. Mgr., Ph.D. (DITS)
Holíková Lenka, Ing., Ph.D. (DITS)
Hrubý Martin, Ing., Ph.D. (DITS)
Hruška Martin, Ing., Ph.D. (Automata@FIT)
Hujňák Ondřej, Ing., Ph.D. (RG-3-02)
Chaloupka Jan, Ing.
Charvát Lukáš, Ing., Ph.D.
Janků Petr, Ing. (RG VERIFIT)
Janoušek Vladimír, doc. Ing., Ph.D. (DITS)
Kačic Matej, Ing., Ph.D.
Kanich Ondřej, Ing., Ph.D. (DITS)
Karásek Štěpán, Ing.
Kocina Filip, Ing., Ph.D.
Kočí Radek, Ing., Ph.D. (DITS)
Kolář Adam, Ing.
Košík Michal, Ing.
Křena Bohuslav, Ing., Ph.D. (DITS)
Kunovský Jiří, doc. Ing., CSc.
Kupková Karolína, Ing.
Lengál Ondřej, Ing., Ph.D. (DITS)
Luža Radim, Ing.
Malčík Dominik, Ing., Ph.D.
Malinka Kamil, Mgr., Ph.D. (DITS)
Maruniak Lukáš, Ing.
Nečasová Gabriela, Ing., Ph.D. (DITS)
Novosad Petr, Ing.
Orság Filip, Ing., Ph.D. (DITS)
Ovšonka Daniel, Ing.
Pacura Dávid, Ing.
Peringer Petr, Dr. Ing. (DITS)
Richta Tomáš, Ing., Ph.D.
Rogalewicz Adam, doc. Mgr., Ph.D. (DITS)
Rozman Jaroslav, Ing., Ph.D. (DITS)
Samek Jan, Ing., Ph.D. (CM-SFE)
Semerád Lukáš, Ing., Ph.D. (DITS)
Smetka Tomáš, Ing.
Smrčka Aleš, Ing., Ph.D. (DITS)
Snášelová Petra, Ing.
Šátek Václav, Ing., Ph.D. (DITS)
Šimáček Jiří, Ing., Ph.D.
Šimková Hana, Mgr. Bc., Ph.D.
Šoková Veronika, Ing. (DITS)
Švéda Petr, Mgr.
Uhlíř Václav, Ing.
Veigend Petr, Ing., Ph.D. (DITS)
Zbořil František, doc. Ing., CSc. (DITS)
Zbořil František, doc. Ing., Ph.D. (DITS)
Žák Marek, Ing., Ph.D.
Publications
2021
- 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 - 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
2020
- Č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 - 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.; 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 - 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
2019
- 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 (Technical Report). Ithaca: 2019.
p. 1-25. 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 - 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 - 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 - 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Í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 - 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 - 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 - KOTOUN, M.; PERINGER, P.; ŠOKOVÁ, V.; VOJNAR, T. PredatorHP Attacks Interval-Sized Regions. Ithaca: 2019.
p. 1-4. 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 - 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 - 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 - 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 - ŠÁ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 - 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 - SEMERÁD, L. Processing and generation of retinal images for medical purposes. Berlín: 2019.
p. 1-10. 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 - 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 - ŠŮ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 - 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 - 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 - ŽÁ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 - 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
2018
- Č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 - 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 - 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
- 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 - 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 - 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 - 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 - 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.; 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - SEMERÁD, L. Generation of Synthetic Retinal Images. OPHTHALMIC RESEARCH, 2018, vol. 2018, no. 4,
p. 1-6. ISSN: 0030-3747. 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 - 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 - 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 - 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 - 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
2017
- 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 - 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 - DRAHANSKÝ, M. Detector of Weapons in Video. Praha: 2017.
p. 0-0. Detail - DRAHANSKÝ, M. Multispectral Optical Properties of Human Hands Skin. Lillehammer: 2017.
p. 0-0. Detail - DRAHANSKÝ, M. Bezpečnosť biometrických systémov. PC Revue, 2017, roč. 2017, č. 5,
s. 96-99. ISSN: 1335-0226. Detail - DRAHANSKÝ, M.; KANICH, O. Skin Diseases in Fingerprints. Praha: 2017.
p. 0-0. 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - 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 - LENGÁL, O.; CHEN, Y.; TAN, T.; WU, Z. Register Automata with Linear Arithmetic. arXiv:1704.03972: 2017.
p. 1-30. 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 - 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.; 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.; 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 - 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 - 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 - 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 - OČENÁŠ, M. Bitcoin blockchain analysis. Mikulášská kryptobesídka. Praha: Trusted Network Solutions, a.s., 2017.
p. 67-68. 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
2016
- 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