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

  Article in Proceedings

  Computer Aided Verification, year: 2006

• DiVinE Library

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

  Year: 2006

• Formální jazyky a automaty I

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

  Article in Periodical

  Elportál, year: 2006

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

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

  Article in Periodical

  Electronic Notes in Theoretical Computer Science, year: 2006, volume: 135, edition: 2

• Model Checking of RegCTL

  ČERNÁ Ivana BRÁZDIL Tomáš

  Article in Periodical

  Computing and Informatics, year: 2006, volume: 25, edition: 1

• Návrh algoritmů II

  ČERNÁ Ivana

  Article in Periodical

  Elportál, year: 2006

• Návrh algoritmů II

  ČERNÁ Ivana

  Year: 2006, type:

• On Combining Partial Order Reduction with Fairness Assumptions

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

  Article in Proceedings

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

2005

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

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

  Article in Proceedings

  Proceedings of SAVCBS 2005, year: 2005

• Distributed Analysis of Large Systems

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana

  Article in Proceedings

  Formal Methods for Components and Objects, year: 2005