prof. RNDr. Luboš Brim, CSc.

2008

• Can Flash Memory Help in Model Checking?

  BARNAT Jiří BRIM Luboš EDELKAMP Stefan SULEWSKI Damian ŠIMEČEK Pavel

  Článek ve sborníku

  13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008), rok: 2008

• Component-Interaction Automata Approach (CoIn)

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

  Kapitola v knize

  The Common Component Modeling Example: Comparing Software Component Models, rok: 2008, počet stran: 31 s.

• DiVinE Cluster

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana ČEŠKA Milan ŠIMEČEK Pavel

  Software

  Rok: 2008

• DiVinE Multi-Core -- A Parallel LTL Model-Checker

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Článek ve sborníku

  Automated Technology for Verification and Analysis, rok: 2008

• From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana DRAŽAN Sven ŠAFRÁNEK David

  Článek ve sborníku

  Proceedings of PDMC 2008 - Parallel and Distributed Methods ins VerifiCation, rok: 2008

• Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana DRAŽAN Sven ŠAFRÁNEK David

  Článek ve sborníku

  Electronic Notes in Theoretical Computer Science, rok: 2008

• Partial Order Reduction for State/Event LTL

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

  Výzkumná zpráva

  Rok: 2008

• ProbDiVinE-MC

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

  Software

  Rok: 2008

• ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems

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

  Článek ve sborníku

  QEST '08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems, rok: 2008

• Revisiting Resistance Speeds Up I/O Efficient LTL Model Checking

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

  Článek ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems, rok: 2008