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

2013Novosad, P., Češka, M.: Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets, In: Proc. of Computer Aided System Theory 2013, Universidad de Las Palmas de Gran Canaria, ES, IUCTC, 2013, p. 244-245, ISBN 84-695-6971-6
2012Češka, M., Fiedor, J., Gach, M.: A Novel Approach to Modechart Verification of Real-Time systems, In: Lecture Notes in Computer Science, Vol. 2012, No. 6927, DE, p. 559-567, ISSN 0302-9743
 Novosad, P., Češka, M.: Unfoldings of Bounded Hybrid Petri Nets, In: Lecture Notes in Computer Science, Vol. 2012, No. 6927, DE, p. 543-550, ISSN 0302-9743
2011Češka, M., Fiedor, J., Gach, M.: 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, ES, IUCTC, 2011, p. 338-339, ISBN 978-84-693-9560-8
 Novosad, P., Češka, M.: Unfoldings of Bounded Hybrid Petri Nets, In: Proceedings of the 13th International Conference on Computer Aided Systems Theory, Universidad de Las Palmas de Canaria, ES, IUCTC, 2011, p. 334-335, ISBN 978-84-693-9560-8
2009Češka, M., Hýsek, J., Janoušek, V.: Model-Based Design and Verification of Reactive Systems, In: Lecture Notes in Computer Science, Vol. 2009, No. 5717, DE, p. 865-872, ISBN 978-3-642-04771-8, ISSN 0302-9743
 Hýsek, J., Češka, M., Janoušek, V.: Model-Based Design and Verification of Reactive Systems, In: Computer Aided Systems Theory, Las Palmas de Gran Canaria, ES, 2009, p. 295-296, ISBN 978-84-691-8502-5
2008Antoš, D., Češka, M., Kotásek, Z., Křetínský, M., Matyska, L., Vojnar, T. (editors): Proceedings of 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, FI MUNI, 2008, p. 286, ISBN 978-80-7355-082-0
 Novosad, P., Češka, M.: Algorithms for Computing Coverability Graphs for Continuous Petri Nets, In: Proceedings of 22th European Simulation and Modelling Conference ESM'2008, Le Havre, FR, EUROSIM, 2008, p. 489-491, ISBN 978-90-77381-44-1
 Novosad, P., Češka, M.: Algorithms for Computing Coverability Graphs for Hybrid Petri Nets, In: 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, MUNI, 2008, p. 177-183, ISBN 978-80-7355-082-0
 Sklenář, J., Cutaraj, V., Češka, M.: Using Integer Programming for Discrete Problem Optimization., In: The 2008 European Simulation and Modelling Conference, LE HAVRE, FR, EUROSIM, 2008, p. 19-21, ISBN 978-90-77381-44-1
 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, In: Inovační podnikání & transfer technologií, Vol. 2008, No. 1, CZ, p. 21-22, ISSN 1210-4612
2007Češka, M., Erlebach, P., Vojnar, T.: Generalised Multi-Pattern-Based Verification of Programs with Linear Linked Structures, In: Formal Aspects of Computing, Vol. 19, No. 3, 2007, London, GB, p. 363-374, ISSN 0934-5043
 Češka, M., Erlebach, P., Vojnar, T.: Pattern-Based Verification for Trees, In: Computer Aided Systems Theory - EUROCAST 2007, Las Palmas de Grand Canaria, ES, IUCTC, 2007, p. 181-182, ISBN 978-3-540-75866-2
 Češka, M., Erlebach, P., Vojnar, T.: Pattern-based Verification for Trees, In: Computer Aided Systems Theory, Berlin, DE, Springer, 2007, p. 488-496, ISBN 978-3-540-75866-2
 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, MT, EUROSIS, 2007, p. 170-172, ISBN 978-90-77381-36-6
2006Češka, M., Erlebach, P., Vojnar, T.: Pattern-Based Verification of Programs with Extended Linear Linked Data Structures, In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Vol. 2006, No. 145, US, p. 113-130, ISSN 1571-0661
 Č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, DE, 2006, p. 301-307
2005Češka, M., Erlebach, P., Vojnar, T.: Pattern-Based Verification of Programs with Extended Linear Linked Data Structures, In: Proceedings of Fifth International Workshop on Automated Verification of Critical Systems, Warwick, GB, 2005, p. 101-117
 Č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, ES, IUCTC, 2005, p. 161-164, ISBN 84-689-0432-5
 Češka, M., Křena, B., Vojnar, T.: Parallel State Space Generation and Exploration on Shared-Memory Architectures, In: Computer Aided Systems Theory - EUROCAST 2005, Berlin, DE, Springer, 2005, p. 275-280, ISBN 978-3-540-29002-5
 Č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, CZ, MARQ, 2005, p. 189-198, ISBN 80-86840-16-6
 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, CZ, MARQ, 2005, p. 166-173, ISBN 80-86840-10-7

Show all publications

Your IPv4 address: 184.73.74.47
Switch to IPv6 connection

DNSSEC [dnssec]