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

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. Heidelberg: Springer Verlag, 2017, pp. 38-46. ISBN 978-3-319-74727-9.
2015NOVOSAD Petr and ČEŠKA Milan. Hybrid Petri Nets State Space Representation Using Coverability Graphs and Unfoldings. Brno: Faculty of Information Technology BUT, 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.
2014POLÁŠ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.
2013NOVOSAD 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.
 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. Berín: Springer Verlag, 2013, pp. 428-435. ISBN 978-3-642-53855-1.
2012NOVOSAD Petr and ČEŠKA Milan. Unfoldings of Bounded Hybrid Petri Nets. Lecture Notes in Computer Science. 2012, vol. 2012, no. 6927, pp. 543-550. ISSN 0302-9743.
 ČEŠKA Milan, FIEDOR Jan and GACH Marek. A Novel Approach to Modechart Verification of Real-Time systems. Lecture Notes in Computer Science. 2012, vol. 2012, no. 6927, pp. 559-567. ISSN 0302-9743.
2011NOVOSAD 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.
 Č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.
2009HÝ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.
 ČEŠKA Milan, HÝSEK Jiří and JANOUŠEK Vladimír. Model-Based Design and Verification of Reactive Systems. Lecture Notes in Computer Science. 2009, vol. 2009, no. 5717, pp. 865-872. ISBN 978-3-642-04771-8. ISSN 0302-9743.
2008ANTOŠ 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.
 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. Le Havre: EUROSIM-FRANCOSIM-ARGESIM, 2008, pp. 489-491. ISBN 978-90-77381-44-1.
 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.
 SKLENÁŘ Jaroslav, CUTARAJ Valerie and ČEŠKA Milan. Using Integer Programming for Discrete Problem Optimization. In: The 2008 European Simulation and Modelling Conference. LE HAVRE: EUROSIM-FRANCOSIM-ARGESIM, 2008, pp. 19-21. ISBN 978-90-77381-44-1.
 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í. 2008, vol. 2008, no. 1, pp. 21-22. ISSN 1210-4612.
2007NOVOSAD 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.
 ČEŠKA Milan, ERLEBACH Pavel and VOJNAR Tomáš. Generalised Multi-Pattern-Based Verification of Programs with Linear Linked Structures. Formal Aspects of Computing. London: Springer London, 2007, vol. 19, no. 3, pp. 363-374. ISSN 0934-5043.
 Č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.
 ČEŠKA Milan, ERLEBACH Pavel and VOJNAR Tomáš. Pattern-based Verification for Trees. In: Computer Aided Systems Theory. Berlin: Springer Verlag, 2007, pp. 488-496. ISBN 978-3-540-75866-2.
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. 2006, vol. 2006, no. 145, pp. 113-130. ISSN 1571-0661.
 Č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.
2005SCHWARZ 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.
 Č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.
 Č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.
 Č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.
 Č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. Berlin: Springer Verlag, 2005, pp. 275-280. ISBN 978-3-540-29002-5.
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.
2003CARUANA 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.
 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.
 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.
 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.
 Č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.
 Č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. Berlin: Springer Verlag, 2003, pp. 265-278. ISBN 3-540-20221-8.
2002CARUANA 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.
 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.
 Č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.
 Č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. 2002, vol. 2002, no. 9, pp. 1289-1299. ISSN 0368-492X.
 ČEŠKA Milan. Teoretická informatika. Učební texty pro předměty FJP a TI, obor IT. Brno: Faculty of Information Technology BUT, 2002.
2001MAREK 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.
 Č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.
 ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Analysis and Verification Queries over Object-Oriented Petri Nets. Lecture Notes in Computer Science. 2001, vol. 2001, no. 2178, pp. 365-384. ISSN 0302-9743.
 Č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. 2001, vol. 16, no. 3, pp. 183-193. ISSN 0267-6192.
2000Č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.
 Č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.
 Č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.
 Č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.
 ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. Lecture Notes in Computer Science. 2000, vol. 2000, no. 1798, pp. 90-104. ISSN 0302-9743.
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.
 Č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.
 Č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.
 Č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.
 Č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.
 Č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.

Show all publications

Your IPv4 address: 54.80.123.20
Switch to IPv6 connection

DNSSEC [dnssec]