Výpis publikací

LANG, Matěj; Radoslav MRÁZ; Marek TRTÍK; Sergej STOPPEL; Jan BYŠKA a Barbora KOZLÍKOVÁ. Antarstick: Extracting Snow Height From Time-Lapse Photography. COMPUTER GRAPHICS FORUM. England: Wiley, 2024, roč. 43, č. 3, s. 1-11. ISSN 0167-7055. Dostupné z: https://dx.doi.org/10.1111/cgf.15088.

JONÁŠ, Martin; Jan STREJČEK; Marek TRTÍK a Lukáš URBAN. Fizzer: New Gray-Box Fuzzer. Online. In Dirk Beyer and Ana Cavalcanti. 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. Cham (Švýcarsko): Springer, 2024, s. 309-313. ISBN 978-3-031-57258-6. Dostupné z: https://dx.doi.org/10.1007/978-3-031-57259-3_17.

JONÁŠ, Martin; Jan STREJČEK; Marek TRTÍK a Lukáš URBAN. Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage. Online. In Bernd Finkbeiner and Laura Kovács. 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. Cham (Švýcarsko): Springer, 2024, s. 90-109. ISBN 978-3-031-57255-5. Dostupné z: https://dx.doi.org/10.1007/978-3-031-57256-2_5.

JONÁŠ, Martin; Kristián KUMOR; Jakub NOVÁK; Jindřich SEDLÁČEK; Marek TRTÍK; Lukáš ZAORAL; Paulína AYAZIOVÁ a Jan STREJČEK. Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution. Online. In Bernd Finkbeiner and Laura Kovács. 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. Cham (Švýcarsko): Springer, 2024, s. 406-411. ISBN 978-3-031-57255-5. Dostupné z: https://dx.doi.org/10.1007/978-3-031-57256-2_29.

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

CHALUPA, Marek; Jakub NOVÁK; Marek TRTÍK; Lukáš ZAORAL a Jan STREJČEK. Symbiotic 9.1. 2022.

CORDEIRO, Lucas; Pascal KESSELI; Daniel KROENING; Peter SCHRAMMEL a Marek TRTÍK. JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode. In Hana Chockler and Georg Weissenbacher. COMPUTER AIDED VERIFICATION (CAV 2018), PT I. 30th. Oxford, UK: Lecture Notes in Computer Science, 2018, s. 183-190. ISSN 0302-9743. Dostupné z: https://dx.doi.org/10.1007/978-3-319-96145-3_10.

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. Dostupné z: https://dx.doi.org/10.1007/978-3-662-49122-5_21.

Č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. Dostupné z: https://dx.doi.org/10.1007/978-3-319-46520-3_32.

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. Dostupné z: https://dx.doi.org/10.1007/978-3-319-11936-6_27.

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. Dostupné z: https://dx.doi.org/10.1007/978-3-642-35873-9_17.

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. Dostupné z: https://dx.doi.org/10.1007/978-3-319-02444-8_15.

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. Dostupné z: https://dx.doi.org/10.1007/978-3-642-36742-7_50.

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. Dostupné z: https://dx.doi.org/10.1145/2338965.2336772.

SLABÝ, Jiří; Jan STREJČEK a Marek TRTÍK. ClabureDB. 2012.

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. Dostupné z: https://dx.doi.org/10.1007/978-3-642-32469-7_14.

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. Dostupné z: https://dx.doi.org/10.1007/978-3-642-25929-6_16.

SLABÝ, Jiří; Jan STREJČEK a Marek TRTÍK. Symbiotic. 2012.

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. Dostupné z: https://dx.doi.org/10.1007/978-3-642-24372-1_34.

TRTÍK, Marek. Counter-based Abstraction for Symbolic Execution. In YRF@MFCSL 2010. 2010.