2007

• 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

• On Symbolic Verification of Weakly Extended PAD

  BOUAJJANI Ahmed STREJČEK Jan TOUILI Tayssir

  Článek ve sborníku

  Proceedings of the 13th International Workshop on Expressiveness in Concurrency (EXPRESS 2006), rok: 2007

• On the Crossing Number of Almost Planar Graphs

  HLINĚNÝ Petr SALAZAR Gelasio

  Článek ve sborníku

  Graph Drawing, Symposium GD2006, rok: 2007

• Parallel Algorithms for Finding SCCs in Implicitly Given Graphs

  BARNAT Jiří MORAVEC Pavel

  Článek ve sborníku

  Formal Methods: Applications and Technology, rok: 2007

• Parallel Model Checking and the FMICS-jETI Platform

  BARNAT Jiri BRIM Lubos LEUCKER Martin

  Článek ve sborníku

  Proceedings Twelfth IEEE International Conference on Engineering of Complex Computer Systems, rok: 2007

• Predicate Abstraction with Under-Approximation Refinement

  PELÁNEK Radek PASAREANU Corina VISSER Willem

  Článek v odborném periodiku

  Logical Methods in Computer Science, rok: 2007, ročník: 3, vydání: 1

• ProbDiVinE: A Parallel Qualitative LTL Model Checker

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana ČEŠKA Milan TŮMOVÁ Jana

  Článek ve sborníku

  Fourth International Conference on the Quantitative Evaluation of Systems (QEST'07), rok: 2007

• Reactive Systems: Modelling, Specification and Verification

  ACETO Luca INGOLFSDOTTIR Anna LARSEN Kim Guldstrand SRBA Jiří

  Odborná kniha

  Rok: 2007, vydání: Vyd. 1., počet stran: 300 s.

• Regularity in Model Checking PDA Games

  BROŽEK Václav

  Článek ve sborníku

  MEMICS proceedings, rok: 2007

• Relaxed Cycle Condition Improves Partial Order Reduction

  MORAVEC Pavel ŠIMŠA Jiří

  Článek ve sborníku

  3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007), rok: 2007