Ing.

Radek Kočí

Ph.D.

Chairman

+420 54114 1171
senate@fit.vut.cz
koci@fit.vut.cz
A204 Office
3191/BUT personal ID

Publications

  • 2024

    VÍDEŇSKÝ František, ZBOŘIL František, BERAN Jan, KOČÍ Radek and ZBOŘIL František V. Comparing Variable Handling Strategies in BDI Agents: Experimental Study. In: Proceedings of the 16th International Conference on Agents and Artificial Intelligence - Volume 1. Rome: SciTePress - Science and Technology Publications, 2024, pp. 25-36. ISBN 978-989-758-680-4.
    Detail

  • 2023

    VÍDEŇSKÝ František, ZBOŘIL František, ZBOŘIL František V. and KOČÍ Radek. Operational Semantic of an AgentSpeak(L) Interpreter using Late Bindings. In: Proceedings of the 15th International Conference on Agents and Artificial Intelligence, Volume 1. Lisabon: SciTePress - Science and Technology Publications, 2023, pp. 173-180. ISBN 978-989-758-623-1.
    Detail

    KOČÍ Radek and JANOUŠEK Vladimír. Prerequisites for Simulation-Based Software Design and Deployment. In: ICSEA 2023 The Eighteenth International Conference on Software Engineering Advances. Porto: Xpert Publishing Services, 2023, pp. 105-109. ISBN 978-1-68558-098-8.
    Detail

  • 2022

    ZBOŘIL František, VÍDEŇSKÝ František, KOČÍ Radek and ZBOŘIL František V. Late Bindings in AgentSpeak(L). In: Proceedings of the 14th International Conference on Agents and Artificial Intelligence vol. 3. Lisabon: SciTePress - Science and Technology Publications, 2022, pp. 715-724. ISBN 978-989-758-547-0.
    Detail

    KOČÍ Radek and OSADSKÝ Lukáš. On the Applicability of ALF Language in Real Software Projects. In: ICSEA 2022, The Seventeenth International Conference on Software Engineering Advances . Lisbon: Xpert Publishing Services, 2022, pp. 102-107. ISBN 978-1-61208-997-3.
    Detail

  • 2021

    JANOUŠEK Vladimír and KOČÍ Radek. On the Model Continuity in Control Systems Design Using DEVS, UML, and IEC 61499. In: ICSEA 2021, The Sixteenth International Conference on Software Engineering Advances. Barcelona: Xpert Publishing Services, 2021, pp. 114-120. ISBN 978-1-61208-894-5.
    Detail

  • 2020

    KOČÍ Radek, ROZMAN Jaroslav and ZBOŘIL František. 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, pp. 21-25. ISBN 978-1-4503-7690-7.
    Detail

    KOČÍ Radek. Requirements Validation Through Scenario Generation and Comparison. In: The Fifteenth International Conference on Software Engineering Advances, ICSEA 2020. Porto: Xpert Publishing Services, 2020, pp. 129-134. ISBN 978-1-61208-827-3.
    Detail

  • 2019

    ZBOŘIL František, ROZMAN Jaroslav and KOČÍ Radek. Algorithmic creation of genealogical models. In: Proceedings of ISDA 2018. Advances in Intelligent Systems and Computing. Los Alamitos: Springer International Publishing, 2019, pp. 650-658. ISBN 978-3-030-16659-5. ISSN 2194-5357.
    Detail

    KOČÍ Radek and JANOUŠEK Vladimír. 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, pp. 184-189. ISBN 978-1-61208-752-8.
    Detail

    KOČÍ Radek and JANOUŠEK Vladimír. Possibilities of the Reverse Run of Software Systems Modeled by Petri Nets. International Journal on Advances in Software, vol. 12, no. 3, 2019, pp. 191-200. ISSN 1942-2628.
    Detail

  • 2018

    ROZMAN Jaroslav, ZBOŘIL František and KOČÍ Radek. Possibilities of Creation of Community Genealogical Database with Semantic Information. In: ICSIM2018: 2018 International Conference on Software Engineering and Information Management. Casablanca, 2018, pp. 87-91. ISBN 978-1-4503-5438-7.
    Detail

    KOČÍ Radek. Souhrnná výzkumná zpráva k projektu Nástroj pro tvorbu schémat technologických procesů v oblasti čistíren odpadních vod. Brno: KUNST, spol. s r.o., 2018.
    Detail

    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. 122-127. ISBN 978-1-61208-668-2.
    Detail

  • 2017

    KOČÍ Radek and JANOUŠEK Vladimír. Specification of Requirements Using Unified Modeling Language and Petri Nets. International Journal on Advances in Software, vol. 10, no. 12, 2017, pp. 121-131. ISSN 1942-2628.
    Detail

    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.
    Detail

  • 2016

    KOČÍ Radek and JANOUŠEK Vladimír. 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, pp. 160-165. ISBN 978-1-61208-498-5.
    Detail

  • 2015

    FIALA Jiří and KOČÍ Radek. 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, pp. 34-42.
    Detail

    RICHTA Tomáš, JANOUŠEK Vladimír and KOČÍ Radek. Dynamic Software Architecture for Distributed Embedded Control Systems. In: PNSE 2015 Petri Nets and Software Engineering. CEUR Workshop Proceedings, vol. 1372. Bruxelles: CEUR-WS.org, 2015, pp. 133-150. ISSN 1613-0073.
    Detail

    KOČÍ Radek and JANOUŠEK Vladimír. The Object Oriented Petri Net Component Model. In: The Tenth International Conference on Software Engineering Advances. Barcelona: Xpert Publishing Services, 2015, pp. 18-24. ISBN 978-1-61208-438-1.
    Detail

  • 2014

    KOČÍ Radek and JANOUŠEK Vladimír. Formal Models in Software Development and Deployment: A Case Study. International Journal on Advances in Software, vol. 7, no. 1, 2014, pp. 266-276. ISSN 1942-2628.
    Detail

    FIALA Jiří and KOČÍ Radek. Computer therapy as concept of new form of therapy for intellectual disabled people: theory and practise. Journal of Technology and Information Education, vol. 6, no. 1, 2014, pp. 89-103. ISSN 1803-537X.
    Detail

    KOČÍ Radek and JANOUŠEK Vladimír. System Composition Using Petri Nets and DEVS Formalisms. In: The Ninth International Conference on Software Engineering Advances. Nice: Xpert Publishing Services, 2014, pp. 309-315. ISBN 978-1-61208-367-4.
    Detail

  • 2013

    KOČÍ Radek and JANOUŠEK Vladimír. 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, pp. 485-490. ISBN 978-1-61208-304-9.
    Detail

    RICHTA Tomáš, JANOUŠEK Vladimír and KOČÍ Radek. Petri Nets-Based Development of Dynamically Reconfigurable Embedded Systems. CEUR Workshop Proceedings, vol. 2013, no. 989, pp. 203-217. ISSN 1613-0073.
    Detail

  • 2012

    RICHTA Tomáš, JANOUŠEK Vladimír and KOČÍ Radek. 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, pp. 263-269. ISBN 978-80-01-04985-3.
    Detail

    ŽÁK Jakub, HORÁČEK Jan, ZBOŘIL František, KOČÍ Radek and KRÁL Jiří. 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, pp. 252-257. ISBN 978-1-4673-5118-8.
    Detail

    KOČÍ Radek and JANOUŠEK Vladimír. Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study. CEUR Workshop Proceedings, vol. 851, no. 06, 2012, pp. 253-266. ISSN 1613-0073.
    Detail

    KOČÍ Radek and JANOUŠEK Vladimír. 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, pp. 361-366. ISBN 978-1-61208-230-1.
    Detail

  • 2011

    HANÁČEK Petr, HRUBÝ Martin, KOČÍ Radek and ZBOŘIL František. Audiovizuální technika ve výuce. In: Sborník informatika 2011. Brno: Mendel University in Brno, 2011, pp. 31-32. ISBN 978-80-7375-520-1.
    Detail

    KOČÍ Radek and JANOUŠEK Vladimír. 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, pp. 1-2. ISBN 978-84-693-9560-8.
    Detail

    ŽÁK Jakub, HORÁČEK Jan, ZBOŘIL František, KOČÍ Radek and GÁBOR Martin. 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, pp. 1-8. ISBN 978-80-214-4320-4.
    Detail

    KOČÍ Radek and JANOUŠEK Vladimír. 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, pp. 299-304. ISBN 978-1-61208-165-6.
    Detail

  • 2010

    ŽÁK Jakub, ZBOŘIL František, KOČÍ Radek and JANOUŠEK Vladimír. 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. 9. ISBN 978-80-01-04589-3.
    Detail

    KOČÍ Radek, ZBOŘIL František and ŽÁK Jakub. 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, pp. 658-663. ISBN 978-1-4244-8135-4.
    Detail

    KOČÍ Radek, JANOUŠEK Vladimír and ZBOŘIL František. Object Oriented Petri Nets - Modelling Techniques Case Study. International Journal of Simulation Systems, Science & Technology, vol. 10, no. 3, 2010, pp. 32-44. ISSN 1473-8031.
    Detail

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

    ZBOŘIL František, HANÁČEK Petr, HRUBÝ Martin and KOČÍ Radek. Zapojení studentů do výzkumu. In: Informatika 2010. Brno: Mendel University in Brno, 2010, pp. 139-140. ISBN 978-80-7375-394-8.
    Detail

  • 2009

    ZBOŘIL František, JANOUŠEK Vladimír, KOČÍ Radek, MAZAL Zdeněk and ZBOŘIL František V. Framework for model-based design of mullti-agent systems. International Journal of Autonomic Computing, vol. 1, no. 2, 2009, pp. 140-162. ISSN 1741-8569.
    Detail

    MAZAL Zdeněk, KOČÍ Radek, JANOUŠEK Vladimír and ZBOŘIL František. Modelling intelligent agents for autonomic computing in the PNagent framework. International Journal of Autonomic Computing, vol. 1, no. 2, 2009, pp. 121-139. ISSN 1741-8569.
    Detail

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

    KOČÍ Radek and JANOUŠEK Vladimír. 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, pp. 291-292. ISBN 978-84-691-8502-5.
    Detail

    KOČÍ Radek and JANOUŠEK Vladimír. 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, pp. 849-856. ISBN 978-3-642-04771-8.
    Detail

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

  • 2008

    MAZAL Zdeněk, JANOUŠEK Vladimír and KOČÍ Radek. Enhancing the PNtalk Language with Negative Predicates. In: MOSIS '08. Ostrava, 2008, pp. 28-34. ISBN 978-80-86840-40-6.
    Detail

    KOČÍ Radek, JANOUŠEK Vladimír and ZBOŘIL František. Object Oriented Petri Nets -- Modelling Techniques Case Study. In: Second UKSIM European Symposium on Computer Modeling and Simulation. Liverpool: IEEE Computer Society, 2008, pp. 165-170. ISBN 978-0-7695-3325-4.
    Detail

    JANOUŠEK Vladimír, KOČÍ Radek, MAZAL Zdeněk and ZBOŘIL František. PNagent: a Framework for Modelling BDI Agents using Object Oriented Petri Nets. In: Proceedings of 8th ISDA. Los Alamitos: IEEE Computer Society, 2008, pp. 420-425. ISBN 978-0-7695-3382-7.
    Detail

    ZBOŘIL František, KOČÍ Radek, JANOUŠEK Vladimír and MAZAL Zdeněk. Reactive Planning with Weak Plan Instances. In: Proceedings of 8th ISDA. Los Alamitos: IEEE Computer Society, 2008, p. 6. ISBN 978-0-7695-3382-7.
    Detail

    KOČÍ Radek and JANOUŠEK Vladimír. 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, pp. 421-426. ISBN 978-0-7695-3372-8.
    Detail

    ZBOŘIL František, KOČÍ Radek, ZBOŘIL František V., JANOUŠEK Vladimír and MAZAL Zdeněk. T-Mass v.2, State of the Art. In: Second UKSIM European Symposium on Computer Modeling and Simulation. Liverpool: IEEE Computer Society, 2008, p. 6. ISBN 978-0-7695-3325-4.
    Detail

    JANOUŠEK Vladimír and KOČÍ Radek. 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, pp. 16-23. ISBN 978-80-8086-092-9.
    Detail

  • 2007

    JANOUŠEK Vladimír and KOČÍ Radek. 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, pp. 386-395. ISBN 978-83-7493-339-1.
    Detail

    ZBOŘIL František and KOČÍ Radek. Intention Structures Modelling Using Object Oriented Petri Nets. In: Proceedings of the 7th ISDA. Los Alamitos: IEEE Computer Society, 2007, pp. 33-38. ISBN 0-7695-2976-3.
    Detail

    KOČÍ Radek, MAZAL Zdeněk, ZBOŘIL František and JANOUŠEK Vladimír. Modeling Deliberative Agents Using Object Oriented Petri Nets. In: Proceedings of the 7th ISDA. Los Alamitos: IEEE Computer Society, 2007, pp. 15-20. ISBN 0-7695-2976-3.
    Detail

    JANOUŠEK Vladimír and KOČÍ Radek. 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. 9. ISBN 978-3-901608-32-2.
    Detail

    JANOUŠEK Vladimír, KOČÍ Radek and ZBOŘIL František. Towards Modeling Rational Agents with Object Oriented Petri Nets. In: Proceedings of the Workshop on Petri Nets and Software Engineering. Siedlce, 2007, pp. 244-245. ISBN 978-83-7051-427-3.
    Detail

  • 2006

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

    KOČÍ Radek and TURAKHODJAEVA Nasibakhon. Modeling Workflow Using Object Oriented Petri Nets. In: Proceedings of ASIS'06. Ostrava, 2006, pp. 127-132. ISBN 8086840263.
    Detail

    KOČÍ Radek and VINTERA Jiří. Modelování a simulace termického zpracování odpadu. In: Proceedings of ASIS'06. Ostrava, 2006, pp. 133-136. ISBN 8086840263.
    Detail

    ČEŠKA Milan, JANOUŠEK Vladimír, KOČÍ Radek, KŘENA Bohuslav and VOJNAR Tomáš. PNtalk: State of the Art. In: Proceedings of the Fourth International Workshop on Modelling of Objects, Components, and Agents. Hamburg, 2006, pp. 301-307.
    Detail

  • 2005

    JANOUŠEK Vladimír and KOČÍ Radek. PNtalk Project: Current Research Direction. In: Simulation Almanac 2005. Praha: Faculty of Electrical Engineering, Czech Technical University, 2005, pp. 50-62. ISBN 80-01-03322-8.
    Detail

    HRUBÝ Martin, KOČÍ Radek and RÁBOVÁ Zdeňka. The Heterogeneous Modelling Methods and Tools. Simulation Almanac 2005. Praha: Faculty of Electrical Engineering, Czech Technical University, 2005, pp. 40-50.
    Detail

    JANOUŠEK Vladimír and KOČÍ Radek. 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, pp. 59-66. ISBN 80-8070-468-6.
    Detail

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

  • 2004

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

    JANOUŠEK Vladimír and KOČÍ Radek. 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, pp. 31-36. ISBN 3-901608-28-1.
    Detail

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

  • 2003

    HRUBÝ Martin and KOČÍ Radek. Modern Simulation Techniques and Tools. In: Proceedings of the International Workshop MOSMIC'2003. Žilina: Faculty of management science and Informatics of Zilina University, 2003, pp. 7-15. ISBN 80-8070-139-3.
    Detail

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

    KOČÍ Radek and RÁBOVÁ Zdeňka. Purposes of the PNtalk System. In: Proceedings of International Conference MOSIS '03. Ostrava, 2003, pp. 149-156. ISBN 80-85988-86-0.
    Detail

    KOČÍ Radek. 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, pp. 358-362. ISBN 80-214-2401-X.
    Detail

  • 2002

    JANOUŠEK Vladimír and KOČÍ Radek. PNtalk - An Open System for Prototyping and Simulation. In: Proceedings of The 28th ASU Conference. Brno: Faculty of Information Technology BUT, 2002, pp. 133-146. ISSN 1102-593X.
    Detail

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

    HRUBÝ Martin, KOČÍ Radek, PERINGER Petr and RÁBOVÁ Zdeňka. Tools for Creating of Multimodels. Kybernetes: The International Journal of Systems & Cybernetics, vol. 2002, no. 9, pp. 1391-1400. ISSN 0368-492X.
    Detail

  • 2001

    KOČÍ Radek and VOJNAR Tomáš. 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, pp. 165-172. ISBN 80-85988-57-7.
    Detail

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

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

  • 2000

    KOČÍ Radek. Rozšiřitelný simulátor objektově orientovaných Petriho sítí. In: Sborník prací studentů a doktorandů. Brno: Akademické nakladatelství CERM, 2000, pp. 186-188. ISBN 80-7204-155-X.
    Detail

Back to top