prof. RNDr.

Milan Češka

CSc.

Significant Former Employee


932/BUT personal ID

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

    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

  • 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

  • 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

    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

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

  • 2007

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

    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

    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

  • 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

  • 2005

    Č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

    Č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

    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

    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

  • 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

    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

    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

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

    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

  • 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. p. 17-28. ISBN: 80-85988-77-1. 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. s. 0-0. 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.; 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

  • 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

    Č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

    Č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

    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

  • 2000

    Č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

    Č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

    Č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

    Č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

    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

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

    Č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

    Č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

    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

    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

  • 1998

    Č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

    Č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

    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

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

Back to top