Ji\v{r}\'i Barnat
Identifiers
- name variant Ji\v{r}\'i Barnat 0.60 · backfill
Papers (11)
- Reproducible Execution of POSIX Programs with DiOS cs.OS · 2019 · author #5
- From Model Checking to Runtime Verification and Back cs.SE · 2018 · author #3
- Symbolic Computation via Program Transformation cs.PL · 2018 · author #3
- SMT Queries Decomposition and Caching in Semi-Symbolic Model Checking cs.PL · 2017 · author #3
- A Simulator for LLVM Bitcode cs.SE · 2017 · author #2
- DiVM: Model Checking with LLVM and Graph Memory cs.SE · 2017 · author #4
- Using Off-the-Shelf Exception Support Components in C++ Verification cs.SE · 2017 · author #3
- Analysing Sanity of Requirements for Avionics Systems (Preliminary Version) cs.SE · 2015 · author #1
- LTL Parameter Synthesis of Parametric Timed Automata cs.FL · 2014 · author #3
- Computing Optimal Cycle Mean in Parallel on CUDA cs.DC · 2011 · author #1
- Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation cs.DC · 2011 · author #1
Mentions
- 1510.02669 #1 · backfill · confidence 0.70 Ji\v{r}\'i Barnat
- 1409.3696 #3 · backfill · confidence 0.70 Ji\v{r}\'i Barnat
- 1111.0627 #1 · backfill · confidence 0.70 Ji\v{r}\'i Barnat
- 1111.0064 #1 · backfill · confidence 0.70 Ji\v{r}\'i Barnat
Frequent Coauthors
- Petr Ro\v{c}kai 6 shared papers
- Ivana \v{C}ern\'a 2 shared papers
- Jan Mr\'azek 2 shared papers
- Katar\'ina Kejstov\'a 2 shared papers
- Lubo\v{s} Brim 2 shared papers
- Nikola Bene\v{s} 2 shared papers
- Petr Bauch 2 shared papers
- Vladim\'ir \v{S}till 2 shared papers
- Henrich Lauko 1 shared papers
- Jan Beran 1 shared papers
- Keijo Heljanko 1 shared papers
- Martin Jon\'a\v{s} 1 shared papers
- Milan \v{C}e\v{s}ka 1 shared papers
- Peter Bezd\v{e}k 1 shared papers
- Tom\'a\v{s} Kratochv\'ila 1 shared papers
- Zuzana Baranov\'a 1 shared papers