prof. RNDr. Ivana Černá, CSc.

2009

• CoIn Tool Set

  BENEŠ Nikola BÜHNOVÁ Barbora ČERNÁ Ivana KŘIVÁNEK Milan

  Year: 2009

• Computational Analysis of Large-Scale Multi-Affine ODE Models

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

  Article in Proceedings

  International Workshop on High Performance Computational Systems Biology, year: 2009

• Local Quantitative LTL Model Checking

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

  Article in Proceedings

  Formal Methods for Industrial Critical Systems, year: 2009

• On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking

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

  Article in Periodical

  Theoretical Computer Science, year: 2009, volume: 2009, edition: 410

• Partial Order Reduction for State/Event LTL

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

  Article in Proceedings

  Proceedings of the International Conference on Integrated Formal Methods (IFM'09), year: 2009

• Quantitative Model Checking of Systems with Degradation

  BARNAT Jiří ČERNÁ Ivana TŮMOVÁ Jana

  Article in Proceedings

  2009 Sixth International Conference on the Quantitative Evaluation of Systems, year: 2009

2008

• A Case Study in Parallel Verification of Component-Based Systems

  BENEŠ Nikola ČERNÁ Ivana SOCHOR Jiří MORAVCOVÁ VAŘEKOVÁ Pavlína BÜHNOVÁ Barbora

  Article in Periodical

  Electronic Notes in Theoretical Computer Science, year: 2008, volume: 220, edition: 2

• A Case Study in Parallel Verification of Component-Based Systems

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

  Article in Proceedings

  Pre-proceedings of the Workshop on Parallel and Distributed Methods in verifiCation (PDMC'08), year: 2008

• Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems

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

  Article in Proceedings

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

• Component-Interaction Automata Approach (CoIn)

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

  Chapter of a book

  The Common Component Modeling Example: Comparing Software Component Models, year: 2008, number of pages: 31 s.