Přístupnostní navigace
E-application
Search Search Close
prof. RNDr.
CSc.
FIT – Significant Former Employee
Send BUT message
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
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
Č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
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
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. p. 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. In 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.; VOJNAR, T.; ČEŠKA, M. Pattern- based Verification for Trees. In Computer Aided Systems Theory. LNCS 4739. Berlin: Springer Verlag, 2007. p. 488-496. ISBN: 978-3-540-75866- 2.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
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
Č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. p. 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. p. 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. p. 275-280. ISBN: 978-3-540-29002- 5.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. p. 161-164. ISBN: 84-689-0432- 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. p. 189-198. ISBN: 80-86840-16- 6.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. p. 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. 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.; 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.; 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
Č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
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
2001
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. 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
Č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
*) Publications are generated once a 24 hours.