prof. RNDr. Luboš Brim, CSc.

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

• Squeeze All the Power Out of Your Hardware to Verify Your Software!

  BARNAT Jiří BRIM Luboš

  Článek ve sborníku

  Leveraging Applications of Formal Methods, Verification and Validation, rok: 2008