Solving quantified bit-vector formulas using binary decision diagrams M Jonáš, J Strejček International Conference on Theory and Applications of Satisfiability …, 2016 | 27 | 2016 |
Symbiotic 4: Beyond Reachability: (Competition Contribution) M Chalupa, M Vitovská, M Jonáš, J Slaby, J Strejček Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 26 | 2017 |
Symbiotic 3: New Slicer and Error-Witness Generation: (Competition Contribution) M Chalupa, M Jonáš, J Slaby, J Strejček, M Vitovská Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016 | 18 | 2016 |
Kratos2: An SMT-based model checker for imperative programs A Griggio, M Jonáš International Conference on Computer Aided Verification, 423-436, 2023 | 15 | 2023 |
Q3B: an efficient bdd-based SMT solver for quantified bit-vectors M Jonáš, J Strejček Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 14 | 2019 |
Abstraction of bit-vector operations for BDD-based SMT solvers M Jonáš, J Strejček International Colloquium on Theoretical Aspects of Computing, 273-291, 2018 | 10 | 2018 |
Optimizing and Caching SMT Queries in SymDIVINE: (Competition Contribution) J Mrázek, M Jonáš, V Štill, H Lauko, J Barnat Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 8 | 2017 |
On simplification of formulas with unconstrained variables and quantifiers M Jonáš, J Strejček International Conference on Theory and Applications of Satisfiability …, 2017 | 7 | 2017 |
Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution: (Competition Contribution) M Jonáš, K Kumor, J Novák, J Sedláček, M Trtík, L Zaoral, P Ayaziová, ... International Conference on Tools and Algorithms for the Construction and …, 2024 | 6 | 2024 |
Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice M Jonáš Masarykova univerzita, Fakulta informatiky, 2019 | 6 | 2019 |
Optimization modulo non-linear arithmetic via incremental linearization F Bigarella, A Cimatti, A Griggio, A Irfan, M Jonáš, M Roveri, R Sebastiani, ... International Symposium on Frontiers of Combining Systems, 213-231, 2021 | 5 | 2021 |
On the complexity of the quantified bit-vector arithmetic with binary encoding M Jonáš, J Strejček Information Processing Letters 135, 57-61, 2018 | 5* | 2018 |
RobDT: AI-enhanced Digital Twin for Space Exploration Robotic Assets M Bozzano, R Bussola, M Cristoforetti, S Goyal, M Jonáš, K Kapellos, ... International Conference on Applied Intelligence and Informatics, 183-198, 2022 | 3 | 2022 |
Efficient SMT-based analysis of failure propagation M Bozzano, A Cimatti, A Fernandes Pires, A Griggio, M Jonáš, G Kimberly Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 3 | 2021 |
Is satisfiability of quantified bit-vector formulas stable under bit-width changes M Jonáš, J Strejček LPAR-22. 22nd International Conference on Logic for Programming, Artificial …, 2018 | 3 | 2018 |
Gray-box fuzzing via gradient descent and Boolean expression coverage M Jonáš, J Strejček, M Trtík, L Urban International Conference on Tools and Algorithms for the Construction and …, 2024 | 2 | 2024 |
Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions M Jonáš, J Strejček Theory and Applications of Satisfiability Testing–SAT 2020: 23rd …, 2020 | 2 | 2020 |
SMT Solving for The Theory of Bit-vectors M Jonáš Rigorózní práce. Brno: Masarykova univerzita, Fakulta informatiky, 2016 | 2 | 2016 |
Analysis of Cyclic Fault Propagation via ASP M Bozzano, A Cimatti, A Griggio, M Jonáš, G Kimberly International Conference on Logic Programming and Nonmonotonic Reasoning …, 2022 | 1 | 2022 |
Efficient analysis of cyclic redundancy architectures via boolean fault propagation M Bozzano, A Cimatti, A Griggio, M Jonáš International Conference on Tools and Algorithms for the Construction and …, 2022 | 1 | 2022 |