prof. RNDr.

Milan Češka

CSc.

Significant Former Employee


932/BUT personal ID

Publications

  • 2020

    MATYÁŠ Jiří, PANKUCH Adam, VOJNAR Tomáš, ČEŠKA Milan and ČEŠKA Milan. 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, vol. 12013. Cham: Springer Verlag, 2020, pp. 482-490. ISBN 978-3-030-45092-2.
    Detail

  • 2017

    ČEŠKA Milan, ČEŠKA Milan and PAOLETTI Nicola. 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, pp. 38-46. ISBN 978-3-319-74726-2.
    Detail

  • 2015

    NOVOSAD Petr and ČEŠKA Milan. Advantages and Drawbacks of Algorithms for Analysing Hybrid Petri Nets by Computing Unfoldings and Coverability Graphs. In: 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, pp. 183-184. ISBN 978-84-606-5438-4.
    Detail

    NOVOSAD Petr and ČEŠKA Milan. Hybrid Petri Nets State Space Representation Using Coverability Graphs and Unfoldings. Brno: Faculty of Information Technology BUT, 2015.
    Detail

  • 2014

    POLÁŠEK Petr, JANOUŠEK Vladimír and ČEŠKA Milan. Petri Net Simulation as a Service. In: CEUR Workshop Proceedings. Tunisia: CEUR-WS.org, 2014, pp. 353-362. ISSN 1613-0073.
    Detail

  • 2013

    NOVOSAD Petr and ČEŠKA Milan. Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets. In: Proc. of Computer Aided System Theory 2013. Universidad de Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2013, pp. 244-245. ISBN 84-695-6971-6.
    Detail

    NOVOSAD Petr and ČEŠKA Milan. Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets. In: Computer Aided System Theory -EUROCAST 2013 - revised selected papers. Lecture Notes in Computer Science. Berín: Springer Verlag, 2013, pp. 428-435. ISBN 978-3-642-53855-1.
    Detail

  • 2012

    ČEŠKA Milan, FIEDOR Jan and GACH Marek. A Novel Approach to Modechart Verification of Real-Time systems. Lecture Notes in Computer Science, vol. 2012, no. 6927, pp. 559-567. ISSN 0302-9743.
    Detail

    NOVOSAD Petr and ČEŠKA Milan. Unfoldings of Bounded Hybrid Petri Nets. Lecture Notes in Computer Science, vol. 2012, no. 6927, pp. 543-550. ISSN 0302-9743.
    Detail

  • 2011

    ČEŠKA Milan, FIEDOR Jan and GACH Marek. A Novel Approach to Modechart Verification of Real-Time systems. In: 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, pp. 338-339. ISBN 978-84-693-9560-8.
    Detail

    NOVOSAD Petr and ČEŠKA Milan. Unfoldings of Bounded Hybrid Petri Nets. In: 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, pp. 334-335. ISBN 978-84-693-9560-8.
    Detail

  • 2009

    HÝSEK Jiří, ČEŠKA Milan and JANOUŠEK Vladimír. Model-Based Design and Verification of Reactive Systems. In: Computer Aided Systems Theory. Las Palmas de Gran Canaria, 2009, pp. 295-296. ISBN 978-84-691-8502-5.
    Detail

    ČEŠKA Milan, HÝSEK Jiří and JANOUŠEK Vladimír. Model-Based Design and Verification of Reactive Systems. Lecture Notes in Computer Science, vol. 2009, no. 5717, pp. 865-872. ISBN 978-3-642-04771-8. ISSN 0302-9743.
    Detail

  • 2008

    NOVOSAD Petr and ČEŠKA Milan. Algorithms for Computing Coverability Graphs for Continuous Petri Nets. In: Proceedings of 22th European Simulation and Modelling Conference ESM'2008. EUROSIS-ETI Publications. Le Havre: EUROSIM-FRANCOSIM-ARGESIM, 2008, pp. 489-491. ISBN 978-90-77381-44-1.
    Detail

    NOVOSAD Petr and ČEŠKA Milan. Algorithms for Computing Coverability Graphs for Hybrid Petri Nets. In: 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2008, pp. 177-183. ISBN 978-80-7355-082-0.
    Detail

    VOJNAR Tomáš, ČEŠKA Milan, ROGALEWICZ Adam, ERLEBACH Pavel, HOLÍK Lukáš, BOUAJJANI Ahmed, HABERMEHL Peter, TOUILI Tayssir and MORO Pierre. Automatická verifikace programů s dynamickými datovými strukturami. Inovační podnikání & transfer technologií, vol. 2008, no. 1, pp. 21-22. ISSN 1210-4612.
    Detail

    ANTOŠ David, ČEŠKA Milan, KOTÁSEK Zdeněk, KŘETÍNSKÝ Mojmír, MATYSKA Luděk and VOJNAR Tomáš, ed. Proceedings of 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Faculty of Informatics MU, 2008. ISBN 978-80-7355-082-0.
    Detail

    SKLENÁŘ Jaroslav, CUTARAJ Valerie and ČEŠKA Milan. Using Integer Programming for Discrete Problem Optimization. In: The 2008 European Simulation and Modelling Conference. EUROSIS-ETI Publications. LE HAVRE: EUROSIM-FRANCOSIM-ARGESIM, 2008, pp. 19-21. ISBN 978-90-77381-44-1.
    Detail

  • 2007

    ČEŠKA Milan, ERLEBACH Pavel and VOJNAR Tomáš. Generalised Multi-Pattern-Based Verification of Programs with Linear Linked Structures. Formal Aspects of Computing, vol. 19, no. 3, 2007, pp. 363-374. ISSN 0934-5043.
    Detail

    ČEŠKA Milan, ERLEBACH Pavel and VOJNAR Tomáš. Pattern-based Verification for Trees. In: Computer Aided Systems Theory. Lecture Notes in Computer Science, vol. 4739. Berlin: Springer Verlag, 2007, pp. 488-496. ISBN 978-3-540-75866-2.
    Detail

    ČEŠKA Milan, ERLEBACH Pavel and VOJNAR Tomáš. 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, pp. 181-182. ISBN 978-3-540-75866-2.
    Detail

    NOVOSAD Petr and ČEŠKA Milan. 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, pp. 170-172. ISBN 978-90-77381-36-6.
    Detail

  • 2006

    ČEŠKA Milan, ERLEBACH Pavel and VOJNAR Tomáš. Pattern-Based Verification of Programs with Extended Linear Linked Data Structures. Electronic Notes in Theoretical Computer Science, vol. 2006, no. 145, pp. 113-130. ISSN 1571-0661.
    Detail

    ČEŠKA Milan, JANOUŠEK Vladimír, KOČÍ Radek, KŘENA Bohuslav and VOJNAR Tomáš. PNtalk: State of the Art. In: Proceedings of the Fourth International Workshop on Modelling of Objects, Components, and Agents. Hamburg, 2006, pp. 301-307.
    Detail

  • 2005

    ČEŠKA Milan, KŘENA Bohuslav and VOJNAR Tomáš. 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, pp. 161-164. ISBN 84-689-0432-5.
    Detail

    ČEŠKA Milan, KŘENA Bohuslav and VOJNAR Tomáš. Parallel State Space Generation and Exploration on Shared-Memory Architectures. In: Computer Aided Systems Theory - EUROCAST 2005. Lecture Notes in Computer Science, vol. 3643. Berlin: Springer Verlag, 2005, pp. 275-280. ISBN 978-3-540-29002-5.
    Detail

    ČEŠKA Milan, ERLEBACH Pavel and VOJNAR Tomáš. 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, pp. 101-117.
    Detail

    SCHWARZ Ivan, ČEŠKA Milan and JANOUŠEK Vladimír. Towards an Implementation of Distributed PNtalk. In: Proceedings of 39th Spring International Conference MOSIS'05 Modelling and Simulation of Systems. Ostrava, 2005, pp. 166-173. ISBN 80-86840-10-7.
    Detail

    ČEŠKA Milan and TURAKHODJAEVA Nasibakhon. Verification of Worklow Management Systems described by Object-Oriented Petri Nets. In: Proceedings of XXVIIth International Autumn Colloquium ASIS 2005. Ostrava, 2005, pp. 189-198. ISBN 80-86840-16-6.
    Detail

  • 2004

    ČEŠKA Milan and HAŠA Luděk. 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, pp. 269-274. ISBN 980-6560-19-1.
    Detail

  • 2003

    HAŠA Luděk and ČEŠKA Milan. 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, pp. 177-182. ISBN 80-85988-86-0.
    Detail

    HAŠA Luděk and ČEŠKA Milan. Design of a Model Checker for Object-Oriented Petri Net Models. In: IPSI-2003 Proceedings. Belgrad: IPSI Belgrade Ltd, 2003, p. 6. ISBN 88-85280-62-5.
    Detail

    ČEŠKA Milan, HAŠA Luděk and VOJNAR Tomáš. 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, pp. 254-256. ISBN 84-688-0820-2.
    Detail

    ČEŠKA Milan, HAŠA Luděk and VOJNAR Tomáš. Partial-Order Reduction in Model Checking of Object-Oriented Petri Nets. In: Computer Aided Systems Theory - EUROCAST 2003. Lecture Notes in Computer Science, vol. 2809. Berlin: Springer Verlag, 2003, pp. 265-278. ISBN 3-540-20221-8.
    Detail

    CARUANA Etienne, ČEŠKA Milan and SKLENÁŘ Jaroslav. Using Petri Nets in Simulation of Manufacturing Systems. In: IPSI-2003 Proceedings. Belgrad: IPSI Belgrade Ltd, 2003, p. 5. ISBN 88-85280-62-5.
    Detail

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

  • 2002

    ČEŠKA Milan, HRUŠKA Tomáš and ZENDULKA Jaroslav. 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. 7. ISBN 88-85280-62-5.
    Detail

    KŘENA Bohuslav, VOJNAR Tomáš and ČEŠKA Milan. Integrated Type Analyzer and State Space Generator of Object-Oriented Petri Nets. In: Brazilian Petri Net Meeting. Natal, 2002, p. 6.
    Detail

    ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Modelling, prototyping, and verifying concurrent and distributed applications using object-oriented Petri nets. Kybernetes: The International Journal of Systems & Cybernetics, vol. 2002, no. 9, pp. 1289-1299. ISSN 0368-492X.
    Detail

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

    ČEŠKA Milan. Teoretická informatika. Učební texty pro předměty FJP a TI, obor IT. Brno: Faculty of Information Technology BUT, 2002.
    Detail

  • 2001

    ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. 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, pp. 115-118. ISBN 84-699-3971-8.
    Detail

    ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Analysis and Verification Queries over Object-Oriented Petri Nets. Lecture Notes in Computer Science, vol. 2001, no. 2178, pp. 365-384. ISSN 0302-9743.
    Detail

    ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Generating and Using State Spaces of Object-Oriented Petri Nets. International Journal of Computer Systems Science and Engineering, vol. 16, no. 3, 2001, pp. 183-193. ISSN 0267-6192.
    Detail

    MAREK Vladimír and ČEŠKA Milan. Petri Nets And Random-Context Grammars. In: Proceedings of the 35th Spring Conference: Modelling and Simulation of Systems - MOSIS'01. Hradec nad Moravicí, 2001, pp. 145-152. ISBN 80-85988-57-7.
    Detail

  • 2000

    ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Generating and Exploiting State Spaces of Object-Oriented Petri Nets. In: Proceedings of Workshop on Software Engineering and Petri Nets, 21st International Conference on Application and Theory of Petri Nets 2000. Aarhus: unknown, 2000, pp. 35-54. ISSN 0105-8517.
    Detail

    ČEŠKA Milan, HANÁČEK Petr, HRUŠKA Tomáš, RÁBOVÁ Zdeňka and ZBOŘIL František. Návrh bakalářského programu Informační technologie na VUT v Brně. In: Proceedings of workshop CSEW 2000. Liblice: unknown, 2000, pp. 42-48. ISBN 80-01-02264-1.
    Detail

    ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. PNtalk Modelling Experience. In: Proceedings of 26th ASU Conference, Object Oriented Modelling and Simulation 2000. La Valetta: unknown, 2000, pp. 65-73.
    Detail

    ČEŠKA Milan and URBÁŠEK Milan. Reasoning about Categories of Petri Nets. In: 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, pp. 67-70. ISBN 1-85-769121-0.
    Detail

    ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. Lecture Notes in Computer Science, vol. 2000, no. 1798, pp. 90-104. ISSN 0302-9743.
    Detail

  • 1999

    ČEŠKA Milan and URBÁŠEK Milan. Categorical approach to Petri nets transformations. In: Proceedings of the 33rd Spring International Conference MOSIS'99. Rožnov pod Radhoštěm, CZ, 1999, pp. 133-140. ISBN 80-85988-32-1.
    Detail

    ČEŠKA Milan. Cybernetics and Concepts of Formal Language Theory. In: Wiener's Cybernetics-50 years of evolution. Las Palmas de Gran Canaria: unknown, 1999, pp. 57-59. ISBN 84-8416-950-2.
    Detail

    ČEŠKA Milan, JEŽEK Karel, MELICHAR Bořivoj and RICHTA Karel. Konstrukce překladačů. Praha: Czech Technical University, 1999. ISBN 80-01-02028-2.
    Detail

    ČEŠKA Milan and URBÁŠEK Milan. Modelling and Simulation of Parallel Systems Using CCS and Petri Nets: Major Concepts. In: Proceedings of XXIst International Colloquium ASIS 1999. Krnov, Czech Republic, 1999, pp. 371-377. ISBN 80-85988-41-0.
    Detail

    ČEŠKA Milan. Petriho sítě ve výuce oboru Informatika a výpočetní technika FEI VUT v Brně. In: Proceedings of XXIst International Colloquium ASIS 1999. Krnov, 1999, pp. 143-146. ISBN 80-85988-41-0.
    Detail

    ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Towards Verifying Complex Distributed Systems Using Object-Oriented Petri Nets. In: Proceedings of the 7th International Conference on Computer Aided Systems Theory and Technology -- EUROCAST'99. Vienna: unknown, 1999, pp. 229-232.
    Detail

  • 1998

    ČEŠKA Milan and URBÁŠEK Milan. Extension of the PESIM Simulation Tool. In: Proceedings of XX-th Workshop ASIS '98. Krnov, 1998, pp. 81-86. ISBN 80-85988-27-5.
    Detail

    ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Object-Oriented Petri Nets, Their Simulation, and Analysis. In: Proceedings of the IEEE SMC'98 Conference. San Diego, California: unknown, 1998, pp. 256-261. ISBN 0-7803-4781-1. ISSN 1062-922X.
    Detail

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

  • 1997

    ČEŠKA Milan and JANOUŠEK Vladimír. Formal Model for Object Oriented Petri Nets Modelling. Advances in System Science and Applications, vol. Spetial Issue, no. 1-6, 1997, pp. 119-124. ISSN 1078-6236.
    Detail

    ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. PNtalk - A Computerized Tool for Object Oriented Petri Nets Modelling. In: Proceedings of the 5th International Conference on Computer Aided Systems Theory and Technology -- EUROCAST'97. Las Palmas de Gran Canaria: unknown, 1997, pp. 229-231. ISBN 84-88912-04-8.
    Detail

    ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. PNtalk - A Computerized Tool for Object Oriented Petri Nets Modelling. Lecture Notes in Computer Science, vol. 1333, 1997, pp. 591-610. ISBN 3-540-63811-3. ISSN 0302-9743.
    Detail

    ČEŠKA Milan. Some Comments on Application of Theory of Formal Languages in System Science. In: Proc. of 31st International Conference MOSIS'97. Ostrava, 1997, pp. 98-103. ISBN 80-85988-16-X.
    Detail

    ČEŠKA Milan and ŠMÍD Luděk. Stavový prostor objektových modelů. In: Proceedings of 19th International Workshop on Advanced Simulation of Systems ASIS'97. Krnov, 1997, pp. 337-342. ISBN 80-85988-20-8.
    Detail

  • 1996

    ČEŠKA Milan and JANOUŠEK Vladimír. Object Orientation in Petri Nets. ASU Newsletter: a publication of the Association of SIMULA Users., vol. 1996, no. spec.iss, pp. 69-80. ISSN 1102-593X.
    Detail

  • 1994

    ČEŠKA Milan, DRABANT Radek and JANOUŠEK Vladimír. An Integrated Environment for System Specification and Prototyping. In: Proc. of the 12th International Conference on Systems Science. Wroclav: unknown, 1994, pp. 53-60.
    Detail

  • 1992

    RÁBOVÁ Zdeňka, ZENDULKA Jaroslav, ČEŠKA Milan, PERINGER Petr and JANOUŠEK Vladimír. Modelování a simulace. Brno: Brno University of Technology, 1992. ISBN 80-214-0480-9.
    Detail

  • 1985

    ČEŠKA Milan, HONZÍK Jan M., HRUŠKA Tomáš and RÁBOVÁ Zdeňka. Počítače a programování. VUT v Brně: Faculty of Electrical Engineering TUB, 1985.
    Detail

  • 1975

    ČEŠKA Milan, HONZÍK Jan M., RÁBOVÁ Zdeňka and ZACHOVAL Jan. Programování - ALGOL 60. VUT v Brně: Faculty of Electrical Engineering TUB, 1975.
    Detail

  • 1971

    ČEŠKA Milan, HANZÁLKOVÁ Milena, HONZÍK Jan M., RÁBOVÁ Zdeňka and ZACHOVAL Jan. Programové vybavení - Metodika programového vybavení počítačů. VUT v Brně: Faculty of Electrical Engineering TUB, 1971.
    Detail

Back to top