Martin Jonás

32 papers A* 1A 5B 5C 1Journal 8Unranked 12
YearRankTypeTitle / Venue / Authors
2026 — conf
BDD-Based Formula Approximations for Quantified Bit-Vector Satisfiability.
TACAS (1)
Jakub Horák, Martin Jonás
2026 — conf
Re3ver: Reverse and Verify - (Competition Contribution).
TACAS (2)
Adéla Stepková, Martin Jonás, Jan Strejcek
2026 — conf
Symbiotic 11 Predicate Abstraction Joins the Party - (Competition Contribution).
TACAS (2)
Paulína Ayaziová, Martin Jonás, Vincent Mihalkovic, Jindrich Sedlácek, Jan Strejcek
2025 B conf
Fizzer with Local Space Fuzzing - (Competition Contribution).
FASE
Martin Jonás, Jan Strejcek, Marek Trtík
2025 J jnl
Gray-Box Fuzzing in Local Space.
CoRR
Martin Jonás, Jan Strejcek, Marek Trtík
2025 J jnl
SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks.
CoRR
Dirk Beyer, Gidon Ernst, Martin Jonás, Marian Lingsch Rosenfeld
2025 A* conf
Steady-State Strategy Synthesis for Swarms of Autonomous Agents.
IJCAI
Martin Jonás, Antonín Kucera, Vojtech Kur, Jan Macák
2025 J jnl
Steady-State Strategy Synthesis for Swarms of Autonomous Agents.
CoRR
Martin Jonás, Antonín Kucera, Vojtech Kur, Jan Macák
2024 B conf
Combining Symbolic Execution with Predicate Abstraction and CEGAR.
FMCAD
Martin Jonás, Jan Strejcek, Alberto Griggio
2024 B conf
Fizzer: New Gray-Box Fuzzer - (Competition Contribution).
FASE
Martin Jonás, Jan Strejcek, Marek Trtík, Lukás Urban
2024 J jnl
Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage (Technical Report).
CoRR
Martin Jonás, Jan Strejcek, Marek Trtík, Lukás Urban
2024 — conf
Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage.
TACAS (3)
Martin Jonás, Jan Strejcek, Marek Trtík, Lukás Urban
2024 — conf
Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution - (Competition Contribution).
TACAS (3)
Martin Jonás, Kristián Kumor, Jakub Novák, Jindrich Sedlácek, Marek Trtík, Lukás Zaoral, Paulína Ayaziová, Jan Strejcek
2024 J jnl
Truncating abstraction of bit-vector operations for BDD-based SMT solvers.
Theor. Comput. Sci.
Martin Jonás, Jan Strejcek
2023 — conf
Kratos2: An SMT-Based Model Checker for Imperative Programs.
CAV (3)
Alberto Griggio, Martin Jonás
2022 B conf
Analysis of Cyclic Fault Propagation via ASP.
LPNMR
Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jonás, Greg Kimberly
2022 — conf
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation.
TACAS (2)
Marco Bozzano, Alessandro Cimatti, Alberto Griggio, Martin Jonás
2021 — conf
Efficient SMT-Based Analysis of Failure Propagation.
CAV (2)
Marco Bozzano, Alessandro Cimatti, Anthony Fernandes Pires, Alberto Griggio, Martin Jonás, Greg Kimberly
2021 — conf
Optimization Modulo Non-linear Arithmetic via Incremental Linearization.
FroCoS
Filippo Bigarella, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Martin Jonás, Marco Roveri, Roberto Sebastiani, Patrick Trentin
2021 A conf
Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way?
IROS
Jan Mrázek, Martin Jonás, Jiri Barnat
2020 A conf
Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions.
SAT
Martin Jonás, Jan Strejcek
2019 — conf
Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors.
CAV (2)
Martin Jonás, Jan Strejcek
2018 C conf
Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers.
ICTAC
Martin Jonás, Jan Strejcek
2018 B conf
Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes? (Experimental Paper).
LPAR
Martin Jonás, Jan Strejcek
2018 J jnl
On the complexity of the quantified bit-vector arithmetic with binary encoding.
Inf. Process. Lett.
Martin Jonás, Jan Strejcek
2017 A conf
On Simplification of Formulas with Unconstrained Variables and Quantifiers.
SAT
Martin Jonás, Jan Strejcek
2017 — conf
Optimizing and Caching SMT Queries in SymDIVINE - (Competition Contribution).
TACAS (2)
Jan Mrázek, Martin Jonás, Vladimír Still, Henrich Lauko, Jiri Barnat
2017 J jnl
SMT Queries Decomposition and Caching in Semi-Symbolic Model Checking.
CoRR
Jan Mrázek, Martin Jonás, Jiri Barnat
2017 — conf
Symbiotic 4: Beyond Reachability - (Competition Contribution).
TACAS (2)
Marek Chalupa, Martina Vitovská, Martin Jonás, Jiri Slaby, Jan Strejcek
2016 J jnl
On the Complexity of the Quantified Bit-Vector Arithmetic with Binary Encoded Bit-Widths.
CoRR
Martin Jonás, Jan Strejcek
2016 A conf
Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams.
SAT
Martin Jonás, Jan Strejcek
2016 A conf
Symbiotic 3: New Slicer and Error-Witness Generation - (Competition Contribution).
TACAS
Marek Chalupa, Martin Jonás, Jiri Slaby, Jan Strejcek, Martina Vitovská