prof. RNDr. Ivana Černá, CSc.

2009

• CoIn Tool Set

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

  Software

  Rok: 2009

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

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

  Článek ve sborníku

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

• Local Quantitative LTL Model Checking

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

  Článek ve sborníku

  Formal Methods for Industrial Critical Systems, rok: 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

  Článek v odborném periodiku

  Theoretical Computer Science, rok: 2009, ročník: 2009, vydání: 410

• Partial Order Reduction for State/Event LTL

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

  Článek ve sborníku

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

• Quantitative Model Checking of Systems with Degradation

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

  Článek ve sborníku

  2009 Sixth International Conference on the Quantitative Evaluation of Systems, rok: 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

  Článek v odborném periodiku

  Electronic Notes in Theoretical Computer Science, rok: 2008, ročník: 220, vydání: 2

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

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

  Článek ve sborníku

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

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

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

  Článek ve sborníku

  Proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08), 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.