Publikace

• 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. s. 482-490. ISBN: 978-3-030-45092-2.
  Detail

• 2017

  ČEŠKA, M.; ČEŠKA, M.; PAOLETTI, N. Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters. In Proceedings of 16th International Conference on Computer Aided Systems Theory. LNCS volume 10672. Heidelberg: Springer Verlag, 2017. s. 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. s. 0-0.
  Detail | WWW

• 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. s. 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. s. 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. s. 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, roč. 2012, č. 6927, s. 559-567. ISSN: 0302-9743.
  Detail

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

• 2011

  NOVOSAD, P.; ČEŠKA, M. Unfoldings of Bounded Hybrid Petri Nets. 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. s. 334-335. ISBN: 978-84-693-9560-8.
  Detail

  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. s. 338-339. ISBN: 978-84-693-9560-8.
  Detail

• 2009

  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. s. 295-296. ISBN: 978-84-691-8502-5.
  Detail

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

• 2008

  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, roč. 2008, č. 1, s. 21-22. ISSN: 1210-4612.
  Detail | WWW

  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. s. 177-183. ISBN: 978-80-7355-082-0.
  Detail

  VOJNAR, T.; ANTOŠ, D.; ČEŠKA, M.; KOTÁSEK, Z.; KŘETÍNSKÝ, M.; MATYSKA, L. Proceedings of 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Faculty of Informatics MU, 2008. s. 0-0. ISBN: 978-80-7355-082-0.
  Detail

  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. s. 19-21. ISBN: 978-90-77381-44-1.
  Detail

  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. s. 489-491. ISBN: 978-90-77381-44-1.
  Detail

• 2007

  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. s. 488-496. ISBN: 978-3-540-75866-2.
  Detail

  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. s. 181-182. ISBN: 978-3-540-75866-2.
  Detail

  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. s. 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, roč. 19, č. 3, s. 363-374. ISSN: 0934-5043.
  Detail | WWW

• 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, roč. 2006, č. 145, s. 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. s. 301-307.
  Detail

• 2005

  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. s. 101-117.
  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. s. 275-280. ISBN: 978-3-540-29002-5.
  Detail

  Č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. s. 189-198. ISBN: 80-86840-16-6.
  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. s. 161-164. ISBN: 84-689-0432-5.
  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. s. 166-173. ISBN: 80-86840-10-7.
  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. s. 269-274. ISBN: 980-6560-19-1.
  Detail

• 2003

  CARUANA, E.; ČEŠKA, M.; SKLENÁŘ, J. Using Petri Nets in Simulation of Manufacturing Systems. IPSI-2003 Proceedings. Belgrad: IPSI Belgrade Ltd, 2003. s. 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. In Computer Aided Systems Theory - EUROCAST 2003. Lecture Notes in Computer Science 2809. Berlin: Springer Verlag, 2003. s. 265-278. ISBN: 3-540-20221-8.
  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. s. 254-256. ISBN: 84-688-0820-2.
  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. s. 0-0. ISBN: 88-85280-62-5.
  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. s. 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. s. 189-202. ISBN: 80-85988-88-7.
  Detail

• 2002

  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. s. 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. s. 1-7. ISBN: 88-85280-62-5.
  Detail

  Č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, roč. 2002, č. 9, s. 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. s. 0-0.
  Detail | WWW

  Č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. s. 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. s. 115-118. ISBN: 84-699-3971-8.
  Detail

  Č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, roč. 16, č. 3, s. 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, roč. 2001, č. 2178, s. 365-384. ISSN: 0302-9743.
  Detail | WWW

  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. s. 145-152. ISBN: 80-85988-57-7.
  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. s. 65-73.
  Detail | WWW

  Č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. s. 35-54. ISSN: 0105-8517.
  Detail

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

  Č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. s. 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. s. 67-70. ISBN: 1-85-769121-0.
  Detail

• 1999

  Č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. s. 229-232.
  Detail

  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. s. 371-377. ISBN: 80-85988-41-0.
  Detail | WWW

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

  ČEŠKA, M. Cybernetics and Concepts of Formal Language Theory. Wiener's Cybernetics-50 years of evolution. Las Palmas de Gran Canaria: unknown, 1999. s. 57-59. ISBN: 84-8416-950-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. s. 133-140. ISBN: 80-85988-32-1.
  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. s. 143-146. ISBN: 80-85988-41-0.
  Detail

• 1998

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

  Č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. s. 256-261. ISBN: 0-7803-4781-1. ISSN: 1062-922X.
  Detail

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

• 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. s. 98-103. ISBN: 80-85988-16-X.
  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. s. 337-342. ISBN: 80-85988-20-8.
  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. s. 229-231. ISBN: 84-88912-04-8.
  Detail

  ČEŠKA, M., JANOUŠEK, V. Formal Model for Object Oriented Petri Nets Modelling. Advances in System Science and Applications, roč. Spetial Is, č. 1-6, s. 119 ( s.)ISSN: 1078-6236.
  Detail

• 1996

  ČEŠKA, M., JANOUŠEK, V. Object Orientation in Petri Nets. ASU Newsletter, roč. 1996, č. spec.issue, s. 69 ( s.)ISSN: 1102-593X.
  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. s. 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. s. 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. s. 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. s. 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. s. 0-0.
  Detail

*) Citace publikací se generují jednou za 24 hodin.