Ing. Bohuslav Křena, Ph.D.

2012Fiedor Jan, Hrubá Vendula, Křena Bohuslav, Vojnar Tomáš: DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking, In: Lecture Notes in Computer Science, Vol. 2012, No. 7186, DE, p. 5, ISSN 0302-9743
 Fiedor Jan, Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš: 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 Bohuslav, Letko Zdeněk, Vojnar Tomáš: 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 Zdeněk, Vojnar Tomáš, Křena Bohuslav: Influence of Noise Injection Heuristics on Concurrency Coverage, In: Lecture Notes in Computer Science, Vol. 2012, No. 7119, DE, p. 123-131, ISSN 0302-9743
2011Fiedor Jan, Hrubá Vendula, Křena Bohuslav, Vojnar Tomáš: DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking, FIT-TR-2011-06, Brno, CZ, FIT VUT, 2011, p. 9
 Fiedor Jan, Křena Bohuslav, Letko Zdeněk, 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, ES, IUCTC, 2011, p. 326-327, ISBN 978-84-693-9560-8
2010Fiedor Jan, Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš: A Uniform Classification of Common Concurrency Errors, FIT-TR-2010-03, Brno, CZ, 2010, p. 24
 Křena Bohuslav, Letko Zdeněk, Ur Shmuel, Vojnar Tomáš: 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 Bohuslav, Letko Zdeněk, Vojnar Tomáš, Ur Shmuel: 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
2009Hrubá Vendula, Křena Bohuslav, Vojnar Tomáš: Self-healing Assurance using Bounded Model Checking, In: Computer Aided Systems Theory - EUROCAST 2009, Berlin, DE, Springer, 2009, p. 295-303, ISBN 978-3-642-04771-8
 Hrubá Vendula, Vojnar Tomáš, Křena Bohuslav: Self-healing Assurance using Bounded Model Checking, In: Computer Aided Systems Theory, Las Palmas de Grand Canaria, ES, IUCTC, 2009, p. 99-100, ISBN 978-84-691-8502-5
 Křena Bohuslav, Letko Zdeněk, Nir-Buchbinder Yarden, Tzoref-Brill Rachel, Ur Shmuel, Vojnar Tomáš: 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 Bohuslav, Letko Zdeněk, Nir-Buchbinder Yarden, Tzoref-Brill Rachel, Ur Shmuel, Vojnar Tomáš: 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
2008Braione Pietro, Denaro Giovanni, Pezze Mauro, Křena Bohuslav: Verifying LTL Properties of Bytecode with Symbolic Execution, In: Bytecode 2008, Budapest, HU, Elsevier, 2008, p. 1-14, ISSN 1571-0661
 Křena Bohuslav: Jak postihovat plagiátorství studentů?, In: Informatika XXI/2008, Brno, CZ, Konvoj, 2008, p. 55-56, ISBN 978-80-7302-151-1
 Křena Bohuslav: Zavedení předmětu Typografie a publikování na FIT VUT v Brně, In: Informatika XXI/2008, Luhačovice, CZ, Konvoj, 2008, p. 57-58, ISBN 978-80-7302-151-1
 Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav: 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
2007Hrubá Vendula, Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš: SHADOWS - Deliverable D3.2.3: Report on Safety of Program Modifications, Brno, CZ, EC EU, 2007, p. 21
 Hrubá Vendula, Křena Bohuslav, 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, CZ, Novotny, 2007, p. 67-73, ISBN 978-80-7355-077-6
 Křena Bohuslav, Letko Zdeněk, Tzoref-Brill Rachel, Ur Shmuel, 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, GB, ACM, 2007, p. 54-64, ISBN 978-1-59593-734-6
 Křena Bohuslav, Letko Zdeněk, Tzoref-Brill Rachel, Ur Shmuel, Vojnar Tomáš: SHADOWS - Deliverable D3.2.1: Research Report on Methodology for Self-Healing Concurrent Code Fixing, Brno, CZ, EC EU, 2007, p. 13
2006Češka Milan, Janoušek Vladimír, Kočí Radek, Křena Bohuslav, Vojnar Tomáš: PNtalk: State of the Art, In: Proceedings of the Fourth International Workshop on Modelling of Objects, Components, and Agents, Hamburg, DE, 2006, p. 301-307
 Křena Bohuslav: Computer Go as a Verification Case Study, In: Proceedings of XXVIIIth International Autumn Colloquium ASIS 2006: Advanced Simulation of Systems, Ostrava, CZ, MARQ, 2006, p. 95-100, ISBN 80-86840-26-3
2005Češka Milan, Křena Bohuslav, 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, ES, IUCTC, 2005, p. 161-164, ISBN 84-689-0432-5
 Češka Milan, Křena Bohuslav, Vojnar Tomáš: Parallel State Space Generation and Exploration on Shared-Memory Architectures, In: Computer Aided Systems Theory - EUROCAST 2005, Berlin, DE, Springer, 2005, p. 275-280, ISBN 978-3-540-29002-5
2004Křena Bohuslav: Metody analýzy objektově orientovaných Petriho sítí, Brno, CZ, 2004, p. 128
 Křena Bohuslav: Preliminaries of Model Checking Based on Symbolic Execution, Miláno, IT, DISCo, LTA, 2004, p. 28

Show all publications

Your IPv4 address: 38.107.179.214
Switch to IPv6 connection

DNSSEC [dnssec]