Ing.

Radek Kočí

Ph.D.

FIT – assistant professor

+420 54114 1171
koci@fit.vutbr.cz

Send BUT message

Ing. Radek Kočí, Ph.D.

Publications

  • 2020

    KOČÍ, R.; ROZMAN, J.; ZBOŘIL, F. Database Concept for Transcription of Registry Records into Digital Form. In Proceedings of the 3rd International Conference on Software Engineering and Information Management - ICSIM'20. Sydney: Association for Computing Machinery, 2020. p. 21-25. ISBN: 978-1-4503-7690-7.
    Detail | WWW

  • 2019

    KOČÍ, R.; JANOUŠEK, V. Incorporating Petri Nets into DEVS Formalism for Precise System Modeling. In 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 | WWW

    KOČÍ, R.; JANOUŠEK, V. Possibilities of the Reverse Run of Software Systems Modeled by Petri Nets. International Journal on Advances in Software, 2019, vol. 12, no. 3, p. 191-200. ISSN: 1942-2628.
    Detail | WWW

    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

    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 | WWW

    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 | WWW

  • 2017

    KOČÍ, R.; JANOUŠEK, V. Validation of Specification Models Based on Petri Nets. In Software Engineering Advances. Ateny: Xpert Publishing Services, 2017. p. 232-237. ISBN: 978-1-61208-590-6.
    Detail | WWW

    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

  • 2016

    KOČÍ, R.; JANOUŠEK, V. Modeling System Requirements Using Use Cases and Petri Nets. In ThinkMind ICSEA 2016, The Eleventh International Conference on Software Engineering Advances. Řím: Xpert Publishing Services, 2016. p. 160-165. ISBN: 978-1-61208-498-5.
    Detail | WWW

  • 2015

    FIALA, J.; KOČÍ, R. Computer as Therapy in role of alternative and augmentative communication. In Proceedings of 4th International Conference on Advanced in Computing and Emerging E-Learning Technology. Singapore: 2015. p. 34-42.
    Detail | WWW

    KOČÍ, R.; JANOUŠEK, V. The Object Oriented Petri Net Component Model. In The Tenth International Conference on Software Engineering Advances. Barcelona: Xpert Publishing Services, 2015. p. 18-24. ISBN: 978-1-61208-438-1.
    Detail | WWW

    RICHTA, T.; JANOUŠEK, V.; KOČÍ, R. Dynamic Software Architecture for Distributed Embedded Control Systems. In ADECS '15. CEUR Workshop Proceedings. CEUR Workshop Proceedings. Bruxelles: CEUR-WS.org, 2015. p. 1-15. ISBN: 1-234-56789-X. ISSN: 1613-0073.
    Detail

  • 2014

    KOČÍ, R.; JANOUŠEK, V. Formal Models in Software Development and Deployment: A Case Study. International Journal on Advances in Software, 2014, vol. 7, no. 1, p. 266-276. ISSN: 1942-2628.
    Detail | WWW

    KOČÍ, R.; JANOUŠEK, V. System Composition Using Petri Nets and DEVS Formalisms. In The Ninth International Conference on Software Engineering Advances. Nice: Xpert Publishing Services, 2014. p. 309-315. ISBN: 978-1-61208-367-4.
    Detail | WWW

    FIALA, J.; KOČÍ, R. Počítačová terapie jako koncept nové formy terapie pro osoby s mentálním postižením: teorie i praxe. Journal of Technology and Information Education. Univerzita Palackého v Olomouci AM, 2014, vol. 6, no. 1, p. 89-103. ISSN: 1803-537X.
    Detail | WWW

  • 2013

    RICHTA, T.; JANOUŠEK, V.; KOČÍ, R. Petri Nets-Based Development of Dynamically Reconfigurable Embedded Systems. CEUR Workshop Proceedings, 2013, vol. 2013, no. 989, p. 203-217. ISSN: 1613-0073.
    Detail

    KOČÍ, R.; JANOUŠEK, V. Object Oriented Petri Nets in Software Development and Deployment. In ICSEA 2013, The Eighth International Conference on Software Engineering Advances. Venice: Xpert Publishing Services, 2013. p. 485-490. ISBN: 978-1-61208-304-9.
    Detail | WWW

  • 2012

    RICHTA, T.; JANOUŠEK, V.; KOČÍ, R. Code Generation For Petri Nets-Specified Reconfigurable Distributed Control Systems. In Proceedings of 15th International Conference on Mechatronics - Mechatronika 2012. Praha: Faculty of Electrical Engineering, Czech Technical University, 2012. p. 263-269. ISBN: 978-80-01-04985-3.
    Detail

    KOČÍ, R.; JANOUŠEK, V. Specification of UML Classes by Object Oriented Petri Nets. In ICSEA 2012, The Seventh International Conference on Software Engineering Advances. Lisbon: Xpert Publishing Services, 2012. p. 361-366. ISBN: 978-1-61208-230-1.
    Detail | WWW

    KOČÍ, R.; JANOUŠEK, V. Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study. CEUR Workshop Proceedings, 2012, vol. 851, no. 06, p. 253-266. ISSN: 1613-0073.
    Detail | WWW

    ŽÁK, J.; HORÁČEK, J.; ZBOŘIL, F.; KOČÍ, R.; KRÁL, J. JADE Agents Used for Wireless Sensors Control: System Based on Services. In Proceedings of the 2012 12th International Conference on Intelligent Systems Design and Applications (ISDA). Kochi (Cochin): Institute of Electrical and Electronics Engineers, 2012. p. 252-257. ISBN: 978-1-4673-5118-8.
    Detail

  • 2011

    HANÁČEK, P.; HRUBÝ, M.; KOČÍ, R.; ZBOŘIL, F. Audiovizuální technika ve výuce. In Sborník informatika 2011. Brno: Mendelova univerzita v Brně, 2011. p. 31-32. ISBN: 978-80-7375-520-1.
    Detail

    KOČÍ, R.; JANOUŠEK, V. On the Simulation-Based Development of Systems Using Petri Nets. In Proceedings of the 13th International Conference on Computer Aided Systems Theory. Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2011. p. 1-2. ISBN: 978-84-693-9560-8.
    Detail

    KOČÍ, R.; JANOUŠEK, V. Towards Design Method Based on Formalisms of Petri Nets, DEVS, and UML. In ICSEA 2011, The Sixth International Conference on Software Engineering Advances. Barcelona: Xpert Publishing Services, 2011. p. 299-304. ISBN: 978-1-61208-165-6.
    Detail

    ŽÁK, J.; HORÁČEK, J.; ZBOŘIL, F.; KOČÍ, R.; GÁBOR, M. Remote controling and monitoring tool for wireless sensor network using WSageNt platform. In Proceeding of the 2nd International Conference on Computer Modelling and Simulation. Brno: Department of Intelligent Systems FIT BUT, 2011. p. 1-8. ISBN: 978-80-214-4320-4.
    Detail

  • 2010

    ŽÁK, J.; ZBOŘIL, F.; KOČÍ, R.; JANOUŠEK, V. Connecting Jade with PN agent. In Proceedings of Seventh EUROSIM Congress on Modelling and Simulation. Vol. 2. Prague: Czech Technical University Publishing House, 2010. p. 97-105. ISBN: 978-80-01-04589-3.
    Detail | WWW

    KOČÍ, R.; ZBOŘIL, F.; ŽÁK, J. Integrating Multiple Modeling and Development Tools for Realization of Distributed Intelligent System. In Proceedings of the 10th International Conference on Intelligent Systems Design and Applications. Cairo: IEEE Computer Society, 2010. p. 658-663. ISBN: 978-1-4244-8135-4.
    Detail

    KOČÍ, R.; JANOUŠEK, V. OOPN and DEVS Formalisms for System Specification and Analysis. In The Fifth International Conference on Software Engineering Advances. Los Alamitos: IEEE Computer Society, 2010. p. 305-310. ISBN: 978-0-7695-4144-0.
    Detail

    KOČÍ, R.; JANOUŠEK, V.; ZBOŘIL, F. Object Oriented Petri Nets - Modelling Techniques Case Study. International Journal of Simulation Systems, Science & Technology, 2010, vol. 10, no. 3, p. 32-44. ISSN: 1473-8031.
    Detail

    ZBOŘIL, F.; HANÁČEK, P.; HRUBÝ, M.; KOČÍ, R. Zapojení studentů do výzkumu. In Informatika 2010. Brno: Mendelova univerzita v Brně, 2010. p. 139-140. ISBN: 978-80-7375-394-8.
    Detail

  • 2009

    KOČÍ, R.; JANOUŠEK, V. Simulation Based Design of Control Systems using DEVS and Petri Nets. In Computer Aided Systems Theory. Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2009. p. 291-292. ISBN: 978-84-691-8502-5.
    Detail

    MAZAL, Z.; KOČÍ, R.; JANOUŠEK, V.; ZBOŘIL, F. Modelling intelligent agents for autonomic computing in the PNagent framework. International Journal of Autonomic Computing, 2009, vol. 1, no. 2, p. 121-139. ISSN: 1741-8569.
    Detail

    ZBOŘIL, F.; JANOUŠEK, V.; KOČÍ, R.; MAZAL, Z.; ZBOŘIL, F. Framework for model-based design of mullti-agent systems. International Journal of Autonomic Computing, 2009, vol. 1, no. 2, p. 140-162. ISSN: 1741-8569.
    Detail

    KOČÍ, R.; JANOUŠEK, V. On the Dynamic Features of PNtalk. In International Workshop on Petri Nets and Software Engineering 2009. Paříž: University of Pierre and Marie Curie, 2009. p. 189-206.
    Detail

    KOČÍ, R.; JANOUŠEK, V. Towards Simulation-Based Design of the Software Systems. In The Fourth International Conference on Software Engineering Advances. Los Alamitos: IEEE Computer Society, 2009. p. 452-457. ISBN: 978-1-4244-4779-4.
    Detail

    KOČÍ, R.; JANOUŠEK, V. Simulation Based Design of Control Systems Using DEVS and Petri Nets. In Computer Aided Systems Theory - EUROCAST 2009. Lecture Notes in Computer Science, Volume 5717. Berlin: Springer Verlag, 2009. p. 849-856. ISBN: 978-3-642-04771-8.
    Detail

  • 2008

    KOČÍ, R.; JANOUŠEK, V. System Design with Object Oriented Petri Nets Formalism. In The Third International Conference on Software Engineering Advances Proceedings ICSEA 2008. Los Alamitos: IEEE Computer Society, 2008. p. 421-426. ISBN: 978-0-7695-3372-8.
    Detail

    ZBOŘIL, F.; KOČÍ, R.; JANOUŠEK, V.; MAZAL, Z. Reactive Planning with Weak Plan Instances. In Proceedings of 8th ISDA. Los Alamitos: IEEE Computer Society, 2008. p. 643-648. ISBN: 978-0-7695-3382-7.
    Detail

    MAZAL, Z.; JANOUŠEK, V.; KOČÍ, R. Enhancing the PNtalk Language with Negative Predicates. In MOSIS '08. Ostrava: 2008. p. 28-34. ISBN: 978-80-86840-40-6.
    Detail

    KOČÍ, R.; JANOUŠEK, V.; ZBOŘIL, F. Object Oriented Petri Nets -- Modelling Techniques Case Study. In Second UKSIM European Symposium on Computer Modeling and Simulation. Liverpool: IEEE Computer Society, 2008. p. 165-170. ISBN: 978-0-7695-3325-4.
    Detail

    JANOUŠEK, V.; KOČÍ, R. The PNtalk/SmallDEVS Framework -- Meta-level Modeling Techniques. In Proceedings of CSE 2008 International Scientific Conference on Computer Science and Engineering. Košice: elfa, s.r.o., TU Kosice, 2008. p. 16-23. ISBN: 978-80-8086-092-9.
    Detail

    JANOUŠEK, V.; KOČÍ, R.; MAZAL, Z.; ZBOŘIL, F. PNagent: a Framework for Modelling BDI Agents using Object Oriented Petri Nets. In Proceedings of 8th ISDA. Los Alamitos: IEEE Computer Society, 2008. p. 420-425. ISBN: 978-0-7695-3382-7.
    Detail

    ZBOŘIL, F.; KOČÍ, R.; ZBOŘIL, F.; JANOUŠEK, V.; MAZAL, Z. T-Mass v.2, State of the Art. In Second UKSIM European Symposium on Computer Modeling and Simulation. Liverpool: IEEE Computer Society, 2008. p. 1-6. ISBN: 978-0-7695-3325-4.
    Detail

  • 2007

    JANOUŠEK, V.; KOČÍ, R. Embedding Object-Oriented Petri Nets into a DEVS- based Simulation Framework. In Proceedings of the 16th International Conference on System Science. volume 1. Wroclaw: Wroclaw University of Technology, 2007. p. 386-395. ISBN: 978-83-7493-339- 1.
    Detail

    JANOUŠEK, V.; KOČÍ, R.; ZBOŘIL, F. Towards Modeling Rational Agents with Object Oriented Petri Nets. In Proceedings of the Workshop on Petri Nets and Software Engineering. Siedlce: 2007. p. 244-245. ISBN: 978-83-7051-427- 3.
    Detail

    ZBOŘIL, F.; KOČÍ, R. Intention Structures Modelling Using Object Oriented Petri Nets. In Proceedings of the 7th ISDA. Los Alamitos: IEEE Computer Society, 2007. p. 33-38. ISBN: 0-7695-2976- 3.
    Detail

    KOČÍ, R.; MAZAL, Z.; ZBOŘIL, F.; JANOUŠEK, V. Modeling Deliberative Agents Using Object Oriented Petri Nets. In Proceedings of the 7th ISDA. Los Alamitos: IEEE Computer Society, 2007. p. 15-20. ISBN: 0-7695-2976- 3.
    Detail

    JANOUŠEK, V.; KOČÍ, R. Simulation and Design of Systems with Object Oriented Petri Nets. In Proceedings of the 6th EUROSIM Congress on Modelling and Simulation. Ljubljana: ARGE Simulation News, 2007. p. 1-9. ISBN: 978-3-901608-32- 2.
    Detail

  • 2006

    KOČÍ, R.; VINTERA, J. Modelování a simulace termického zpracování odpadu. In Proceedings of ASIS' 06. Ostrava: MARQ, 2006. p. 133-136. ISBN: 8086840263.
    Detail

    ČEŠKA, M.; JANOUŠEK, V.; KOČÍ, R.; KŘENA, B.; VOJNAR, T. PNtalk: State of the Art. In Proceedings of the Fourth International Workshop on Modelling of Objects, Components, and Agents. Hamburg: 2006. p. 301-307.
    Detail

    KOČÍ, R.; TURAKHODJAEVA, N. Modeling Workflow Using Object Oriented Petri Nets. In Proceedings of ASIS' 06. Ostrava: 2006. p. 127-132. ISBN: 8086840263.
    Detail

    JANOUŠEK, V.; KOČÍ, R. Formální modely a simulace ve vývoji softwarových systémů. In Proceedings of ASIS' 06. Ostrava: MARQ, 2006. p. 164-169. ISBN: 8086840263.
    Detail

  • 2005

    JANOUŠEK, V., KOČÍ, R. Towards Model- Based Design with PNtalk. In Proceedings of the International Workshop MOSMIC' 2005. Žilina: Faculty of management science and Informatics of Zilina University, 2005. p. 59-66. ISBN: 80-8070-468- 6.
    Detail

    JANOUŠEK, V., KOČÍ, R. PNtalk Project: Current Research Direction. In Simulation Almanac 2005. Praha: Faculty of Electrical Engineering, 2005. p. 50-62. ISBN: 8001033228.
    Detail

    KOČÍ, R., TURAKHODJAEVA, N. Workflow modeling with Petri nets in Workflow Management Systems. In Proceedings of MOSIS' 05. Ostrava: 2005. p. 120-127. ISBN: 80-86840-10- 7.
    Detail

    RÁBOVÁ, Z., HRUBÝ, M., KOČÍ, R. The Heterogeneous Modelling Methods and Tools. In Simulation Almanac 2005. Praha: Faculty of Electrical Engineering, 2005. p. 40-50. ISBN: 8001033228.
    Detail

  • 2004

    KOČÍ, R. Metody a nástroje pro implementaci otevřených simulačních systémů. Brno: 2004.
    Detail | WWW

    KOČÍ, R. Open Implementation of the Simulation Framework. In Proceedings of 38th International Conference MOSIS' 04. Ostrava: 2004. p. 73-80. ISBN: 80-85988-98- 4.
    Detail

    HRUBÝ, M., JANOUŠEK, V., KOČÍ, R. Vývoj pokročilých metod modelování a protypování komplikovaných systémů. In NETSS2004. Ostrava: MARQ, 2004. p. 103-108. ISBN: 80-85988-92- 5.
    Detail

    JANOUŠEK, V., KOČÍ, R. Towards an Open Implementation of the PNtalk System. In Proceedings of the 5th EUROSIM Congress on Modeling and Simulation. Proceedings of the 5th Eurosim Congress on, Modelling and Simulation. Paris: EUROSIM-FRANCOSIM- ARGESIM, 2004. p. 31-36. ISBN: 3-901608-28- 1.
    Detail

  • 2003

    KOČÍ, R. The Open Architecture of the PNtalk System. In Proceedings of the International Conference and Competition - Student EECIT 2003. Brno: Faculty of Electrical Engineering and Communication BUT, 2003. p. 358-362. ISBN: 80-214-2401- X.
    Detail

    JANOUŠEK, V., KOČÍ, R. PNtalk: Concurrent Language with MOP. In Proceedings of the CS&P' 2003 Workshop. Warsawa: Warsaw University, 2003. p. 271-282. ISBN: 83-88374-71- 0.
    Detail

    HRUBÝ, M., KOČÍ, R. Modern Simulation Techniques and Tools. In Proceedings of the International Workshop MOSMIC' 2003. Žilina: Fakulta riadenia a informatiky Žilinskej Univerzity v Žiline, 2003. p. 7-15. ISBN: 80-8070-139- 3.
    Detail

    KOČÍ, R., RÁBOVÁ, Z. Purposes of the PNtalk System. In Proceedings of International Conference MOSIS ' 03. Ostrava: 2003. p. 149-156. ISBN: 80-85988-86- 0.
    Detail | WWW

  • 2002

    JANOUŠEK, V., KOČÍ, R. PNtalk - An Open System for Prototyping and Simulation. In Proceedings of The 28th ASU Conference. ASU Newsletter. Brno: Faculty of Information Technology BUT, 2002. p. 133-146. ISSN: 1102- 593X.
    Detail | WWW

    KOČÍ, R., RÁBOVÁ, Z. The PNtalk System and Interoperability. In Proceedings of International Conference MOSIS ' 02. Vol. 1. Ostrava: 2002. p. 73-80. ISBN: 80-85988-71- 2.
    Detail

    HRUBÝ, M., KOČÍ, R., PERINGER, P., RÁBOVÁ, Z. Tools for Creating of Multimodels. Kybernetes: The International Journal of Systems Cybernetics, 2002, vol. 2002, no. 9, p. 1391-1400. ISSN: 0368- 492X.
    Detail

  • 2001

    KOČÍ, R. The PNtalk System - a Technique for Object Oriented Modelling. In Proceedings of XXIIIrd International Autumn Colloquium. Ostrava: 2001. p. 151-158. ISBN: 80-85988-61- 5.
    Detail | WWW

    KOČÍ, R. Prospects of the PNtalk system in the Smalltalk environment. In Proceedings of 7th Conference Student FEI 2001. Brno: Brno University of Technology, 2001. p. 338-342. ISBN: 80-214-1860- 5.
    Detail

    KOČÍ, R., VOJNAR, T. A PNtalk- based Model of a Cooperative Editor. In Proceedings of the 35th Spring International Conference on Modelling and Simulation of Systems -- MOSIS 2001. Hradec nad Moravicí, Czech Republic: 2001. p. 165-172. ISBN: 80-85988-57- 7.
    Detail | WWW

*) Publications are generated once a 24 hours.