2004

• Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking.

  BRIM Luboš ČERNÁ Ivana MORAVEC Pavel ŠIMŠA Jiří

  Odborná kniha

  Rok: 2004, počet stran: 22 s.

• Distributed Memory LTL Model Checking Based on Breadth First Search

  BARNAT Jiří BRIM Luboš CHALOUPKA Jakub

  Odborná kniha

  Rok: 2004, počet stran: 57 s.

• Distributed Negative Cycle Detection Algorithms

  BRIM Luboš ČERNÁ Ivana HEJTMÁNEK Lukáš

  Článek ve sborníku

  Parallel Computing: Software Technology, Algorithms, Architectures & Applications, rok: 2004

• Distributed Partial Order Reduction of State Spaces

  BRIM Luboš ČERNÁ Ivana MORAVEC Pavel ŠIMŠA Jiří

  Článek ve sborníku

  Proceedings of the 3rd International Workshop on Parallel and Distributed Verifationic (PDMC 2004), rok: 2004

• From Distributed Memory Cycle Detection to Parallel LTL Model Checking

  BARNAT Jiří BRIM Luboš CHALOUPKA Jakub

  Článek ve sborníku

  Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004), rok: 2004

• Hardware Router's Lookup Machine and its Formal Verification

  ANTOŠ David ŘEHÁK Vojtěch KOŘENEK Jan

  Článek ve sborníku

  ICN'2004 Conference Proceedings, rok: 2004

• How to Formalize FPGA Hardware Design

  HOLEČEK Jan KRATOCHVÍLA Tomáš ŘEHÁK Vojtěch ŠAFRÁNEK David ŠIMEČEK Pavel

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

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

• Lower and Upper Bounds in Zone Based Abstractions of Timed Automata

  PELÁNEK Radek LARSEN Kim G. BEHRMANN Gerd BOUYER Patricia

  Článek ve sborníku

  Tools and Algorithms for Construction and Analysis of Systems (TACAS 2004), rok: 2004

• Parallel Model-Checking

  BRIM Luboš

  Článek v odborném periodiku

  ERCIM News, rok: 2004, ročník: 58, vydání: June

• Typical Structural Properties of State Spaces

  PELÁNEK Radek

  Článek ve sborníku

  SPIN Workshop 2004, rok: 2004