Mgr. Marek Trtík, Ph.D.

2022

• Symbiotic 9.1

  CHALUPA Marek NOVÁK Jakub TRTÍK Marek ZAORAL Lukáš STREJČEK Jan

  Software

  Rok: 2022

2018

• JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode

  CORDEIRO Lucas KESSELI Pascal KROENING Daniel SCHRAMMEL Peter TRTÍK Marek

  Článek ve sborníku

  COMPUTER AIDED VERIFICATION (CAV 2018), PT I, rok: 2018

2016

• From Low-Level Pointers to High-Level Containers

  DUDKA Kamil HOLÍK Lukáš PERINGER Petr TRTÍK Marek VOJNAR Tomáš

  Článek ve sborníku

  Verification, Model Checking, and Abstract Interpretation, rok: 2016

• Tighter Loop Bound Analysis

  ČADEK Pavel STREJČEK Jan TRTÍK Marek

  Článek ve sborníku

  Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, rok: 2016

2014

• Symbolic Memory with Pointers

  TRTÍK Marek STREJČEK Jan

  Článek ve sborníku

  Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, rok: 2014

2013

• ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools

  SLABÝ Jiří STREJČEK Jan TRTÍK Marek

  Článek ve sborníku

  Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, rok: 2013

• Compact Symbolic Execution

  SLABÝ Jiří STREJČEK Jan TRTÍK Marek

  Článek ve sborníku

  11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, rok: 2013

• Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution)

  SLABÝ Jiří STREJČEK Jan TRTÍK Marek

  Článek ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, rok: 2013

2012

• Abstracting Path Conditions

  STREJČEK Jan TRTÍK Marek

  Článek ve sborníku

  Proceedings of the 2012 International Symposium on Software Testing and Analysis, ISSTA 2012, rok: 2012

• ClabureDB

  SLABÝ Jiří STREJČEK Jan TRTÍK Marek

  Software

  Rok: 2012