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

2012Ďurfina, L., Kolář, D.: C Source Code Obfuscator, In: Kybernetika, Vol. 48, No. 3, 2012, CZ, p. 8, ISSN 0023-5954
 Ďurfina, L., Křoustek, J., Zemek, P., Kábele, B., Kolář, D.: On Complex Reconstruction of Functions from Binary Executable Files, In: 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, MUNI, 2012, p. 100-101, ISBN 978-80-87342-15-2
 Křoustek, J., Kolář, D.: Object-File-Format Description Language and Its Usage in Retargetable Decompilation, In: AIP Conference Proceedings, Kos, GR, AIP, 2012, p. 466-469, ISBN 978-0-7354-1091-6, ISSN 1551-7616
 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, IT, IARIA, 2012, p. 79-84, ISBN 978-1-61208-209-7
 Květoňová, Š., Kolář, D.: People Transfer in City Transport Modeled via CPN, In: Computer Aided Systems Theory - EUROCAST 2011, Heidelberg, DE, Springer, 2012, p. 192-199, ISBN 978-3-642-27548-7
2011Ďurfina, L., Kolář, D.: C Source Code Obfuscator, In: Book of Abstracts ISCAMI 2011, Malenovice, CZ, OU, 2011, p. 1
 Ďurfina, L., Kolář, D.: Generic detection of register realignment, In: AIP Conference Proceedings, Kassandra, Halkidiki, GR, AIP, 2011, p. 806-809, ISBN 978-0-7354-0956-9, ISSN 1551-7616
 Ď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, FR, WSEAS, 2011, p. 164-169, ISBN 978-1-61804-051-0
 Ď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, Brno, CZ, Springer, 2011, p. 72-86, ISBN 978-3-642-23140-7
 Ď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: 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, MUNI, 2011, p. 114-114, ISBN 978-80-214-4305-1
 Ď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: International Journal of Security and Its Applications, Vol. 5, No. 4, 2011, Daejeon, KR, p. 91-106, ISSN 1738-9976
 Ď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, ES, NAUN, 2011, p. 199-204, ISBN 978-1-61804-056-5
 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, Halkidiki, GR, AIP, 2011, p. 873-876, ISBN 978-0-7354-0956-9, ISSN 1551-7616
 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, TN, IEEE, 2011, p. 1-6, ISBN 978-1-4577-2209-7
 Křoustek, J., Židek, S., Kolář, D., Meduna, A.: Scattered Context Grammars with Priority, In: International Journal of Advanced Research in Computer Science, Vol. 2, No. 4, 2011, Udaipur, IN, p. 1-6, ISSN 0976-5697
 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, ES, IUCTC, 2011, p. 106-107, ISBN 978-84-693-9560-8
 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, TN, HyperSciences Publisher, 2011, p. 1-5, ISBN 978-1-4244-9796-6
 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, In: GSTF International Journal on Computing, Vol. 1, No. 2, 2011, Singapur, SG, p. 97-106, ISSN 2010-2283
 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, DE, IEEE CS, 2011, p. 279-282, ISBN 978-1-4244-9753-9
 Přikryl, Z., Křoustek, J., Hruška, T., Kolář, D.: Fast Translated Simulation of ASIPs, In: OpenAccess Series in Informatics (OASIcs), Vol. 16, No. 1, 2011, Wadern, DE, p. 93-100, ISSN 2190-6807
2010Husá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, CZ, MUNI, 2010, p. 84-91, ISBN 978-80-87342-10-7
 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, BE, EUROSIS, 2010, p. 23-26, ISBN 978-90-77381-57-1
 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, EE, IEEE, 2010, p. 165-168, ISBN 978-1-4244-7357-1
 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, GB, Civil-Comp Press, 2010, p. 1-12, ISBN 978-1-905088-39-3
 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, SG, GSTF, 2010, p. 213-221, ISBN 978-981-08-7656-2
 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, CZ, MUNI, 2010, p. 135-142, ISBN 978-80-87342-10-7
2009Jirá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, CZ, MUNI, 2009, p. 118-125, ISBN 978-80-87342-04-6
 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), Wadern, DE, DROPS, 2009, p. 10, ISBN 978-3-939897-15-6, ISSN 2190-6807
 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, CZ, MARQ, 2009, p. 13-18, ISBN 978-80-86840-47-5
 Květoňová, Š., Kolář, D.: Optimization of Car Repair Processes by Scattered Context Grammars Application, In: The 2009 European Simulation and Modelling Conference, Ghent, BE, EUROSIS, 2009, p. 146-149, ISBN 978-90-77381-52-6
 Květoňová, Š., Kolář, D.: Project plan formalisation and modelling via timed coloured Petri nets, In: International Journal of Computer Aided Engineering and Technology, Vol. 2009, No. 4, CH, p. 388-399, ISSN 1757-2665
 Š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, South Orange, US, SHU, 2009, p. 182-192
