prof. RNDr.

Milan Češka

CSc.

FIT – Significant Former Employee

Send BUT message

prof. RNDr. Milan Češka, CSc.

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

    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

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

  • 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 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. Design of a Model Checker for Object- Oriented Petri Net Models. In IPSI- 2003 Proceedings. Belgrad: IPSI Belgrade Ltd, 2003. p. 0 ( p.)ISBN: 88-85280-62- 5.
    Detail

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

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

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

  • 2002

    Č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 ( p.)
    Detail

    LEGÁT, P., VAVERKA, L., VAVERKA, L. Integrated Type Analyzer and State Space Generator of Object- Oriented Petri Nets. In Brazilian Petri Net Meeting. Natal: 2002.
    Detail | WWW

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

    HRUŠKA, T., ZENDULKA, J., ČEŠKA, M. Education in Information Technology at Brno University of Technology. In 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 ( p.)ISBN: 88-85280-62- 5.
    Detail

    JANOUŠEK, V., VOJNAR, T., ČEŠKA, M. 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

  • 2001

    ČEŠKA, M., JANOUŠEK, V., VOJNAR, T. Analysis and Verification Queries over Object- Oriented Petri Nets. In 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

    MAREK, V., ČEŠKA, M. Petri Nets And Random- Context Grammars. In 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

*) Publications are generated once a 24 hours.