Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2016

  1. DUDKA, Kamil, Lukáš HOLÍK, Petr PERINGER, Marek TRTÍK a Tomáš VOJNAR. From Low-Level Pointers to High-Level Containers. In B. Jobstmann, K. Rustan, M. Leino. Verification, Model Checking, and Abstract Interpretation. LNCS, VMCAI 2016. St. Petersburg, Florida, United States: Springer, Switzerland, 2016. s. 431-452. ISBN 978-3-662-49121-8. doi:10.1007/978-3-662-49122-5_21.
  2. ČADEK, Pavel, Jan STREJČEK a Marek TRTÍK. Tighter Loop Bound Analysis. In Cyrille Artho and Axel Legay and Doron Peled. Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016. Berlin, Heidelberg: Springer, 2016. s. 512-527. ISBN 978-3-319-46519-7. doi:10.1007/978-3-319-46520-3_32.
  3. 2014

  4. TRTÍK, Marek a Jan STREJČEK. Symbolic Memory with Pointers. In Franck Cassez and Jean-Francois Raskin. Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014. Berlin Heidelberg: Springer, 2014. s. 380-395. ISBN 978-3-319-11935-9. doi:10.1007/978-3-319-11936-6_27.
  5. 2013

  6. SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools. In Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni. Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013. Berlin, Heidelberg: Springer, 2013. s. 268-274. ISBN 978-3-642-35872-2. doi:10.1007/978-3-642-35873-9_17.
  7. SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. Compact Symbolic Execution. In Hung Dang-Van and Mizuhito Ogawa. 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013. Berlin Heidelberg: Springer, 2013. s. 193-207. ISBN 978-3-319-02443-1. doi:10.1007/978-3-319-02444-8_15.
  8. SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution). In Nir Piterman, Scott A. Smolka. Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013. Berlin, Heidelberg: Springer, 2013. s. 630-632. ISBN 978-3-642-36741-0. doi:10.1007/978-3-642-36742-7_50.
  9. 2012

  10. STREJČEK, Jan a Marek TRTÍK. Abstracting Path Conditions. In Mats Per Erik Heimdahl, Zhendong Su. Proceedings of the 2012 International Symposium on Software Testing and Analysis, ISSTA 2012. New York, NY, USA: ACM, 2012. s. 155-165. ISBN 978-1-4503-1454-1. doi:10.1145/2338965.2336772.
  11. ClabureDB (software)
    SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. ClabureDB. 2012.
  12. SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution. In Mariëlle Stoelinga, Ralf Pinger. Formal Methods for Industrial Critical systems: 17th International Workshop, FMICS 2012. Berlin, Heidelberg: Springer, 2012. s. 207-221. ISBN 978-3-642-32468-0. doi:10.1007/978-3-642-32469-7_14.
  13. OBDRŽÁLEK, Jan, Jiří SLABÝ a Marek TRTÍK. STANSE: Bug-finding Framework for C Programs. In LNCS Proceeding of Memics 2011. Brno: Springer, 2012. s. 167-178. ISBN 978-3-642-25928-9. doi:10.1007/978-3-642-25929-6_16.
  14. Symbiotic (software)
    SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. Symbiotic. 2012.
  15. 2011

  16. OBDRŽÁLEK, Jan a Marek TRTÍK. Efficient Loop Navigation for Symbolic Execution. In Tevfik Bultan and Pao-Ann Hsiung. Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011. Heidelberg: Springer-Verlag, 2011. s. 453-462. ISBN 978-3-642-24371-4. doi:10.1007/978-3-642-24372-1_34.
  17. 2010

  18. TRTÍK, Marek. Counter-based Abstraction for Symbolic Execution. In YRF@MFCSL 2010. 2010.
Zobrazit podrobně
Zobrazeno: 10. 8. 2022 01:41