prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.

2012

• Dual-Priced Modal Transition Systems with Time Durations

  BENEŠ Nikola KŘETÍNSKÝ Jan LARSEN Kim G. MOLLER Mikael H. SRBA Jiří

  Článek ve sborníku

  LPAR-18 - Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, rok: 2012

• EXPTIME-Completeness of Thorough Refinement on Modal Transition Systems

  BENEŠ Nikola KŘETÍNSKÝ Jan LARSEN Kim G. SRBA Jiří

  Článek v odborném periodiku

  Information and Computation, rok: 2012, ročník: 218, vydání: September, DOI

• Modal Process Rewrite Systems

  BENEŠ Nikola KŘETÍNSKÝ Jan

  Článek ve sborníku

  Theoretical Aspects of Computing - ICTAC 2012, rok: 2012

• Rabinizer: Small Deterministic Automata for LTL(F,G)

  GAISER Andreas KŘETÍNSKÝ Jan ESPARZA Javier

  Článek ve sborníku

  Automated Technology for Verification and Analysis - 10th International Symposium ATVA 2012, rok: 2012

• Verification of Open Interactive Markov Chains

  BRÁZDIL Tomáš HERMANNS Holger KRČÁL Jan KŘETÍNSKÝ Jan ŘEHÁK Vojtěch

  Článek ve sborníku

  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

  BRÁZDIL Tomáš KRČÁL Jan KŘETÍNSKÝ Jan ŘEHÁK Vojtěch

  Článek ve sborníku

  CONCUR 2011 - Concurrency Theory: 22nd International Conference, rok: 2011

• Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata

  BRÁZDIL Tomáš KRČÁL Jan KŘETÍNSKÝ Jan KUČERA Antonín ŘEHÁK Vojtěch

  Článek ve sborníku

  HSCC 11: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control, rok: 2011

• Modal Transition Systems: Composition and LTL Model Checking

  BENEŠ Nikola ČERNÁ Ivana KŘETÍNSKÝ Jan

  Článek ve sborníku

  ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium, rok: 2011

• Parametric Modal Transition Systems

  BENEŠ Nikola KŘETÍNSKÝ Jan LARSEN Kim G. MOLLER Mikael H. SRBA Jiří

  Článek ve sborníku

  ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium, rok: 2011

• Process Algebra for Modal Transition Systemses

  BENEŠ Nikola KŘETÍNSKÝ Jan

  Článek ve sborníku

  Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers, rok: 2011