Výpis publikací

JONÁŠ, Martin; Jan STREJČEK a Marek TRTÍK. Fizzer with Local Space Fuzzing. Online. In Artur Boronat and Gordon Fraser. Fundamental Approaches to Software Engineering - 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings. Cham (Švýcarsko): Springer, 2025, s. 275-280. ISBN 978-3-031-90899-6. Dostupné z: https://doi.org/10.1007/978-3-031-90900-9_14.

JONÁŠ, Martin; Antonín KUČERA; Vojtěch KŮR a Jan MAČÁK. Steady-State Strategy Synthesis for Swarms of Autonomous Agents. Online. In James Kwok. Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. Kalifornie: International Joint Conferences on Artificial Intelligence, 2025, s. 135-142. ISBN 978-1-956792-06-5. Dostupné z: https://doi.org/10.24963/ijcai.2025/16.

JONÁŠ, Martin; Jan STREJČEK a Alberto GRIGGIO. Combining Symbolic Execution with Predicate Abstraction and CEGAR. Online. In Nina Narodytska, Philipp Rümmer. Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024. Wien: TU Wien Academic Press, 2024, s. 272-280. ISBN 978-3-85448-065-5. Dostupné z: https://doi.org/10.34727/2024/isbn.978-3-85448-065-5_33.

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://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://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://doi.org/10.1007/978-3-031-57256-2_29.

JONÁŠ, Martin a Jan STREJČEK. Truncating abstraction of bit-vector operations for BDD-based SMT solvers. THEORETICAL COMPUTER SCIENCE. NETHERLANDS: ELSEVIER, 2024, roč. 1008, č. 114664, s. 1-22. ISSN 0304-3975. Dostupné z: https://doi.org/10.1016/J.TCS.2024.114664.

GRIGGIO, Alberto a Martin JONÁŠ. Kratos2: An SMT-Based Model Checker for Imperative Programs. In Constantin Enea, Akash Lal. Computer Aided Verification. CAV 2023. Paříž, Francie: Springer, 2023, s. 429-436. ISBN 978-3-031-37708-2. Dostupné z: https://doi.org/10.1007/978-3-031-37709-9_20.

BOZZANO, Marco; Alessandro CIMATTI; Alberto GRIGGIO; Martin JONÁŠ a Greg KIMBERLY. Analysis of Cyclic Fault Propagation via ASP. In Gottlob, G., Inclezan, D., Maratea, M. Logic Programming and Nonmonotonic Reasoning. LPNMR 2022. Cham: Springer, 2022, s. 470-483. ISBN 978-3-031-15706-6. Dostupné z: https://doi.org/10.1007/978-3-031-15707-3_36.

BOZZANO, Marco; Alessandro CIMATTI; Alberto GRIGGIO a Martin JONÁŠ. Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation. In Fisman, D., Rosu, G. Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2022. Cham: Springer, 2022, s. 273-291, 20 s. ISBN 978-3-030-99526-3. Dostupné z: https://doi.org/10.1007/978-3-030-99527-0_15.

BOZZANO, Marco; Alessandro CIMATTI; Anthony FERNANDES PIRES; Alberto GRIGGIO; Martin JONÁŠ a Greg KIMBERLY. Efficient SMT-Based Analysis of Failure Propagation. In Silva, A., Leino, K.R.M. Computer Aided Verification. CAV 2021. Cham: Springer, 2021, s. 209-230. ISBN 978-3-030-81687-2. Dostupné z: https://doi.org/10.1007/978-3-030-81688-9_10.

MRÁZEK, Jan; Martin JONÁŠ a Jiří BARNAT. Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way?. Online. In 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). Prague: IEEE, 2021, s. 6935-6940. ISBN 978-1-6654-1714-3. Dostupné z: https://doi.org/10.1109/IROS51168.2021.9636534.

JONÁŠ, Martin a Jan STREJČEK. Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions. Online. In Luca Pulina and Martina Seidl. Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings. Cham (Switzerland): Springer, 2020, s. 378-393. ISBN 978-3-030-51824-0. Dostupné z: https://doi.org/10.1007/978-3-030-51825-7_27.

JONÁŠ, Martin a Jan STREJČEK. Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors. Online. In Isil Dillig, Serdar Tasiran. CAV 2019: Computer Aided Verification. Cham (Switzerland): Springer, 2019, s. 64-73. ISBN 978-3-030-25542-8. Dostupné z: https://doi.org/10.1007/978-3-030-25543-5_4.

JONÁŠ, Martin a Jan STREJČEK. Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers. In Bernd Fischer, Tarmo Uustalu. Theoretical Aspects of Computing – ICTAC 2018. Cham (Switzerland): Springer, 2018, s. 273-291. ISBN 978-3-030-02507-6. Dostupné z: https://doi.org/10.1007/978-3-030-02508-3_15.

JONÁŠ, Martin a Jan STREJČEK. Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes?. Online. In Gilles Barthe, Geoff Sutcliffe, Margus Veanes. LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Neuveden: EasyChair, 2018, s. 488-497. ISSN 2398-7340. Dostupné z: https://doi.org/10.29007/spnx.

JONÁŠ, Martin a Jan STREJČEK. On the complexity of the quantified bit-vector arithmetic with binary encoding. Information Processing Letters. Elsevier, 2018, roč. 135, červenec 2018, s. 57-61. ISSN 0020-0190. Dostupné z: https://doi.org/10.1016/j.ipl.2018.02.018.

JONÁŠ, Martin a Jan STREJČEK. On Simplification of Formulas with Unconstrained Variables and Quantifiers. In Serge Gaspers, Toby Walsh. Theory and Applications of Satisfiability Testing – SAT 2017. Cham (Switzerland): Springer, 2017, s. 364-379. ISBN 978-3-319-66262-6. Dostupné z: https://doi.org/10.1007/978-3-319-66263-3_23.

MRÁZEK, Jan; Martin JONÁŠ; Vladimír ŠTILL; Henrich LAUKO a Jiří BARNAT. Optimizing and Caching SMT Queries in SymDIVINE (Competition Contribution). In Axel Legay, Tiziana Margaria. Tools and Algorithms for the Construction and Analysis of Systems, 23rd International Conference, TACAS 2017, Part II. Berlin, Heidelberg: Springer, 2017, s. 390-393. ISBN 978-3-662-54579-9. Dostupné z: https://doi.org/10.1007/978-3-662-54580-5_29.

CHALUPA, Marek; Martina VITOVSKÁ; Martin JONÁŠ; Jiří SLABÝ a Jan STREJČEK. Symbiotic 4: Beyond Reachability (Competition Contribution). In Axel Legay, Tiziana Margaria. Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference. Berlin: Springer Berlin Heidelberg, 2017, s. 385-389. ISBN 978-3-662-54580-5. Dostupné z: https://doi.org/10.1007/978-3-662-54580-5_28.

JONÁŠ, Martin a Jan STREJČEK. Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams. In Nadia Creignou and Daniel Le Berre. Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference. Berlin, Heidelberg: Springer, 2016, s. 267-283. ISBN 978-3-319-40969-6. Dostupné z: https://doi.org/10.1007/978-3-319-40970-2_17.

CHALUPA, Marek; Martin JONÁŠ; Jiří SLABÝ; Jan STREJČEK a Martina VITOVSKÁ. Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution). In Marsha Chechik and Jean-Francois Raskin. Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016. Berlin, Heidelberg: Springer, 2016, s. 946-949. ISBN 978-3-662-49673-2. Dostupné z: https://doi.org/10.1007/978-3-662-49674-9_67.