Ing.

Radek Kočí

Ph.D.

předseda

+420 54114 1171
senat@fit.vut.cz
koci@fit.vut.cz
A204 Kancelář
3191/osobní číslo VUT

Publikace

  • 2024

    VÍDEŇSKÝ František, ZBOŘIL František, BERAN Jan, KOČÍ Radek a 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, s. 25-36. ISBN 978-989-758-680-4.
    Detail

  • 2023

    VÍDEŇSKÝ František, ZBOŘIL František, ZBOŘIL František V. a 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, s. 173-180. ISBN 978-989-758-623-1.
    Detail

    KOČÍ Radek a 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, s. 105-109. ISBN 978-1-68558-098-8.
    Detail

  • 2022

    ZBOŘIL František, VÍDEŇSKÝ František, KOČÍ Radek a 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, s. 715-724. ISBN 978-989-758-547-0.
    Detail

    KOČÍ Radek a 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, s. 102-107. ISBN 978-1-61208-997-3.
    Detail

  • 2021

    JANOUŠEK Vladimír a 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, s. 114-120. ISBN 978-1-61208-894-5.
    Detail

  • 2020

    KOČÍ Radek, ROZMAN Jaroslav a 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, s. 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, s. 129-134. ISBN 978-1-61208-827-3.
    Detail

  • 2019

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

    KOČÍ Radek a 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, s. 184-189. ISBN 978-1-61208-752-8.
    Detail

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

  • 2018

    ROZMAN Jaroslav, ZBOŘIL František a 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, s. 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 a 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, s. 122-127. ISBN 978-1-61208-668-2.
    Detail

  • 2017

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

    KOČÍ Radek a JANOUŠEK Vladimír. Validation of Specification Models Based on Petri Nets. In: Software Engineering Advances. Ateny: Xpert Publishing Services, 2017, s. 232-237. ISBN 978-1-61208-590-6.
    Detail

  • 2016

    KOČÍ Radek a 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, s. 160-165. ISBN 978-1-61208-498-5.
    Detail

  • 2015

    FIALA Jiří a 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, s. 34-42.
    Detail

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

    KOČÍ Radek a 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, s. 18-24. ISBN 978-1-61208-438-1.
    Detail

  • 2014

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

    FIALA Jiří a KOČÍ Radek. 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, roč. 6, č. 1, 2014, s. 89-103. ISSN 1803-537X.
    Detail

    KOČÍ Radek a 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, s. 309-315. ISBN 978-1-61208-367-4.
    Detail

  • 2013

    KOČÍ Radek a 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, s. 485-490. ISBN 978-1-61208-304-9.
    Detail

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

  • 2012

    RICHTA Tomáš, JANOUŠEK Vladimír a KOČÍ Radek. Code Generation For Petri Nets-Specified Reconfigurable Distributed Control Systems. In: Proceedings of 15th International Conference on Mechatronics - Mechatronika 2012. Praha: Fakulta elektrotechniky ČVUT, 2012, s. 263-269. ISBN 978-80-01-04985-3.
    Detail

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

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

    KOČÍ Radek a 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, s. 361-366. ISBN 978-1-61208-230-1.
    Detail

  • 2011

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

    KOČÍ Radek a 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: Universidad de Las Palmas de Gran Canaria, 2011, s. 1-2. ISBN 978-84-693-9560-8.
    Detail

    ŽÁK Jakub, HORÁČEK Jan, ZBOŘIL František, KOČÍ Radek a GÁBOR Martin. Remote controlling and monitoring tool for wireless sensor network using WSageNt platform. In: Proceeding of the 2nd International Conference on Computer Modelling and Simulation. Brno: Ústav inteligentních systémů FIT VUT v Brně, 2011, s. 1-8. ISBN 978-80-214-4320-4.
    Detail

    KOČÍ Radek a 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, s. 299-304. ISBN 978-1-61208-165-6.
    Detail

  • 2010

    ŽÁK Jakub, ZBOŘIL František, KOČÍ Radek a JANOUŠEK Vladimír. Connecting Jade with PN agent. In: Proceedings of Seventh EUROSIM Congress on Modelling and Simulation. Vol. 2. Prague: Vydavatelství ČVUT, 2010, s. 9. ISBN 978-80-01-04589-3.
    Detail

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

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

    KOČÍ Radek a 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, s. 305-310. ISBN 978-0-7695-4144-0.
    Detail

    ZBOŘIL František, HANÁČEK Petr, HRUBÝ Martin a KOČÍ Radek. Zapojení studentů do výzkumu. In: Informatika 2010. Brno: Mendelova univerzita v Brně, 2010, s. 139-140. ISBN 978-80-7375-394-8.
    Detail

  • 2009

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

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

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

    KOČÍ Radek a 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: Universidad de Las Palmas de Gran Canaria, 2009, s. 291-292. ISBN 978-84-691-8502-5.
    Detail

    KOČÍ Radek a 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, s. 849-856. ISBN 978-3-642-04771-8.
    Detail

    KOČÍ Radek a 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, s. 452-457. ISBN 978-1-4244-4779-4.
    Detail

  • 2008

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

    KOČÍ Radek, JANOUŠEK Vladimír a 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, s. 165-170. ISBN 978-0-7695-3325-4.
    Detail

    JANOUŠEK Vladimír, KOČÍ Radek, MAZAL Zdeněk a 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, s. 420-425. ISBN 978-0-7695-3382-7.
    Detail

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

    KOČÍ Radek a 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, s. 421-426. ISBN 978-0-7695-3372-8.
    Detail

    ZBOŘIL František, KOČÍ Radek, ZBOŘIL František V., JANOUŠEK Vladimír a 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, s. 6. ISBN 978-0-7695-3325-4.
    Detail

    JANOUŠEK Vladimír a 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 v Košiciach, 2008, s. 16-23. ISBN 978-80-8086-092-9.
    Detail

  • 2007

    JANOUŠEK Vladimír a 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: Politechnika Wrocławska, 2007, s. 386-395. ISBN 978-83-7493-339-1.
    Detail

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

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

    JANOUŠEK Vladimír a 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, s. 9. ISBN 978-3-901608-32-2.
    Detail

    JANOUŠEK Vladimír, KOČÍ Radek a 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, s. 244-245. ISBN 978-83-7051-427-3.
    Detail

  • 2006

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

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

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

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

  • 2005

    JANOUŠEK Vladimír a KOČÍ Radek. PNtalk Project: Current Research Direction. In: Simulation Almanac 2005. Praha: Fakulta elektrotechniky ČVUT, 2005, s. 50-62. ISBN 80-01-03322-8.
    Detail

    HRUBÝ Martin, KOČÍ Radek a RÁBOVÁ Zdeňka. The Heterogeneous Modelling Methods and Tools. Simulation Almanac 2005. Praha: Fakulta elektrotechniky ČVUT, 2005, s. 40-50.
    Detail

    JANOUŠEK Vladimír a KOČÍ Radek. Towards Model-Based Design with PNtalk. In: Proceedings of the International Workshop MOSMIC'2005. Žilina: Fakulta riadenia a informatiky Žilinskej Univerzity v Žiline, 2005, s. 59-66. ISBN 80-8070-468-6.
    Detail

    KOČÍ Radek a TURAKHODJAEVA Nasibakhon. Workflow modeling with Petri nets in Workflow Management Systems. In: Proceedings of MOSIS'05. Ostrava: MARQ, 2005, s. 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: MARQ, 2004, s. 73-80. ISBN 80-85988-98-4.
    Detail

    JANOUŠEK Vladimír a 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, s. 31-36. ISBN 3-901608-28-1.
    Detail

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

  • 2003

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

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

    KOČÍ Radek a RÁBOVÁ Zdeňka. Purposes of the PNtalk System. In: Proceedings of International Conference MOSIS '03. Ostrava: MARQ, 2003, s. 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: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2003, s. 358-362. ISBN 80-214-2401-X.
    Detail

  • 2002

    JANOUŠEK Vladimír a KOČÍ Radek. PNtalk - An Open System for Prototyping and Simulation. In: Proceedings of The 28th ASU Conference. Brno: Fakulta informačních technologií VUT v Brně, 2002, s. 133-146. ISSN 1102-593X.
    Detail

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

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

  • 2001

    KOČÍ Radek a 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: MARQ, 2001, s. 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: Vysoké učení technické v Brně, 2001, s. 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: MARQ, 2001, s. 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 sro., 2000, s. 186-188. ISBN 80-7204-155-X.
    Detail

Nahoru