prof. RNDr. Luboš Brim, CSc.

2007

• DiVinE Multi-Core

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Software

  Rok: 2007

• I/O Efficient Accepting Cycle Detection

  BARNAT Jiří BRIM Luboš ŠIMEČEK Pavel

  Článek ve sborníku

  19th International Conference on Computer Aided Verification, rok: 2007

• Model Checking Large Finite-State Systems and Beyond

  BRIM Luboš KŘETÍNSKÝ Mojmír

  Článek ve sborníku

  33rd Conference on Current Trends in Theory and Practice of Computer Science, 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

• ProbDiVinE

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

  Software

  Rok: 2007

• 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

• Scalable Multi-core LTL Model-Checking

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Článek ve sborníku

  Model Checking Software, rok: 2007

• Tutorial: Parallel Model Checking

  BRIM Luboš BARNAT Jiří

  Článek ve sborníku

  Model Checking Software, rok: 2007

2006

• 11th International Workshop on Formal Methods for Industrial Critical Systems

  BRIM Luboš LEUCKER Martin

  Uspořádání workshopu

  Rok: 2006, druh: Uspořádání workshopu

• Cluster-Based LTL Model Checking of Large Systems

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana

  Článek ve sborníku

  Formal Methods for Components and Objects, rok: 2006