RNDr. Martin Jonáš, Ph.D.

2024

• Fizzer: New Gray-Box Fuzzer

  JONÁŠ Martin STREJČEK Jan TRTÍK Marek URBAN Lukáš

  Článek ve sborníku

  Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, rok: 2024

• Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage

  JONÁŠ Martin STREJČEK Jan TRTÍK Marek URBAN Lukáš

  Článek ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III, rok: 2024

• Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution

  JONÁŠ Martin KUMOR Kristián NOVÁK Jakub SEDLÁČEK Jindřich TRTÍK Marek ZAORAL Lukáš AYAZIOVÁ Paulína STREJČEK Jan

  Článek ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III, rok: 2024

2023

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

  GRIGGIO Alberto JONÁŠ Martin

  Článek ve sborníku

  Computer Aided Verification. CAV 2023, rok: 2023

2022

• Analysis of Cyclic Fault Propagation via ASP

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

  Článek ve sborníku

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

• Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation

  BOZZANO Marco CIMATTI Alessandro GRIGGIO Alberto JONÁŠ Martin

  Článek ve sborníku

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

2021

• Efficient SMT-Based Analysis of Failure Propagation

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

  Článek ve sborníku

  Computer Aided Verification. CAV 2021., rok: 2021

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

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

  Článek ve sborníku

  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

  JONÁŠ Martin STREJČEK Jan

  Článek ve sborníku

  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

  JONÁŠ Martin STREJČEK Jan

  Článek ve sborníku

  CAV 2019: Computer Aided Verification, rok: 2019