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

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áš

  Článek ve sborníku

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

2019

• Evaluation of Program Slicing in Software Verification

  CHALUPA Marek STREJČEK Jan

  Článek ve sborníku

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

• Generic Emptiness Check for Fun and Profit

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

  Článek ve sborníku

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

• LTL to Smaller Self-Loop Alternating Automata and Back

  BLAHOUDEK František MAJOR Juraj STREJČEK Jan

  Článek ve sborníku

  Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings, rok: 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

  Článek ve sborníku

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

2018

• Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers

  JONÁŠ Martin STREJČEK Jan

  Článek ve sborníku

  Theoretical Aspects of Computing – ICTAC 2018, rok: 2018

• Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes?

  JONÁŠ Martin STREJČEK Jan

  Článek ve sborníku

  LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, rok: 2018

• Joint Forces for Memory Safety Checking

  CHALUPA Marek STREJČEK Jan VITOVSKÁ Martina

  Článek ve sborníku

  Model Checking Software. SPIN 2018, rok: 2018

• On the complexity of the quantified bit-vector arithmetic with binary encoding

  JONÁŠ Martin STREJČEK Jan

  Článek v odborném periodiku

  Information Processing Letters, rok: 2018, ročník: 135, vydání: červenec 2018, DOI