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

2020

• Joint Forces for Memory Safety Checking Revisited

  CHALUPA Marek STREJČEK Jan VITOVSKÁ Martina

  Article in Periodical

  International Journal on Software Tools for Technology Transfer (STTT), year: 2020, volume: 22, edition: 2, DOI

• LTL to self-loop alternating automata with generic acceptance and back

  BLAHOUDEK František MAJOR Juraj STREJČEK Jan

  Article in Periodical

  Theoretical Computer Science, year: 2020, volume: 840, edition: Nov 2020, DOI

• Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization

  BLAHOUDEK František DURET-LUTZ Alexandre STREJČEK Jan

  Article in Proceedings

  Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, year: 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

• Symbiotic 7: Integration of Predator and More (Competition Contribution)

  CHALUPA Marek JAŠEK Tomáš TOMOVIČ Lukáš HRUŠKA Martin ŠOKOVÁ Veronika AYAZIOVÁ Paulína STREJČEK Jan VOJNAR Tomáš

  Article in Proceedings

  Tools and Algorithms for the Construction and Analysis of Systems, year: 2020

2019

• Evaluation of Program Slicing in Software Verification

  CHALUPA Marek STREJČEK Jan

  Article in Proceedings

  Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, year: 2019

• Generic Emptiness Check for Fun and Profit

  BAIER Christel BLAHOUDEK František DURET-LUTZ Alexandre KLEIN Joachim MÜLLER David STREJČEK Jan

  Article in Proceedings

  Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, year: 2019

• LTL to Smaller Self-Loop Alternating Automata and Back

  BLAHOUDEK František MAJOR Juraj STREJČEK Jan

  Article in Proceedings

  Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings, year: 2019

• ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata

  MAJOR Juraj BLAHOUDEK František STREJČEK Jan JÁNOŠOVÁ Miriama ZBONČÁKOVÁ Tatiana

  Article in Proceedings

  Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, year: 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