Jan Fiedor

According to our database, Jan Fiedor authored at least 17 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of three.
• 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

2021

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, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, Gopal Gupta

Proceedings of the Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, 2021

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

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

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

2017

Praktické metody automatizované verifikace paralelních programů ; Practical Methods of Automated Verification of Concurrent Programs.

Jan Fiedor

PhD thesis, 2017

Verifying Concurrent Programs Using Contracts.

Ricardo J. Dias, Carla Ferreira, Jan Fiedor, João M. Lourenço, Ales Smrcka, Diogo G. Sousa, Tomás Vojnar

Proceedings of the 2017 IEEE International Conference on Software Testing, 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

Dynamic Validation of Contracts in Concurrent Code.

Jan Fiedor, Zdenek Letko, João Lourenço, Tomás Vojnar

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

2014

On Monitoring C/C++ Transactional Memory Programs.

Jan Fiedor, Zdenek Letko, João Lourenço, Tomás Vojnar

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

2012

ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level.

Jan Fiedor, Tomás Vojnar

Proceedings of the Runtime Verification, Third International Conference, 2012

Noise-based testing and analysis of multi-threaded C/C++ programs on the binary level.

Jan Fiedor, Tomás Vojnar

Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, 2012

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

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

A Novel Approach to Modechart Verification of Real-Time Systems.

Jan Fiedor, Marek Gach, Milan Ceska

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