Marek Trtík

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

Collaborative distances :
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2016
Tighter Loop Bound Analysis (Technical report).
CoRR, 2016

From Low-Level Pointers to High-Level Containers.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Predator Shape Analysis Tool Suite.
Proceedings of the Hardware and Software: Verification and Testing, 2016

Tighter Loop Bound Analysis.
Proceedings of the Automated Technology for Verification and Analysis, 2016

2015
Anonymous On-line Communication Between Program Analyses.
CoRR, 2015

Anonymous On-line Communication Between Program Analyses.
CoRR, 2015

From Low-Level Pointers to High-Level Containers.
CoRR, 2015

2014
Symbolic Memory with Pointers.
Proceedings of the Automated Technology for Verification and Analysis, 2014

2013
ClabureDB: Classified Bug-Reports Database.
Proceedings of the Verification, 2013

Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Compact Symbolic Execution.
Proceedings of the Automated Technology for Verification and Analysis, 2013

2012
STANSE: Bug-finding Framework for C Programs
CoRR, 2012

Compact Symbolic Execution (technical report)
CoRR, 2012

On Synergy of Metal, Slicing, and Symbolic Execution
CoRR, 2012

Compact Symbolic Execution
CoRR, 2012

Abstracting path conditions.
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.
Proceedings of the Formal Methods for Industrial Critical Systems, 2012

2011
Abstracting Path Conditions
CoRR, 2011

Abstracting Path Conditions for Effective Symbolic Execution
CoRR, 2011

Efficient Loop Navigation for Symbolic Execution
CoRR, 2011

STANSE: Bug-Finding Framework for C Programs.
Proceedings of the Mathematical and Engineering Methods in Computer Science, 2011

Efficient Loop Navigation for Symbolic Execution.
Proceedings of the Automated Technology for Verification and Analysis, 2011


  Loading...