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

Publikace

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

Zobrazit všechny publikace

Vaše IPv4 adresa: 54.92.153.90
Přepnout na IPv6 spojení

DNSSEC [dnssec]