prof. RNDr. Ivana Černá, CSc.

2008

• DiVinE Cluster

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

  Year: 2008

• Formal verification of systems with an unlimited number of components

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

  Article in Periodical

  IET Software journal, year: 2008, volume: Volume 2, edition: 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

  Article in Proceedings

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

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

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

  R&D Presentation

  Year: 2008, type: R&D Presentation

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

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

  Article in Proceedings

  Lecture Notes in Computer Science 5282, year: 2008

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

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

  Article in Proceedings

  Electronic Notes in Theoretical Computer Science, year: 2008

• Partial Order Reduction for State/Event LTL

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

  Year: 2008

• ProbDiVinE-MC

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

  Year: 2008

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

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

  Article in Proceedings

  QEST '08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems, year: 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