prof. RNDr. Ivana Černá, CSc.

2003

• Parallel Algorithms for Detection of Negative Cycles

  BRIM Lubos ČERNÁ Ivana HEJTMÁNEK Lukáš

  Monograph

  Year: 2003, number of pages: 14 s.

• Parallel Algorithms for Detection of Negative Cycles

  BRIM Lubos ČERNÁ Ivana HEJTMÁNEK Lukáš

  Article in Proceedings

  Proceedings of the 10th ParCo Conference, year: 2003

• Relating Hierarchy of Temporal Properties to Model Checking

  ČERNÁ Ivana PELÁNEK Radek

  Article in Proceedings

  Mathematical Foundations of Computer Science (MFCS 2003), year: 2003

2002

• Local Distributed Model Checking of RegCTL

  ČERNÁ Ivana BRÁZDIL Tomáš

  Article in Proceedings

  PDMC 2002 Parallel and Distributed Model Checking, year: 2002

• Modifications of Expansion Trees for Weak Bisimulation in BPA

  ČERNÁ Ivana STŘÍBRNÁ Jitka

  Article in Proceedings

  Verification of Infinite-State Systems Infinity'2002, year: 2002

• Property Driven Distribution of Nested DFS

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana

  Article in Proceedings

  M. Leuschel and U. Ultes-Nitsche (Eds.): Proceedings of the 3rd International Workshop on Verification and Computational Logic, year: 2002

2001

• Distributed LTL Model-Checking Based on Negative Cycle Detection

  BRIM Luboš ČERNÁ Ivana KRČÁL Pavel PELÁNEK Radek

  Article in Proceedings

  FST-TCS 2001, year: 2001

• How to Employ Reverse Search in Distributed Single-Source Shortest Paths

  BRIM Luboš ČERNÁ Ivana KRČÁL Pavel PELÁNEK Radek

  Article in Proceedings

  SOFSEM 2001, year: 2001

• Randomization Helps in LTL Model Checking

  BRIM Luboš ČERNÁ Ivana NEČESAL Martin

  Article in Proceedings

  Process Algebra and Probabilistic Methods. Proceedings of PAPM-PROBMIV 2001, year: 2001

2000

• Some Remarks on Weak Bisimilarity of BPA-Processes

  ČERNÁ Ivana STŘÍBRNÁ Jitka

  Monograph

  Year: 2000, number of pages: 26 s.