Parallel State Space Generation and Exploration on Shared-Memory Architectures. - Milan Ceska 001; Bohuslav Krena; Tomás Vojnar (EUROCAST, 2005)

Healing data races on-the-fly. - Bohuslav Krena; Zdenek Letko; Rachel Tzoref; Shmuel Ur; Tomás Vojnar (PADTAD, 2007)

AtomRace: data race and atomicity violation detector and healer. - Zdenek Letko; Tomás Vojnar; Bohuslav Krena (PADTAD, 2008)

Self-healing Assurance Based on Bounded Model Checking. - Vendula Hrubá; Bohuslav Krena; Tomás Vojnar (EUROCAST, 2009)

A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing. - Bohuslav Krena; Zdenek Letko; Yarden Nir-Buchbinder; Rachel Tzoref-Brill; Shmuel Ur; Tomás Vojnar (RV, 2009)

A platform for search-based testing of concurrent software. - Bohuslav Krena; Zdenek Letko; Tomás Vojnar; Shmuel Ur (PDATAD, 2010)

A Uniform Classification of Common Concurrency Errors. - Jan Fiedor; Bohuslav Krena; Zdenek Letko; Tomás Vojnar (EUROCAST (1), 2011)

Noise Injection Heuristics for Concurrency Testing. - Bohuslav Krena; Zdenek Letko; Tomás Vojnar (MEMICS, 2011)

DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. - Jan Fiedor; Vendula Hrubá; Bohuslav Krena; Tomás Vojnar (RV, 2011)

Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software. - Bohuslav Krena; Zdenek Letko; Tomás Vojnar (RV, 2011)

Testing of Concurrent Programs Using Genetic Algorithms. - Vendula Hrubá; Bohuslav Krena; Zdenek Letko; Shmuel Ur; Tomás Vojnar (SSBSE, 2012)

Automated formal analysis and verification: an overview. - Bohuslav Krena; Tomás Vojnar (Int. J. Gen. Syst., 2013)

Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. - Vendula Hrubá; Bohuslav Krena; Zdenek Letko; Hana Pluhácková; Tomás Vojnar (SSBSE, 2014)

Advances in noise-based testing of concurrent software. - Jan Fiedor; Vendula Hrubá; Bohuslav Krena; Zdenek Letko; Shmuel Ur; Tomás Vojnar (Softw. Test. Verification Reliab., 2015)

Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics. - Bohuslav Krena; Hana Pluhácková; Shmuel Ur; Tomás Vojnar (EUROCAST (2), 2017)

Boosted decision trees for behaviour mining of concurrent programmes. - Renata Avros; V. Dudka; Bohuslav Krena; Zdenek Letko; Hana Pluhácková; Shmuel Ur; Tomás Vojnar; Zeev Volkovich (Concurr. Comput. Pract. Exp., 2017)

The AQUAS ECSEL Project. - Luigi Pomante; Bohuslav Krena; Tomás Vojnar; Filip Veljkovic; Pacome Magnin (DSD, 2018)

Discovering Concurrency Errors. - João M. Lourenço; Jan Fiedor; Bohuslav Krena; Tomás Vojnar (Lectures on Runtime Verification, 2018)

The AQUAS ECSEL Project Aggregated Quality Assurance for Systems: Co-Engineering Inside and Across the Product Life Cycle. - Luigi Pomante; Vittoriano Muttillo; Bohuslav Krena; Tomás Vojnar; Filip Veljkovic; Pacome Magnin; Martin Matschnig; Bernhard Fischer; Jabier Martinez; Thomas Gruber 004 (Microprocess. Microsystems, 2019)

Integrating OSLC Services into Eclipse. - Jan Fiedor; Bohuslav Krena; Ales Smrcka; Ondrej Vasícek; Tomás Vojnar (EUROCAST, 2022)

Unite: an adapter for transforming analysis tools to web services via OSLC. - Ondrej Vasícek; Jan Fiedor; Tomas Kratochvila; Bohuslav Krena; Ales Smrcka; Tomás Vojnar (ESEC/SIGSOFT FSE, 2022)

Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming. - Ondrej Vasícek; Joaquín Arias; Jan Fiedor; Gopal Gupta 001; Brendan Hall; Bohuslav Krena; Brian Larson; Sarat Chandra Varanasi; Tomás Vojnar (ICLP Workshops, 2024)

Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming. - Ondrej Vasícek; Joaquín Arias; Jan Fiedor; Gopal Gupta 001; Brendan Hall; Bohuslav Krena; Brian Larson; Sarat Chandra Varanasi; Tomás Vojnar (CoRR, 2024)

Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming. - Ondrej Vasícek; Joaquín Arias; Jan Fiedor; Gopal Gupta 001; Brendal Hall; Bohuslav Krena; Brian Larson; Sarat Chandra Varanasi; Tomás Vojnar (Theory Pract. Log. Program., 2024)