2003

• Parallel Algorithms for Detection of Negative Cycles

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

  Odborná kniha

  Rok: 2003, počet stran: 14 s.

• Parallel Algorithms for Detection of Negative Cycles

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

  Článek ve sborníku

  Proceedings of the 10th ParCo Conference, rok: 2003

• Parallel Breadth-First Search LTL Model-Checking

  BARNAT Jiří BRIM Luboš CHALOUPKA Jakub

  Článek ve sborníku

  18th IEEE International Conference on Automated Software Engineering (ASE'03), rok: 2003

• PDMC 2003 - Parallel and Distributed Model Checking. Proceedings.

  BRIM Luboš GRUMBERG Orna

  Odborná kniha

  Rok: 2003, počet stran: 130 s.

• Relating Hierarchy of Temporal Properties to Model Checking

  ČERNÁ Ivana PELÁNEK Radek

  Článek ve sborníku

  Mathematical Foundations of Computer Science (MFCS 2003), rok: 2003

• To Store or Not To Store

  BEHRMANN Gerd LARSEN Kim G. PELÁNEK Radek

  Článek ve sborníku

  Computer Aided Verification (CAV 2003), rok: 2003

• Using Assumptions to Distribute Alternation Free mu-Calculus Model Checking

  BRIM Luboš ŽÍDKOVÁ Jitka

  Článek ve sborníku

  2st International Workshop on Parallel and Distributed Model Checking (PDMC 2003), rok: 2003

• Using Assumptions to Distribute Model Checking

  ŽÍDKOVÁ Jitka

  Článek ve sborníku

  Počítačové Architektury & Diagnostika, rok: 2003

• Verification of COMBO6 VHDL Design

  KRATOCHVÍLA Tomáš ŘEHÁK Vojtěch ŠIMEČEK Pavel

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

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

• Vyhledávání v IPv6 směrovači implementovaném v hradlovém poli

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

  Článek ve sborníku

  EurOpen, Sborník příspěvků XXIII. konference, rok: 2003