prof. RNDr. Luboš Brim, CSc.

2002

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

  BRIM Luboš GRUMBERG Orna

  Odborná kniha

  Rok: 2002, počet stran: 165 s.

• Property Driven Distribution of Nested DFS

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana

  Článek ve sborníku

  M. Leuschel and U. Ultes-Nitsche (Eds.): Proceedings of the 3rd International Workshop on Verification and Computational Logic, rok: 2002

• Using Assumptions to Distribute CTL Model Checking

  BRIM Luboš CRHOVÁ Jitka YORAV Karen

  Článek ve sborníku

  1st International Workshop on Parallel and Distributed Model Checking (PDMC 2002), rok: 2002

• Using Assumptions to Distribute CTL Model Checking

  BRIM Luboš CRHOVÁ Jitka YORAV Karen

  Článek ve sborníku

  Rok: 2002

2001

• Distributed LTL Model-Checking Based on Negative Cycle Detection

  BRIM Luboš ČERNÁ Ivana KRČÁL Pavel PELÁNEK Radek

  Článek ve sborníku

  FST-TCS 2001, rok: 2001

• Distributed LTL Model-Checking in SPIN

  BARNAT Jiří BRIM Luboš STŘÍBRNÁ Jitka

  Článek ve sborníku

  M.B. Dwyer (Ed.): Model Checking Software, 8th International SPIN Workshop, rok: 2001

• How to Employ Reverse Search in Distributed Single-Source Shortest Paths

  BRIM Luboš ČERNÁ Ivana KRČÁL Pavel PELÁNEK Radek

  Článek ve sborníku

  SOFSEM 2001, rok: 2001

• Multi-Agents Systems as Concurrent Constraint Processes

  BRIM Luboš JACQUET Jean-Marie GILBERT David KŘETÍNSKÝ Mojmír

  Článek ve sborníku

  SOFSEM 2001 28th Conf.on Current Trends in Theory and Practice of Informatics, rok: 2001

• Randomization Helps in LTL Model Checking

  BRIM Luboš ČERNÁ Ivana NEČESAL Martin

  Článek ve sborníku

  Process Algebra and Probabilistic Methods. Proceedings of PAPM-PROBMIV 2001, rok: 2001

2000

• Distributed LTL Model-Checking in SPIN

  BARNAT Jiří BRIM Luboš STŘÍBRNÁ Jitka

  Odborná kniha

  Rok: 2000, počet stran: 16 s.