Ing. Bohuslav Křena, Ph.D.
| 2012 | Fiedor, J., Křena, B., Letko, Z., Vojnar, T.: A Uniform Classification of Common Concurrency Errors, In: Lecture Notes in Computer Science, roč. 2012, č. 6927, DE, s. 519-526, ISSN 0302-9743 |
| | Křena, B., Letko, Z., Vojnar, T.: Coverage Metrics for Saturation-based and Search-based Testing of Concurrent Software, In: Lecture Notes in Computer Science, roč. 2012, č. 7186, DE, s. 177-192, ISSN 0302-9743 |
| | Letko, Z., Vojnar, T., Křena, B.: Noise Injection Heuristics for Concurrency Testing, In: Lecture Notes in Computer Science, roč. 2012, č. 7119, DE, s. 123-131, ISSN 0302-9743 |
| 2011 | Fiedor, J., Hrubá, V., Křena, B., Vojnar, T.: DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking, FIT-TR-2011-06, Brno, CZ, FIT VUT, 2011, s. 9 |
| | Fiedor, J., Křena, B., Letko, Z., Vojnar, T.: 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, s. 326-327, ISBN 978-84-693-9560-8 |
| 2010 | Fiedor, J., Křena, B., Letko, Z., Vojnar, T.: A Uniform Classification of Common Concurrency Errors, FIT-TR-2010-03, Brno, CZ, 2010, s. 24 |
| | Křena, B., Letko, Z., Ur, S., Vojnar, T.: A Platform for Search-Based Testing of Concurrent Software, In: PADTAD '10, Trento, IT, ACM, 2010, s. 11, ISBN 978-1-60558-823-0 |
| | Křena, B., Letko, Z., Vojnar, T., Ur, S.: A Platform for Search-Based Testing of Concurrent Software, 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Brno, CZ, MUNI, 2010, s. 1, ISBN 978-80-87342-10-7 |
| 2009 | Hrubá, V., Křena, B., Vojnar, T.: Self-healing Assurance using Bounded Model Checking, In: Computer Aided Systems Theory - EUROCAST 2009, Berlin, DE, Springer, 2009, s. 295-303, ISBN 978-3-642-04771-8 |
| | Hrubá, V., Vojnar, T., Křena, B.: Self-healing Assurance using Bounded Model Checking, In: Computer Aided Systems Theory, Las Palmas de Grand Canaria, ES, IUCTC, 2009, s. 99-100, ISBN 978-84-691-8502-5 |
| | Křena, B., Letko, Z., Nir-Buchbinder, Y., Tzoref-Brill, R., Ur, S., Vojnar, T.: A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing, FIT-TR-2009-01, Brno, CZ, 2009, s. 15 |
| | Křena, B., Letko, Z., Nir-Buchbinder, Y., Tzoref-Brill, R., Ur, S., Vojnar, T.: A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing, In: Runtime Verification, Berlin, DE, Springer, 2009, s. 101-114, ISBN 978-3-642-04693-3 |
| 2008 | Braione, P., Denaro, G., Pezze, M., Křena, B.: Verifying LTL Properties of Bytecode with Symbolic Execution, In: Bytecode 2008, Budapest, HU, Elsevier, 2008, s. 1-14, ISSN 1571-0661 |
| | Křena, B.: Jak postihovat plagiátorství studentů?, In: Informatika XXI/2008, Brno, CZ, Konvoj, 2008, s. 55-56, ISBN 978-80-7302-151-1 |
| | Křena, B.: Zavedení předmětu Typografie a publikování na FIT VUT v Brně, In: Informatika XXI/2008, Luhačovice, CZ, Konvoj, 2008, s. 57-58, ISBN 978-80-7302-151-1 |
| | Letko, Z., Vojnar, T., Křena, B.: AtomRace: Data Race and Atomicity Violation Detector and Healer, In: PADTAD '08, Seattle, US, ACM, 2008, s. 1-10, ISBN 978-1-60558-052-4 |
| 2007 | Hrubá, V., Křena, B., Letko, Z., Vojnar, T.: SHADOWS - Deliverable D3.2.3: Report on Safety of Program Modifications, Brno, CZ, EC EU, 2007, s. 21 |
| | 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, CZ, Novotny, 2007, s. 67-73, ISBN 978-80-7355-077-6 |
| | 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, GB, ACM, 2007, s. 54-64, ISBN 978-1-59593-734-6 |
| | Křena, B., Letko, Z., Tzoref-Brill, R., Ur, S., Vojnar, T.: SHADOWS - Deliverable D3.2.1: Research Report on Methodology for Self-Healing Concurrent Code Fixing, Brno, CZ, EC EU, 2007, s. 13 |
| 2006 | Č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, DE, 2006, s. 301-307 |
| | Křena, B.: Computer Go as a Verification Case Study, In: Proceedings of XXVIIIth International Autumn Colloquium ASIS 2006: Advanced Simulation of Systems, Ostrava, CZ, MARQ, 2006, s. 95-100, ISBN 80-86840-26-3 |
| 2005 | Č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, ES, IUCTC, 2005, s. 161-164, ISBN 84-689-0432-5 |
| | Češka, M., Křena, B., Vojnar, T.: Parallel State Space Generation and Exploration on Shared-Memory Architectures, In: Computer Aided Systems Theory - EUROCAST 2005, Berlin, DE, Springer, 2005, s. 275-280, ISBN 978-3-540-29002-5 |
| 2004 | Křena, B.: Metody analýzy objektově orientovaných Petriho sítí, Brno, CZ, 2004, s. 128 |
| | Křena, B.: Preliminaries of Model Checking Based on Symbolic Execution, Miláno, IT, DISCo, LTA, 2004, s. 28 |
Zobrazit všechny publikace |
Fakulta informačních technologií
![[dnssec]](/common/img/dnssec.png)