Masaryk University

Publication Records

česky | in English

Filter publications

    2024

    1. Antarstick: Extracting Snow Height From Time-Lapse Photography
      LANG, Matěj, Radoslav MRÁZ, Marek TRTÍK, Sergej STOPPEL, Jan BYŠKA and Barbora KOZLÍKOVÁ. Antarstick: Extracting Snow Height From Time-Lapse Photography. 2024. Available from: https://dx.doi.org/10.1111/cgf.15088.
      English. United States of America.
      Keywords in English: Visualization toolkits; Geographic visualization
      International impact: yes
      Reviewed: yes
      Changed by: Ing. Matěj Lang, učo 242528. Changed: 15/5/2024 17:13.
      More: https://is.muni.cz/publication/2401777/en
    2. Fizzer: New Gray-Box Fuzzer
      JONÁŠ, Martin, Jan STREJČEK, Marek TRTÍK and 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, p. 309-313. ISBN 978-3-031-57258-6. Available from: https://dx.doi.org/10.1007/978-3-031-57259-3_17.
      URL
      RIV: Proceedings paper. English. Germany.
      Jonáš, Martin (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution) -- Urban, Lukáš (703 Slovakia, belonging to the institution)
      Keywords in English: fuzzing; test generation; atomic Boolean expression; Fizzer
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 24/4/2024 13:49.
      More: https://is.muni.cz/publication/2396652/en
    3. Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage
      JONÁŠ, Martin, Jan STREJČEK, Marek TRTÍK and 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, p. 90-109. ISBN 978-3-031-57255-5. Available from: https://dx.doi.org/10.1007/978-3-031-57256-2_5.
      URL
      RIV: Proceedings paper. English. Germany.
      Jonáš, Martin (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution) -- Urban, Lukáš (703 Slovakia, belonging to the institution)
      Keywords in English: fuzzing; test generation; atomic Boolean expression; Fizzer
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 24/4/2024 13:33.
      More: https://is.muni.cz/publication/2396438/en
    4. Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution
      JONÁŠ, Martin, Kristián KUMOR, Jakub NOVÁK, Jindřich SEDLÁČEK, Marek TRTÍK, Lukáš ZAORAL, Paulína AYAZIOVÁ and 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, p. 406-411. ISBN 978-3-031-57255-5. Available from: https://dx.doi.org/10.1007/978-3-031-57256-2_29.
      URL
      RIV: Proceedings paper. English. Germany.
      Jonáš, Martin (203 Czech Republic, guarantor, belonging to the institution) -- Kumor, Kristián (703 Slovakia, belonging to the institution) -- Novák, Jakub (703 Slovakia, belonging to the institution) -- Sedláček, Jindřich (203 Czech Republic, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution) -- Zaoral, Lukáš (203 Czech Republic) -- Ayaziová, Paulína (703 Slovakia, belonging to the institution) -- Strejček, Jan (203 Czech Republic, belonging to the institution)
      Keywords in English: symbolic execution; software verification; Symbiotic
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 24/4/2024 13:32.
      More: https://is.muni.cz/publication/2396645/en

    2023

    1. A.D.A.P.T. Software (software)
      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Ý and Petra URBANOVÁ. A.D.A.P.T. Software. 2023.
      URL
      Name in Czech: A.D.A.P.T. Software
      Name (in English): A.D.A.P.T. Software
      RIV/00216224:14610/23:00133830 Software. Czech. Czech Republic.
      Pliska, Pavel (203 Czech Republic, belonging to the institution) -- Jurda, Mikoláš (203 Czech Republic, guarantor, belonging to the institution) -- Strejčková, Adriana (203 Czech Republic, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution) -- Bašo, Patrik (703 Slovakia, belonging to the institution) -- Beňa, Radoslav (703 Slovakia, belonging to the institution) -- Rajnoha, Lukáš (703 Slovakia, belonging to the institution) -- Dvořáček, Štěpán (203 Czech Republic) -- Čuta, Martin (203 Czech Republic, belonging to the institution) -- Černý, Dominik (203 Czech Republic, belonging to the institution) -- Urbanová, Petra (203 Czech Republic, belonging to the institution)
      Keywords in English: anthropometry; body parameters; ergonomy; human-centered design; personal protective equipment; 3D body scans
      International impact: yes
      Changed by: Mgr. Adriana Strejčková, učo 1000. Changed: 22/3/2024 19:36.
      More: https://is.muni.cz/publication/2386039/en

    2022

    1. Symbiotic 9.1 (software)
      CHALUPA, Marek, Jakub NOVÁK, Marek TRTÍK, Lukáš ZAORAL and Jan STREJČEK. Symbiotic 9.1. 2022.
      Odkaz na stránku software
      English. Czech Republic.
      Keywords in English: Symbiotic; symbolic execution; slicing; bug-finding
      International impact: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 7/11/2023 15:16.
      More: https://is.muni.cz/publication/2336017/en

    2018

    1. JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode
      CORDEIRO, Lucas, Pascal KESSELI, Daniel KROENING, Peter SCHRAMMEL and 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, p. 183-190. ISSN 0302-9743. Available from: https://dx.doi.org/10.1007/978-3-319-96145-3_10.
      URL
      Name (in English): JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode

      Keywords in English: JBMC; Bounded Model Checking; Java
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: Mgr. Marek Trtík, Ph.D., učo 329313. Changed: 10/3/2023 15:03.
      More: https://is.muni.cz/publication/2266237/en

    2016

    1. From Low-Level Pointers to High-Level Containers
      DUDKA, Kamil, Lukáš HOLÍK, Petr PERINGER, Marek TRTÍK and 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, p. 431-452. ISBN 978-3-662-49121-8. Available from: https://dx.doi.org/10.1007/978-3-662-49122-5_21.
      RIV/00216224:14330/16:00089165 Proceedings paper. Computer hardware and software. English. Switzerland.
      Dudka, Kamil (203 Czech Republic) -- Holík, Lukáš (203 Czech Republic) -- Peringer, Petr (203 Czech Republic) -- Trtík, Marek (203 Czech Republic, belonging to the institution) -- Vojnar, Tomáš (203 Czech Republic, guarantor)
      Keywords in English: Shape analysis; list; program transformation
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 14/5/2020 15:18.
      More: https://is.muni.cz/publication/1316339/en
    2. Tighter Loop Bound Analysis
      ČADEK, Pavel, Jan STREJČEK and 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, p. 512-527. ISBN 978-3-319-46519-7. Available from: https://dx.doi.org/10.1007/978-3-319-46520-3_32.
      RIV/00216224:14330/16:00088246 Proceedings paper. Informatics. English. Germany.
      Čadek, Pavel (203 Czech Republic) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Trtík, Marek (203 Czech Republic)
      Keywords in English: loop bounds; symbolic execution
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 13/5/2020 19:27.
      More: https://is.muni.cz/publication/1357166/en

    2014

    1. Symbolic Memory with Pointers
      TRTÍK, Marek and 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, p. 380-395. ISBN 978-3-319-11935-9. Available from: https://dx.doi.org/10.1007/978-3-319-11936-6_27.
      Name in Czech: Symbolická paměť s ukazateli
      RIV/00216224:14330/14:00074092 Proceedings paper. Informatics. English. Germany.
      Trtík, Marek (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: symbolic execution; symbolic memory
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 13/11/2014 16:23.
      More: https://is.muni.cz/publication/1205943/en

    2013

    1. ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools
      SLABÝ, Jiří, Jan STREJČEK and 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, p. 268-274. ISBN 978-3-642-35872-2. Available from: https://dx.doi.org/10.1007/978-3-642-35873-9_17.
      RIV/00216224:14330/13:00065952 Proceedings paper. Informatics. English. Germany.
      Slabý, Jiří (203 Czech Republic, guarantor, belonging to the institution) -- Strejček, Jan (203 Czech Republic, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution)
      Keywords in English: Bug database; classified bug-reports
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 17/4/2014 11:19.
      More: https://is.muni.cz/publication/1075388/en
    2. Compact Symbolic Execution
      SLABÝ, Jiří, Jan STREJČEK and 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, p. 193-207. ISBN 978-3-319-02443-1. Available from: https://dx.doi.org/10.1007/978-3-319-02444-8_15.
      Name in Czech: Kompaktní symbolická exekuce
      RIV/00216224:14330/13:00066165 Proceedings paper. Informatics. English. Germany.
      Slabý, Jiří (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution)
      Keywords in English: symbolic execution; compact symbolic execution; testing
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 18/11/2013 14:45.
      More: https://is.muni.cz/publication/1110971/en
    3. Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution)
      SLABÝ, Jiří, Jan STREJČEK and 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, p. 630-632. ISBN 978-3-642-36741-0. Available from: https://dx.doi.org/10.1007/978-3-642-36742-7_50.
      RIV/00216224:14330/13:00065969 Proceedings paper. Informatics. English. Germany.
      Slabý, Jiří (203 Czech Republic, guarantor, belonging to the institution) -- Strejček, Jan (203 Czech Republic, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution)
      Keywords in English: instrumentation; symbolic execution; program slicing
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2014 22:59.
      More: https://is.muni.cz/publication/1078253/en

    2012

    1. Abstracting Path Conditions
      STREJČEK, Jan and 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, p. 155-165. ISBN 978-1-4503-1454-1. Available from: https://dx.doi.org/10.1145/2338965.2336772.
      URL
      RIV/00216224:14330/12:00057592 Proceedings paper. Informatics. English. Czech Republic.
      Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution)
      Keywords in English: Symbolic execution; Path conditions; Program location reachability; Tests generation
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 7/1/2016 22:12.
      More: https://is.muni.cz/publication/991970/en
    2. ClabureDB (software)
      SLABÝ, Jiří, Jan STREJČEK and Marek TRTÍK. ClabureDB. 2012.
      ClabureDB
      RIV/00216224:14330/12:00062341 Software. Informatics. English. Czech Republic.
      Slabý, Jiří (203 Czech Republic, guarantor, belonging to the institution) -- Strejček, Jan (203 Czech Republic, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution)
      Keywords in English: Bug database; classified bug-reports
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 23/4/2013 05:57.
      More: https://is.muni.cz/publication/1078252/en
    3. Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution
      SLABÝ, Jiří, Jan STREJČEK and 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, p. 207-221. ISBN 978-3-642-32468-0. Available from: https://dx.doi.org/10.1007/978-3-642-32469-7_14.
      URL
      RIV/00216224:14330/12:00057431 Proceedings paper. Informatics. English. Germany.
      Slabý, Jiří (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution)
      Keywords in English: Bug finding; Symbolic execution; Program slicing; FSM property specification; Code instrumentation
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: Mgr. Jiří Slabý, Ph.D., učo 98734. Changed: 20/1/2013 11:34.
      More: https://is.muni.cz/publication/984069/en
    4. STANSE: Bug-finding Framework for C Programs
      OBDRŽÁLEK, Jan, Jiří SLABÝ and Marek TRTÍK. STANSE: Bug-finding Framework for C Programs. In LNCS Proceeding of Memics 2011. Brno: Springer, 2012, p. 167-178. ISBN 978-3-642-25928-9. Available from: https://dx.doi.org/10.1007/978-3-642-25929-6_16.
      RIV/00216224:14330/12:00067325 Proceedings paper. Computer hardware and software. English. Czech Republic.
      Obdržálek, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Slabý, Jiří (203 Czech Republic, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution)
      Keywords in English: Bug-finding; static analysis; framework; checker
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 29/4/2014 12:57.
      More: https://is.muni.cz/publication/956059/en
    5. Symbiotic (software)
      SLABÝ, Jiří, Jan STREJČEK and Marek TRTÍK. Symbiotic. 2012.
      Odkaz na stránku software
      RIV/00216224:14330/12:00062340 Software. Informatics. English. Czech Republic.
      Slabý, Jiří (203 Czech Republic, guarantor, belonging to the institution) -- Strejček, Jan (203 Czech Republic, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution)
      Keywords in English: symbolic execution; slicing; bug-finding
      International impact: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 23/4/2013 05:58.
      More: https://is.muni.cz/publication/1078249/en

    2011

    1. Efficient Loop Navigation for Symbolic Execution
      OBDRŽÁLEK, Jan and 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, p. 453-462. ISBN 978-3-642-24371-4. Available from: https://dx.doi.org/10.1007/978-3-642-24372-1_34.
      RIV/00216224:14330/11:00052855 Proceedings paper. Informatics. English. Czech Republic.
      Obdržálek, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution)
      Keywords in English: symbolic execution; loops in programs; program verification; bug-finding
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: doc. Mgr. Jan Obdržálek, PhD., učo 1552. Changed: 16/4/2012 11:02.
      More: https://is.muni.cz/publication/947610/en

    2010

    1. Counter-based Abstraction for Symbolic Execution
      TRTÍK, Marek. Counter-based Abstraction for Symbolic Execution. In YRF@MFCSL 2010. 2010.
      Name (in English): Counter-based Abstraction for Symbolic Execution

      Type of participation: active participation (giving a lecture, organization, etc.)
      Reviewed: yes
      Changed by: Mgr. Marek Trtík, Ph.D., učo 329313. Changed: 16/9/2011 16:11.
      More: https://is.muni.cz/publication/947607/en
Displayed: 29/5/2024 21:50