Ing.

Bohuslav Křena

Ph.D.

Vice-dean for efficiency and academic affairs

+420 54114 1233
vicedean-academic@fit.vut.cz
krena@fit.vut.cz
Office A308

[photo]

Publications

  • 2019

    POMANTE Luigi, MUTTILLO Vittoriano, KŘENA Bohuslav, VOJNAR Tomáš, VELJKOVIĆ Filip, MAGNIN Pacôme, MATSCHNIG Martin, FISCHER Bernhard, MARTINEZ Jabier and GRUBER Thomas. The AQUAS ECSEL Project Aggregated Quality Assurance for Systems: Co-Engineering Inside and Across the Product Life Cycle. Microprocessors and Microsystems, vol. 2019, no. 69, pp. 54-67. ISSN 0141-9331.
    Detail

  • 2018

    LOURENCO Joao, FIEDOR Jan, KŘENA Bohuslav and VOJNAR Tomáš. Discovering Concurrency Errors. Lectures on Runtime Verification: Introductory and Advanced Topics. Lecture Notes in Computer Science, vol 10457. Cham: Springer International Publishing, 2018, pp. 34-60. ISBN 978-3-319-75632-5.
    Detail

    KŘENA Bohuslav, PLUHÁČKOVÁ Hana, UR Shmuel and VOJNAR Tomáš. 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, pp. 99-108. ISBN 978-3-319-74726-2.
    Detail

    POMANTE Luigi, KŘENA Bohuslav, VOJNAR Tomáš, VELJKOVIĆ Filip and MAGNIN Pacôme. The AQUAS ECSEL Project. In: Proceedings of 21st Euromicro Conference on Digital System Design (DSD 2018). Praha: Institute of Electrical and Electronics Engineers, 2018, pp. 592-599. ISBN 978-1-5386-7376-8.
    Detail

  • 2017

    AVROS Renata, DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana, UR Shmuel, VOJNAR Tomáš and VOLKOVICH Zeev. Boosted Decision Trees for Behaviour Mining of Concurrent Programs. Concurrency and Computation: Practice and Experience, vol. 29, no. 21, pp. 4268-4289. ISSN 1532-0634.
    Detail

    KOZÁK David, KŘENA Bohuslav, PLUHÁČKOVÁ Hana and VOJNAR Tomáš. Search-Based Testing Concurrent Java Programs Using the RoadRunner Analysis Framework [poster]. The proceedings of the 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Telč, 2017.
    Detail

  • 2015

    FIEDOR Jan, DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, UR Shmuel and VOJNAR Tomáš. Advances in Noise-based Testing of Concurrent Programs. Software Testing, Verification and Reliability, vol. 25, no. 3, pp. 272-309. ISSN 1099-1689.
    Detail

  • 2014

    AVROS Renata, DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana, UR Shmuel, VOJNAR Tomáš and VOLKOVICH Zeev. Boosted Decision Trees for Behaviour Mining of Concurrent Programs. In: Proceedings of MEMICS'14. Brno: NOVPRESS s.r.o., 2014, pp. 15-27. ISBN 978-80-214-5022-6.
    Detail

    DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana and VOJNAR Tomáš. Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. In: SSBSE'14. Lecture Notes in Computer Science, vol. 8636. Heidelberg: Springer Verlag, 2014, pp. 107-122. ISBN 978-3-319-09939-2.
    Detail

    DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana and VOJNAR Tomáš. Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. Proceedings of MEMICS'14. Brno, 2014.
    Detail

  • 2013

    KŘENA Bohuslav and VOJNAR Tomáš. Automated formal analysis and verification: an overview. International Journal of General Systems, vol. 2013, no. 42, pp. 335-365. ISSN 0308-1079.
    Detail

    DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana and VOJNAR Tomáš. Testing Concurrent Programs Using Multi-objective Genetic Algorithms. FIT-TR-2013-05, Brno, 2013.
    Detail

  • 2012

    FIEDOR Jan, KŘENA Bohuslav, LETKO Zdeněk and VOJNAR Tomáš. A Uniform Classification of Common Concurrency Errors. Lecture Notes in Computer Science, vol. 2012, no. 6927, pp. 519-526. ISSN 0302-9743.
    Detail

    KŘENA Bohuslav, LETKO Zdeněk and VOJNAR Tomáš. Analysis and Testing of Concurrent Programs. FIT Monograph. Brno: Faculty of Information Technology BUT, 2012. ISBN 978-80-214-4464-5.
    Detail

    KŘENA Bohuslav, LETKO Zdeněk and VOJNAR Tomáš. Coverage Metrics for Saturation-based and Search-based Testing of Concurrent Software. Lecture Notes in Computer Science, vol. 2012, no. 7186, pp. 177-192. ISSN 0302-9743.
    Detail

    DUDKA Vendula, FIEDOR Jan, KŘENA Bohuslav and VOJNAR Tomáš. DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. Lecture Notes in Computer Science, vol. 2012, no. 7186, p. 5. ISSN 0302-9743.
    Detail

    KŘENA Bohuslav, LETKO Zdeněk and VOJNAR Tomáš. Noise Injection Heuristics for Concurrency Testing. Lecture Notes in Computer Science, vol. 2012, no. 7119, pp. 123-131. ISSN 0302-9743.
    Detail

    DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk and VOJNAR Tomáš. Testing of Concurrent Programs Using Genetic Algorithms. FIT-TR-2012-01, Brno, 2012.
    Detail

    DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, UR Shmuel and VOJNAR Tomáš. Testing of Concurrent Programs with Genetic Algorithms. Lecture Notes in Computer Science, vol. 2012, no. 7515, pp. 152-167. ISSN 0302-9743.
    Detail

  • 2011

    FIEDOR Jan, KŘENA Bohuslav, LETKO Zdeněk and VOJNAR Tomáš. 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, pp. 326-327. ISBN 978-84-693-9560-8.
    Detail

    DUDKA Vendula, FIEDOR Jan, KŘENA Bohuslav and VOJNAR Tomáš. DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. FIT-TR-2011-06, Brno: Faculty of Information Technology BUT, 2011.
    Detail

  • 2010

    KŘENA Bohuslav, LETKO Zdeněk, UR Shmuel and VOJNAR Tomáš. 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, p. 11. ISBN 978-1-60558-823-0.
    Detail

    KŘENA Bohuslav, LETKO Zdeněk, VOJNAR Tomáš and UR Shmuel. A Platform for Search-Based Testing of Concurrent Software. 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2010. ISBN 978-80-87342-10-7.
    Detail

    FIEDOR Jan, KŘENA Bohuslav, LETKO Zdeněk and VOJNAR Tomáš. A Uniform Classification of Common Concurrency Errors. FIT-TR-2010-03, Brno, 2010.
    Detail

  • 2009

    KŘENA Bohuslav, LETKO Zdeněk, NIR-BUCHBINDER Yarden, TZOREF-BRILL Rachel, UR Shmuel and VOJNAR Tomáš. 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, pp. 101-114. ISBN 978-3-642-04693-3.
    Detail

    KŘENA Bohuslav, LETKO Zdeněk, NIR-BUCHBINDER Yarden, TZOREF-BRILL Rachel, UR Shmuel and VOJNAR Tomáš. A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing. FIT-TR-2009-01, Brno, 2009.
    Detail

    DUDKA Vendula, KŘENA Bohuslav and VOJNAR Tomáš. Self-healing Assurance using Bounded Model Checking. In: Computer Aided Systems Theory - EUROCAST 2009. Lecture Notes in Computer Science, vol. 5717. Berlin: Springer Verlag, 2009, pp. 295-303. ISBN 978-3-642-04771-8.
    Detail

    DUDKA Vendula, VOJNAR Tomáš and KŘENA Bohuslav. 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, pp. 99-100. ISBN 978-84-691-8502-5.
    Detail

  • 2008

    LETKO Zdeněk, VOJNAR Tomáš and KŘENA Bohuslav. 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, pp. 1-10. ISBN 978-1-60558-052-4.
    Detail

    KŘENA Bohuslav. Jak postihovat plagiátorství studentů?. In: Informatika XXI/2008. Brno: Konvoj, 2008, pp. 55-56. ISBN 978-80-7302-151-1.
    Detail

    BRAIONE Pietro, DENARO Giovanni, PEZZE Mauro and KŘENA Bohuslav. Verifying LTL Properties of Bytecode with Symbolic Execution. In: Bytecode 2008. Budapest: Elsevier Science, 2008, pp. 1-14. ISSN 1571-0661.
    Detail

    KŘENA Bohuslav. Zavedení předmětu Typografie a publikování na FIT VUT v Brně. In: Informatika XXI/2008. Luhačovice: Konvoj, 2008, pp. 57-58. ISBN 978-80-7302-151-1.
    Detail

  • 2007

    KŘENA Bohuslav, LETKO Zdeněk, TZOREF-BRILL Rachel, UR Shmuel and VOJNAR Tomáš. 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, pp. 54-64. ISBN 978-1-59593-734-6.
    Detail

    KŘENA Bohuslav, LETKO Zdeněk, TZOREF-BRILL Rachel, UR Shmuel and VOJNAR Tomáš. SHADOWS - Deliverable D3.2.1: Research Report on Methodology for Self-Healing Concurrent Code Fixing. Brno: European Comission EU, 2007.
    Detail

    DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk and VOJNAR Tomáš. SHADOWS - Deliverable D3.2.3: Report on Safety of Program Modifications. Brno: European Comission EU, 2007.
    Detail

    DUDKA Vendula, KŘENA Bohuslav and VOJNAR Tomáš. 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, pp. 67-73. ISBN 978-80-7355-077-6.
    Detail

  • 2006

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

    ČEŠKA Milan, JANOUŠEK Vladimír, KOČÍ Radek, KŘENA Bohuslav and VOJNAR Tomáš. PNtalk: State of the Art. In: Proceedings of the Fourth International Workshop on Modelling of Objects, Components, and Agents. Hamburg, 2006, pp. 301-307.
    Detail

  • 2005

    ČEŠKA Milan, KŘENA Bohuslav and VOJNAR Tomáš. 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, pp. 161-164. ISBN 84-689-0432-5.
    Detail

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

  • 2004

    KŘENA Bohuslav. Preliminaries of Model Checking Based on Symbolic Execution. Miláno: Universita degli Studi di Milano - Bicocca; Dipartimento di Informatica, Sistemistica e Comunicazione; Laboratory of Test and Analysis, 2004.
    Detail

  • 2003

    KŘENA Bohuslav. Object-oriented Petri Nets and their Application and Type Analysis. Information Technologies and Control, vol. 1, no. 1, pp. 27-31. ISSN 1312-2622.
    Detail

  • 2002

    KŘENA Bohuslav. 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, pp. 65-72. ISBN 80-85988-71-2.
    Detail

    KŘENA Bohuslav, VOJNAR Tomáš and ČEŠKA Milan. Integrated Type Analyzer and State Space Generator of Object-Oriented Petri Nets. In: Brazilian Petri Net Meeting. Natal, 2002, p. 6.
    Detail

  • 2001

    KŘENA Bohuslav. 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, pp. 105-110. ISBN 80-85988-61-5.
    Detail

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

    KŘENA Bohuslav and VOJNAR Tomáš. 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, pp. 173-180. ISBN 80-85988-51-8.
    Detail

  • 2000

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

Back to top