prof. RNDr. Mojmír Křetínský, CSc.

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

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

2013

• Comparison of LTL to Deterministic Rabin Automata Translators

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

  Article in Proceedings

  Logic for Programming Artificial Intelligence and Reasoning, LPAR-19, year: 2013

• Compositional Approach to Suspension and Other Improvements to LTL Translation

  BABIAK Tomáš BADIE Thomas DURET-LUTZ Alexandre KŘETÍNSKÝ Mojmír STREJČEK Jan

  Article in Proceedings

  Model Checking Software - 20th International Symposium, SPIN 2013, year: 2013

• Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment

  BLAHOUDEK František BABIAK Tomáš KŘETÍNSKÝ Mojmír STREJČEK Jan

  Article in Proceedings

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

2012

• LTL to Büchi Automata Translation: Fast and More Deterministic

  BABIAK Tomáš KŘETÍNSKÝ Mojmír ŘEHÁK Vojtěch STREJČEK Jan

  Article in Proceedings

  TACAS 2012: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, year: 2012

2009

• On Decidability of LTL Model Checking for Process Rewrite Systems

  BOZZELLI Laura KŘETÍNSKÝ Mojmír ŘEHÁK Vojtěch STREJČEK Jan

  Article in Periodical

  Acta informatica, year: 2009, volume: 46, edition: 1

• On Decidability of LTL+Past Model Checking for Process Rewrite Systems

  KŘETÍNSKÝ Mojmír ŘEHÁK Vojtěch STREJČEK Jan

  Article in Proceedings

  Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems (INFINITY 2006, 2007, 2008), year: 2009

• Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2008) - selected papers

  ČEŠKA Milan KOTÁSEK Zdeněk KŘETÍNSKÝ Mojmír MATYSKA Luděk VOJNAR Tomáš

  Article in Periodical

  Electronic Notes in Theoretical Computer Science, year: 2009, volume: 251

• Reachability is decidable for weakly extended process rewrite systems

  KŘETÍNSKÝ Mojmír ŘEHÁK Vojtěch STREJČEK Jan

  Article in Periodical

  Information and Computation, year: 2009, volume: 207, edition: 6