Department of Intelligent Systems

Publications

Author:
Title:
Keywords:
From year: Years:
Type:
   
2019ABDULLA Parosh A., ATIG Mohamed F., BUI Phi Diep, HOLÍK Lukáš, CHEN Yu-Fang, REZINE Ahmed and RUMMER Philipp. Trau: SMT solver for string constraints. In: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design. Austin: FMCAD Inc., 2019, pp. 1-5. ISBN 978-0-9835678-8-2.
 BALÁŽ Teodor, KREJČÍ Jaroslav, ŠVEC Miroslav and DRAHANSKÝ Martin. UAV Range Measurement by Impulse Laser Rangefinder. In: Proceedings of the 7th International Conference on Military Technologies 2019. Brno: IEEE Computer Society, 2019, pp. 1-7.
 DRAHANSKÝ Martin and KANICH Ondřej. Influence of skin diseases on fingerprints. Biometrics under Biomedical Considerations. Singapore: Springer Nature Singapore, 2019, pp. 1-39. ISBN 978-981-1311-43-7.
 DRAHANSKÝ Martin, KANICH Ondřej, GOLDMANN Tomáš and DVOŘÁK Michal. Biometrické systémy - aktuální stav a bezpečnost. Útvar polic. vzdělávání a služební přípravy, Policie ČR, Brno, 2019.
 DRAHANSKÝ Martin. Face and Eye Recognition. Norwegian ID Centre (Norwegian Biometric Forum), Oslo, 2019.
 FIEDOR Tomáš, HOLÍK Lukáš, LENGÁL Ondřej and VOJNAR Tomáš. Nested Antichains for WS1S. Acta Informatica. 2019, vol. 56, no. 3, pp. 205-228. ISSN 0001-5903.
 GOLDMANN Tomáš, KANICH Ondřej and DRAHANSKÝ Martin. Generation and analysis of face data. Brno, 2019.
 GOLDMANN Tomáš, KANICH Ondřej and DRAHANSKÝ Martin. Multisensoric board usable on drone. Brno, 2019.
 HASLINGER Jaroslav, KUČERA Radek and ŠÁTEK Václav. Stokes system with local Coulomb's slip boundary conditions: Analysis of discretized models and implementation. Computers and Mathematics with Applications. 2019, vol. 2019, no. 77, pp. 1655-1667. ISSN 0898-1221.
 MALČÍK Dominik and DRAHANSKÝ Martin. Improving The Physical Security Of Microchips Against Side-Channel Attacks. International Journal of Advanced Science and Technology. Sandy Bay: NADIA, 2019, vol. 2019, no. 127, pp. 13-24. ISSN 2207-6360.
 ZBOŘIL František, ROZMAN Jaroslav and KOČÍ Radek. Algorithmic creation of genealogical models. In: Proceedings of ISDA 2018. Los Alamitos: Springer International Publishing, 2019, pp. 650-658. ISBN 978-3-030-16659-5. ISSN 2194-5357.
 ŠŮSTEK Martin, VÍDEŇSKÝ František, ZBOŘIL František and ZBOŘIL František V. Family Coat of Arms and Armorial Achievement Classification. In: Intelligent Systems Design and Applications. Los Alamitos: Springer International Publishing, 2019, pp. 650-658. ISSN 2194-5357.
 ČEŠKA Milan and KŘETÍNSKÝ Jan. Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks (Extended Abstract). In: Proceedings of the 17th International Conference on Computational Methods in Systems Biology (CMSB'19). To be published in 2019. Trieste: Springer International Publishing, 2019, pp. 1-4.
 ČEŠKA Milan and KŘETÍNSKÝ Jan. Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks. In: Proceedings of the 31th International Conference on Computer Aided Verification (CAV'19). To be published in 2019. New York: Springer International Publishing, 2019, pp. 1-19.
 ČEŠKA Milan, HAVLENA Vojtěch, HOLÍK Lukáš, KOŘENEK Jan, LENGÁL Ondřej, MATOUŠEK Denis, MATOUŠEK Jiří, SEMRIČ Jakub and VOJNAR Tomáš. Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata. In: Proceedings of the 27th IEEE International Symposium On Field-Programmable Custom Computing Machines (FCCM'19). To be published in 2019. San Diego, CA: Institute of Electrical and Electronics Engineers, 2019, pp. 109-117. ISBN 978-1-72811-132-2.
 ČEŠKA Milan, HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej and VOJNAR Tomáš. Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. International Journal on Software Tools for Technology Transfer. 2019, vol. 2019, no. 1, pp. 1-17. ISSN 1433-2779.
 ČEŠKA Milan, HENSE Christian, JUNGES Sebastian and KATOEN Joost-Pieter. Counterexample-Driven Synthesis for Probabilistic Program Sketches. In: Proceedings of the 23rd International Symposium on Formal Methods. To be published in 2019. Porto: Springer International Publishing, 2019, pp. 1-19.
 ČEŠKA Milan, JANSEN Nils, JUNGES Sebastian and KATOEN Joost-Pieter. Shepherding Hordes of Markov Chains. In: Proceedings of 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Praha: Springer International Publishing, 2019, pp. 172-190. ISBN 978-3-030-17464-4.
2018CALINESCU Radu, ČEŠKA Milan, GERASIMOU Simos, KWIATKOWSKA Marta and PAOLETTI Nicola. Efficient Synthesis of Robust Models for Stochastic Systems. Journal of Systems and Software. New York: Elsevier Science, 2018, vol. 2018, no. 143, pp. 140-158. ISSN 0164-1212.
 CHARVÁT Michal and DRAHANSKÝ Martin. Detecting and Locating People Using Low-Cost Thermal Imaging Camera. In: Beiträge zum Usability Day XVI - Assistenztechnologien in der Arbeitswelt. Dornbirn: Pabst Science Publishers, 2018, pp. 41-51. ISBN 978-3-95853-405-6.
 DRAHANSKÝ Martin and DVOŘÁK Michal. Hand shape recognition and palm-print recognition using 2D and 3D features. Hand-Based Biometrics: Methods and Technology. London: The Institution of Engineering and Technology, 2018, pp. 283-307. ISBN 978-1-78561-224-4.
 DRAHANSKÝ Martin and YANUSHKEVICH Svetlana. General introduction. Hand-Based Biometrics: Methods and technology. London: The Institution of Engineering and Technology, 2018, pp. 1-17. ISBN 978-1-78561-224-4.
 DRAHANSKÝ Martin, DVOŘÁK Michal, HEIDARI Mona and SPURNÝ Martin. Overview of biometric technologies. Brno, 2018.
 DRAHANSKÝ Martin, KANICH Ondřej and DVOŘÁK Michal. Spoofing methods in hand-based biometrics. Hand-Based Biometrics: Methods and Technology. London: The Institution of Engineering and Technology, 2018, pp. 367-398. ISBN 978-1-78561-224-4.
 DRAHANSKÝ Martin, PERNICKÝ Radim and KANICH Ondřej. Fingerprint spoofing. Wiesbaden: Federal Criminal Office, 2018.
 DRAHANSKÝ Martin. Biometrics - Liveness Detection on Fingers, Recognition of Finger Veins, 3D Hand, Eye Iris and Retina and 3D Face. FI MU, Brno, 2018.
 DRAHANSKÝ Martin. Hand-Based Biometrics: Methods and Technology. London: The Institution of Engineering and Technology, 2018. ISBN 978-1-78561-224-4.
 DRAHANSKÝ Martin. Präsentationsangriffe der Fingerabdrucktechnologie (TTT-AG-Biometrie). Darmstadt, 2018.
 DRAHANSKÝ Martin. Nejlepší zabezpečení je vaše sítnice. Praha, 2018, pp. 12-17.
 DRAHANSKÝ Martin. Recognition of Eye Characteristics. Machine Learning and Biometrics. London: InTech - Open Access Publisher, 2018, pp. 7-35. ISBN 978-1-78923-590-6.
 DRAHANSKÝ Martin. Tajemství biometrie 2 - Rozpoznávání obličeje. ABC. Praha: Czech News Center a.s., 2018, vol. 63, no. 7, pp. 18-19. ISSN 1213-8991.
 DRAHANSKÝ Martin. Tajemství biometrie 3 - Duhovka a sítnice. ABC. Praha: Czech News Center a.s., 2018, vol. 63, no. 12, pp. 40-41. ISSN 1213-8991.
 DRAHANSKÝ Martin. Tajemství biometrie 4 - Lidská ruka. ABC. Praha: Czech News Center a.s., 2018, vol. 63, no. 18, pp. 48-49. ISSN 1213-8991.
 DRAHANSKÝ Martin. Tajemství biometrie 5 - Rozpoznávání písma. ABC. Praha: Czech News Center a.s., 2018, vol. 63, no. 22, pp. 22-23. ISSN 1213-8991.
 DVOŘÁK Michal and DRAHANSKÝ Martin. 3D Hand Geometry Recognition. Biometric-Based Physical and Cybersecurity Systems. Cham: Springer International Publishing, 2018, pp. 103-123. ISBN 978-3-319-98733-0.
 FIEDOR Jan, MUŽIKOVSKÁ Monika, SMRČKA Aleš, VAŠÍČEK Ondřej and VOJNAR Tomáš. Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ Programs. In: Proceedings of 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. New York: Association for Computing Machinery, 2018, pp. 356-359. ISBN 978-1-4503-5699-2.
 FIEDOR Tomáš, HOLÍK Lukáš, ROGALEWICZ Adam, SINN Moritz, VOJNAR Tomáš and ZULEGER Florian. From Shapes to Amortized Complexity. In: Proceedings of VMCAI'18. Heidelberg: Springer Verlag, 2018, pp. 205-225. ISBN 978-3-319-73720-1. ISSN 0302-9743.
 GOLDMANN Tomáš, MARŠÁNOVÁ Lucie, NĚMCOVÁ Andrea, SMÍŠEK Radovan, SMITAL Lukáš and VÍTEK Martin. Automatic detection of P wave in ECG during ventricular extrasystoles. In: IFMBE Proceedings. Singapore: Springer International Publishing, 2018, pp. 381-385. ISBN 978-981-10-9037-0. ISSN 1680-0737.
 HASLINGER Jaroslav, KUČERA Radek, ŠÁTEK Václav and POCHYLÝ František. Numerical Modelling of the Stokes Flow with Coulomb Slip Boundary Conditions. In: 15th International Conference of Numerical Analysis and Applied Mathematics. Thessaloniki: American Institute of Physics, 2018, pp. 1-4. ISBN 978-0-7354-1690-1.
 HASLINGER Jaroslav, KUČERA Radek, ŠÁTEK Václav and SASSI Taoufik. Stokes system with solution-dependent threshold slip boundary conditions: Analysis, approximation and implementation. Mathematics and Mechanics of Solids. 2018, vol. 2018, no. 23, pp. 294-307. ISSN 1081-2865.
 HEIDARI Mona and DRAHANSKÝ Martin. Detection of Ridge Discontinuities in Fingerprint Recognition Influenced by Skin Diseases. International Journal of Advanced Science and Technology. Sandy Bay: Science & Engineering Research Support Center, 2018, vol. 2018, no. 116, pp. 13-22. ISSN 2005-4238.
 HEIDARI Mona, GOLDMANN Tomáš, DVOŘÁK Michal and DRAHANSKÝ Martin. Antispoofing and multispectral (optical) methods in hand-based biometrics. Hand-Based Biometrics: Methods and Technology. London: The Institution of Engineering and Technology, 2018, pp. 337-365. ISBN 978-1-78561-224-4.
 HEIDARI Mona, KANICH Ondřej and DRAHANSKÝ Martin. Processing of fingerprints influenced by skin diseases. Hand-Based Biometrics: Methods and Technology. London: The Institution of Engineering and Technology, 2018, pp. 135-168. ISBN 978-1-78561-224-4.
 HEIZMANN Matthias, CHEN Yu-Fang, LENGÁL Ondřej, LI Yong, TSAI Ming-Hsien, TURRINI Andrea and ZHANG Lijun. Advanced Automata-based Algorithms for Program Termination Checking. In: Proceedings of PLDI'18. Philadelphia: Association for Computing Machinery, 2018, pp. 135-150. ISBN 978-1-4503-5698-5.
 HOLÍK Lukáš and TUROŇOVÁ Lenka. Towards Smaller Invariants for Proving Coverability. In: Computer Aided Systems Theory - EUROCAST 2017. Berlin Heidelberg: Springer Verlag, 2018, pp. 109-116. ISBN 978-3-319-74727-9.
 HOLÍK Lukáš, JANKŮ Petr, LIN Anthony W., RUMMER Philipp and VOJNAR Tomáš. String constraints with concatenation and transducers solved efficiently. Proceedings of the ACM on Programming Languages. New York: Association for Computing Machinery, 2018, vol. 2018, no. 2, pp. 96-127. ISSN 2475-1421.
 HOLÍK Lukáš, LENGÁL Ondřej, SÍČ Juraj, VEANES Margus and VOJNAR Tomáš. Simulation Algorithms for Symbolic Automata (Technical Report). Ithaca, 2018.
 HOLÍK Lukáš, LENGÁL Ondřej, SÍČ Juraj, VEANES Margus and VOJNAR Tomáš. Simulation Algorithms for Symbolic Automata. In: Proc. of 16th International Symposium on Automated Technology for Verification and Analysis. Heidelberg: Springer Verlag, 2018, pp. 109-125. ISBN 978-3-030-01089-8. ISSN 0302-9743.
 HRUŠKA Martin, MALÍK Viktor, SCHRAMMEL Peter and VOJNAR Tomáš. Template-Based Verification of Heap-Manipulating Programs. In: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design. Austin: FMCAD Inc., 2018, pp. 103-111. ISBN 978-0-9835678-8-2.
 HÁJEK Josef and DRAHANSKÝ Martin. Recognition-Based on Eye Biometrics: Iris and Retina. Biometric-Based Physical and Cybersecurity Systems. Cham: Springer International Publishing, 2018, pp. 37-102. ISBN 978-3-319-98733-0.
 KANICH Ondřej and DRAHANSKÝ Martin. Weapon Detection. Report of Project No. VI20172020068 - 2017 - Brno, 2018.
 KANICH Ondřej and DRAHANSKÝ Martin. State of the art in fingerprint recognition. Hand-Based Biometrics: Methods and Technology. London: The Institution of Engineering and Technology, 2018, pp. 83-110. ISBN 978-1-78561-224-4.
 KANICH Ondřej, MÉZL Martin and DRAHANSKÝ Martin. Creative Materials Used for Fingerprint Spoofs. In: 2018 International Workshop on Biometrics and Forensics (IWBF). Sassari: Institute of Electrical and Electronics Engineers, 2018, pp. 1-8. ISBN 978-1-5386-1366-5.
 KOČÍ Radek and JANOUŠEK Vladimír. Tracing and Reversing the Run of Software Systems Implemented by Petri Nets. In: Software Engineering Advances. Nice: Xpert Publishing Services, 2018, pp. 1-6. ISBN 978-1-61208-668-2.
 KUČERA Radek, HASLINGER Jaroslav, ŠÁTEK Václav and JAROŠOVÁ Marta. Efficient methods for solving the Stokes problem with slip boundary conditions. Mathematics and Computers in Simulation. 2018, vol. 2018, no. 145, pp. 114-124. ISSN 0378-4754.
 KŘENA Bohuslav, PLUHÁČKOVÁ Hana, UR Shmuel and VOJNAR Tomáš. Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics. In: Computer Aided Systems Theory - EUROCAST 2017. Las Palmas: Springer International Publishing, 2018, pp. 99-108. ISBN 978-3-319-74726-2.
 LOURENCO Joao, FIEDOR Jan, KŘENA Bohuslav and VOJNAR Tomáš. Discovering Concurrency Errors. Lectures on Runtime Verification: Introductory and Advanced Topics. Cham: Springer International Publishing, 2018, pp. 34-60. ISBN 978-3-319-75632-5.
 MALÍK Viktor, MARTIČEK Štefan, SCHRAMMEL Peter, SRIVAS Mandayam, VOJNAR Tomáš and WAHLANG Johanan. 2LS: Memory Safety and Non-termination (Competition Contribution). In: Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part 2. Thessaloniki: Springer International Publishing, 2018, pp. 417-421. ISBN 978-3-319-89962-6.
 NEČASOVÁ Gabriela, VEIGEND Petr and ŠÁTEK Václav. Modern Taylor series method in numerical integration: PART 2. In: 17th Czech-Polish Conference Modern Mathematical Methods in Engineering (3mi). Horní Lomná: VŠB - Technical University of Ostrava, 2018, pp. 211-220. ISBN 978-80-248-4135-9.
 ROZMAN Jaroslav and ZBOŘIL František. Persons Linking in Baptism Records. In: Workshop PAOS2018 and PASSCR2018 of JIST2018 conference. Awaji, 2018, pp. 43-54. ISSN 1613-0073.
 ROZMAN Jaroslav, ZBOŘIL František and KOČÍ Radek. Possibilities of Creation of Community Genealogical Database with Semantic Information and Uncertainty. In: Conference on Big Data and Smart Computing (ICBDSC 2018). Casablanca, 2018, pp. 1-5. ISBN 978-1-4503-5438-7.
 UHLÍŘ Václav, ZBOŘIL František and ROZMAN Jaroslav. Improving upon package and food delivery by Semi-autonomous Tag-along Vehicles. In: Intelligent Systems Design and Applications. Cham: Springer International Publishing, 2018, pp. 589-596. ISBN 978-3-319-76347-7.
 VEIGEND Petr, RAFFAI Peter, NEČASOVÁ Gabriela, ŠÁTEK Václav and KUNOVSKÝ Jiří. Simulation of the Gas Flow Through the Piston Ring Pack. In: 15rd International Conference of Numerical Analysis and Applied Mathematics. Thessaloniki: American Institute of Physics, 2018, pp. 1-4. ISBN 978-0-7354-1690-1.
 VEIGEND Petr, ŠÁTEK Václav and KUNOVSKÝ Jiří. System Control Using the Modern Taylor Series Method. In: 15th International Conference of Numerical Analysis and Applied Mathematics. Thessaloniki: American Institute of Physics, 2018, pp. 1-4. ISBN 978-0-7354-1690-1.
 VEIGEND Petr, ŠÁTEK Václav and NEČASOVÁ Gabriela. Model of the Telegraph line and its Numerical Solution. Open Computer Science. Berlin: Walter de Gruyter, 2018, vol. 8, no. 1, pp. 10-17. ISSN 2299-1093.
 VÍDEŇSKÝ František and ZBOŘIL František. Computer Aided Recognition and Classification of Coats of Arms. In: Proceedings ISDA 2017. Los Alamitos: Springer International Publishing, 2018, pp. 63-73. ISBN 978-3-319-76347-7. ISSN 2194-5357.
 VÍDEŇSKÝ František and ZBOŘIL František. Strojové rozpoznávání rodových erbů. Genealogické a heraldické informace. Brno: THE MORAVIAN GENEALOGICAL AND HERALDIC SOCIETY, 2018, vol. 22, no. 1, pp. 73-82. ISSN 0862-8963.
 ŠÁTEK Václav, VEIGEND Petr and NEČASOVÁ Gabriela. Taylor Series Based Solution of Nonlinear-quadratic ODE Systems. In: MATHMOD VIENNA 2018 - 9th Vienna International Conference on Mathematical Modelling. Vienna: ARGE Simulation News, 2018, pp. 99-100. ISBN 978-3-901608-91-9.
 ŠŮSTEK Martin and ZBOŘIL František V. Obtaining word embedding from existing classification model. In: Intelligent Systems Design and Applications. Cham: Springer International Publishing, 2018, pp. 540-547. ISBN 978-3-319-76347-7. ISSN 2194-5357.
 ČEŠKA Milan, HAVLENA Vojtěch, HOLÍK Lukáš, LENGÁL Ondřej and VOJNAR Tomáš. Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. In: Proceedings of TACAS'18. Thessaloniki: Springer Verlag, 2018, pp. 155-175. ISSN 0302-9743.
 ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch, SEKANINA Lukáš, VAŠÍČEK Zdeněk and VOJNAR Tomáš. ADAC: Automated Design of Approximate Circuits. In: Proceedings of 30th International Conference on Computer Aided Verification (CAV'18). Oxford, UK: Springer International Publishing, 2018, pp. 612-620. ISBN 978-3-319-96145-3.
2017ABDULLA Parosh A., ATIG Mohamed F., BUI Phi Diep, HOLÍK Lukáš, CHEN Yu-Fang, REZINE Ahmed and RUMMER Philipp. Flatten and conquer: a framework for efficient analysis of string constraints. In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. New York: Association for Computing Machinery, 2017, pp. 602-617. ISBN 978-1-4503-4988-8.
 ABDULLA Parosh A., HAZIZA Frédéric, HOLÍK Lukáš, JONSSON Bengt and REZINE Ahmed. An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures. International Journal on Software Tools for Technology Transfer. 2017, vol. 5, no. 19, pp. 549-563. ISSN 1433-2779.
 APJAR Martin, DRAHANSKÝ Martin, LUŽA Radim and VYROUBALOVÁ Jana. Control algorithms for rescue robot RUDA. In: Modeling and Simulation of Autonomous Systems. Řím, 2017, pp. 204-222.
 AVROS Renata, DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana, UR Shmuel, VOJNAR Tomáš and VOLKOVICH Zeev. Boosted Decision Trees for Behaviour Mining of Concurrent Programs. Concurrency and Computation: Practice and Experience. New York: WILEY, 2017, vol. 29, no. 21, pp. 4268-4289. ISSN 1532-0634.
 BAROTOVÁ Štěpánka and DRAHANSKÝ Martin. Fingerprint Damage Localizer and Detector of Skin Diseases from Fingerprint Images. In: Proceedings of the 16th International Conference of the Biometrics Special Interest Group. Darmstadt: Springer Verlag, 2017, pp. 267-274. ISBN 978-3-88579-664-0.
 CALINESCU Radu, ČEŠKA Milan, GERASIMOU Simos, KWIATKOWSKA Marta and PAOLETTI Nicola. Recent Advances in Designing Robust Probabilistic Systems. 2nd International Workshop on Design and Analysis of Robust Systems (Extended Abstract). Berlin, 2017.
 CALINESCU Radu, ČEŠKA Milan, GERASIMOU Simos, KWIATKOWSKA Marta and PAOLETTI Nicola. Designing Robust Software Systems through Parametric Markov Chain Synthesis. In: Proceedings of 14th IEEE International Conference On Software Architecture. New Jersey: IEEE Computer Society, 2017, pp. 131-140. ISBN 978-1-5090-5729-0.
 CALINESCU Radu, ČEŠKA Milan, GERASIMOU Simos, KWIATKOWSKA Marta and PAOLETTI Nicola. RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. In: Proceedings of 14th International Conference on Quantitative Evaluation of SysTems. Heidelberg: Springer Verlag, 2017, pp. 1-4. ISBN 978-3-319-66335-7.
 CARDELLI Luca, ČEŠKA Milan, FRANZLE Martin, KWIATKOWSKA Marta, LAURENTI Luca, PAOLETTI Nicola and WHITBY Max. Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. In: Proceedings of the 29th International Conference on Computer Aided Verification. Heidelberg: Springer Verlag, 2017, pp. 375-395. ISBN 978-3-319-63390-9.
 CHALOUPKA Jan, KOCINA Filip, VEIGEND Petr, NEČASOVÁ Gabriela, ŠÁTEK Václav and KUNOVSKÝ Jiří. Multiple Integral Computations. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, pp. 1-4. ISSN 0094-243X.
 CHALOUPKA Jan, NEČASOVÁ Gabriela, VEIGEND Petr, KUNOVSKÝ Jiří and ŠÁTEK Václav. Modern Taylor series method in numerical integration: PART 1. In: 16th Czech-Polish Conference Modern Mathematical Methods in Engineering (3mi). Rybnik, 2017, pp. 263-273. ISBN 978-83-65265-14-2. ISSN 2391-9361.
 CHEN Yu-Fang, LENGÁL Ondřej, TAN Tony and WU Zhilin. Register Automata with Linear Arithmetic. arXiv:1704.03972, 2017.
 CHEN Yu-Fang, LENGÁL Ondřej, TAN Tony and WU Zhilin. Register Automata with Linear Arithmetic. In: Proceedings of LICS'17. Reykjavik: IEEE Computer Society, 2017, pp. 1-12. ISBN 978-1-5090-3018-7.
 DIAS Ricardo J., FERREIRA Carla, FIEDOR Jan, LOURENCO Joao, SMRČKA Aleš, SOUSA Diogo J. and VOJNAR Tomáš. Verifying Concurrent Programs Using Contracts. In: 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). Tokyo: Institute of Electrical and Electronics Engineers, 2017, pp. 196-206. ISBN 978-1-5090-6032-0.
 DRAHANSKÝ Martin and KANICH Ondřej. Skin Diseases in Fingerprints. Praha, 2017.
 DRAHANSKÝ Martin, DVOŘÁK Michal, LUŽA Radim, RITTER Walter, KÜNZ Andreas, KEMPTER Guido, MOHELNÍKOVÁ Jitka and MOHELNÍK Petr. Measurement of light sources. Brno: Faculty of Information Technology BUT, 2017.
 DRAHANSKÝ Martin, KANICH Ondřej and BŘEZINOVÁ Eva. Challenges for fingerprint recognition - spoofing, skin diseases and environmental effects. Handbook of Biometrics for Forensic Science. Cham: Springer Verlag, 2017, pp. 63-83. ISBN 978-3-319-50671-5.
 DRAHANSKÝ Martin, MEISTER Torsten and NEZHYBA Ondřej. Sicherheit für intelligente Häuser. In: Beiträge zum Usability Day XV - Umgebungsunterstütztes Leben. Dornbirn: Pabst Science Publishers, 2017, pp. 64-69. ISBN 978-3-95853-316-5.
 DRAHANSKÝ Martin, PERNICKÝ Radim, KANICH Ondřej and BAROTOVÁ Štěpánka. Verarbeitung von beschädigten Fingerabdrücken in der polizeilichen Praxis. DuD - Datenschutz und Datensicherheit. Wiesbaden: Springer Verlag, 2017, vol. 41, no. 7, pp. 407-414. ISSN 1614-0702.
 DRAHANSKÝ Martin, SPURNÝ Martin and GOLDMANN Tomáš. Gesichtsdetektion und -erkennung in Videos aus öffentlichen Kamerasystemen. DuD - Datenschutz und Datensicherheit. Wiesbaden: Springer Verlag, 2017, vol. 41, no. 7, pp. 415-421. ISSN 1614-0702.
 DRAHANSKÝ Martin. Detector of Weapons in Video. Praha, 2017.
 DRAHANSKÝ Martin. Multispectral Optical Properties of Human Hands Skin. Lillehammer, 2017.
 DRAHANSKÝ Martin. Bezpečnosť biometrických systémov. PC Revue. Bratislava: unknown, 2017, vol. 2017, no. 5, pp. 96-99. ISSN 1335-0226.
 DRAHANSKÝ Martin. Tajemství biometrie 1 - Otisky prstů. ABC. Praha: Czech News Center a.s., 2017, vol. 62, no. 22, pp. 50-52. ISSN 1213-8991.
 DVOŘÁK Michal and DRAHANSKÝ Martin. Security of Hand Geometry. In: Proceedings of Conference SPI 2017. Brno: University of Defence in Brno, 2017, pp. 17-29. ISBN 978-80-7231-414-0.
 DVOŘÁK Michal, DRAHANSKÝ Martin, KEMPTER Guido, MOHELNÍKOVÁ Jitka, LUŽA Radim, RITTER Walter and KÜNZ Andreas. Usability and Quality of Light Sources for Households. In: Beiträge zum Usability Day XV - Umgebungsunterstütztes Leben. Dornbirn: Pabst Science Publishers, 2017, pp. 125-133. ISBN 978-3-95853-316-5.
 ENEA Constantin, LENGÁL Ondřej, SIGHIREANU Mihaela and VOJNAR Tomáš. Compositional Entailment Checking for a Fragment of Separation Logic. Formal Methods in System Design. Berlin: Springer Verlag, 2017, vol. 2017, no. 51, pp. 575-607. ISSN 0925-9856.
 ENEA Constantin, LENGÁL Ondřej, SIGHIREANU Mihaela and VOJNAR Tomáš. SPEN: A Solver for Separation Logic. In: Proceedings of NFM'17. Heidelberg: Springer Verlag, 2017, pp. 302-309. ISBN 978-3-319-57287-1.
 FIEDOR Tomáš, HOLÍK Lukáš, JANKŮ Petr, LENGÁL Ondřej and VOJNAR Tomáš. Lazy Automata Techniques for WS1S. arXiv:1701.06282, 2017.
 FIEDOR Tomáš, HOLÍK Lukáš, JANKŮ Petr, LENGÁL Ondřej and VOJNAR Tomáš. Lazy Automata Techniques for WS1S. In: Proceedings of TACAS'17. Heidelberg: Springer Verlag, 2017, pp. 407-425. ISBN 978-3-662-54576-8. ISSN 0302-9743.
 HELLEBRANDT Lukáš, HUJŇÁK Ondřej, HANÁČEK Petr and HOMOLIAK Ivan. Survey of Privacy Enabling Strategies in IoT Networks. In: Proceedings of the 2017 International Conference on Computer Science and Artificial Intelligence. Jakarta: Association for Computing Machinery, 2017, pp. 216-221. ISBN 978-1-4503-5392-2.
 HOLÍK Lukáš, HRUŠKA Martin, LENGÁL Ondřej, ROGALEWICZ Adam and VOJNAR Tomáš. Counterexample Validation and Interpolation-Based Refinement for Forest Automata. In: Proceedings of VMCAI'17. Cham: Springer Verlag, 2017, pp. 288-309. ISBN 978-3-319-52234-0. ISSN 0302-9743.
 HOLÍK Lukáš, MEYER Roland, VOJNAR Tomáš and WOLF Sebastian. Effect Summaries for Thread-Modular Analysis. In: SAS 2017: Static Analysis. Cham: Springer International Publishing, 2017, pp. 169-191. ISBN 978-3-319-66706-5.
 HOMOLIAK Ivan, BARABAS Maroš and HANÁČEK Petr. Exploitation of NetEm Utility for Non-payload-based Obfuscation Techniques Improving Network Anomaly Detection. In: Proceedings of 12th International Conference on Security and Privacy in Communication Networks. Guangzhou: Springer International Publishing, 2017, pp. 770-773. ISBN 978-3-319-59607-5.
 HOMOLIAK Ivan, BREITENBACHER Dominik and HANÁČEK Petr. Convergence Optimization of Backpropagation Artificial Neural Network Used for Dichotomous Classification of Intrusion Detection Dataset. Journal of Computers. Chengdu, Sichuan: 2017, vol. 12, no. 2, pp. 143-155. ISSN 1796-203X.
 HOMOLIAK Ivan, ŠULÁK Ladislav and HANÁČEK Petr. Features for Non-payload Based Behavioral Intrusion Detection of Connectionless Network Buffer Overflow Attacks. In: Information Security Applications - 17th International Workshop, WISA 2016, Jeju Island, Korea, August 25-27, 2016, Revised Selected Papers. Jeju Island: Springer International Publishing, 2017, pp. 66-78. ISBN 978-3-319-56549-1.
 HONG Chih-Duo, CHEN Yu-Fang, LENGÁL Ondřej, MU Shin-Cheng, SINHA Nishant and WANG Bow-Yaw. An Executable Sequential Specification for Spark Aggregation. In: Proceedings of NETYS'17. Heidelberg: Springer Verlag, 2017, pp. 421-438. ISSN 0302-9743.
 HRUŠKA Martin, HOLÍK Lukáš, LENGÁL Ondřej, ROGALEWICZ Adam and VOJNAR Tomáš. Counterexample Validation and Interpolation-Based Refinement for Forest Automata. Brno: Faculty of Information Technology BUT, 2017.
 HRUŠKA Martin, HOLÍK Lukáš, LENGÁL Ondřej, ROGALEWICZ Adam, ŠIMÁČEK Jiří and VOJNAR Tomáš. Forester: From Heap Shapes to Automata Predicates. In: Proceedings of TACAS'17. Heidelberg: Springer Verlag, 2017, pp. 365-369. ISBN 978-3-662-54580-5.
 ILA Viorela S., POLOK Lukáš, ŠOLONY Marek and SVOBODA Pavel. SLAM++-A Highly Efficient and Temporally Scalable Incremental SLAM Framework. The International Journal of Robotics Research. 2017, vol. 2017, no. 1, pp. 210-230. ISSN 1741-3176.
 JAROŠOVÁ Marta, KUČERA Radek and ŠÁTEK Václav. A Path-following Algorithm for Parallel Solving of the Stokes Problem with the Stick-slip Boundary Condition. In: The 5th International Conference on Parallel, Distributed, Grid and Cloud Computing for Engineering. Pécs, 2017, pp. 1-12. ISSN 1759-3433.
 JAROŠOVÁ Marta, KUČERA Radek and ŠÁTEK Václav. Preconditioning in the path-following algorithm for the Stokes flow with stick-slip conditions. In: 16th Czech-Polish Conference Modern Mathematical Methods in Engineering (3mi). Rybnik, 2017, pp. 274-285. ISBN 978-83-65265-14-2. ISSN 2391-9361.
 KANICH Ondřej and DRAHANSKÝ Martin. Simulation of Synthetic Fingerprint Generation Using Petri Nets. IET Biometrics. Kent: The Institution of Engineering and Technology, 2017, vol. 6, no. 6, pp. 402-408. ISSN 2047-4938.
 KAČIC Matej and BARABAS Maroš. Klasifikace informací v souvislostech. In: IS2 - Other Dimensions of Security. Praha: Tate International s.r.o., 2017, pp. 133-141. ISBN 978-80-86813-30-1.
 KOCINA Filip, NEČASOVÁ Gabriela, VEIGEND Petr, CHALOUPKA Jan, ŠÁTEK Václav and KUNOVSKÝ Jiří. Modelling VLSI Circuits Using Taylor Series. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, pp. 1-4. ISSN 0094-243X.
 KOZÁK David, KŘENA Bohuslav, PLUHÁČKOVÁ Hana and VOJNAR Tomáš. Search-Based Testing Concurrent Java Programs Using the RoadRunner Analysis Framework [poster]. The proceedings of the 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Telč, 2017.
 KOŠTIALIK Daniel, MARUNIAK Lukáš and DRAHANSKÝ Martin. Symptoms Detection in Eye Retina Image. In: 2017 IEEE Symposium Series on Computational Intelligence. Hawaii: IEEE Computer Society, 2017, pp. 3088-3093. ISBN 978-1-5386-4058-6.
 KOČÍ Radek and JANOUŠEK Vladimír. Specification of Requirements Using Unified Modeling Language and Petri Nets. International Journal on Advances in Software. 2017, vol. 10, no. 12, pp. 121-131. ISSN 1942-2628.
 KOČÍ Radek and JANOUŠEK Vladimír. Validation of Specification Models Based on Petri Nets. In: Software Engineering Advances. Ateny: Xpert Publishing Services, 2017, pp. 232-237. ISBN 978-1-61208-590-6.
 KUČERA Radek, ŠÁTEK Václav, HASLINGER Jaroslav, FIALOVÁ Simona and POCHYLÝ František. Modeling of hydrophobic surfaces by the Stokes problem with the stick-slip boundary conditions. Journal of Fluids Engineering. 2017, vol. 2017, no. 139, pp. 1-9. ISSN 0098-2202.
 KUČERA Radek, ŠÁTEK Václav, HASLINGER Jaroslav, POCHYLÝ František, KOKO Jonas and SASSI Taoufik. Numerical Modelling of the Stokes Flow with Threshold Slip Boundary Conditions. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, pp. 1-4. ISSN 0094-243X.
 LAI Kenneth K., KANICH Ondřej, DVOŘÁK Michal, DRAHANSKÝ Martin, YANUSHKEVICH Svetlana and SHMERKO Vlad. P. Biometric-Enabled Watchlists Technology. IET Biometrics. Kent: The Institution of Engineering and Technology, 2017, vol. 7, no. 2, pp. 163-172. ISSN 2047-4938.
 LAURENTI Luca, ABATE Alessandro, BORTOLUSSI Luca, CARDELLI Luca, ČEŠKA Milan and KWIATKOWSKA Marta. Reachability Computation for Switching Diffusions:Finite Abstractions with Certifiable and Tuneable Precision. In: Proceedings of the 20th ACM International Conference on Hybrid Systems: Computation and Control. New York: Association for Computing Machinery, 2017, pp. 55-64. ISBN 978-1-4503-4590-3.
 LENGÁL Ondřej, LIN Anthony W., MAJUMDAR Rupak and RUMMER Philipp. Fair Termination for Parameterized Probabilistic Concurrent Systems. In: Proceedings of TACAS'17. Heidelberg: Springer Verlag, 2017, pp. 499-517. ISBN 978-3-662-46680-3. ISSN 0302-9743.
 LUŽA Radim, ORSÁG Filip, DRAHANSKÝ Martin and ROZMAN Jaroslav. Robot RUDA - Introduction and Current Research. Central European Researchers Journal. Žilina: University of Žilina, 2017, vol. 3, no. 1, pp. 1-8. ISSN 2453-7314.
 MOTYČKOVÁ Kristina, KUČERA Radek, MAKROPOULOS Alexandros and ŠÁTEK Václav. Comparisons of the Semi-Smooth Newton Method for Solving Contact Problems in 2D and 3D. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, pp. 1-4. ISSN 0094-243X.
 NEČASOVÁ Gabriela, KOCINA Filip, VEIGEND Petr, CHALOUPKA Jan, ŠÁTEK Václav and KUNOVSKÝ Jiří. Solving Wave Equation Using Finite Differences and Taylor Series. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, pp. 1-4. ISSN 0094-243X.
 NEČASOVÁ Gabriela, KOCINA Filip, VEIGEND Petr, ŠÁTEK Václav and KUNOVSKÝ Jiří. Model of the Telegraph Line. In: Informatics 2017 - 14th International Scientific Conference on Informatics. Poprad: Institute of Electrical and Electronics Engineers, 2017, pp. 271-275. ISBN 978-1-5386-0888-3.
 NEČASOVÁ Gabriela, KUNOVSKÝ Jiří and ŠÁTEK Václav. Numerical Solution of Wave Equation Using Higher Order Methods. In: 15th International Conference of Numerical Analysis and Applied Mathematics. Thessaloniki: American Institute of Physics, 2017, pp. 1-4. ISBN 978-0-7354-1690-1.
 RICHTA Tomáš and JANOUŠEK Vladimír. Data-Driven Maritime Processes Management Using Dynamically Reconfigurable Executable Models. In: Computer Aided Systems Theory - EUROCAST 2017. Berlin Heidelberg: Springer Verlag, 2017, pp. 1-10. ISBN 978-3-642-53855-1.
 ROZMAN Jaroslav and ŽÁK Marek. Webový portál průmyslu 4.0 pro Škoda Auto. Brno: ŠKODA AUTO a.s., 2017.
 VEIGEND Petr, NEČASOVÁ Gabriela, KOCINA Filip, CHALOUPKA Jan, ŠÁTEK Václav and KUNOVSKÝ Jiří. Real Time Simulation of Transport Delay. In: 14th International Conference of Numerical Analysis and Applied Mathematics. Rhodes: American Institute of Physics, 2017, pp. 1-4. ISSN 0094-243X.
 VOJNAR Tomáš. Souhrnná výzkumná zpráva k projektu Zlepšování kvality software za rok 2017. Brno: Red Hat Czech, 2017.
 ČEŠKA Milan, MATYÁŠ Jiří, MRÁZEK Vojtěch, SEKANINA Lukáš, VAŠÍČEK Zdeněk and VOJNAR Tomáš. Approximating Complex Arithmetic Circuits with Formal Error Guarantees: 32-bit Multipliers Accomplished. In: Proceedings of 36th IEEE/ACM International Conference On Computer Aided Design (ICCAD). Irvine, CA: Institute of Electrical and Electronics Engineers, 2017, pp. 416-423. ISBN 978-1-5386-3093-8.
 ČEŠKA Milan, ČEŠKA Milan and PAOLETTI Nicola. Precise Parameter Synthesis for Stochastic Petri Nets with Interval Rate Parameters. In: Proceedings of 16th International Conference on Computer Aided Systems Theory. Heidelberg: Springer Verlag, 2017, pp. 38-46. ISBN 978-3-319-74727-9.

Your IPv4 address: 35.153.135.60
Switch to https