Publikace

• 2017

  ŠIMKOVÁ, H.; KŘENA, B.; VOJNAR, T.; LETKO, Z.; UR, S.; DUDKA, V.; VOLKOVICH, Z.; AVROS, R. Boosted Decision Trees for Behaviour Mining of Concurrent Programs. Concurrency Computation Practice and Experience, 2017, roč. 29, č. 21, s. 4268-4289. ISSN: 1532-0634.
  Detail | WWW

• 2015

  FIEDOR, J.; VOJNAR, T.; LETKO, Z.; LOURENCO, J. Dynamic Validation of Contracts in Concurrent Code. In Proceedings of EUROCAST'15. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2015. s. 555-564. ISBN: 978-3-319-27339-6.
  Detail | WWW

  FIEDOR, J.; LETKO, Z.; VOJNAR, T.; LOURENCO, J. Dynamic Validation of Contracts in Concurrent Code. 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. s. 177-178. ISBN: 978-84-606-5438-4.
  Detail

  FIEDOR, J.; LETKO, Z.; LOURENCO, J.; VOJNAR, T. On Monitoring C/C++ Transactional Memory Programs. In Proceedings of MEMICS'14. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2015. s. 73-87. ISBN: 978-3-319-14895-3.
  Detail | WWW

  FIEDOR, J.; DUDKA, V.; KŘENA, B.; LETKO, Z.; UR, S.; VOJNAR, T. Advances in Noise-based Testing of Concurrent Programs. Software Testing Verification and Reliability, 2015, roč. 25, č. 3, s. 272-309. ISSN: 1099-1689.
  Detail | WWW

• 2014

  DUDKA, V.; KŘENA, B.; LETKO, Z.; ŠIMKOVÁ, H.; VOJNAR, T. Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. In SSBSE'14. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2014. s. 107-122. ISBN: 978-3-319-09939-2.
  Detail

  ŠIMKOVÁ, H.; LETKO, Z.; KŘENA, B.; VOJNAR, T.; DUDKA, V.; AVROS, R.; UR, S.; VOLKOVICH, Z. Boosted Decision Trees for Behaviour Mining of Concurrent Programs. Proceedings of MEMICS'14. Brno: NOVPRESS s.r.o., 2014. s. 15-27. ISBN: 978-80-214-5022-6.
  Detail

• 2013

  LETKO, Z. Analysis and Testing of Concurrent Programs. Information Sciences and Technologies Bulletin of the ACM Slovakia, 2013, roč. 5, č. 3, s. 1-8. ISSN: 1338-1237.
  Detail | WWW

• 2012

  LETKO, Z.; VOJNAR, T.; KŘENA, B. Coverage Metrics for Saturation-based and Search-based Testing of Concurrent Software. Lecture Notes in Computer Science, 2012, roč. 2012, č. 7186, s. 177-192. ISSN: 0302-9743.
  Detail | WWW

  DUDKA, V.; KŘENA, B.; LETKO, Z.; UR, S.; VOJNAR, T. Testování vícevláknových aplikací pomocí genetických algoritmů. Lecture Notes in Computer Science, 2012, roč. 2012, č. 7515, s. 152-167. ISSN: 0302-9743.
  Detail | WWW

  KŘENA, B.; LETKO, Z.; VOJNAR, T. Analysis and Testing of Concurrent Programs. FIT Monograph. FIT Monograph. Brno: Faculty of Information Technology BUT, 2012. 136 s. ISBN: 978-80-214-4464-5.
  Detail

  FIEDOR, J.; KŘENA, B.; LETKO, Z.; VOJNAR, T. A Uniform Classification of Common Concurrency Errors. Lecture Notes in Computer Science, 2012, roč. 2012, č. 6927, s. 519-526. ISSN: 0302-9743.
  Detail

  KŘENA, B.; LETKO, Z.; VOJNAR, T. Noise Injection Heuristics for Concurrency Testing. Lecture Notes in Computer Science, 2012, roč. 2012, č. 7119, s. 123-131. ISSN: 0302-9743.
  Detail | WWW

• 2011

  FIEDOR, J.; LETKO, Z.; VOJNAR, T.; KŘENA, B. A Uniform Classification of Common Concurrency Errors. 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. s. 326-327. ISBN: 978-84-693-9560-8.
  Detail

• 2010

  LETKO, Z. Sophisticated Testing of Concurrent Programs. SSBSE '10. Proceedings of 2nd International Symposium on Search Based Software Engineering. Benevento: Institute of Electrical and Electronics Engineers, 2010. s. 36-40. ISBN: 978-0-7695-4195-2.
  Detail | WWW

  KŘENA, B.; LETKO, Z.; UR, S.; VOJNAR, T. A Platform for Search-Based Testing of Concurrent Software. PADTAD '10. Proceedings of the 8th Workshop on Parallel and Distributed Systems. Trento: Association for Computing Machinery, 2010. s. 48-58. ISBN: 978-1-60558-823-0.
  Detail | WWW

• 2009

  KŘENA, B.; LETKO, Z.; VOJNAR, T.; NIR-BUCHBINDER, Y.; TZOREF-BRILL, R.; UR, S. A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing. Runtime Verification. Lecture Notes in Computer Science, Volume 5779/2009. Berlin: Springer Verlag, 2009. s. 101-114. ISBN: 978-3-642-04693-3.
  Detail | WWW

• 2008

  LETKO, Z.; VOJNAR, T.; KŘENA, B. AtomRace: data race and atomicity violation detector and healer. PADTAD '08. Proceedings of the 6th workshop on Parallel and distributed systems. Seattle: Association for Computing Machinery, 2008. s. 1-10. ISBN: 978-1-60558-052-4.
  Detail | WWW

  LETKO, Z. An Architecture for Self-Healing of Data Races and Atomicity Violations for Java. Proceedings of the 14th Conference STUDENT EEICT 2008. Volume 2. Brno: Brno University of Technology, 2008. s. 256-258. ISBN: 978-80-214-3615-2.
  Detail

• 2007

  LETKO, Z. Dynamic Detection and Healing of Low Level Data Races. In Proceedings of the 13th Conference STUDENT EEICT 2007. Volume 2. Brno: Brno University of Technology, 2007. s. 257-259. ISBN: 978-80-214-3408- 0.
  Detail

  HRUBÁ, V., KŘENA, B., LETKO, Z., VOJNAR, T. SHADOWS - Deliverable D3.2.3: Report on Safety of Program Modifications. Brno: European Comission, 2007.
  Detail

  KŘENA, B., LETKO, Z., TZOREF, R., UR, S., VOJNAR, T. SHADOWS - Deliverable D3.2.1: Research Report on Methodology for Self- Healing Concurrent Code Fixing. Brno: European Comission, 2007.
  Detail

  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: Association for Computing Machinery, 2007. s. 54-64. ISBN: 978-1-59593-734- 6.
  Detail

*) Citace publikací se generují jednou za 24 hodin.