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

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

  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

  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

  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

  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

  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

• 2007

  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

  ERLEBACH, P.; ČEŠKA, M.; VOJNAR, T. Pattern- Based Verification for Trees. In 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

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

  NOVOSAD, P.; ČEŠKA, M. Simulation and Analysis of Condition/ Event Petri Nets Using Software Tool CESim. In 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

• 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

  ČEŠKA, M.; JANOUŠEK, V.; KOČÍ, R.; KŘENA, B.; VOJNAR, T. 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

  VOJNAR, T., ČEŠKA, M., ERLEBACH, P. Pattern- Based Verification of Programs with Extended Linear Linked Data Structures. In 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. In Computer Aided Systems Theory - EUROCAST 2005. Lecture Notes in Computer Science 3643. 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. In 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. In 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. In 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. In 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

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