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

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

• Seminator: A Tool for Semi-Determinization of Omega-Automata

  BLAHOUDEK František DURET-LUTZ Alexandre KLOKOČKA Mikuláš KŘETÍNSKÝ Mojmír STREJČEK Jan

  Článek ve sborníku

  Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2017), rok: 2017

• Symbiotic 4: Beyond Reachability (Competition Contribution)

  CHALUPA Marek VITOVSKÁ Martina JONÁŠ Martin SLABÝ Jiří STREJČEK Jan

  Článek ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, rok: 2017

2016

• Complementing Semi-deterministic Büchi Automata

  BLAHOUDEK František HEIZMANN Matthias SCHEWE Sven STREJČEK Jan TSAI Ming-Hsien

  Článek ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, rok: 2016

• MEMICS 2016. 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

  BOUDA Jan HOLÍK Lukáš KOFROŇ Jan STREJČEK Jan RAMBOUSEK Adam

  Editorství tématického sborníku

  Rok: 2016, druh: Editorství tématického sborníku