doc. Dr. Ing.

Dušan Kolář

FIT – Head of department

+420 54114 1238
kolar@fit.vutbr.cz

Send BUT message

doc. Dr. Ing. Dušan Kolář

Publications

  • 2019

    ZOBAL, L.; KOLÁŘ, D.; FUJDIAK, R. Current State of Honeypots and Deception Strategies in Cybersecurity. In 2019 11th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT). Ireland, Dublin: 2019. p. 1-9. ISBN: 978-1-7281-5763-4.
    Detail

    HRANICKÝ, R.; ZOBAL, L.; RYŠAVÝ, O.; KOLÁŘ, D. Distributed password cracking with BOINC and hashcat. Digital Investigation, 2019, vol. 30, no. 1, p. 161-172. ISSN: 1742-2876.
    Detail | WWW

  • 2014

    MATULA, P.; KOLÁŘ, D. Composite Data Type Recovery in a Retargetable Decompilation. In Proceedings of the 9th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Telč: NOVPRESS s.r.o., 2014. p. 63-76. ISBN: 978-80-214-5022-6.
    Detail

    ĎURFINA, L.; KOLÁŘ, D. Generic detection and annotations of the statically linked code. Acta Electrotechnica et Informatica, 2014, vol. 2013, no. 4, p. 51-56. ISSN: 1335-8243.
    Detail | WWW

    KŘOUSTEK, J.; POKORNÝ, F.; KOLÁŘ, D. Reconstruction of Instruction Idioms in a Retargetable Decompiler: Revisited. COMPUT SCI INF SYST, 2014, vol. 11, no. 4, p. 1337-1359. ISSN: 1820-0214.
    Detail | WWW

    KŘOUSTEK, J.; MATULA, P.; KOLÁŘ, D.; ZAVORAL, M. Advanced Preprocessing of Binary Executable Files and its Usage in Retargetable Decompilation. International Journal on Advances in Software, 2014, vol. 7, no. 1, p. 112-122. ISSN: 1942-2628.
    Detail | WWW

  • 2013

    MATULA, P.; KOLÁŘ, D. Reconstruction of simple data types in decompilation. In Sborník příspěvků Mezinárodní Masarykovy konference pro doktorandy a mladé vědecké pracovníky 2013. Hradec Králové: Akademické sdružení MAGNANIMITAS Assn., 2013. p. 1-10. ISBN: 978-80-87952-00-9.
    Detail

    ĎURFINA, L.; KOLÁŘ, D. Generic detection of the statically linked code. In Proceedings of the Twelfth International Conference on Informatics INFORMATICS 2013. Spišská Nová Ves: Faculty of Electrical Engineering and Informatics, University of Technology Košice, 2013. p. 157-161. ISBN: 978-80-8143-127-2.
    Detail | WWW

    KŘOUSTEK, J.; KOLÁŘ, D. Context Parsing (Not Only) of the Object-File-Format Description Language. COMPUT SCI INF SYST, 2013, vol. 10, no. 4, p. 1673-1702. ISSN: 1820-0214.
    Detail | WWW

    KŘOUSTEK, J.; KOLÁŘ, D. Approaching Retargetable Static, Dynamic, and Hybrid Executable-Code Analysis. Acta Informatica Pragensia, 2013, vol. 2, no. 1, p. 18-29. ISSN: 1805-4951.
    Detail | WWW

    KŘOUSTEK, J.; KOLÁŘ, D. Preprocessing of Binary Executable Files Towards Retargetable Decompilation. In 8th International Multi-Conference on Computing in the Global Information Technology (ICCGI'13). Nice: International Academy, Research, and Industry Association, 2013. p. 259-264. ISBN: 978-1-61208-283-7.
    Detail | WWW

  • 2012

    KVĚTOŇOVÁ, Š.; KOLÁŘ, D. People Transfer in City Transport Modeled via CPN. In Computer Aided Systems Theory - EUROCAST 2011. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2012. p. 192-199. ISBN: 978-3-642-27548-7.
    Detail

    KŘOUSTEK, J.; KOLÁŘ, D. Object-File-Format Description Language and Its Usage in Retargetable Decompilation. In AIP Conference Proceedings. AIP Conference Proceedings. Kos: American Institute of Physics, 2012. p. 466-469. ISBN: 978-0-7354-1091-6. ISSN: 1551-7616.
    Detail | WWW

    ĎURFINA, L.; KOLÁŘ, D. C Source Code Obfuscator. Kybernetika, 2012, vol. 48, no. 3, p. 0-0. ISSN: 0023-5954.
    Detail | WWW

    KŘOUSTEK, J.; MATULA, P.; KONČICKÝ, J.; KOLÁŘ, D. Accurate Retargetable Decompilation Using Debug Information. In Proceedings of the Sixth International Conference on Emerging Security Information, Systems and Technologies (SECURWARE'12). Rome: International Academy, Research, and Industry Association, 2012. p. 79-84. ISBN: 978-1-61208-209-7.
    Detail

  • 2011

    KVĚTOŇOVÁ, Š.; KOLÁŘ, D. People Transfer in City Transport Modeled via CPN. In Proceedings of the 13th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: The Universidad de Las Palmas de Gran Canaria, 2011. p. 106-107. ISBN: 978-84-693-9560-8.
    Detail

    ĎURFINA, L.; KŘOUSTEK, J.; ZEMEK, P.; KOLÁŘ, D.; HRUŠKA, T.; MASAŘÍK, K.; MEDUNA, A. Design of a Retargetable Decompiler for a Static Platform-Independent Malware Analysis. In The 5th International Conference on Information Security and Assurance. Communications in Computer and Information Science, Volume 200. Brno: Springer Verlag, 2011. p. 72-86. ISBN: 978-3-642-23140-7.
    Detail | WWW

    ĎURFINA, L.; KŘOUSTEK, J.; ZEMEK, P.; KOLÁŘ, D.; HRUŠKA, T.; MASAŘÍK, K.; MEDUNA, A. Design of a Retargetable Decompiler for a Static Platform-Independent Malware Analysis. International Journal of Security and Its Applications, 2011, vol. 5, no. 4, p. 91-106. ISSN: 1738-9976.
    Detail

    ĎURFINA, L.; KŘOUSTEK, J.; ZEMEK, P.; KOLÁŘ, D.; HRUŠKA, T.; MASAŘÍK, K.; MEDUNA, A. Advanced Static Analysis for Decompilation Using Scattered Context Grammars. In Proceedings of the Applied Computing Conference 2011 (ACC'11). Angers: World Scientific and Engineering Academy, 2011. p. 164-169. ISBN: 978-1-61804-051-0.
    Detail

    KVĚTOŇOVÁ, Š.; KOLÁŘ, D. Simulation of Petri Nets in Scattered Context Grammars. In Proceedings of the International Conference on Communication, Computing and Control Applications. Tunisia: HyperSciences Publisher, 2011. p. 1-5. ISBN: 978-1-4244-9796-6.
    Detail

    JIRÁK, O.; KOLÁŘ, D. Comparison of Classical and Lazy Approach in SCG Compiler. In NUMERICAL ANALYSIS AND APPLIED MATHEMATICS ICNAAM 2011: International Conference on Numerical Analysis and Applied Mathematics. AIP Conference Proceedings. Halkidiki: American Institute of Physics, 2011. p. 873-876. ISBN: 978-0-7354-0956-9. ISSN: 1551-7616.
    Detail | WWW

    ĎURFINA, L.; KOLÁŘ, D. Generic detection of register realignment. In AIP Conference Proceedings. AIP Conference Proceedings. Kassandra, Halkidiki: American Institute of Physics, 2011. p. 806-809. ISBN: 978-0-7354-0956-9. ISSN: 1551-7616.
    Detail | WWW

    PŘIKRYL, Z.; KŘOUSTEK, J.; HRUŠKA, T.; KOLÁŘ, D. Fast Translated Simulation of ASIPs. OpenAccess Series in Informatics (OASIcs), 2011, vol. 16, no. 1, p. 93-100. ISSN: 2190-6807.
    Detail | WWW

    PŘIKRYL, Z.; KŘOUSTEK, J.; HRUŠKA, T.; KOLÁŘ, D.; MASAŘÍK, K.; HUSÁR, A. Design and Simulation of High Performance Parallel Architectures Using the ISAC Language. GSTF International Journal on Computing, 2011, vol. 1, no. 2, p. 97-106. ISSN: 2010-2283.
    Detail | WWW

    KŘOUSTEK, J.; PŘIKRYL, Z.; KOLÁŘ, D.; HRUŠKA, T. Retargetable Multi-level Debugging in HW/SW Codesign. In The 23rd International Conference on Microelectronics (ICM 2011). Hammamet: Institute of Electrical and Electronics Engineers, 2011. p. 1-6. ISBN: 978-1-4577-2209-7.
    Detail | WWW

    PŘIKRYL, Z.; KŘOUSTEK, J.; HRUŠKA, T.; KOLÁŘ, D. Fast Just-In-Time Translated Simulator for ASIP Design. In 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Cottbus: IEEE Computer Society, 2011. p. 279-282. ISBN: 978-1-4244-9753-9.
    Detail

    ĎURFINA, L.; KŘOUSTEK, J.; ZEMEK, P.; KOLÁŘ, D.; HRUŠKA, T.; MASAŘÍK, K.; MEDUNA, A. Design of an Automatically Generated Retargetable Decompiler. In 2nd European Conference of COMPUTER SCIENCE (ECCS'11). Puerto De La Cruz, Tenerife: North Atlantic University Union, 2011. p. 199-204. ISBN: 978-1-61804-056-5.
    Detail

    KŘOUSTEK, J.; ŽIDEK, S.; KOLÁŘ, D.; MEDUNA, A. Scattered Context Grammars with Priority. International Journal of Advanced Research in Computer Science, 2011, vol. 2, no. 4, p. 1-6. ISSN: 0976-5697.
    Detail

  • 2010

    KOLÁŘ, D.; KVĚTOŇOVÁ, Š. COMPARISON OF FORMAL MODELS FOR PROCESSES WITH SCATTERED INTER-DEPENDENCIES. In Proceedings of The European Simulation and Modelling Conference - ESM'2010. Ghent: EUROSIS, 2010. p. 23-26. ISBN: 978-90-77381-57-1.
    Detail

    HUSÁR, A.; TRMAČ, M.; HRANÁČ, J.; HRUŠKA, T.; MASAŘÍK, K.; KOLÁŘ, D.; PŘIKRYL, Z. Automatic C Compiler Generation from Architecture Description Language ISAC. In 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2010. p. 84-91. ISBN: 978-80-87342-10-7.
    Detail

    KVĚTOŇOVÁ, Š.; KOLÁŘ, D. Process Modeling & Optimization of Complex Systems by Scattered Context Grammars. In Proceedings of the International Conference on Engineering Computational Technology. Kippen: Civil-Comp Press, 2010. p. 1-12. ISBN: 978-1-905088-39-3.
    Detail

    PŘIKRYL, Z.; KŘOUSTEK, J.; HRUŠKA, T.; KOLÁŘ, D.; MASAŘÍK, K.; HUSÁR, A. Design and Debugging of Parallel Architectures Using the ISAC Language. In Proceedings ot the Annual International Conference on Advanced Distributed and Parallel Computing and Real-Time and Embedded Systems. Singapore: Global Science & Technology Forum, 2010. p. 213-221. ISBN: 978-981-08-7656-2.
    Detail

    PŘIKRYL, Z.; KŘOUSTEK, J.; HRUŠKA, T.; KOLÁŘ, D. Fast Translated Simulation of ASIPs. In 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2010. p. 135-142. ISBN: 978-80-87342-10-7.
    Detail

    KŘOUSTEK, J.; ŽIDEK, S.; KOLÁŘ, D.; MEDUNA, A. Exploitation of Scattered Context Grammars to Model VLIW Instruction Constraints. In Proceedings of the 12th Biennial Baltic Electronics Conference. Tallinn: Institute of Electrical and Electronics Engineers, 2010. p. 165-168. ISBN: 978-1-4244-7357-1.
    Detail | WWW

  • 2009

    KOLÁŘ, D. Exploitation of Scattered Context Grammars to Model Constraints between Components. In Proceedings of 31st Autumn International Colloqium ASIS 2009, Advanced Simulation of Systems. Ostrava: 2009. p. 13-18. ISBN: 978-80-86840-47-5.
    Detail

    ŠKARVADA, L.; PETERKA, O.; RYŠAVÝ, O.; KOLÁŘ, D. A Calculus of Coercive Subtyping. In Draft Proceedings of the 21st International Symposium on Implementation and Application of Functional Languages. SHU-TR-CS-2009-09-01. South Orange: Seton Hall University, 2009. p. 182-192.
    Detail | WWW

    JIRÁK, O.; KOLÁŘ, D. Derivation in Scattered Context Grammar via Lazy Function Evaluation. In Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09). OpenAccess Series in Informatics (OASIcs). Wadern: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2009. p. 1-10. ISBN: 978-3-939897-15-6. ISSN: 2190-6807.
    Detail | WWW

    JIRÁK, O.; KOLÁŘ, D. Derivation in Scattered Context Grammar via Lazy Function Evaluation. In 5th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2009. p. 118-125. ISBN: 978-80-87342-04-6.
    Detail

    KVĚTOŇOVÁ, Š.; KOLÁŘ, D. Project plan formalisation and modelling via timed coloured Petri nets. International Journal of Computer Aided Engineering and Technology, 2009, vol. 2009, no. 4, p. 388-399. ISSN: 1757-2665.
    Detail

    KVĚTOŇOVÁ, Š.; KOLÁŘ, D. Optimization of Car Repair Processes by Scattered Context Grammars Application. In The 2009 European Simulation and Modelling Conference. Ghent: EUROSIS, 2009. p. 146-149. ISBN: 978-90-77381-52-6.
    Detail

  • 2008

    HRUŠKA, T.; KOLÁŘ, D.; LUKÁŠ, R.; ZÁMEČNÍKOVÁ, E. Two-Way Coupled Finite Automaton and Its Usage in Translators. In New Aspects of Circuits. WSEAS Applied Informatics & Communications. Heraklion: World Scientific and Engineering Academy, 2008. p. 445-449. ISBN: 978-960-6766-82-4. ISSN: 1790-5117.
    Detail

    KOLÁŘ, D.; KVĚTOŇOVÁ, Š. Seamless Simplification of Timed-CPN in Project Plan Formalization. In 3rd IFIP Central and Eastern European Conference on Software Engineering Techniques CEE-SET 2008. Wroclaw: Wroclaw University of Technology, 2008. p. 29-39. ISBN: 978-83-7493-421-3.
    Detail

    KOLÁŘ, D.; KVĚTOŇOVÁ, Š. Project Plan Formalization and Modeling via Timed CPN. In Proceedings of the 6th Industrial Simulation Conference - ISC´08. Ostend: EUROSIS, 2008. p. 34-39. ISBN: 978-90-77381-40-3.
    Detail

    KOLÁŘ, D.; KVĚTOŇOVÁ, Š. Timed Coloured Petri Nets Use in Project Management Formalization Domain. In Proceedings of 23th European Simulation and Modelling Conference ESM'2008. France: EUROSIS, 2008. p. 473-478. ISBN: 978-90-77381-44-1.
    Detail

    JIRÁK, O.; KOLÁŘ, D. Control Flow Graph Retrieval and Analysis via Simulation. In MOSIS '08. Ostrava: 2008. p. 67-74. ISBN: 978-80-86840-40-6.
    Detail

    KOLÁŘ, D.; ČERNÝ, S. Component Technologies in Virtual Laboratory Framework. In 3rd IFIP Central and Eastern European Conference on Software Engineering Techniques CEE-SET 2008. Wroclaw: Wroclaw University of Technology, 2008. p. 179-188. ISBN: 978-83-7493-421-3.
    Detail

    KOLÁŘ, D. Scattered Context Grammars Parsers. In Proceedings of the 14th International Congress of Cybernetics and Systems of WOCS. Wroclaw: Wroclaw University of Technology, 2008. p. 491-500. ISBN: 978-83-7493-400-8.
    Detail

  • 2007

    KOLÁŘ, D.; BLIŽŇÁK, M. Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/třetí část/). AT& P Journal, 2007, vol. 07, no. 02, p. 57-58. ISSN: 1335- 2237.
    Detail

    KOLÁŘ, D.; BLIŽŇÁK, M. Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/druhá část/). AT& P Journal, 2007, vol. 07, no. 01, p. 57-58. ISSN: 1335- 2237.
    Detail

    KŘIVKA, Z.; KOLÁŘ, D.; SCHÖNECKER, R. Component- based Design of Embedded Systems with FPGA Support. In Proceedings of XXIXth International Autumn Colloquium Advanced Simulation of Systems. Ostrava: 2007. p. 167-172. ISBN: 978-80-86840-34- 5.
    Detail

    MASAŘÍK, K., HRUŠKA, T., KOLÁŘ, D., LUKÁŠ, R. Roční zpráva 2007 projektu FT-TA3/ 128 Jazyk a vývojové prostředí pro návrh mikroprocesoru. Brno: Ústav informačních systémů FIT VUT v Brně, 2007. p. 1-31.
    Detail

  • 2006

    KOLÁŘ, D.; BLIŽŇÁK, M. Formal-method-based Software Development Applied on Embedded Systems: Basic concepts. In 17th International DAAAM Symposium 2006. Vienna: 2006. p. 45-46. ISBN: 3-901509-57- 7.
    Detail

    MASAŘÍK, K.; HRUŠKA, T.; KOLÁŘ, D. Language and Development Environment For Microprocessor Design Of Embedded Systems. In Proceedings of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2006. Brno: Faculty of Electrical Engineering and Communication BUT, 2006. p. 120-125. ISBN: 80-214-3130- X.
    Detail

    KOLÁŘ, D.; STRUŽKA, P. Formal Views on Rapid Application Development with Processor Expert. In Sborník příspěvků z XXVIII. konference EurOpen.CZ, 21.-24. května 2006. Plzeň: Czech Open Systems User' s Group, 2006. p. 107-118. ISBN: 80-86583-10- 4.
    Detail

    KOLÁŘ, D.; BLIŽŇÁK, M. Formal-method-based Software Development Applied on Embedded Systems: Platform- independent Source Code. In Conference Proceedings of MITIP. Budapest: 2006. p. 487-492. ISBN: 963-86586-5- 7.
    Detail

    KOLÁŘ, D.; STRUŽKA, P. Creation of 3D Environmental Model on Embedded System. In VIII. Medzinárodná vedecká konferencia mladých 2006. Zvolen: Technical University in Zvolen, 2006. p. 227-234. ISBN: 80-228-1596- 9.
    Detail

    KOLÁŘ, D.; BLIŽŇÁK, M. Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/první část/). AT& P Journal, 2006, vol. 06, no. 12, p. 69-70. ISSN: 1335- 2237.
    Detail

  • 2005

    KOLÁŘ, D., MEDUNA, A. Regulated Automata: From Theory towards Applications. In Proceeding of 8th International Conference on Information Systems Implementation and Modelling ISIM' 05. 1st edition. Ostrava: 2005. p. 33-48. ISBN: 80-86840-09- 3.
    Detail

    MASAŘÍK, K., HRUŠKA, T., KOLÁŘ, D., LUKÁŠ, R. System for design and simulation of microprocessors. In Proceedings of 8th Spring International Conference - ISIM' 05. Ostrava: 2005. p. 269-276. ISBN: 80-86840-09- 3.
    Detail

    LUKÁŠ, R., HRUŠKA, T., KOLÁŘ, D., MASAŘÍK, K. Two- Way Deterministic Translation and Its Usage in Practice. In Proceedings of the 8th Spring International Conference - ISIM' 05. Ostrava, CZ: MARQ, 2005. p. 101 ( p.)ISBN: 80-86840-09- 3.
    Detail

  • 2004

    KOLÁŘ, D., ČERNÝ, S. Evolution of Software for Embedded Systems in Processort Expert. In Proceedings of Eleventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, ECBS 2004. Los Alamitos, CA: IEEE Computer Society, 2004. p. 419-422. ISBN: 0-7695-2125- 8.
    Detail

    KOLÁŘ, D. Simulation of LLk Parsers with Wide Context by Automaton with One- Symbol Reading Head. In Proceedings of 38th International Conference MOSIS '04 - Modelling and Simulation of Systems. Ostrava: 2004. p. 347-354. ISBN: 80-85988-98- 4.
    Detail

  • 2002

    KOLÁŘ, D., MEDUNA, A. Homogenous Grammars with a Reduced Number of Non-Context- Free Productions. Information Processing Letters, 2002, vol. 2002, no. 81, p. 253-257. ISSN: 0020- 0190.
    Detail

    MEDUNA, A., KOLÁŘ, D. One- Turn Regulated Pushdown Automata and Their Reduction. Fundamenta Informaticae, 2002, vol. 2002, no. 16, p. 399-405. ISSN: 0169- 2968.
    Detail

    KOLÁŘ, D. Postrelační databáze. Učební texty pro předmět PRD, obor VTI, předmět PDS, obor IT. Brno: Fakulta informačních technologií VUT v Brně, 2002. p. 0 ( p.)
    Detail

  • 2000

    KOLÁŘ, D., MEDUNA, A. Regulated Pushdown Automata. Acta Cybernetica, 2000, vol. 2000, no. 4, p. 653-664. ISSN: 0324- 721X.
    Detail

*) Publications are generated once a 24 hours.