Ing.

Bohuslav Křena

Ph.D.

Proděkan pro efektivitu a akademické záležitosti

+420 54114 1233
prodekan-efektivita@fit.vut.cz
krena@fit.vut.cz
Kancelář A308

[photo]

Publikace

  • 2019

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

  • 2018

    LOURENCO Joao, FIEDOR Jan, KŘENA Bohuslav a 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, s. 34-60. ISBN 978-3-319-75632-5.
    Detail

    KŘENA Bohuslav, PLUHÁČKOVÁ Hana, UR Shmuel a 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, s. 99-108. ISBN 978-3-319-74726-2.
    Detail

    POMANTE Luigi, KŘENA Bohuslav, VOJNAR Tomáš, VELJKOVIĆ Filip a 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, s. 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áš a VOLKOVICH Zeev. Boosted decision trees for behaviour mining of concurrent programmes. Concurrency and Computation: Practice and Experience, roč. 29, č. 21, s. 4268-4289. ISSN 1532-0634.
    Detail

    KOZÁK David, KŘENA Bohuslav, PLUHÁČKOVÁ Hana a 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 a VOJNAR Tomáš. Advances in Noise-based Testing of Concurrent Programs. Software Testing, Verification and Reliability, roč. 25, č. 3, s. 272-309. ISSN 1099-1689.
    Detail

  • 2014

    AVROS Renata, DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana, UR Shmuel, VOJNAR Tomáš a VOLKOVICH Zeev. 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 Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana a VOJNAR Tomáš. Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. In: SSBSE'14. Lecture Notes in Computer Science, roč. 8636. Heidelberg: Springer Verlag, 2014, s. 107-122. ISBN 978-3-319-09939-2.
    Detail

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

  • 2013

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

    DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk, PLUHÁČKOVÁ Hana a 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 a VOJNAR Tomáš. A Uniform Classification of Common Concurrency Errors. Lecture Notes in Computer Science, roč. 2012, č. 6927, s. 519-526. ISSN 0302-9743.
    Detail

    KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. Analysis and Testing of Concurrent Programs. FIT Monograph. Brno: Fakulta informačních technologií VUT v Brně, 2012. ISBN 978-80-214-4464-5.
    Detail

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

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

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

    DUDKA Vendula, KŘENA Bohuslav, LETKO Zdeněk a 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 a VOJNAR Tomáš. Testování vícevláknových aplikací pomocí genetických algoritmů. Lecture Notes in Computer Science, roč. 2012, č. 7515, s. 152-167. ISSN 0302-9743.
    Detail

  • 2011

    FIEDOR Jan, KŘENA Bohuslav, LETKO Zdeněk a 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: Universidad de Las Palmas de Gran Canaria, 2011, s. 326-327. ISBN 978-84-693-9560-8.
    Detail

    DUDKA Vendula, FIEDOR Jan, KŘENA Bohuslav a VOJNAR Tomáš. DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. FIT-TR-2011-06, Brno: Fakulta informačních technologií VUT v Brně, 2011.
    Detail

  • 2010

    KŘENA Bohuslav, LETKO Zdeněk, UR Shmuel a 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, s. 11. ISBN 978-1-60558-823-0.
    Detail

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

    FIEDOR Jan, KŘENA Bohuslav, LETKO Zdeněk a 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 a 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, s. 101-114. ISBN 978-3-642-04693-3.
    Detail

    KŘENA Bohuslav, LETKO Zdeněk, NIR-BUCHBINDER Yarden, TZOREF-BRILL Rachel, UR Shmuel a 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 a VOJNAR Tomáš. Self-healing Assurance using Bounded Model Checking. In: Computer Aided Systems Theory - EUROCAST 2009. Lecture Notes in Computer Science, roč. 5717. Berlin: Springer Verlag, 2009, s. 295-303. ISBN 978-3-642-04771-8.
    Detail

    DUDKA Vendula, VOJNAR Tomáš a KŘENA Bohuslav. Self-healing Assurance using Bounded Model Checking. In: Computer Aided Systems Theory. Las Palmas de Grand Canaria: Universidad de Las Palmas de Gran Canaria, 2009, s. 99-100. ISBN 978-84-691-8502-5.
    Detail

  • 2008

    LETKO Zdeněk, VOJNAR Tomáš a 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, s. 1-10. ISBN 978-1-60558-052-4.
    Detail

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

    BRAIONE Pietro, DENARO Giovanni, PEZZE Mauro a KŘENA Bohuslav. Verifying LTL Properties of Bytecode with Symbolic Execution. In: Bytecode 2008. Budapest: Elsevier Science, 2008, s. 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, s. 57-58. ISBN 978-80-7302-151-1.
    Detail

  • 2007

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

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

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

    DUDKA Vendula, KŘENA Bohuslav a 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, s. 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: MARQ, 2006, s. 95-100. ISBN 80-86840-26-3.
    Detail

    ČEŠKA Milan, JANOUŠEK Vladimír, KOČÍ Radek, KŘENA Bohuslav a VOJNAR Tomáš. 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

    ČEŠKA Milan, KŘENA Bohuslav a 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: Universidad de Las Palmas de Gran Canaria, 2005, s. 161-164. ISBN 84-689-0432-5.
    Detail

    ČEŠKA Milan, KŘENA Bohuslav a VOJNAR Tomáš. Parallel State Space Generation and Exploration on Shared-Memory Architectures. In: Computer Aided Systems Theory - EUROCAST 2005. Lecture Notes in Computer Science, roč. 3643. Berlin: Springer Verlag, 2005, s. 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, roč. 1, č. 1, s. 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: MARQ, 2002, s. 65-72. ISBN 80-85988-71-2.
    Detail

    KŘENA Bohuslav, VOJNAR Tomáš a ČEŠKA Milan. Integrated Type Analyzer and State Space Generator of Object-Oriented Petri Nets. In: Brazilian Petri Net Meeting. Natal, 2002, s. 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: MARQ, 2001, s. 105-110. ISBN 80-85988-61-5.
    Detail

    KŘENA Bohuslav. The Graph Isomorphism Problem. In: Proceedings of 7th Conference Student FEI 2001. Brno: Vysoké učení technické v Brně, 2001, s. 343-347. ISBN 80-214-1860-5.
    Detail

    KŘENA Bohuslav a 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: MARQ, 2001, s. 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 sro., 2000, s. 192-194. ISBN 80-7204-155-X.
    Detail

Nahoru