Marek Trtík
According to our database1, Marek Trtík
authored at least 23 papers
between 2011 and 2018.
Collaborative distances :
Collaborative distances :
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
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