Bohuslav Krena

According to our database, Bohuslav Krena authored at least 23 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar

CoRR, 2024

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, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar

Proceedings of the Workshop Proceedings of the 40th International Conference on Logic Programming (ICLP-WS 2024) co-located with the 40th International Conference on Logic Programming (ICLP 2024), 2024

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

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Integrating OSLC Services into Eclipse.

Jan Fiedor, Bohuslav Krena, Ales Smrcka, Ondrej Vasícek, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory - EUROCAST 2022, 2022

2019

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

Microprocess. Microsystems, 2019

2018

Discovering Concurrency Errors.

João M. Lourenço, Jan Fiedor, Bohuslav Krena, Tomás Vojnar

Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

The AQUAS ECSEL Project.

Luigi Pomante, Bohuslav Krena, Tomás Vojnar, Filip Veljkovic, Pacome Magnin

Proceedings of the 21st Euromicro Conference on Digital System Design, 2018

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

Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics.

Bohuslav Krena, Hana Pluhácková, Shmuel Ur, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory - EUROCAST 2017, 2017

2015

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

2014

Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software.

Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Hana Pluhácková, Tomás Vojnar

Proceedings of the Search-Based Software Engineering - 6th International Symposium, 2014

2013

Automated formal analysis and verification: an overview.

Bohuslav Krena, Tomás Vojnar

Int. J. Gen. Syst., 2013

2012

Testing of Concurrent Programs Using Genetic Algorithms.

Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Shmuel Ur, Tomás Vojnar

Proceedings of the Search Based Software Engineering - 4th International Symposium, 2012

2011

Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software.

Bohuslav Krena, Zdenek Letko, Tomás Vojnar

Proceedings of the Runtime Verification - Second International Conference, 2011

DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking.

Jan Fiedor, Vendula Hrubá, Bohuslav Krena, Tomás Vojnar

Proceedings of the Runtime Verification - Second International Conference, 2011

Noise Injection Heuristics for Concurrency Testing.

Bohuslav Krena, Zdenek Letko, Tomás Vojnar

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2011

A Uniform Classification of Common Concurrency Errors.

Jan Fiedor, Bohuslav Krena, Zdenek Letko, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 2011

2010

A platform for search-based testing of concurrent software.

Bohuslav Krena, Zdenek Letko, Tomás Vojnar, Shmuel Ur

Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, 2010

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

Proceedings of the Runtime Verification, 9th International Workshop, 2009

Self-healing Assurance Based on Bounded Model Checking.

Vendula Hrubá, Bohuslav Krena, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory, 2009

2008

AtomRace: data race and atomicity violation detector and healer.

Zdenek Letko, Tomás Vojnar, Bohuslav Krena

Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, 2008

2007

Healing data races on-the-fly.

Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar

Proceedings of the 5th Workshop on Parallel and Distributed Systems: Testing, 2007

2005

Parallel State Space Generation and Exploration on Shared-Memory Architectures.

Milan Ceska, Bohuslav Krena, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory, 2005