| 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 | 24 | 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 | 17 | 2016 |
| 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 | 12 | 2019 |
| 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 |
| 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 | 7 | 2018 |
| Satisfiability of Quantified Bit-Vector Formulas: Theory and Practice M Jonáš Masarykova univerzita, Fakulta informatiky, 2019 | 5 | 2019 |
| 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 |
| On simplification of formulas with unconstrained variables and quantifiers M Jonáš, J Strejček International Conference on Theory and Applications of Satisfiability …, 2017 | 5 | 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 | 3 | 2024 |
| Kratos2: An SMT-Based Model Checker for Imperative Programs A Griggio, M Jonáš International Conference on Computer Aided Verification, 423-436, 2023 | 3 | 2023 |
| 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 |
| 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 | 3 | 2021 |
| 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 |
| SMT Solving for The Theory of Bit-vectors M Jonáš Rigorózní práce. Brno: Masarykova univerzita, Fakulta informatiky, 2016 | 2 | 2016 |
| 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 | 1 | 2024 |
| 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 |
| Reconfiguring metamorphic robots via SMT: is it a viable way? J Mrázek, M Jonáš, J Barnat 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2021 | 1 | 2021 |
| SMT Queries Decomposition and Caching in Semi-Symbolic Model Checking J Mrázek, M Jonáš, J Barnat arXiv preprint arXiv:1711.09084, 2017 | 1 | 2017 |
Jan StrejčekMasaryk UniversityVerified email at fi.muni.cz
