Jan Fiedor

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 5

Top Topics

Dynamic Analysis

Answer Set Programming

Speculative Execution

Transactional Memory

Top Venues

Softw. Test. Verification Reliab.

Publications

Jan Fiedor, Bohuslav Krena, Ales Smrcka, Ondrej Vasícek, Tomás Vojnar
Integrating OSLC Services into Eclipse. EUROCAST (2022)
Ondrej Vasícek, Jan Fiedor, Tomas Kratochvila, Bohuslav Krena, Ales Smrcka, Tomás Vojnar
Unite: an adapter for transforming analysis tools to web services via OSLC. ESEC/SIGSOFT FSE (2022)
Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias, Kinjal Basu, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, Gopal Gupta
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming. HCVS@ETAPS (2021)
Jan Fiedor, Monika Muzikovská, Ales Smrcka, Ondrej Vasícek, Tomás Vojnar
Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs. ISSTA (2018)
Ricardo J. Dias, Carla Ferreira, Jan Fiedor, João M. Lourenço, Ales Smrcka, Diogo G. Sousa, Tomás Vojnar
Verifying Concurrent Programs Using Contracts. ICST (2017)
Jan Fiedor, Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Shmuel Ur, Tomás Vojnar
Advances in noise-based testing of concurrent software. Softw. Test. Verification Reliab. 25 (3) (2015)
Jan Fiedor, Zdenek Letko, João Lourenço, Tomás Vojnar
Dynamic Validation of Contracts in Concurrent Code. EUROCAST (2015)
Jan Fiedor, Zdenek Letko, João Lourenço, Tomás Vojnar
On Monitoring C/C++ Transactional Memory Programs. MEMICS (2014)
Jan Fiedor, Tomás Vojnar
Noise-based testing and analysis of multi-threaded C/C++ programs on the binary level. PADTAD (2012)
Jan Fiedor, Tomás Vojnar
ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level. RV (2012)
Jan Fiedor, Bohuslav Krena, Zdenek Letko, Tomás Vojnar
A Uniform Classification of Common Concurrency Errors. EUROCAST (1) (2011)
Jan Fiedor, Vendula Hrubá, Bohuslav Krena, Tomás Vojnar
DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. RV (2011)
Jan Fiedor, Marek Gach, Milan Ceska
A Novel Approach to Modechart Verification of Real-Time Systems. EUROCAST (1) (2011)