Ing.

Bohuslav Křena

Ph.D.

FIT, UITS – odborný asistent

+420 54114 1233
krena@fit.vutbr.cz

Odeslat VUT zprávu

Ing. Bohuslav Křena, Ph.D.

Publikace

  • 2018

    KŘENA, B.; PLUHÁČKOVÁ, H.; UR, S.; VOJNAR, T. Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics. In Computer Aided Systems Theory - EUROCAST 2017. 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II. Las Palmas: Springer International Publishing, 2018. s. 99-108. ISBN: 978-3-319-74726-2.
    Detail | WWW

    LOURENCO, J.; FIEDOR, J.; KŘENA, B.; VOJNAR, T. Discovering Concurrency Errors. In Lectures on Runtime Verification: Introductory and Advanced Topics. Lecture Notes in Computer Science, vol 10457. Cham: Springer International Publishing, 2018. s. 34-60. ISBN: 978-3-319-75632-5.
    Detail | WWW

    POMANTE, L.; KŘENA, B.; VOJNAR, T.; VELJKOVIĆ, F.; MAGNIN, P. The AQUAS ECSEL Project. In Proceedings of 21st Euromicro Conference on Digital System Design (DSD 2018). Praha: Institute of Electrical and Electronics Engineers, 2018. s. 592-599. ISBN: 978-1-5386-7376-8.
    Detail | WWW

  • 2017

    PLUHÁČKOVÁ, 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.; 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

    PLUHÁČKOVÁ, 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. In Proceedings of MEMICS'14. Brno: NOVPRESS s.r.o., 2014. s. 15-27. ISBN: 978-80-214-5022-6.
    Detail

    DUDKA, V.; KŘENA, B.; LETKO, Z.; PLUHÁČKOVÁ, H.; VOJNAR, T. Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. In SSBSE'14. LNCS 8636. Heidelberg: Springer Verlag, 2014. s. 107-122. ISBN: 978-3-319-09939-2.
    Detail

  • 2013

    VOJNAR, T.; KŘENA, B. Automated formal analysis and verification: an overview. INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2013, roč. 2013, č. 42, s. 335-365. ISSN: 0308-1079.
    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

    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

    DUDKA, V.; FIEDOR, J.; KŘENA, B.; VOJNAR, T. DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. Lecture Notes in Computer Science, 2012, roč. 2012, č. 7186, s. 1-5. 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

  • 2011

    FIEDOR, J.; LETKO, Z.; VOJNAR, T.; KŘENA, B. 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: The Universidad de Las Palmas de Gran Canaria, 2011. s. 326-327. ISBN: 978-84-693-9560- 8.
    Detail

  • 2010

    KŘENA, B.; LETKO, Z.; UR, S.; VOJNAR, T. A Platform for Search- Based Testing of Concurrent Software. In 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

  • 2009

    DUDKA, V.; VOJNAR, T.; KŘENA, B. Self- healing Assurance using Bounded Model Checking. In Computer Aided Systems Theory. Las Palmas de Grand Canaria: The Universidad de Las Palmas de Gran Canaria, 2009. s. 99-100. ISBN: 978-84-691-8502- 5.
    Detail

    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. In Runtime Verification. Lecture Notes in Computer Science, Volume 5779/ 2009. Berlin: Springer Verlag, 2009. s. 101-114. ISBN: 978-3-642-04693- 3.
    Detail

    DUDKA, V.; KŘENA, B.; VOJNAR, T. Self- healing Assurance using Bounded Model Checking. In Computer Aided Systems Theory - EUROCAST 2009. Lecture Notes in Computer Science 5717. Berlin: Springer Verlag, 2009. s. 295-303. ISBN: 978-3-642-04771- 8.
    Detail

  • 2008

    LETKO, Z.; VOJNAR, T.; KŘENA, B. AtomRace: data race and atomicity violation detector and healer. In 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

    BRAIONE, P.; DENARO, G.; PEZZE, M.; KŘENA, B. Verifying LTL Properties of Bytecode with Symbolic Execution. In Bytecode 2008. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. Budapest: Elsevier Science, 2008. s. 1-14. ISSN: 1571-0661.
    Detail

  • 2007

    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

    HRUBÁ, V.; KŘENA, B.; VOJNAR, T. Using JavaPathFinder for Self- healing Assurance. In Proceedings of 3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science - MEMICS 2007. Znojmo: Ing. Zdeněk Novotný, CSc., 2007. s. 67-73. ISBN: 978-80-7355-077- 6.
    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

  • 2006

    KŘENA, B. Computer Go as a Verification Case Study. In Proceedings of XXVIIIth International Autumn Colloquium ASIS 2006: Advanced Simulation of Systems. Ostrava: 2006. s. 95-100. ISBN: 80-86840-26- 3.
    Detail

    Č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: 2006. s. 301-307.
    Detail

  • 2005

    KŘENA, B., ČEŠKA, M., VOJNAR, T. Parallel State Space Generation and Exploration on Shared- Memory Architectures. In Computer Aided Systems Theory - EUROCAST 2005. Lecture Notes in Computer Science 3643. Berlin: Springer Verlag, 2005. s. 275-280. ISBN: 978-3-540-29002- 5.
    Detail

    Č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: The Universidad de Las Palmas de Gran Canaria, 2005. s. 161-164. ISBN: 84-689-0432- 5.
    Detail

  • 2004

    KŘENA, B. Metody analýzy objektově orientovaných Petriho sítí. Brno: 2004.
    Detail | WWW

  • 2003

    KŘENA, B. Object- oriented Petri Nets and their Application and Type Analysis. 2003, roč. 1, č. 1, s. 27-31.
    Detail

  • 2002

    KŘENA, B. A Case Study: Modelling Alternating Bit Protocol by PNtalk. In Proceedings of 36th International Conference MOSIS' 02 Modelling and Simulation of Systems. Vol. I. Ostrava: 2002. s. 65-72. ISBN: 80-85988-71- 2.
    Detail | WWW

    LEGÁT, P., VAVERKA, L., VAVERKA, L. Integrated Type Analyzer and State Space Generator of Object- Oriented Petri Nets. In Brazilian Petri Net Meeting. Natal: 2002.
    Detail | WWW

  • 2001

    KŘENA, B. First Approach to Model Checking in Object- Oriented Petri Nets. In Proceedings of XIIIrd International Autumn Colloquium ASIS 2001 Advanced Simulation of Systems. Ostrava: 2001. s. 105-110. ISBN: 80-85988-61- 5.
    Detail | WWW

    KŘENA, B., VOJNAR, T. Type Analysis in Object- Oriented Petri Nets. In Proceedings of 4th International Conference on Information System Modelling -- ISM' 01. Hradec nad Moravicí, Czech Republic: 2001. s. 173-180. ISBN: 80-85988-51- 8.
    Detail | WWW

    KŘENA, B. The Graph Isomorphism Problem. In Proceedings of 7th Conference Student FEI 2001. Brno: Brno University of Technology, 2001. s. 343-347. ISBN: 80-214-1860- 5.
    Detail | WWW

  • 2000

    KŘENA, B. Podpora pro analýzu stavových prostorů objektově orientovaných Petriho sítí. In Sborník prací studentů a doktorandů. Brno: Akademické nakladatelství CERM sro., 2000. s. 192-194. ISBN: 80-7204-155- X.
    Detail | WWW

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