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

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

• Symbiotic 5: Boosted Instrumentation (Competition Contribution)

  CHALUPA Marek VITOVSKÁ Martina STREJČEK Jan

  Článek ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems, 24th International Conference, Proceedings, Part II, rok: 2018

2017

• On Simplification of Formulas with Unconstrained Variables and Quantifiers

  JONÁŠ Martin STREJČEK Jan

  Článek ve sborníku

  Theory and Applications of Satisfiability Testing – SAT 2017, rok: 2017