Ing. Zdeněk Letko

2012Fiedor, J., Křena, B., Letko, Z., Vojnar, T.: A Uniform Classification of Common Concurrency Errors, In: Lecture Notes in Computer Science, Vol. 2012, No. 6927, DE, p. 519-526, ISSN 0302-9743
 Křena, B., Letko, Z., Vojnar, T.: Coverage Metrics for Saturation-based and Search-based Testing of Concurrent Software, In: Lecture Notes in Computer Science, Vol. 2012, No. 7186, DE, p. 177-192, ISSN 0302-9743
 Letko, Z., Vojnar, T., Křena, B.: Noise Injection Heuristics for Concurrency Testing, In: Lecture Notes in Computer Science, Vol. 2012, No. 7119, DE, p. 123-131, ISSN 0302-9743
2011Fiedor, J., Křena, B., Letko, Z., Vojnar, T.: A Uniform Classification of Common Concurrency Errors, In: Proceedings of the 13th International Conference on Computer Aided Systems Theory, Universidad de Las Palmas de Canaria, ES, IUCTC, 2011, p. 326-327, ISBN 978-84-693-9560-8
2010Fiedor, J., Křena, B., Letko, Z., Vojnar, T.: A Uniform Classification of Common Concurrency Errors, FIT-TR-2010-03, Brno, CZ, 2010, p. 24
 Křena, B., Letko, Z., Ur, S., Vojnar, T.: A Platform for Search-Based Testing of Concurrent Software, In: PADTAD '10, Trento, IT, ACM, 2010, p. 11, ISBN 978-1-60558-823-0
 Křena, B., Letko, Z., Vojnar, T., Ur, S.: A Platform for Search-Based Testing of Concurrent Software, 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, MUNI, 2010, p. 1, ISBN 978-80-87342-10-7
 Letko, Z.: Analysis and Sophisticated Testing of Concurrent Programs (PhD. thesis report), Brno, CZ, 2010, p. 34
 Letko, Z.: Sophisticated Testing of Concurrent Programs, In: SSBSE '10, Benevento, IT, IEEE, 2010, p. 36-40, ISBN 978-0-7695-4195-2
2009Křena, B., Letko, Z., Nir-Buchbinder, Y., Tzoref-Brill, R., Ur, S., Vojnar, T.: A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing, FIT-TR-2009-01, Brno, CZ, 2009, p. 15
 Křena, B., Letko, Z., Nir-Buchbinder, Y., Tzoref-Brill, R., Ur, S., Vojnar, T.: A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing, In: Runtime Verification, Berlin, DE, Springer, 2009, p. 101-114, ISBN 978-3-642-04693-3
2008Letko, Z., Vojnar, T., Křena, B.: AtomRace: data race and atomicity violation detector and healer, In: PADTAD '08, Seattle, US, ACM, 2008, p. 1-10, ISBN 978-1-60558-052-4
 Letko, Z.: An Architecture for Self-Healing of Data Races and Atomicity Violations for Java, In: Proceedings of the 14th Conference STUDENT EEICT 2008, Brno, CZ, VUT v Brně, 2008, p. 256-258, ISBN 978-80-214-3615-2
2007Hrubá, V., Křena, B., Letko, Z., Vojnar, T.: SHADOWS - Deliverable D3.2.3: Report on Safety of Program Modifications, Brno, CZ, EC EU, 2007, p. 21
 Křena, B., Letko, Z., Tzoref-Brill, R., Ur, S., Vojnar, T.: Healing Data Races On-The-Fly, In: Proceedings of 5th International Workshop on Parallel and Distributed Systems: Testing and Debugging Modelling - PADTAD'07, London, GB, ACM, 2007, p. 54-64, ISBN 978-1-59593-734-6
 Křena, B., Letko, Z., Tzoref-Brill, R., Ur, S., Vojnar, T.: SHADOWS - Deliverable D3.2.1: Research Report on Methodology for Self-Healing Concurrent Code Fixing, Brno, CZ, EC EU, 2007, p. 13
 Letko, Z.: Dynamic Detection and Healing of Low Level Data Races., In: Proceedings of the 13th Conference STUDENT EEICT 2007, Brno, CZ, VUT v Brně, 2007, p. 257-259, ISBN 978-80-214-3408-0

Show all publications

Your IPv4 address: 38.107.179.220
Switch to IPv6 connection

DNSSEC [dnssec]