2008Hruš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, Heraklion, GR, WSEAS, 2008, p. 445-449, ISBN 978-960-6766-82-4, ISSN 1790-5117
 Jirák, O., Kolář, D.: Control Flow Graph Retrieval and Analysis via Simulation, In: MOSIS '08, Ostrava, CZ, MARQ, 2008, p. 67-74, ISBN 978-80-86840-40-6
 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, PL, PWR WROC, 2008, p. 179-188, ISBN 978-83-7493-421-3
 Kolář, D., Květoňová, Š.: Project Plan Formalization and Modeling via Timed CPN, In: Proceedings of the 6th Industrial Simulation Conference - ISC´08, Ostend, BE, EUROSIS, 2008, p. 34-39, ISBN 978-90-77381-40-3
 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, PL, PWR WROC, 2008, p. 29-39, ISBN 978-83-7493-421-3
 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, FR, EUROSIS, 2008, p. 473-478, ISBN 978-90-77381-44-1
 Kolář, D.: Scattered Context Grammars Parsers, In: Proceedings of the 14th International Congress of Cybernetics and Systems of WOCS, Wroclaw, PL, PWR WROC, 2008, p. 491-500, ISBN 978-83-7493-400-8
2007Kolář, D., Bližňák, M.: Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/druhá část/), In: AT&P Journal, Vol. 07, No. 01, 2007, CZ, p. 57-58, ISSN 1335-2237
 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/), In: AT&P Journal, Vol. 07, No. 02, 2007, CZ, p. 57-58, ISSN 1335-2237
 Kolář, D., Křivka, Z., Schönecker, R.: Component-based Design of Embedded Systems with FPGA Support, In: Proceedings of XXIXth International Autumn Colloquium Advanced Simulation of Systems, Ostrava, CZ, MARQ, 2007, p. 167-172, ISBN 978-80-86840-34-5
 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, CZ, UIFS FIT VUT, 2007, p. 1-31
2006Bližňák, M., Kolář, D.: Formal-method-based Software Development Applied on Embedded Systems: Basic concepts, In: 17th International DAAAM Symposium 2006, Vienna, AT, 2006, p. 45-46, ISBN 3-901509-57-7
 Bližňák, M., Kolář, D.: Formal-method-based Software Development Applied on Embedded Systems: Platform-independent Source Code, In: Conference Proceedings of MITIP, Budapest, HU, 2006, p. 487-492, ISBN 963-86586-5-7
 Kolář, D., Bližňák, M.: Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/první část/), In: AT&P Journal, Vol. 06, No. 12, 2006, CZ, p. 69-70, ISSN 1335-2237
 Kolář, D., Stružka, P.: Creation of 3D Environmental Model on Embedded System, In: VIII. Medzinárodná vedecká konferencia mladých 2006, Zvolen, SK, TU Zvolen, 2006, p. 227-234, ISBN 80-228-1596-9
 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ň, CZ, EurOpen.CZ, 2006, p. 107-118, ISBN 80-86583-10-4
 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, CZ, FEKT VUT, 2006, p. 120-125, ISBN 80-214-3130-X
2005Kolář, D., Meduna, A.: Regulated Automata: From Theory towards Applications, In: Proceeding of 8th International Conference on Information Systems Implementation and Modelling ISIM'05, Ostrava, CZ, MARQ, 2005, p. 33-48, ISBN 80-86840-09-3
 Kolář, D.: Pushdown Automata: Another Extensions and Transformations, Brno, CZ, FIT VUT, 2005, p. 76
 Lukáš, R., Hruška, T., Kolář, D., Masařík, K.: Two-Way Deterministic Translation and Its Usage in Practice, In: Proceedings of 8th Spring International Conference - ISIM'05, Ostrava, CZ, MARQ, 2005, p. 101-107, ISBN 80-86840-09-3
 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, CZ, MARQ, 2005, p. 269-276, ISBN 80-86840-09-3

Show all publications

Your IPv4 address: 54.224.79.93
Switch to IPv6 connection

DNSSEC [dnssec]