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

2006

• Test Input Generation for Java Containers using State Matching

  PELÁNEK Radek PASAREANU Corina VISSER Willem

  Stať ve sborníku

  International Symposium on International Symposium on Software Testing and Analysis, rok: 2006

2005

• Concrete Search with Abstract Matching and Refinement

  PELÁNEK Radek PASAREANU Corina VISSER Willem

  Stať ve sborníku

  Computer Aided Verification, rok: 2005

• Deeper Connections between LTL and Alternating Automata

  PELÁNEK Radek STREJČEK Jan

  Stať ve sborníku

  Implementation and Application of Automata, rok: 2005

• Enhancing Random Walk State Space Exploration

  PELÁNEK Radek HANŽL Tomáš ČERNÁ Ivana BRIM Luboš

  Stať ve sborníku

  Formal Methods for Industrial Critical Systems, rok: 2005

• On Sampled Semantics of Timed Systems

  PELÁNEK Radek KRČÁL Pavel

  Stať ve sborníku

  Foundations of Software Technology and Theoretical Computer Science, rok: 2005

• Test input generation for red-black trees using abstraction

  PELÁNEK Radek PASAREANU Corina VISSER Willem

  Stať 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

  Stať 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

  Stať ve sborníku

  SPIN Workshop 2004, rok: 2004

2003

• Distributed Explicit Fair Cycle Detection

  ČERNÁ Ivana PELÁNEK Radek

  Stať ve sborníku

  SPIN Workshop 2003, rok: 2003

• LTL Hierarchies and Model Checking

  PELÁNEK Radek

  Stať ve sborníku

  Proceedings of the Eight ESSLLI Student Session, rok: 2003