prof. RNDr. Jan Strejček, Ph.D.

2006

• 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 ve sborníku

  FSTTCS 2006: 26th International Conference on Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings, rok: 2006

• On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems

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

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

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

• On Symbolic Verification of Weakly Extended PAD

  BOUAJJANI Ahmed STREJČEK Jan TOUILI Tayssir

  Článek ve sborníku

  Preliminary Proceedings - 13th International Workshow on Expressiveness in Concurrency - EXPRESS'06, rok: 2006

• Refining Undecidability Border of Weak Bisimilarity.

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

  Článek ve sborníku

  Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05), rok: 2006

2005

• Deeper Connections between LTL and Alternating Automata

  PELÁNEK Radek STREJČEK Jan

  Článek ve sborníku

  Implementation and Application of Automata, rok: 2005

• Characteristic Patterns for LTL

  KUČERA Antonín STREJČEK Jan

  Článek ve sborníku

  SOFSEM 2005: Theory and Practice of Computer Science, rok: 2005

• Linear Temporal Logic: Expressiveness and Model Checking

  STREJČEK Jan

  Odborná kniha

  Rok: 2005, počet stran: 148 s.

• Reachability Analysis of Multithreaded Software with Asynchronous Communication

  BOUAJJANI Ahmed ESPARZA Javier SCHWOON Stefan STREJČEK Jan

  Článek ve sborníku

  FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, rok: 2005

• Reachability of Hennessy - Milner properties for weakly extended PRS

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

  Článek ve sborníku

  FSTTCS 2005: 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, rok: 2005

• Refining Undecidability Border of Weak Bisimilarity.

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

  Článek v odborném periodiku

  BRICS Notes Series, rok: 2005, ročník: 2005, vydání: NS-05-4