Publications

• 2020

  MATYÁŠ, J.; PANKUCH, A.; VOJNAR, T.; ČEŠKA, M.; ČEŠKA, M. Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error. In International Conference on Computer Aided Systems Theory (EUROCAST'19). Lecture Notes in Computer Science. Cham: Springer Verlag, 2020. p. 482-490. ISBN: 978-3-030-45092-2.
  Detail

• 2017

  ČEŠKA, M.; ČEŠKA, M.; PAOLETTI, N. Precise Parameter Synthesis for Stochastic Petri Nets with Interval Rate Parameters. In Proceedings of 16th International Conference on Computer Aided Systems Theory. LNCS volume 10672. Heidelberg: Springer Verlag, 2017. p. 38-46. ISBN: 978-3-319-74726-2.
  Detail

• 2015

  NOVOSAD, P.; ČEŠKA, M. Hybrid Petri Nets State Space Representation Using Coverability Graphs and Unfoldings. Brno: Faculty of Information Technology BUT, 2015. p. 0-0.
  Detail | WWW

  NOVOSAD, P.; ČEŠKA, M. Advantages and Drawbacks of Algorithms for Analysing Hybrid Petri Nets by Computing Unfoldings and Coverability Graphs. Proceedings of the 15th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: The Universidad de Las Palmas de Gran Canaria, 2015. p. 183-184. ISBN: 978-84-606-5438-4.
  Detail

• 2014

  POLÁŠEK, P.; JANOUŠEK, V.; ČEŠKA, M. Petri Net Simulation as a Service. In CEUR Workshop Proceedings. CEUR Workshop Proceedings. Tunisia: CEUR-WS.org, 2014. p. 353-362. ISSN: 1613-0073.
  Detail | WWW

• 2013

  NOVOSAD, P.; ČEŠKA, M. Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets. Computer Aided System Theory -EUROCAST 2013 - revised selected papers. Lecture Notes in Computer Science. Berín: Springer Verlag, 2013. p. 428-435. ISBN: 978-3-642-53855-1.
  Detail

  NOVOSAD, P.; ČEŠKA, M. Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets. Proc. of Computer Aided System Theory 2013. Universidad de Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2013. p. 244-245. ISBN: 84-695-6971-6.
  Detail

• 2012

  ČEŠKA, M.; FIEDOR, J.; GACH, M. A Novel Approach to Modechart Verification of Real-Time systems. Lecture Notes in Computer Science, 2012, vol. 2012, no. 6927, p. 559-567. ISSN: 0302-9743.
  Detail

  NOVOSAD, P.; ČEŠKA, M. Unfoldings of Bounded Hybrid Petri Nets. Lecture Notes in Computer Science, 2012, vol. 2012, no. 6927, p. 543-550. ISSN: 0302-9743.
  Detail

• 2011

  FIEDOR, J.; GACH, M.; ČEŠKA, M. A Novel Approach to Modechart Verification of Real-Time systems. Proceedings of the 13th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: The Universidad de Las Palmas de Gran Canaria, 2011. p. 338-339. ISBN: 978-84-693-9560-8.
  Detail

• 2009

  ČEŠKA, M.; HÝSEK, J.; JANOUŠEK, V. Model-Based Design and Verification of Reactive Systems. Lecture Notes in Computer Science, 2009, vol. 2009, no. 5717, p. 865-872. ISSN: 0302-9743.
  Detail

  HÝSEK, J.; ČEŠKA, M.; JANOUŠEK, V. Model-Based Design and Verification of Reactive Systems. Computer Aided Systems Theory. Las Palmas de Gran Canaria: 2009. p. 295-296. ISBN: 978-84-691-8502-5.
  Detail

• 2008

  SKLENÁŘ, J.; CUTARAJ, V.; ČEŠKA, M. Using Integer Programming for Discrete Problem Optimization. The 2008 European Simulation and Modelling Conference. EUROSIS-ETI Publications. LE HAVRE: EUROSIM-FRANCOSIM-ARGESIM, 2008. p. 19-21. ISBN: 978-90-77381-44-1.
  Detail

  VOJNAR, T.; ČEŠKA, M.; ROGALEWICZ, A.; ERLEBACH, P.; HOLÍK, L.; BOUAJJANI, A.; HABERMEHL, P.; TOUILI, T.; MORO, P. Automatická verifikace programů s dynamickými datovými strukturami. Inovační podnikání & transfer technologií, 2008, vol. 2008, no. 1, p. 21-22. ISSN: 1210-4612.
  Detail | WWW

  NOVOSAD, P.; ČEŠKA, M. Algorithms for Computing Coverability Graphs for Continuous Petri Nets. Proceedings of 22th European Simulation and Modelling Conference ESM'2008. EUROSIS-ETI Publications. Le Havre: EUROSIM-FRANCOSIM-ARGESIM, 2008. p. 489-491. ISBN: 978-90-77381-44-1.
  Detail

  NOVOSAD, P.; ČEŠKA, M. Algorithms for Computing Coverability Graphs for Hybrid Petri Nets. 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2008. p. 177-183. ISBN: 978-80-7355-082-0.
  Detail

• 2007

  NOVOSAD, P.; ČEŠKA, M. Simulation and Analysis of Condition/Event Petri Nets Using Software Tool CESim. Proceedings of 21th European Simulation and Modelling Conference ESM'2007. St. Julians, Malta: EUROSIS, 2007. p. 170-172. ISBN: 978-90-77381-36-6.
  Detail

  ERLEBACH, P.; ČEŠKA, M.; VOJNAR, T. Generalised Multi-Pattern-Based Verification of Programs with Linear Linked Structures. Formal Aspects of Computing, 2007, vol. 19, no. 3, p. 363-374. ISSN: 0934-5043.
  Detail | WWW

  ERLEBACH, P.; ČEŠKA, M.; VOJNAR, T. Pattern-Based Verification for Trees. Computer Aided Systems Theory - EUROCAST 2007. Las Palmas de Grand Canaria: The Universidad de Las Palmas de Gran Canaria, 2007. p. 181-182. ISBN: 978-3-540-75866-2.
  Detail

  ERLEBACH, P.; VOJNAR, T.; ČEŠKA, M. Pattern-based Verification for Trees. Computer Aided Systems Theory. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2007. p. 488-496. ISBN: 978-3-540-75866-2.
  Detail

• 2006

  VOJNAR, T.; ČEŠKA, M.; ERLEBACH, P. Pattern-Based Verification of Programs with Extended Linear Linked Data Structures. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, vol. 2006, no. 145, p. 113-130. ISSN: 1571-0661.
  Detail | WWW

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

• 2005

  ČEŠKA, M.; TURAKHODJAEVA, N. Verification of Worklow Management Systems described by Object-Oriented Petri Nets. Proceedings of XXVIIth International Autumn Colloquium ASIS 2005. Ostrava: 2005. p. 189-198. ISBN: 80-86840-16-6.
  Detail

  SCHWARZ, I.; ČEŠKA, M.; JANOUŠEK, V. Towards an Implementation of Distributed PNtalk. Proceedings of 39th Spring International Conference MOSIS'05 Modelling and Simulation of Systems. Ostrava: 2005. p. 166-173. ISBN: 80-86840-10-7.
  Detail

  VOJNAR, T.; ČEŠKA, M.; ERLEBACH, P. Pattern-Based Verification of Programs with Extended Linear Linked Data Structures. Proceedings of Fifth International Workshop on Automated Verification of Critical Systems. Warwick: 2005. p. 101-117.
  Detail

  ČEŠKA, M.; KŘENA, B.; VOJNAR, T. Parallel State Space Generation and Exploration on Shared-Memory Architectures. EUROCAST2005: Cast and Tools for Robotics, Vehicular and Communication Systems. Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2005. p. 161-164. ISBN: 84-689-0432-5.
  Detail

  KŘENA, B.; ČEŠKA, M.; VOJNAR, T. Parallel State Space Generation and Exploration on Shared-Memory Architectures. Computer Aided Systems Theory - EUROCAST 2005. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2005. p. 275-280. ISBN: 978-3-540-29002-5.
  Detail

• 2004

  HAŠA, L.; ČEŠKA, M. Improvements in Model Checking for Object-Oriented Petri Nets. Proceedings of the ISAS CITSA 2004, Volume III, Communications, Information and Control Systems, Technologies and Applications. Orlando: The International Institute of Informatics and Systemics, 2004. p. 269-274. ISBN: 980-6560-19-1.
  Detail

• 2003

  ČEŠKA, M.; HAŠA, L.; VOJNAR, T. Partial-Order Reduction in Model Checking of Object-Oriented Petri Nets. In Computer Aided Systems Theory - EUROCAST 2003. Lecture Notes in Computer Science 2809. Berlin: Springer Verlag, 2003. p. 265-278. ISBN: 3-540-20221-8.
  Detail

  HAŠA, L.; ČEŠKA, M. Design of a Model Checker for Object-Oriented Petri Net Models. IPSI-2003 Proceedings. Belgrad: IPSI Belgrade Ltd, 2003. p. 0-0. ISBN: 88-85280-62-5.
  Detail

  CARUANA, E.; ČEŠKA, M.; SKLENÁŘ, J. Using Petri Nets in Simulation of Manufacturing Systems. IPSI-2003 Proceedings. Belgrad: IPSI Belgrade Ltd, 2003. p. 0-0. ISBN: 88-85280-62-5.
  Detail

  ČEŠKA, M.; HAŠA, L.; VOJNAR, T. Partial Order Reduction in Model Checking of Object-Oriented Petri Nets. Cast and Complexity in Biological, Physical and Engineering Systems, Extended Abstracts, Eurocast 2003. Las Palmas de Gran Canaria, Canary Islands: University of Las Palmas, 2003. p. 254-256. ISBN: 84-688-0820-2.
  Detail

  HAŠA, L.; ČEŠKA, M. Allocational Temporal Logic in Model Checking for Object-Oriented Petri Nets. Proceedings of 37th International Conference MOSIS´03 Modelling and Simulation of Systems. Ostrava: 2003. p. 177-182. ISBN: 80-85988-86-0.
  Detail

  CARUANA, E.; ČEŠKA, M.; SKLENÁŘ, J. Using Petri Nets in Simulation of Manufacturing Systems (extended version). Proceedings of XXVth International Autumn Colloquium ASIS 2003. Ostrava: 2003. p. 189-202. ISBN: 80-85988-88-7.
  Detail

• 2002

  ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Modelling, prototyping, and verifying concurrent and distributed applications using object-oriented Petri nets. Kybernetes: The International Journal of Systems Cybernetics, 2002, vol. 2002, no. 9, p. 1289-1299. ISSN: 0368-492X.
  Detail

  KŘENA, B.; VOJNAR, T.; ČEŠKA, M. Integrated Type Analyzer and State Space Generator of Object-Oriented Petri Nets. Brazilian Petri Net Meeting. Natal: 2002. p. 0-0.
  Detail | WWW

  CARUANA, E.; ČEŠKA, M.; SKLENÁŘ, J. Petri Nets and their Use in Modelling of Manufacturing Systems. ASIS 2002 - Advanced Simulation of System. Ostrava: 2002. p. 17-28. ISBN: 80-85988-77-1.
  Detail

  ČEŠKA, M.; HRUŠKA, T.; ZENDULKA, J. Education in Information Technology at Brno University of Technology. Proceedings of the International Conference - Advances in Infrastructure for e-business, e-education, e-science, and e-medicine on the Internet. L'Aquila: SSGRR Telecom Italia Learning Services, 2002. p. 1-7. ISBN: 88-85280-62-5.
  Detail

  ČEŠKA, M. Teoretická informatika. Učební texty pro předměty FJP a TI, obor IT. Brno: Fakulta informačních technologií VUT v Brně, 2002. p. 0-0.
  Detail

• 2001

  ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Analysis and Verification Queries over Object-Oriented Petri Nets. Formal Methods and Tools for Computer Science, Eurocast 2001, Extended Abstracts. Las Palmas de Gran Canaria, Canary Islands, Spain: University of Las Palmas, 2001. p. 115-118. ISBN: 84-699-3971-8.
  Detail

  MAREK, V.; ČEŠKA, M. Petri Nets And Random-Context Grammars. Proceedings of the 35th Spring Conference: Modelling and Simulation of Systems - MOSIS'01. Hradec nad Moravicí: 2001. p. 145-152. ISBN: 80-85988-57-7.
  Detail | WWW

  ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Generating and Using State Spaces of Object-Oriented Petri Nets. International Journal of Computer Systems Science and Engineering, 2001, vol. 16, no. 3, p. 183-193. ISSN: 0267-6192.
  Detail | WWW

  ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Analysis and Verification Queries over Object-Oriented Petri Nets. Lecture Notes in Computer Science, 2001, vol. 2001, no. 2178, p. 365-384. ISSN: 0302-9743.
  Detail | WWW

• 2000

  ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. PNtalk Modelling Experience. Proceedings of 26th ASU Conference, Object Oriented Modelling and Simulation 2000. La Valetta: unknown, 2000. p. 65-73.
  Detail | WWW

  ČEŠKA, M.; HANÁČEK, P.; HRUŠKA, T.; RÁBOVÁ, Z.; ZBOŘIL, F. Návrh bakalářského programu Informační technologie na VUT v Brně. Proceedings of workshop CSEW 2000. Liblice: neznámá, 2000. p. 42-48. ISBN: 80-01-02264-1.
  Detail

  URBÁŠEK, M.; ČEŠKA, M. Reasoning about Categories of Petri Nets. Proceedings of the IEEE TC-ECBS + TF RE and IFIP WG10.1 Workshop - Joint Workshop on Formal Specifications of Computer-Based Systems. Edinburgh, Scotland: University of Stirling, 2000. p. 67-70. ISBN: 1-85-769121-0.
  Detail

  ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. Lecture Notes in Computer Science, 2000, vol. 2000, no. 1798, p. 90-104. ISSN: 0302-9743.
  Detail

  ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Generating and Exploiting State Spaces of Object-Oriented Petri Nets. Proceedings of Workshop on Software Engineering and Petri Nets, 21st International Conference on Application and Theory of Petri Nets 2000. Aarhus: unknown, 2000. p. 35-54. ISSN: 0105-8517.
  Detail

• 1999

  ČEŠKA, M. Cybernetics and Concepts of Formal Language Theory. Wiener's Cybernetics-50 years of evolution. Las Palmas de Gran Canaria: unknown, 1999. p. 57-59. ISBN: 84-8416-950-2.
  Detail

  ČEŠKA, M.; JEŽEK, K.; MELICHAR, B.; RICHTA, K. Konstrukce překladačů. Praha: České vysoké učení technické, 1999. 636 p. ISBN: 80-01-02028-2.
  Detail

  URBÁŠEK, M.; ČEŠKA, M. Categorical approach to Petri nets transformations. Proceedings of the 33rd Spring International Conference MOSIS'99. Rožnov pod Radhoštěm, CZ: 1999. p. 133-140. ISBN: 80-85988-32-1.
  Detail | WWW

  URBÁŠEK, M.; ČEŠKA, M. Modelling and Simulation of Parallel Systems Using CCS and Petri Nets: Major Concepts. Proceedings of XXIst International Colloquium ASIS 1999. Krnov, Czech Republic: 1999. p. 371-377. ISBN: 80-85988-41-0.
  Detail | WWW

  ČEŠKA, M. Petriho sítě ve výuce oboru Informatika a výpočetní technika FEI VUT v Brně. Proceedings of XXIst International Colloquium ASIS 1999. Krnov: MARQ, 1999. p. 143-146. ISBN: 80-85988-41-0.
  Detail

  ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Towards Verifying Complex Distributed Systems Using Object-Oriented Petri Nets. Proceedings of the 7th International Conference on Computer Aided Systems Theory and Technology -- EUROCAST'99. Vienna: unknown, 1999. p. 229-232.
  Detail

• 1998

  URBÁŠEK, M.; ČEŠKA, M. Extension of the PESIM Simulation Tool. Proceedings of XX-th Workshop ASIS '98. Krnov: 1998. p. 81-86. ISBN: 80-85988-27-5.
  Detail | WWW

  ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. Object-Oriented Petri Nets, Their Simulation, and Analysis. Proceedings of the IEEE SMC'98 Conference. Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics. San Diego, California: unknown, 1998. p. 256-261. ISBN: 0-7803-4781-1. ISSN: 1062-922X.
  Detail

  ČEŠKA, M. Petri nets in Information systems modelling. Proc. of 32st International Conference MOSIS'98. Sv. Hostýn: 1998. p. 59-66. ISBN: 80-85988-24-0.
  Detail

• 1997

  ČEŠKA, M. Some Comments on Application of Theory of Formal Languages in System Science. Proc. of 31st International Conference MOSIS'97. Ostrava: 1997. p. 98-103. ISBN: 80-85988-16-X.
  Detail

  ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T. PNtalk - A Computerized Tool for Object Oriented Petri Nets Modelling. Proceedings of the 5th International Conference on Computer Aided Systems Theory and Technology -- EUROCAST'97. Las Palmas de Gran Canaria: unknown, 1997. p. 229-231. ISBN: 84-88912-04-8.
  Detail

  ČEŠKA, M.; ŠMÍD, L. Stavový prostor objektových modelů. Proceedings of 19th International Workshop on Advanced Simulation of Systems ASIS'97. Krnov: MARQ, 1997. p. 337-342. ISBN: 80-85988-20-8.
  Detail

• 1994

  ČEŠKA, M.; DRABANT, R.; JANOUŠEK, V. An Integrated Environment for System Specification and Prototyping. Proc. of the 12th International Conference on Systems Science. Wroclav: unknown, 1994. p. 53-60.
  Detail

• 1992

  RÁBOVÁ, Z.; ZENDULKA, J.; ČEŠKA, M.; PERINGER, P.; JANOUŠEK, V. Modelování a simulace. Brno: Vysoké učení technické v Brně, 1992. p. 0-0. ISBN: 80-214-0480-9.
  Detail

• 1985

  ČEŠKA, M.; HONZÍK, J.; HRUŠKA, T.; RÁBOVÁ, Z. Počítače a programování. VUT v Brně: Fakulta elektrotechniky VUT, 1985. p. 0-0.
  Detail

• 1975

  ČEŠKA, M.; HONZÍK, J.; RÁBOVÁ, Z.; ZACHOVAL, J. Programování - ALGOL 60. VUT v Brně: Fakulta elektrotechniky VUT, 1975. p. 0-0.
  Detail

• 1971

  ČEŠKA, M.; HANZÁLKOVÁ, M.; HONZÍK, J.; RÁBOVÁ, Z.; ZACHOVAL, J. Programové vybavení - Metodika programového vybavení počítačů. VUT v Brně: Fakulta elektrotechniky VUT, 1971. p. 0-0.
  Detail

*) Publications are generated once a 24 hours.