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

2009

• EMMA: Explicit Model Checking Manager (Tool Presentation)

  PELÁNEK Radek ROSECKÝ Václav

  Stať ve sborníku

  Model Checking Software, rok: 2009, DOI

2008

• Complementarity of Error Detection Techniques

  PELÁNEK Radek ROSECKÝ Václav MORAVEC Pavel

  Stať ve sborníku

  Parallel and Distributed Methods in verifiCation (PDMC 2008), rok: 2008

• Estimating State Space Parameters

  ŠIMEČEK Pavel PELÁNEK Radek

  Další prezentace na konferencích

  Rok: 2008, druh: Další prezentace na konferencích

• Fighting State Space Explosion: Review and Evaluation

  PELÁNEK Radek

  Stať ve sborníku

  Formal Methods for Industrial Critical Systems, rok: 2008

• Model Classifications and Automated Verification

  PELÁNEK Radek

  Stať ve sborníku

  Formal Methods for Industrial Critical Systems, rok: 2008

• Properties of State Spaces and Their Applications

  PELÁNEK Radek

  Recenzovaný odborný článek

  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

  Stať ve sborníku

  Model Checking Software, rok: 2007

• Predicate Abstraction with Under-Approximation Refinement

  PELÁNEK Radek PASAREANU Corina VISSER Willem

  Recenzovaný odborný článek

  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

  Recenzovaný odborný článek

  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.