Marek Trt\'ik
Identifiers
- name variant Marek Trt\'ik 0.60 · backfill
Papers (8)
- Tighter Loop Bound Analysis (Technical report) cs.PL · 2016 · author #3
- From Low-Level Pointers to High-Level Containers cs.PL · 2015 · author #4
- STANSE: Bug-finding Framework for C Programs cs.SE · 2012 · author #3
- Compact Symbolic Execution (technical report) cs.SE · 2012 · author #1
- On Synergy of Metal, Slicing, and Symbolic Execution cs.PL · 2012 · author #3
- Compact Symbolic Execution cs.PL · 2012 · author #3
- Abstracting Path Conditions cs.SE · 2011 · author #2
- Abstracting Path Conditions for Effective Symbolic Execution cs.SC · 2011 · author #1
Mentions
- 1202.0788 #3 · backfill · confidence 0.70 Marek Trt\'ik
- 1201.6033 #1 · backfill · confidence 0.70 Marek Trt\'ik
- 1201.4719 #3 · backfill · confidence 0.70 Marek Trt\'ik
- 1201.4715 #3 · backfill · confidence 0.70 Marek Trt\'ik
- 1112.5671 #2 · backfill · confidence 0.70 Marek Trt\'ik
- 1112.4703 #1 · backfill · confidence 0.70 Marek Trt\'ik
Frequent Coauthors
- Jan Strej\v{c}ek 4 shared papers
- Ji\v{r}\'i Slab\'y 3 shared papers
- Jan Obdr\v{z}\'alek 1 shared papers
- Kamil Dudka 1 shared papers
- Luk\'a\v{s} Hol\'ik 1 shared papers
- Pavel \v{C}adek 1 shared papers
- Petr Peringer 1 shared papers
- Tom\'a\v{s} Vojnar 1 shared papers