RNDr. Martin Jonáš, Ph.D.

2025

• Steady-State Strategy Synthesis for Swarms of Autonomous Agents

  JONÁŠ Martin KUČERA Antonín KŮR Vojtěch MAČÁK Jan

  Článek ve sborníku

  Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, rok: 2025

2024

• Combining Symbolic Execution with Predicate Abstraction and CEGAR

  JONÁŠ Martin STREJČEK Jan GRIGGIO Alberto

  Článek ve sborníku

  Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024, rok: 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

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

  JONÁŠ Martin STREJČEK Jan

  Článek v odborném periodiku

  THEORETICAL COMPUTER SCIENCE, rok: 2024, ročník: 1008, vydání: 114664, DOI

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