Ing. Pavel Erlebach

2008Vojnar, 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
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
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
 Erlebach, P., Vojnar, T.: Automated Formal Verification of Programs with Dynamic Data Structures Using State-of-the-Art Tools, In: Proceedings of 8th International Conference ISIM'05 Information System Implementation and Modeling, Ostrava, CZ, MARQ, 2005, p. 219-226, ISBN 80-86840-09-3
 Erlebach, P.: Experience from Verifying in TVLA, In: EEICT'05, Brno, CZ, FEKT VUT, 2005, p. 648-652, ISBN 80-214-2890-2
 Erlebach, P.: Towards a Systematic Framework for Automatic Pattern-Based Verification of Dynamic Data Structures, In: PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, FI MUNI, 2005, p. 145-154

Show all publications

Your IPv4 address: 38.107.179.217
Switch to IPv6 connection

DNSSEC [dnssec]