Travelled to:1 × USA
2 × Italy
Collaborated with:J.Strejcek J.Slaby L.C.Cordeiro P.Kesseli D.Kroening P.Schrammel
Talks about:instrument (1) contribut (1) competit (1) classifi (1) abstract (1) synergi (1) symbiot (1) databas (1) bytecod (1) verifi (1)
Person: Marek Trtík
DBLP: Trt=iacute=k:Marek
Contributed to:
2013
2013
2012
2018Wrote 4 papers:
- TACAS-2013-SlabyST #contest #execution #named #slicing #symbolic computation
- Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution — (Competition Contribution) (JS, JS, MT), pp. 630–632.
- VMCAI-2013-SlabyST #classification #database #named
- ClabureDB: Classified Bug-Reports Database (JS, JS, MT), pp. 268–274.
- ISSTA-2012-StrejcekT
- Abstracting path conditions (JS, MT), pp. 155–165.
- CAV-2018-CordeiroKKST #bound #bytecode #java #model checking #named #verification
- JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode (LCC, PK, DK, PS, MT), pp. 183–190.