prof. RNDr.

Milan Češka

CSc.

významný bývalý pracovník


932/osobní číslo VUT

Publikace

  • 2020

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

  • 2017

    ČEŠKA Milan, ČEŠKA Milan a PAOLETTI Nicola. Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval 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 Petr a Č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: Universidad de Las Palmas de Gran Canaria, 2015, s. 183-184. ISBN 978-84-606-5438-4.
    Detail

    NOVOSAD Petr a ČEŠKA Milan. Hybrid Petri Nets State Space Representation Using Coverability Graphs and Unfoldings. Brno: Fakulta informačních technologií VUT v Brně, 2015.
    Detail

  • 2014

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

  • 2013

    NOVOSAD Petr a Č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: Universidad de Las Palmas de Gran Canaria, 2013, s. 244-245. ISBN 84-695-6971-6.
    Detail

    NOVOSAD Petr a Č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, s. 428-435. ISBN 978-3-642-53855-1.
    Detail

  • 2012

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

    NOVOSAD Petr a ČEŠKA Milan. Unfoldings of Bounded Hybrid Petri Nets. Lecture Notes in Computer Science, roč. 2012, č. 6927, s. 543-550. ISSN 0302-9743.
    Detail

  • 2011

    ČEŠKA Milan, FIEDOR Jan a 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: Universidad de Las Palmas de Gran Canaria, 2011, s. 338-339. ISBN 978-84-693-9560-8.
    Detail

    NOVOSAD Petr a Č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: Universidad de Las Palmas de Gran Canaria, 2011, s. 334-335. ISBN 978-84-693-9560-8.
    Detail

  • 2009

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

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

  • 2008

    NOVOSAD Petr a Č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, s. 489-491. ISBN 978-90-77381-44-1.
    Detail

    NOVOSAD Petr a Č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: Masarykova universita, 2008, s. 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 a MORO Pierre. Automatická verifikace programů s dynamickými datovými strukturami. Inovační podnikání & transfer technologií, roč. 2008, č. 1, s. 21-22. ISSN 1210-4612.
    Detail

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

    SKLENÁŘ Jaroslav, CUTARAJ Valerie a Č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, s. 19-21. ISBN 978-90-77381-44-1.
    Detail

  • 2007

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

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

    ČEŠKA Milan, ERLEBACH Pavel a VOJNAR Tomáš. Pattern-Based Verification for Trees. In: Computer Aided Systems Theory - EUROCAST 2007. Las Palmas de Grand Canaria: Universidad de Las Palmas de Gran Canaria, 2007, s. 181-182. ISBN 978-3-540-75866-2.
    Detail

    NOVOSAD Petr a Č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, s. 170-172. ISBN 978-90-77381-36-6.
    Detail

  • 2006

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

    ČEŠKA Milan, JANOUŠEK Vladimír, KOČÍ Radek, KŘENA Bohuslav a VOJNAR Tomáš. 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

    ČEŠKA Milan, KŘENA Bohuslav a 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: Universidad de Las Palmas de Gran Canaria, 2005, s. 161-164. ISBN 84-689-0432-5.
    Detail

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

    ČEŠKA Milan, ERLEBACH Pavel a 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, s. 101-117.
    Detail

    SCHWARZ Ivan, ČEŠKA Milan a 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: MARQ, 2005, s. 166-173. ISBN 80-86840-10-7.
    Detail

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

  • 2004

    ČEŠKA Milan a 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, s. 269-274. ISBN 980-6560-19-1.
    Detail

  • 2003

    HAŠA Luděk a Č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: MARQ, 2003, s. 177-182. ISBN 80-85988-86-0.
    Detail

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

    ČEŠKA Milan, HAŠA Luděk a 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: Universidad de Las Palmas de Gran Canaria, 2003, s. 254-256. ISBN 84-688-0820-2.
    Detail

    ČEŠKA Milan, HAŠA Luděk a 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, roč. 2809. Berlin: Springer Verlag, 2003, s. 265-278. ISBN 3-540-20221-8.
    Detail

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

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

  • 2002

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

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

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

    CARUANA Etienne, ČEŠKA Milan a SKLENÁŘ Jaroslav. Petri Nets and their Use in Modelling of Manufacturing Systems. In: ASIS 2002 - Advanced Simulation of System. Ostrava: MARQ, 2002, s. 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: Fakulta informačních technologií VUT v Brně, 2002.
    Detail

  • 2001

    ČEŠKA Milan, JANOUŠEK Vladimír a 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: Universidad de Las Palmas de Gran Canaria, 2001, s. 115-118. ISBN 84-699-3971-8.
    Detail

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

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

    MAREK Vladimír a Č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í: MARQ, 2001, s. 145-152. ISBN 80-85988-57-7.
    Detail

  • 2000

    ČEŠKA Milan, JANOUŠEK Vladimír a 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: neznámá, 2000, s. 35-54. ISSN 0105-8517.
    Detail

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

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

    ČEŠKA Milan a 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, s. 67-70. ISBN 1-85-769121-0.
    Detail

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

  • 1999

    ČEŠKA Milan a 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: MARQ, 1999, s. 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: neznámá, 1999, s. 57-59. ISBN 84-8416-950-2.
    Detail

    ČEŠKA Milan, JEŽEK Karel, MELICHAR Bořivoj a RICHTA Karel. Konstrukce překladačů. Praha: České vysoké učení technické, 1999. ISBN 80-01-02028-2.
    Detail

    ČEŠKA Milan a 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: MARQ, 1999, s. 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: MARQ, 1999, s. 143-146. ISBN 80-85988-41-0.
    Detail

    ČEŠKA Milan, JANOUŠEK Vladimír a 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: neznámá, 1999, s. 229-232.
    Detail

  • 1998

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

    ČEŠKA Milan, JANOUŠEK Vladimír a VOJNAR Tomáš. Object-Oriented Petri Nets, Their Simulation, and Analysis. In: Proceedings of the IEEE SMC'98 Conference. San Diego, California: neznámá, 1998, s. 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: MARQ, 1998, s. 59-66. ISBN 80-85988-24-0.
    Detail

  • 1997

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

    ČEŠKA Milan, JANOUŠEK Vladimír a 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: neznámá, 1997, s. 229-231. ISBN 84-88912-04-8.
    Detail

    ČEŠKA Milan, JANOUŠEK Vladimír a VOJNAR Tomáš. PNtalk - A Computerized Tool for Object Oriented Petri Nets Modelling. Lecture Notes in Computer Science, roč. 1333, 1997, s. 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: MARQ, 1997, s. 98-103. ISBN 80-85988-16-X.
    Detail

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

  • 1996

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

  • 1994

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

  • 1992

    RÁBOVÁ Zdeňka, ZENDULKA Jaroslav, ČEŠKA Milan, PERINGER Petr a JANOUŠEK Vladimír. Modelování a simulace. Brno: Vysoké učení technické v Brně, 1992. ISBN 80-214-0480-9.
    Detail

  • 1985

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

  • 1975

    ČEŠKA Milan, HONZÍK Jan M., RÁBOVÁ Zdeňka a ZACHOVAL Jan. Programování - ALGOL 60. VUT v Brně: Fakulta elektrotechniky VUT, 1975.
    Detail

  • 1971

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

Nahoru