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

2008

• Properties of State Spaces and Their Applications

  PELÁNEK Radek

  Article in Periodical

  International Journal on Software Tools for Technology Transfer (STTT), year: 2008, volume: 10, edition: 5

2007

• BEEM: Benchmarks for Explicit Model Checkers

  PELÁNEK Radek

  Article in Proceedings

  Model Checking Software, year: 2007

• Predicate Abstraction with Under-Approximation Refinement

  PELÁNEK Radek PASAREANU Corina VISSER Willem

  Article in Periodical

  Logical Methods in Computer Science, year: 2007, volume: 3, edition: 1

2006

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

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

  Article in Periodical

  International Journal on Software Tools for Technology Transfer (STTT), year: 2006, volume: 8, edition: 3

• Reduction and Abstraction Techniques for Model Checking

  PELÁNEK Radek

  Monograph

  Year: 2006, number of pages: 160 s.

• Test Input Generation for Java Containers using State Matching

  PELÁNEK Radek PASAREANU Corina VISSER Willem

  Article in Proceedings

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

2005

• Concrete Search with Abstract Matching and Refinement

  PELÁNEK Radek PASAREANU Corina VISSER Willem

  Article in Proceedings

  Computer Aided Verification, year: 2005

• Deeper Connections between LTL and Alternating Automata

  PELÁNEK Radek STREJČEK Jan

  Article in Proceedings

  Implementation and Application of Automata, year: 2005

• Enhancing Random Walk State Space Exploration

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

  Article in Proceedings

  Formal Methods for Industrial Critical Systems, year: 2005

• On Sampled Semantics of Timed Systems

  PELÁNEK Radek KRČÁL Pavel

  Article in Proceedings

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