Concepedia

Bohuslav Křena

BK

5

Publications

158

Citations

5

H-Index

2007

Active since

Affiliations

Brno University of Technology(Current)

Bohuslav Křena is an author at Brno University of Technology specializing in software analysis, engineering, and software testing.

Top concepts

EngineeringSoftware TestingSoftware AnalysisComputer ScienceProgram AnalysisFormal VerificationSoftware EngineeringSystem SoftwareParallel ProgrammingData Science

Publications per year

2007–2019

5

Publications

5

Healing data races on-the-fly

Bohuslav Křena, Zdeněk Letko, Rachel Tzoref et al. · 2007 · 60 citations

Cluster Computing, Concurrent Software, Engineering +26

A platform for search-based testing of concurrent software

Bohuslav Křena, Zdeněk Letko, Tomáš Vojnar et al. · 2010 · 35 citations

Software Maintenance, Concurrent Software, Engineering +20

AtomRace

Zdeněk Letko, Tomáš Vojnar, Bohuslav Křena · 2008 · 31 citations

Hardware Security, Engineering, Data Races +15

The AQUAS ECSEL Project Aggregated Quality Assurance for Systems: Co-Engineering Inside and Across the Product Life Cycle

Luigi Pomante, Vittoriano Muttillo, Bohuslav Křena et al. · Microprocessors and Microsystems · 2019 · 20 citations · Full text

Total Quality Management, Software Maintenance, Engineering +27

Advances in noise‐based testing of concurrent software

Jan Fiedor, Vendula Hrubá, Bohuslav Křena et al. · Software Testing Verification and Reliability · 2014 · 12 citations

Concurrent Software, Engineering, Software Systems +18

Rows per page

1–5 of 5