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

2013

• Controllable-choice Message Sequence Graphs

  CHMELÍK Martin ŘEHÁK Vojtěch

  Article in Proceedings

  Proceedings of Mathematical and Engineering Methods in Computer Science, 8th Doctoral Workshop (MEMICS 2012), Selected Papers, year: 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

  Article in Proceedings

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

2012

• Almost linear Büchi automata

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

  Article in Periodical

  Mathematical Structures in Computer Science, year: 2012, volume: 22, edition: 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

  Article in Proceedings

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

• Sequence Chart Studio

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

  Article in Proceedings

  2012 12th International Conference on Application of Concurrency to System Design, year: 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

  Year: 2012

• Verification of Open Interactive Markov Chains

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

  Article in Proceedings

  IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012), year: 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

  Article in Proceedings

  CONCUR 2011 - Concurrency Theory: 22nd International Conference, year: 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

  Article in Proceedings

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

2010

• Almost Linear Büchi Automata

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

  Appeared in Conference without Proceedings

  Year: 2010, type: Appeared in Conference without Proceedings