prof. RNDr. Jan Strejček, Ph.D.

2026

• Evaluating Software Verifiers for C, Java, and SV-LIB (Report on SV-COMP 2026)

  BEYER Dirk STREJČEK Jan

  Stať ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems - 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II, rok: 2026, DOI

• Goblitch: Combining Abstract Interpretation with Symbolic Execution via Witnesses

  HOLTER Karoliine AYAZIOVÁ Paulína SAAN Simmo STREJČEK Jan VOJDANI Vesal

  Stať ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems - 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II, rok: 2026, DOI

• On Complementation of Nondeterministic Finite Automata Without Full Determinization

  HOLÍK Lukáš LENGÁL Ondřej MAJOR Juraj ŠTĚPKOVÁ Adéla STREJČEK Jan

  Stať ve sborníku

  Fundamentals of Computation Theory - 25th International Symposium, FCT 2025, Wrocław, Poland, September 15-17, 2025, Proceedings, rok: 2026, DOI

• Program Reversal for Error Reachability Analysis

  ŠTĚPKOVÁ Adéla JONÁŠ Martin STREJČEK Jan

  Stať ve sborníku

  ISSRE 2026, Proceedings, rok: 2026

• Re3ver: Reverse and Verify

  ŠTĚPKOVÁ Adéla JONÁŠ Martin STREJČEK Jan

  Stať ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems - 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II, rok: 2026, DOI

• Simple Complementation of Generalized Büchi Automata

  DOKOUPIL David STREJČEK Jan

  Stať ve sborníku

  LPAR 2026, Proceedings, rok: 2026

• Symbiotic 11: Predicate Abstraction Joins the Party

  AYAZIOVÁ Paulína JONÁŠ Martin MIHALKOVIČ Vincent SEDLÁČEK Jindřich STREJČEK Jan

  Stať ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems - 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II, rok: 2026, DOI

2025

• Fizzer with Local Space Fuzzing

  JONÁŠ Martin STREJČEK Jan TRTÍK Marek

  Stať ve sborníku

  Fundamental Approaches to Software Engineering - 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, rok: 2025, DOI

• Improvements in Software Verification and Witness Validation: SV-COMP 2025

  BEYER Dirk STREJČEK Jan

  Stať ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III, rok: 2025, DOI

• Non-termination Witnesses and Their Validation

  ÁDÁM Zsófia AYAZIOVÁ Paulína BAJCZI Levente BEYER Dirk JANKOLA Marek LINGSCH-ROSENFELD Marian STREJČEK Jan

  Stať ve sborníku

  Automated Software Engineering, ASE 2025, rok: 2025, DOI