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

2010

• Decidable Race Condition and Open Coregions in HMSC

  ŘEHÁK Vojtěch SLOVÁK Petr STREJČEK Jan HÉLOUËT Loic

  Článek ve sborníku

  Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010), rok: 2010

• Stochastic Real-Time Games with Qualitative Timed Automata Objectives

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

  Článek ve sborníku

  CONCUR 2010 - Concurrency Theory, rok: 2010

2009

• Almost Linear Büchi Automata

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

  Článek ve sborníku

  Proceedings 16th International Workshop on Expressiveness in Concurrency 2009 (EXPRESS'09), rok: 2009

• On Decidability of LTL Model Checking for Process Rewrite Systems

  BOZZELLI Laura KŘETÍNSKÝ Mojmír ŘEHÁK Vojtěch STREJČEK Jan

  Článek v odborném periodiku

  Acta informatica, rok: 2009, ročník: 46, vydání: 1

• On Decidability of LTL+Past Model Checking for Process Rewrite Systems

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

  Článek ve sborníku

  Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems (INFINITY 2006, 2007, 2008), rok: 2009

• Reachability is decidable for weakly extended process rewrite systems

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

  Článek v odborném periodiku

  Information and Computation, rok: 2009, ročník: 207, vydání: 6

2008

• Petri Nets Are Less Expressive Than State-Extended PA

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

  Článek v odborném periodiku

  Theoretical Computer Science, rok: 2008, ročník: 394, vydání: 1-2

2007

• Formalisms and Tools for Design and Specification of Network Protocols

  BABICA Jindřich ŘEHÁK Vojtěch SLOVÁK Petr TROUBIL Pavel ZAVADIL Martin

  Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)

  Rok: 2007, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)

• On Decidability of LTL+Past Model Checking for Process Rewrite Systems

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

  Další prezentace na konferencích

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

• Verifying VHDL Designs with Multiple Clocks in SMV

  SMRČKA Aleš ŘEHÁK Vojtěch VOJNAR Tomáš ŠAFRÁNEK David MATOUŠEK Petr ŘEHÁK Zdeněk

  Článek ve sborníku

  Formal Methods Applications and Technology, 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, rok: 2007