RNDr. Martin Jonáš, Ph.D.

2024

• Combining Symbolic Execution with Predicate Abstraction and CEGAR

  JONÁŠ Martin STREJČEK Jan GRIGGIO Alberto

  Article in Proceedings

  Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024, year: 2024

• Fizzer: New Gray-Box Fuzzer

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

  Article in Proceedings

  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, year: 2024

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

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

  Article in Proceedings

  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, year: 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

  Article in Proceedings

  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, year: 2024

• Truncating abstraction of bit-vector operations for BDD-based SMT solvers

  JONÁŠ Martin STREJČEK Jan

  Article in Periodical

  THEORETICAL COMPUTER SCIENCE, year: 2024, volume: 2024, edition: 1008, DOI

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