doc. Mgr. Radek Pelánek, Ph.D.

2005

• Test input generation for red-black trees using abstraction

  PELÁNEK Radek PASAREANU Corina VISSER Willem

  Článek ve sborníku

  Automated Software Engineering, rok: 2005

2004

• Lower and Upper Bounds in Zone Based Abstractions of Timed Automata

  PELÁNEK Radek LARSEN Kim G. BEHRMANN Gerd BOUYER Patricia

  Článek ve sborníku

  Tools and Algorithms for Construction and Analysis of Systems (TACAS 2004), rok: 2004

• Typical Structural Properties of State Spaces

  PELÁNEK Radek

  Článek ve sborníku

  SPIN Workshop 2004, rok: 2004

2003

• Distributed Explicit Fair Cycle Detection

  ČERNÁ Ivana PELÁNEK Radek

  Článek ve sborníku

  SPIN Workshop 2003, rok: 2003

• LTL Hierarchies and Model Checking

  PELÁNEK Radek

  Článek ve sborníku

  Proceedings of the Eight ESSLLI Student Session, 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

• To Store or Not To Store

  BEHRMANN Gerd LARSEN Kim G. PELÁNEK Radek

  Článek ve sborníku

  Computer Aided Verification (CAV 2003), rok: 2003

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