prof. RNDr. Ivana Černá, CSc.

2006

• DiVinE -- A Tool for Distributed Verification

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana MORAVEC Pavel ROČKAI Petr ŠIMEČEK Pavel

  Článek ve sborníku

  Computer Aided Verification, rok: 2006

• DiVinE Library

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana MORAVEC Pavel ŠIMEČEK Pavel CHALOUPKA Jakub

  Software

  Rok: 2006

• Formální jazyky a automaty I

  ČERNÁ Ivana KŘETÍNSKÝ Mojmír KUČERA Antonín

  Článek v odborném periodiku

  Elportál, rok: 2006

• How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors

  BRIM Luboš ČERNÁ Ivana MORAVEC Pavel ŠIMŠA Jiří

  Článek v odborném periodiku

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

• Model Checking of RegCTL

  ČERNÁ Ivana BRÁZDIL Tomáš

  Článek v odborném periodiku

  Computing and Informatics, rok: 2006, ročník: 25, vydání: 1

• Návrh algoritmů II

  ČERNÁ Ivana

  Článek v odborném periodiku

  Elportál, rok: 2006

• Návrh algoritmů II

  ČERNÁ Ivana

  Učební texty, pomůcky

  Rok: 2006, druh: Učební texty, pomůcky

• On Combining Partial Order Reduction with Fairness Assumptions

  BRIM Luboš ČERNÁ Ivana MORAVEC Pavel ŠIMŠA Jiří

  Článek ve sborníku

  Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006), rok: 2006

2005

• Component-Interaction Automata as a Verification-Oriented Component-Based System Specification

  BRIM Luboš ČERNÁ Ivana VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora

  Článek ve sborníku

  Proceedings of SAVCBS 2005, rok: 2005

• Distributed Analysis of Large Systems

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana

  Článek ve sborníku

  Formal Methods for Components and Objects, rok: 2005