prof. RNDr. Ivana Černá, CSc.

2008

• DiVinE Cluster

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

  Software

  Rok: 2008

• Formal verification of systems with an unlimited number of components

  VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora MORAVEC Pavel ČERNÁ Ivana

  Článek v odborném periodiku

  IET Software journal, rok: 2008, ročník: Volume 2, vydání: Isuue 6

• 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

• Model Checking of Control-User Component-Based Parametrised Systems

  MORAVCOVÁ VAŘEKOVÁ Pavlína ČERNÁ Ivana

  Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)

  Rok: 2008, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)

• Model Checking of Control-User Component-Based Parametrised Systems

  MORAVCOVÁ VAŘEKOVÁ Pavlína ČERNÁ Ivana

  Článek ve sborníku

  Lecture Notes in Computer Science 5282, 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

• 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

  Článek ve sborníku

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