Bohuslav Krena

25 papers B 6C 1Journal 6Unranked 11
YearRankTypeTitle / Venue / Authors
2025 B conf
On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming.
ICLP
Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Tomás Vojnar
2024 J jnl
Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming.
Theory Pract. Log. Program.
Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendal Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar
2024 J jnl
Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming.
CoRR
Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar
2024 — conf
Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming.
ICLP Workshops
Ondrej Vasícek, Joaquín Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Tomás Vojnar
2022 — conf
Integrating OSLC Services into Eclipse.
EUROCAST
Jan Fiedor, Bohuslav Krena, Ales Smrcka, Ondrej Vasícek, Tomás Vojnar
2022 — conf
Unite: an adapter for transforming analysis tools to web services via OSLC.
ESEC/SIGSOFT FSE
Ondrej Vasícek, Jan Fiedor, Tomas Kratochvila, Bohuslav Krena, Ales Smrcka, Tomás Vojnar
2019 J jnl
The AQUAS ECSEL Project Aggregated Quality Assurance for Systems: Co-Engineering Inside and Across the Product Life Cycle.
Microprocess. Microsystems
Luigi Pomante, Vittoriano Muttillo, Bohuslav Krena, Tomás Vojnar, Filip Veljkovic, Pacome Magnin, Martin Matschnig, Bernhard Fischer, Jabier Martinez, Thomas Gruber
2018 — ch.
Discovering Concurrency Errors.
Lectures on Runtime Verification
João M. Lourenço, Jan Fiedor, Bohuslav Krena, Tomás Vojnar
2018 C conf
The AQUAS ECSEL Project.
DSD
Luigi Pomante, Bohuslav Krena, Tomás Vojnar, Filip Veljkovic, Pacome Magnin
2017 J jnl
Boosted decision trees for behaviour mining of concurrent programmes.
Concurr. Comput. Pract. Exp.
Renata Avros, V. Dudka, Bohuslav Krena, Zdenek Letko, Hana Pluhácková, Shmuel Ur, Tomás Vojnar, Zeev Volkovich
2017 — conf
Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics.
EUROCAST (2)
Bohuslav Krena, Hana Pluhácková, Shmuel Ur, Tomás Vojnar
2015 J jnl
Advances in noise-based testing of concurrent software.
Softw. Test. Verification Reliab.
Jan Fiedor, Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Shmuel Ur, Tomás Vojnar
2014 B conf
Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software.
SSBSE
Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Hana Pluhácková, Tomás Vojnar
2013 J jnl
Automated formal analysis and verification: an overview.
Int. J. Gen. Syst.
Bohuslav Krena, Tomás Vojnar
2012 B conf
Testing of Concurrent Programs Using Genetic Algorithms.
SSBSE
Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Shmuel Ur, Tomás Vojnar
2011 — conf
A Uniform Classification of Common Concurrency Errors.
EUROCAST (1)
Jan Fiedor, Bohuslav Krena, Zdenek Letko, Tomás Vojnar
2011 B conf
Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software.
RV
Bohuslav Krena, Zdenek Letko, Tomás Vojnar
2011 B conf
DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking.
RV
Jan Fiedor, Vendula Hrubá, Bohuslav Krena, Tomás Vojnar
2011 — conf
Noise Injection Heuristics for Concurrency Testing.
MEMICS
Bohuslav Krena, Zdenek Letko, Tomás Vojnar
2010 — conf
A platform for search-based testing of concurrent software.
PDATAD
Bohuslav Krena, Zdenek Letko, Tomás Vojnar, Shmuel Ur
2009 B conf
A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing.
RV
Bohuslav Krena, Zdenek Letko, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Shmuel Ur, Tomás Vojnar
2009 — conf
Self-healing Assurance Based on Bounded Model Checking.
EUROCAST
Vendula Hrubá, Bohuslav Krena, Tomás Vojnar
2008 — conf
AtomRace: data race and atomicity violation detector and healer.
PADTAD
Zdenek Letko, Tomás Vojnar, Bohuslav Krena
2007 — conf
Healing data races on-the-fly.
PADTAD
Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar
2005 — conf
Parallel State Space Generation and Exploration on Shared-Memory Architectures.
EUROCAST
Milan Ceska, Bohuslav Krena, Tomás Vojnar