prof. RNDr. Luboš Brim, CSc.

2008

• The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems

  BENEŠ Nikola BRIM Luboš ČERNÁ Ivana SOCHOR Jiří VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora

  Article in Proceedings

  Pre-proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08), year: 2008

2007

• DiVinE Multi-Core

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Year: 2007

• I/O Efficient Accepting Cycle Detection

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

  Article in Proceedings

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

• Model Checking Large Finite-State Systems and Beyond

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

  Article in Proceedings

  33rd Conference on Current Trends in Theory and Practice of Computer Science, year: 2007

• Parallel Model Checking and the FMICS-jETI Platform

  BARNAT Jiri BRIM Lubos LEUCKER Martin

  Article in Proceedings

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

• ProbDiVinE

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

  Year: 2007

• ProbDiVinE: A Parallel Qualitative LTL Model Checker

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

  Article in Proceedings

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

• Scalable Multi-core LTL Model-Checking

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Article in Proceedings

  Model Checking Software, year: 2007

• Tutorial: Parallel Model Checking

  BRIM Luboš BARNAT Jiří

  Article in Proceedings

  Model Checking Software, year: 2007

2006

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

  BRIM Luboš LEUCKER Martin

  Workshop

  Year: 2006, type: Workshop