Martin Jonás

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 23

Top Topics

Imperative Programs

Binary Decision Diagrams

Symbolic Model Checking

Top Venues

Publications

Martin Jonás, Jan Strejcek, Marek Trtík, Lukás Urban
Fizzer: New Gray-Box Fuzzer - (Competition Contribution). FASE (2024)
Martin Jonás, Jan Strejcek, Marek Trtík, Lukás Urban
Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage. TACAS (3) (2024)
Martin Jonás, Jan Strejcek, Marek Trtík, Lukás Urban
Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage (Technical Report). CoRR (2024)
Martin Jonás, Kristián Kumor, Jakub Novák, Jindrich Sedlácek, Marek Trtík, Lukás Zaoral, Paulína Ayaziová, Jan Strejcek
Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution - (Competition Contribution). TACAS (3) (2024)
Martin Jonás, Jan Strejcek
Truncating abstraction of bit-vector operations for BDD-based SMT solvers. Theor. Comput. Sci. 1008 (2024)
Alberto Griggio, Martin Jonás
Kratos2: An SMT-Based Model Checker for Imperative Programs. CAV (3) (2023)
Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jonás
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation. TACAS (2) (2022)
Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jonás, Greg Kimberly
Analysis of Cyclic Fault Propagation via ASP. LPNMR (2022)
Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, Alberto Griggio, Martin Jonás, Greg Kimberly
Efficient SMT-Based Analysis of Failure Propagation. CAV (2) (2021)
Filippo Bigarella, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Martin Jonás, Marco Roveri, Roberto Sebastiani, Patrick Trentin
Optimization Modulo Non-linear Arithmetic via Incremental Linearization. FroCoS (2021)
Jan Mrázek, Martin Jonás, Jiri Barnat
Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way? IROS (2021)
Martin Jonás, Jan Strejcek
Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions. SAT (2020)
Martin Jonás, Jan Strejcek
Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors. CAV (2) (2019)
Martin Jonás, Jan Strejcek
Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes? (Experimental Paper). LPAR (2018)
Martin Jonás, Jan Strejcek
Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers. ICTAC (2018)
Martin Jonás, Jan Strejcek
On the complexity of the quantified bit-vector arithmetic with binary encoding. Inf. Process. Lett. 135 (2018)
Marek Chalupa, Martina Vitovská, Martin Jonás, Jiri Slaby, Jan Strejcek
Symbiotic 4: Beyond Reachability - (Competition Contribution). TACAS (2) (2017)
Jan Mrázek, Martin Jonás, Vladimír Still, Henrich Lauko, Jiri Barnat
Optimizing and Caching SMT Queries in SymDIVINE - (Competition Contribution). TACAS (2) (2017)
Martin Jonás, Jan Strejcek
On Simplification of Formulas with Unconstrained Variables and Quantifiers. SAT (2017)
Jan Mrázek, Martin Jonás, Jiri Barnat
SMT Queries Decomposition and Caching in Semi-Symbolic Model Checking. CoRR (2017)
Martin Jonás, Jan Strejcek
Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams. SAT (2016)
Martin Jonás, Jan Strejcek
On the Complexity of the Quantified Bit-Vector Arithmetic with Binary Encoded Bit-Widths. CoRR (2016)
Marek Chalupa, Martin Jonás, Jiri Slaby, Jan Strejcek, Martina Vitovská
Symbiotic 3: New Slicer and Error-Witness Generation - (Competition Contribution). TACAS (2016)