prof. RNDr. Ivana Černá, CSc.

2011

• Parallel and Distributed Methods in Verification

  ČERNÁ Ivana HAVERKORT Boudewijn

  Článek v odborném periodiku

  Journal of logic and computation, rok: 2011, ročník: 2011, vydání: 21, DOI

• Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata

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

  Článek v odborném periodiku

  Science of Computer Programming, rok: 2011, ročník: 76, vydání: 10, DOI

• SOFSEM 2011: Theory and Practice of Computer Science 37th Conference on Current Trends in Theory and Practice of Computer Science

  ČERNÁ Ivana GYIMÓTHY Tibor HROMKOVIČ Juraj JEFFEREY Keith KRÁĽOVIČ Rastislav VUKOLIC Marko WOLF Stefan

  Editorství tématického sborníku

  Rok: 2011, druh: Editorství tématického sborníku

2010

• A Symbolic Approach to Controlling Piecewise Affine Systems

  TŮMOVÁ Jana YORDANOV Boyan BELTA Calin ČERNÁ Ivana BARNAT Jiří

  Článek ve sborníku

  Proceedings of of the 49th IEEE Conference on Decision and Control (CDC), rok: 2010

• CoIn-DiVinE

  BENEŠ Nikola ČERNÁ Ivana KŘIVÁNEK Milan

  Software

  Rok: 2010

• Formal Analysis of Piecewise Affine Systems through Formula-Guided Refinement

  YORDANOV Boyan TŮMOVÁ Jana BELTA Calin ČERNÁ Ivana BARNAT Jiří

  Článek ve sborníku

  Proceedings of of the 49th IEEE Conference on Decision and Control (CDC), rok: 2010

• Formal Verification of Component-based Architectures - Motivation, Methods & Challenges

  ČERNÁ Ivana

  Vyžádané přednášky

  Rok: 2010, druh: Vyžádané přednášky

• ProbDiVinE 2.0

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

  Software

  Rok: 2010

2009

• BioDiVinE: A Framework for Parallel Analysis of Biological Models

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana DRAŽAN Sven FABRIKOVÁ Jana LÁNÍK Jan ŠAFRÁNEK David HONGWU Ma

  Článek ve sborníku

  Proceedings of 2nd International Workshop on Computational Models for Cell Processes, rok: 2009

• BioDiVinE: A Tool for Parallel Analysis of Multi-Affine ODE Models

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

  Článek ve sborníku

  Computational Mehotds in Systems Biology: Abstract of the Posters, rok: 2009