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

2016

• Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams

  JONÁŠ Martin STREJČEK Jan

  Article in Proceedings

  Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, year: 2016

• Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution)

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

  Article in Proceedings

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

• Tighter Loop Bound Analysis

  ČADEK Pavel STREJČEK Jan TRTÍK Marek

  Article in Proceedings

  Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016, year: 2016

2015

• On Refinement of Büchi Automata for Explicit Model Checking

  BLAHOUDEK František DURET-LUTZ Alexandre RUJBR Vojtěch STREJČEK Jan

  Article in Proceedings

  2015 International SPIN Symposium on Model Checking of Software, year: 2015

• The Hanoi Omega-Automata Format

  BABIAK Tomáš BLAHOUDEK František DURET-LUTZ Alexandre KLEIN Joachim KŘETÍNSKÝ Jan MÜLLER David PARKER David STREJČEK Jan

  Article in Proceedings

  Computer Aided Verification: 27th International Conference, CAV 2015, year: 2015

2014

• Is there a best Büchi automaton for explicit model checking?

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

  Article in Proceedings

  2014 International SPIN Symposium on Model Checking of Software, year: 2014

• Symbiotic 2: More Precise Slicing (Competition Contribution)

  SLABÝ Jiří STREJČEK Jan

  Article in Proceedings

  Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, year: 2014

• Symbolic Memory with Pointers

  TRTÍK Marek STREJČEK Jan

  Article in Proceedings

  Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, year: 2014

2013

• ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools

  SLABÝ Jiří STREJČEK Jan TRTÍK Marek

  Article in Proceedings

  Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, year: 2013

• Compact Symbolic Execution

  SLABÝ Jiří STREJČEK Jan TRTÍK Marek

  Article in Proceedings

  11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, year: 2013