RNDr. Martin Jonáš, Ph.D.

2023

• Kratos2: An SMT-Based Model Checker for Imperative Programs

  GRIGGIO Alberto JONÁŠ Martin

  Article in Proceedings

  Computer Aided Verification. CAV 2023, year: 2023

2022

• Analysis of Cyclic Fault Propagation via ASP

  BOZZANO Marco CIMATTI Alessandro GRIGGIO Alberto JONÁŠ Martin KIMBERLY Greg

  Article in Proceedings

  Logic Programming and Nonmonotonic Reasoning. LPNMR 2022, year: 2022

• Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation

  BOZZANO Marco CIMATTI Alessandro GRIGGIO Alberto JONÁŠ Martin

  Article in Proceedings

  Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2022, year: 2022

2021

• Efficient SMT-Based Analysis of Failure Propagation

  BOZZANO Marco CIMATTI Alessandro FERNANDES PIRES Anthony GRIGGIO Alberto JONÁŠ Martin KIMBERLY Greg

  Article in Proceedings

  Computer Aided Verification. CAV 2021., year: 2021

• Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way?

  MRÁZEK Jan JONÁŠ Martin BARNAT Jiří

  Article in Proceedings

  2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), year: 2021

2020

• Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions

  JONÁŠ Martin STREJČEK Jan

  Article in Proceedings

  Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings, year: 2020

2019

• Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors

  JONÁŠ Martin STREJČEK Jan

  Article in Proceedings

  CAV 2019: Computer Aided Verification, year: 2019

2018

• Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers

  JONÁŠ Martin STREJČEK Jan

  Article in Proceedings

  Theoretical Aspects of Computing – ICTAC 2018, year: 2018

• Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes?

  JONÁŠ Martin STREJČEK Jan

  Article in Proceedings

  LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, year: 2018

• On the complexity of the quantified bit-vector arithmetic with binary encoding

  JONÁŠ Martin STREJČEK Jan

  Article in Periodical

  Information Processing Letters, year: 2018, volume: 135, edition: červenec 2018, DOI