prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
profesor – Katedra teorie programování
kancelář: C514
Botanická 554/68a
602 00 Brno
telefon: | 549 49 4085 |
---|
sociální a akademické sítě: |
---|
Počet publikací: 63
2012
-
Rabinizer: Small Deterministic Automata for LTL(F,G)
Automated Technology for Verification and Analysis - 10th International Symposium ATVA 2012, rok: 2012
-
Verification of Open Interactive Markov Chains
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012), rok: 2012
2011
-
Fixed-delay Events in Generalized Semi-Markov Processes Revisited
CONCUR 2011 - Concurrency Theory: 22nd International Conference, rok: 2011
-
Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata
HSCC 11: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control, rok: 2011
-
Modal Transition Systems: Composition and LTL Model Checking
ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium, rok: 2011
-
Parametric Modal Transition Systems
ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium, rok: 2011
-
Process Algebra for Modal Transition Systemses
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers, rok: 2011
2010
-
Process Algebra for Modal Transition Systemses
MEMICS 2010, rok: 2010
-
Stochastic Real-Time Games with Qualitative Timed Automata Objectives
CONCUR 2010 - Concurrency Theory, rok: 2010
2009
-
Continuous-Time Stochastic Games with Time-Bounded Reachability
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009), rok: 2009