| 2008 |
|---|
| 19 | EE | Radek Pelánek,
Václav Rosecký,
Pavel Moravec:
Complementarity of Error Detection Techniques.
Electr. Notes Theor. Comput. Sci. 220(2): 51-65 (2008) |
| 18 | EE | Radek Pelánek:
Properties of state spaces and their applications.
STTT 10(5): 443-454 (2008) |
| 2007 |
|---|
| 17 | EE | Radek Pelánek:
Model Classifications and Automated Verification.
FMICS 2007: 149-163 |
| 16 | EE | Radek Pelánek:
BEEM: Benchmarks for Explicit Model Checkers.
SPIN 2007: 263-267 |
| 15 | EE | Corina S. Pasareanu,
Radek Pelánek,
Willem Visser:
Predicate Abstraction with Under-approximation Refinement
CoRR abs/cs/0701140: (2007) |
| 14 | EE | Corina S. Pasareanu,
Radek Pelánek,
Willem Visser:
Predicate Abstraction with Under-Approximation Refinement.
Logical Methods in Computer Science 3(1): (2007) |
| 2006 |
|---|
| 13 | EE | Willem Visser,
Corina S. Pasareanu,
Radek Pelánek:
Test input generation for java containers using state matching.
ISSTA 2006: 37-48 |
| 12 | EE | Gerd Behrmann,
Patricia Bouyer,
Kim Guldstrand Larsen,
Radek Pelánek:
Lower and upper bounds in zone-based abstractions of timed automata.
STTT 8(3): 204-215 (2006) |
| 2005 |
|---|
| 11 | EE | Willem Visser,
Corina S. Pasareanu,
Radek Pelánek:
Test input generation for red-black trees using abstraction.
ASE 2005: 414-417 |
| 10 | EE | Corina S. Pasareanu,
Radek Pelánek,
Willem Visser:
Concrete Model Checking with Abstract Matching and Refinement.
CAV 2005: 52-66 |
| 9 | EE | Radek Pelánek,
Jan Strejcek:
Deeper Connections Between LTL and Alternating Automata.
CIAA 2005: 238-249 |
| 8 | EE | Pavel Krcál,
Radek Pelánek:
On Sampled Semantics of Timed Systems.
FSTTCS 2005: 310-321 |
| 2004 |
|---|
| 7 | EE | Radek Pelánek:
Typical Structural Properties of State Spaces.
SPIN 2004: 5-22 |
| 6 | EE | Gerd Behrmann,
Patricia Bouyer,
Kim Guldstrand Larsen,
Radek Pelánek:
Lower and Upper Bounds in Zone Based Abstractions of Timed Automata.
TACAS 2004: 312-326 |
| 2003 |
|---|
| 5 | EE | Gerd Behrmann,
Kim Guldstrand Larsen,
Radek Pelánek:
To Store or Not to Store.
CAV 2003: 433-445 |
| 4 | EE | Ivana Cerná,
Radek Pelánek:
Relating Hierarchy of Temporal Properties to Model Checking.
MFCS 2003: 318-327 |
| 3 | EE | Ivana Cerná,
Radek Pelánek:
Distributed Explicit Fair Cycle Detection (Set Based Approach).
SPIN 2003: 49-73 |
| 2001 |
|---|
| 2 | EE | Lubos Brim,
Ivana Cerná,
Pavel Krcál,
Radek Pelánek:
Distributed LTL Model Checking Based on Negative Cycle Detection.
FSTTCS 2001: 96-107 |
| 1 | EE | Lubos Brim,
Ivana Cerná,
Pavel Krcál,
Radek Pelánek:
How to Employ Reverse Search in Distributed Single Source Shortest Paths.
SOFSEM 2001: 191-200 |
