Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Jan Fiedor

> Home > Persons

Person information

affiliation: Brno University of Technology, Czech Republic

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2017
[b1]
- view
  - electronic edition via handle.net
  - no references & citations available
  authority control:
- export record
  dblp key:
  - phd/basesearch/Fiedor17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Fiedor17
Jan Fiedor:
Praktické metody automatizované verifikace paralelních programů ; Practical Methods of Automated Verification of Concurrent Programs. Brno University of Technology, Czech Republic, 2017

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2015
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/FiedorHKLUV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/FiedorHKLUV15
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): 272-309 (2015)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2022
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/eurocast/FiedorKSVV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocast/FiedorKSVV22
Jan Fiedor, Bohuslav Krena, Ales Smrcka, Ondrej Vasícek, Tomás Vojnar:
Integrating OSLC Services into Eclipse. EUROCAST 2022: 240-249
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/VasicekFKKSV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/VasicekFKKSV22
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: 1408-1418
2021
[c10]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2109-04634
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-04634
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: 79-90
2018
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/FiedorMSVV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/FiedorMSVV18
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: 356-359
2017
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/DiasFFLSSV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/DiasFFLSSV17
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: 196-206
2015
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/eurocast/FiedorLLV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocast/FiedorLLV15
Jan Fiedor, Zdenek Letko, João Lourenço, Tomás Vojnar:
Dynamic Validation of Contracts in Concurrent Code. EUROCAST 2015: 555-564
2014
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/memics/FiedorLLV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memics/FiedorLLV14
Jan Fiedor, Zdenek Letko, João Lourenço, Tomás Vojnar:
On Monitoring C/C++ Transactional Memory Programs. MEMICS 2014: 73-87
2012
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/FiedorV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/FiedorV12
Jan Fiedor, Tomás Vojnar:
Noise-based testing and analysis of multi-threaded C/C++ programs on the binary level. PADTAD 2012: 36-46
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/FiedorV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/FiedorV12
Jan Fiedor, Tomás Vojnar:
ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level. RV 2012: 35-41
2011
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/eurocast/FiedorKLV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocast/FiedorKLV11
Jan Fiedor, Bohuslav Krena, Zdenek Letko, Tomás Vojnar:
A Uniform Classification of Common Concurrency Errors. EUROCAST (1) 2011: 519-526
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/eurocast/FiedorGC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocast/FiedorGC11
Jan Fiedor, Marek Gach, Milan Ceska:
A Novel Approach to Modechart Verification of Real-Time Systems. EUROCAST (1) 2011: 559-567
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/FiedorHKV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/FiedorHKV11
Jan Fiedor, Vendula Hrubá, Bohuslav Krena, Tomás Vojnar:
DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. RV 2011: 375-380

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2018
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/LourencoFKV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/LourencoFKV18
João M. Lourenço, Jan Fiedor, Bohuslav Krena, Tomás Vojnar:
Discovering Concurrency Errors. Lectures on Runtime Verification 2018: 34-60

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.