RNDr. Martin Jonáš, Ph.D.
odborný asistent – Katedra teorie programování
kancelář: C415
Botanická 554/68a
602 00 Brno
telefon: | 549 49 5086 |
---|---|
e‑mail: |
sociální a akademické sítě: |
---|
Počet publikací: 15
2023
-
Kratos2: An SMT-Based Model Checker for Imperative Programs
Computer Aided Verification. CAV 2023, rok: 2023
2022
-
Analysis of Cyclic Fault Propagation via ASP
Logic Programming and Nonmonotonic Reasoning. LPNMR 2022, rok: 2022
-
Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2022, rok: 2022
2021
-
Efficient SMT-Based Analysis of Failure Propagation
Computer Aided Verification. CAV 2021., rok: 2021
-
Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way?
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), rok: 2021
2020
-
Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions
Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings, rok: 2020
2019
-
Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors
CAV 2019: Computer Aided Verification, rok: 2019
2018
-
Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers
Theoretical Aspects of Computing – ICTAC 2018, rok: 2018
-
Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes?
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, rok: 2018
-
On the complexity of the quantified bit-vector arithmetic with binary encoding
Information Processing Letters, rok: 2018, ročník: 135, vydání: červenec 2018, DOI