Radek Kočí

Publikace

• 2025

  VÍDEŇSKÝ, F.; ZBOŘIL, F.; KOČÍ, R.; ZBOŘIL, F. Advanced Evaluation of Variable Binding Strategies in BDI Agents with Integrated Failure Handling. Lecture Notes in Computer Science, 2025, p. 0-0. ISSN: 1611-3349. Detail

• 2024

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

• 2023

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

  VÍDEŇSKÝ, F.; ZBOŘIL, F.; KOČÍ, R.; ZBOŘIL, F. 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. p. 173-180. ISBN: 978-989-758-623-1. Detail

• 2022

  KOČÍ, R.; OSADSKÝ, L. On the Applicability of ALF Language in Real Software Projects. ICSEA 2022, The Seventeenth International Conference on Software Engineering Advances. Lisbon: Xpert Publishing Services, 2022. p. 102-107. ISBN: 978-1-61208-997-3. Detail

  ZBOŘIL, F.; VÍDEŇSKÝ, F.; KOČÍ, R.; ZBOŘIL, F. 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. p. 715-724. ISBN: 978-989-758-547-0. Detail

• 2021

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

  ZBOŘIL, F.; ZBOŘIL, F.; KOČÍ, R.; VÍDEŇSKÝ, F. FRAg: Flexibly Reasoning BDI Agent. Autonomous Agents and Multi-Agent Systems, 2021, p. 0-0. ISSN: 1573-7454. Detail

• 2020

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

  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

• 2019

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

  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

  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

  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

• 2017

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

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

• 2015

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

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

  RICHTA, T.; JANOUŠEK, V.; KOČÍ, R. Dynamic Software Architecture for Distributed Embedded Control Systems. In PNSE 2015 Petri Nets and Software Engineering. CEUR Workshop Proceedings. CEUR Workshop Proceedings. Bruxelles: CEUR-WS.org, 2015. p. 133-150. ISSN: 1613-0073. Detail

• 2014

  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, roč. 6, č. 1, s. 89-103. ISSN: 1803-537X. Detail

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

  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

• 2013

  KOČÍ, R.; JANOUŠEK, V. Object Oriented Petri Nets in Software Development and Deployment. 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

  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

• 2012

  KOČÍ, R.; JANOUŠEK, V. Specification of UML Classes by Object Oriented Petri Nets. 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

  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

  RICHTA, T.; JANOUŠEK, V.; KOČÍ, R. Code Generation For Petri Nets-Specified Reconfigurable Distributed Control Systems. 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

  ŽÁK, J.; HORÁČEK, J.; ZBOŘIL, F.; KOČÍ, R.; KRÁL, J. JADE Agents Used for Wireless Sensors Control: System Based on Services. 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. Sborník informatika 2011. Brno: Mendelova univerzita v Brně, 2011. s. 31-32. ISBN: 978-80-7375-520-1. Detail

  KOČÍ, R.; JANOUŠEK, V. On the Simulation-Based Development of Systems Using Petri Nets. 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. 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. 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

  KOČÍ, R.; JANOUŠEK, V. OOPN and DEVS Formalisms for System Specification and Analysis. 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

  KOČÍ, R.; ZBOŘIL, F.; ŽÁK, J. Integrating Multiple Modeling and Development Tools for Realization of Distributed Intelligent System. 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

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

  ŽÁK, J.; ZBOŘIL, F.; KOČÍ, R.; JANOUŠEK, V. Connecting Jade with PN agent. 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

• 2009

  KOČÍ, R.; JANOUŠEK, V. On the Dynamic Features of PNtalk. 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. Simulation Based Design of Control Systems Using DEVS and Petri Nets. 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

  KOČÍ, R.; JANOUŠEK, V. Simulation Based Design of Control Systems using DEVS and Petri Nets. 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

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

• 2008

  JANOUŠEK, V.; KOČÍ, R. The PNtalk/SmallDEVS Framework -- Meta-level Modeling Techniques. 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. Proceedings of 8th ISDA. Los Alamitos: IEEE Computer Society, 2008. p. 420-425. ISBN: 978-0-7695-3382-7. Detail

  KOČÍ, R.; JANOUŠEK, V. System Design with Object Oriented Petri Nets Formalism. 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

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

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

  ZBOŘIL, F.; KOČÍ, R.; JANOUŠEK, V.; MAZAL, Z. Reactive Planning with Weak Plan Instances. Proceedings of 8th ISDA. Los Alamitos: IEEE Computer Society, 2008. p. 643-648. 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. 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. 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

  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

  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

  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

• 2006

  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. s. 164-169. ISBN: 8086840263. 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

• 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

  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

• 2004

  HRUBÝ, M.; JANOUŠEK, V.; KOČÍ, R. Vývoj pokročilých metod modelování a protypování komplikovaných systémů. NETSS2004. Ostrava: MARQ, 2004. s. 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

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

• 2003

  HRUBÝ, M.; KOČÍ, R. Modern Simulation Techniques and Tools. 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, V.; KOČÍ, R. PNtalk: Concurrent Language with MOP. Proceedings of the CS&P'2003 Workshop. Warsawa: Warsaw University, 2003. p. 271-282. ISBN: 83-88374-71-0. Detail

  KOČÍ, R. The Open Architecture of the PNtalk System. 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

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

• 2002

  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

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

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

• 2001

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

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

  KOČÍ, R.; VOJNAR, T. A PNtalk-based Model of a Cooperative Editor. 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