Jan Fiedor
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2011–2024
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICLP | Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming. | Ondrej Vascek, Joaqun Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Toms Vojnar |
| 2018 | ISSTA | Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs. | Jan Fiedor, Monika Muzikovsk, Ales Smrcka, Ondrej Vascek, Toms Vojnar |
| 2017 | ICST | Verifying Concurrent Programs Using Contracts. | Ricardo J. Dias, Carla Ferreira, Jan Fiedor, Joo M. Loureno, Ales Smrcka, Diogo G. Sousa, Toms Vojnar |
| 2012 | ISSTA | Noise-based testing and analysis of multi-threaded C/C++ programs on the binary level. | Jan Fiedor, Toms Vojnar |
| 2012 | RV | ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level. | Jan Fiedor, Toms Vojnar |
| 2011 | RV | DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. | Jan Fiedor, Vendula Hrub, Bohuslav Krena, Toms Vojnar |