Jan Fiedor - RankMe

19 papers A 2B 3Journal 3Unranked 9

Year	Rank	Type	Title / 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