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

2018

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

  JONÁŠ Martin STREJČEK Jan

  Article in Proceedings

  Theoretical Aspects of Computing – ICTAC 2018, year: 2018

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

  JONÁŠ Martin STREJČEK Jan

  Article in Proceedings

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

• Joint Forces for Memory Safety Checking

  CHALUPA Marek STREJČEK Jan VITOVSKÁ Martina

  Article in Proceedings

  Model Checking Software. SPIN 2018, year: 2018

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

  JONÁŠ Martin STREJČEK Jan

  Article in Periodical

  Information Processing Letters, year: 2018, volume: 135, edition: červenec 2018, DOI

• Symbiotic 5: Boosted Instrumentation (Competition Contribution)

  CHALUPA Marek VITOVSKÁ Martina STREJČEK Jan

  Article in Proceedings

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

2017

• On Simplification of Formulas with Unconstrained Variables and Quantifiers

  JONÁŠ Martin STREJČEK Jan

  Article in Proceedings

  Theory and Applications of Satisfiability Testing – SAT 2017, year: 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

  Article in Proceedings

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

• Symbiotic 4: Beyond Reachability (Competition Contribution)

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

  Article in Proceedings

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

2016

• Complementing Semi-deterministic Büchi Automata

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

  Article in Proceedings

  Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, year: 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

  Editing of thematic compilation, editing of monothematic issue of profesional journal

  Year: 2016, type: Editing of thematic compilation, editing of monothematic issue of profesional journal