prof. RNDr. Mojmír Křetínský, CSc.
vedoucí katedry – Katedra teorie programování
kancelář: C419
Botanická 554/68a
602 00 Brno
| telefon: | 549 49 4239 |
|---|---|
| e‑mail: |
|
| www: | http://www.fi.muni.cz/usr/kretinsky/ |
Počet publikací: 53
2017
-
Seminator: A Tool for Semi-Determinization of Omega-Automata
Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2017), rok: 2017
2014
-
Is there a best Büchi automaton for explicit model checking?
2014 International SPIN Symposium on Model Checking of Software, rok: 2014
2013
-
Comparison of LTL to Deterministic Rabin Automata Translators
Logic for Programming Artificial Intelligence and Reasoning, LPAR-19, rok: 2013
-
Compositional Approach to Suspension and Other Improvements to LTL Translation
Model Checking Software - 20th International Symposium, SPIN 2013, rok: 2013
-
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment
11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, rok: 2013
2012
-
LTL to Büchi Automata Translation: Fast and More Deterministic
TACAS 2012: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, rok: 2012
2009
-
On Decidability of LTL Model Checking for Process Rewrite Systems
Acta informatica, rok: 2009, ročník: 46, vydání: 1
-
On Decidability of LTL+Past Model Checking for Process Rewrite Systems
Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems (INFINITY 2006, 2007, 2008), rok: 2009
-
Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2008) - selected papers
Electronic Notes in Theoretical Computer Science, rok: 2009, ročník: 251
-
Reachability is decidable for weakly extended process rewrite systems
Information and Computation, rok: 2009, ročník: 207, vydání: 6