prof. RNDr. Ivana Černá, CSc.

2003

• Parallel Algorithms for Detection of Negative Cycles

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

  Odborná kniha

  Rok: 2003, počet stran: 14 s.

• Parallel Algorithms for Detection of Negative Cycles

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

  Článek ve sborníku

  Proceedings of the 10th ParCo Conference, rok: 2003

• Relating Hierarchy of Temporal Properties to Model Checking

  ČERNÁ Ivana PELÁNEK Radek

  Článek ve sborníku

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

2002

• Local Distributed Model Checking of RegCTL

  ČERNÁ Ivana BRÁZDIL Tomáš

  Článek ve sborníku

  PDMC 2002 Parallel and Distributed Model Checking, rok: 2002

• Modifications of Expansion Trees for Weak Bisimulation in BPA

  ČERNÁ Ivana STŘÍBRNÁ Jitka

  Článek ve sborníku

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

• Property Driven Distribution of Nested DFS

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana

  Článek ve sborníku

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

2001

• Distributed LTL Model-Checking Based on Negative Cycle Detection

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

  Článek ve sborníku

  FST-TCS 2001, rok: 2001

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

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

  Článek ve sborníku

  SOFSEM 2001, rok: 2001

• Randomization Helps in LTL Model Checking

  BRIM Luboš ČERNÁ Ivana NEČESAL Martin

  Článek ve sborníku

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

2000

• Some Remarks on Weak Bisimilarity of BPA-Processes

  ČERNÁ Ivana STŘÍBRNÁ Jitka

  Odborná kniha

  Rok: 2000, počet stran: 26 s.