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

2008

• Model Classifications and Automated Verification

  PELÁNEK Radek

  Článek ve sborníku

  Formal Methods for Industrial Critical Systems, rok: 2008

• Properties of State Spaces and Their Applications

  PELÁNEK Radek

  Článek v odborném periodiku

  International Journal on Software Tools for Technology Transfer (STTT), rok: 2008, ročník: 10, vydání: 5

2007

• BEEM: Benchmarks for Explicit Model Checkers

  PELÁNEK Radek

  Článek ve sborníku

  Model Checking Software, rok: 2007

• Predicate Abstraction with Under-Approximation Refinement

  PELÁNEK Radek PASAREANU Corina VISSER Willem

  Článek v odborném periodiku

  Logical Methods in Computer Science, rok: 2007, ročník: 3, vydání: 1

2006

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

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

  Článek v odborném periodiku

  International Journal on Software Tools for Technology Transfer (STTT), rok: 2006, ročník: 8, vydání: 3

• Reduction and Abstraction Techniques for Model Checking

  PELÁNEK Radek

  Odborná kniha

  Rok: 2006, počet stran: 160 s.

• Test Input Generation for Java Containers using State Matching

  PELÁNEK Radek PASAREANU Corina VISSER Willem

  Článek 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

  Článek ve sborníku

  Computer Aided Verification, rok: 2005

• Deeper Connections between LTL and Alternating Automata

  PELÁNEK Radek STREJČEK Jan

  Článek 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š

  Článek ve sborníku

  Formal Methods for Industrial Critical Systems, rok: 2005