doc. RNDr. Vojtěch Řehák, Ph.D.

2013

• Controllable-choice Message Sequence Graphs

  CHMELÍK Martin ŘEHÁK Vojtěch

  Článek ve sborníku

  Proceedings of Mathematical and Engineering Methods in Computer Science, 8th Doctoral Workshop (MEMICS 2012), Selected Papers, rok: 2013

• On time-average limits in deterministic and stochastic Petri nets

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

  Článek ve sborníku

  ACM/SPEC International Conference on Performance Engineering, ICPE'13, rok: 2013

2012

• Almost linear Büchi automata

  BABIAK Tomáš STREJČEK Jan ŘEHÁK Vojtěch

  Článek v odborném periodiku

  Mathematical Structures in Computer Science, rok: 2012, ročník: 22, vydání: 2, DOI

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

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

  Článek ve sborníku

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

• Sequence Chart Studio

  BEZDĚKA Martin BOUDA Ondřej KORENČIAK Ľuboš MADZIN Matúš ŘEHÁK Vojtěch

  Článek ve sborníku

  2012 12th International Conference on Application of Concurrency to System Design, rok: 2012

• Sequence Chart Studio: user-friendly drawing and verification tool for MSC

  ŘEHÁK Vojtěch MADZIN Matúš KORENČIAK Ľuboš GOTTHARD Petr KOCIAN Ondřej BEZDĚKA Martin BOUDA Ondřej VACEK Václav MALOTA Milan PEKARČÍKOVÁ Zuzana

  Software

  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

2010

• Almost Linear Büchi Automata

  BABIAK Tomáš STREJČEK Jan ŘEHÁK Vojtěch

  Další prezentace na konferencích

  Rok: 2010, druh: Další prezentace na konferencích