A Novel Approach to Modechart Verification of Real-Time Systems. - Jan Fiedor; Marek Gach; Milan Ceska 001 (EUROCAST (1), 2011)

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

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

Noise-based testing and analysis of multi-threaded C/C++ programs on the binary level. - Jan Fiedor; Tomás Vojnar (PADTAD, 2012)

ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level. - Jan Fiedor; Tomás Vojnar (RV, 2012)

On Monitoring C/C++ Transactional Memory Programs. - Jan Fiedor; Zdenek Letko; João Lourenço; Tomás Vojnar (MEMICS, 2014)

Dynamic Validation of Contracts in Concurrent Code. - Jan Fiedor; Zdenek Letko; João Lourenço; Tomás Vojnar (EUROCAST, 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)

Verifying Concurrent Programs Using Contracts. - Ricardo J. Dias; Carla Ferreira 001; Jan Fiedor; João M. Lourenço; Ales Smrcka; Diogo G. Sousa; Tomás Vojnar (ICST, 2017)

Praktické metody automatizované verifikace paralelních programů ; Practical Methods of Automated Verification of Concurrent Programs. - Jan Fiedor (2017)

Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs. - Jan Fiedor; Monika Muzikovská; Ales Smrcka; Ondrej Vasícek; Tomás Vojnar (ISSTA, 2018)

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

Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming. - Brendan Hall; Sarat Chandra Varanasi; Jan Fiedor; Joaquín Arias; Kinjal Basu 002; Fang Li 010; Devesh Bhatt; Kevin Driscoll 001; Elmer Salazar; Gopal Gupta 001 (HCVS@ETAPS, 2021)

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)