Marek Trt\'ik

Identifiers

• name variant Marek Trt\'ik 0.60 · backfill

Papers (8)

1. Tighter Loop Bound Analysis (Technical report) cs.PL · 2016 · author #3
2. From Low-Level Pointers to High-Level Containers cs.PL · 2015 · author #4
3. STANSE: Bug-finding Framework for C Programs cs.SE · 2012 · author #3
4. Compact Symbolic Execution (technical report) cs.SE · 2012 · author #1
5. On Synergy of Metal, Slicing, and Symbolic Execution cs.PL · 2012 · author #3
6. Compact Symbolic Execution cs.PL · 2012 · author #3
7. Abstracting Path Conditions cs.SE · 2011 · author #2
8. 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