Jan Fiedor

19 papers A 2B 3Journal 3Unranked 9
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
2021 — conf
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming.
HCVS@ETAPS
Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor, Joaquín Arias, Kinjal Basu, Fang Li, Devesh Bhatt, Kevin Driscoll, Elmer Salazar, Gopal Gupta
2018 A conf
Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs.
ISSTA
Jan Fiedor, Monika Muzikovská, Ales Smrcka, Ondrej Vasícek, Tomás Vojnar
2018 — ch.
Discovering Concurrency Errors.
Lectures on Runtime Verification
João M. Lourenço, Jan Fiedor, Bohuslav Krena, Tomás Vojnar
2017 — —
Praktické metody automatizované verifikace paralelních programů ; Practical Methods of Automated Verification of Concurrent Programs.
Jan Fiedor
2017 A conf
Verifying Concurrent Programs Using Contracts.
ICST
Ricardo J. Dias, Carla Ferreira, Jan Fiedor, João M. Lourenço, Ales Smrcka, Diogo G. Sousa, 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
2015 — conf
Dynamic Validation of Contracts in Concurrent Code.
EUROCAST
Jan Fiedor, Zdenek Letko, João Lourenço, Tomás Vojnar
2014 — conf
On Monitoring C/C++ Transactional Memory Programs.
MEMICS
Jan Fiedor, Zdenek Letko, João Lourenço, Tomás Vojnar
2012 B conf
ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level.
RV
Jan Fiedor, Tomás Vojnar
2012 — conf
Noise-based testing and analysis of multi-threaded C/C++ programs on the binary level.
PADTAD
Jan Fiedor, Tomás Vojnar
2011 — conf
A Novel Approach to Modechart Verification of Real-Time Systems.
EUROCAST (1)
Jan Fiedor, Marek Gach, Milan Ceska
2011 — conf
A Uniform Classification of Common Concurrency Errors.
EUROCAST (1)
Jan Fiedor, 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