Marek Trtík

According to our database, Marek Trtík authored at least 12 papers between 2011 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

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

Lucas C. Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel, Marek Trtík

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2016

From Low-Level Pointers to High-Level Containers.

Kamil Dudka, Lukás Holík, Petr Peringer, Marek Trtík, Tomás Vojnar

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Predator Shape Analysis Tool Suite.

Lukás Holík, Michal Kotoun, Petr Peringer, Veronika Soková, Marek Trtík, Tomás Vojnar

Proceedings of the Hardware and Software: Verification and Testing, 2016

Tighter Loop Bound Analysis.

Pavel Cadek, Jan Strejcek, Marek Trtík

Proceedings of the Automated Technology for Verification and Analysis, 2016

2014

Symbolic Memory with Pointers.

Marek Trtík, Jan Strejcek

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

ClabureDB: Classified Bug-Reports Database.

Jiri Slaby, Jan Strejcek, Marek Trtík

Proceedings of the Verification, 2013

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

Jiri Slaby, Jan Strejcek, Marek Trtík

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Compact Symbolic Execution.

Jiri Slaby, Jan Strejcek, Marek Trtík

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Abstracting path conditions.

Jan Strejcek, Marek Trtík

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

Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution.

Jiri Slaby, Jan Strejcek, Marek Trtík

Proceedings of the Formal Methods for Industrial Critical Systems, 2012

2011

STANSE: Bug-Finding Framework for C Programs.

Jan Obdrzálek, Jiri Slaby, Marek Trtík

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2011

Efficient Loop Navigation for Symbolic Execution.

Jan Obdrzálek, Marek Trtík

Proceedings of the Automated Technology for Verification and Analysis, 2011