Mgr. Marek Trtík, Ph.D.

2024

• Antarstick: Extracting Snow Height From Time-Lapse Photography

  LANG Matěj MRÁZ Radoslav TRTÍK Marek STOPPEL Sergej BYŠKA Jan KOZLÍKOVÁ Barbora

  Article in Periodical

  COMPUTER GRAPHICS FORUM, year: 2024, volume: 43, edition: 3, DOI

• Fizzer: New Gray-Box Fuzzer

  JONÁŠ Martin STREJČEK Jan TRTÍK Marek URBAN Lukáš

  Article in Proceedings

  Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, year: 2024

• Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage

  JONÁŠ Martin STREJČEK Jan TRTÍK Marek URBAN Lukáš

  Article in Proceedings

  Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III, year: 2024

• Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution

  JONÁŠ Martin KUMOR Kristián NOVÁK Jakub SEDLÁČEK Jindřich TRTÍK Marek ZAORAL Lukáš AYAZIOVÁ Paulína STREJČEK Jan

  Article in Proceedings

  Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III, year: 2024

2023

• A.D.A.P.T. Software

  PLISKA Pavel JURDA Mikoláš STREJČKOVÁ Adriana TRTÍK Marek BAŠO Patrik BEŇA Radoslav RAJNOHA Lukáš DVOŘÁČEK Štěpán ČUTA Martin ČERNÝ Dominik URBANOVÁ Petra

  Year: 2023

2022

• Symbiotic 9.1

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

  Year: 2022

2018

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

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

  Article in Proceedings

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

2016

• From Low-Level Pointers to High-Level Containers

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

  Article in Proceedings

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

• Tighter Loop Bound Analysis

  ČADEK Pavel STREJČEK Jan TRTÍK Marek

  Article in Proceedings

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

2014

• Symbolic Memory with Pointers

  TRTÍK Marek STREJČEK Jan

  Article in Proceedings

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