Search the dblp DataBase

Publications of Author

1. Gerd Behrmann, Kim Guldstrand Larsen, Radek Pelánek
   To Store or Not to Store. [Citation Graph (0, 0)][DBLP]
   CAV, 2003, pp:433-445 [Conf]
   
2. Corina S. Pasareanu, Radek Pelánek, Willem Visser
   Concrete Model Checking with Abstract Matching and Refinement. [Citation Graph (0, 0)][DBLP]
   CAV, 2005, pp:52-66 [Conf]
   
3. Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek
   Distributed LTL Model Checking Based on Negative Cycle Detection. [Citation Graph (0, 0)][DBLP]
   FSTTCS, 2001, pp:96-107 [Conf]
   
4. Pavel Krcál, Radek Pelánek
   On Sampled Semantics of Timed Systems. [Citation Graph (0, 0)][DBLP]
   FSTTCS, 2005, pp:310-321 [Conf]
   
5. Willem Visser, Corina S. Pasareanu, Radek Pelánek
   Test input generation for java containers using state matching. [Citation Graph (0, 0)][DBLP]
   ISSTA, 2006, pp:37-48 [Conf]
   
6. Willem Visser, Corina S. Pasareanu, Radek Pelánek
   Test input generation for red-black trees using abstraction. [Citation Graph (0, 0)][DBLP]
   ASE, 2005, pp:414-417 [Conf]
   
7. Ivana Cerná, Radek Pelánek
   Relating Hierarchy of Temporal Properties to Model Checking. [Citation Graph (0, 0)][DBLP]
   MFCS, 2003, pp:318-327 [Conf]
   
8. Lubos Brim, Ivana Cerná, Pavel Krcál, Radek Pelánek
   How to Employ Reverse Search in Distributed Single Source Shortest Paths. [Citation Graph (0, 0)][DBLP]
   SOFSEM, 2001, pp:191-200 [Conf]
   
9. Radek Pelánek
   Typical Structural Properties of State Spaces. [Citation Graph (0, 0)][DBLP]
   SPIN, 2004, pp:5-22 [Conf]
   
10. Ivana Cerná, Radek Pelánek
    Distributed Explicit Fair Cycle Detection (Set Based Approach). [Citation Graph (0, 0)][DBLP]
    SPIN, 2003, pp:49-73 [Conf]
    
11. Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek
    Lower and Upper Bounds in Zone Based Abstractions of Timed Automata. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:312-326 [Conf]
    
12. Radek Pelánek, Jan Strejcek
    Deeper Connections Between LTL and Alternating Automata. [Citation Graph (0, 0)][DBLP]
    CIAA, 2005, pp:238-249 [Conf]
    
13. Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Larsen, Radek Pelánek
    Lower and upper bounds in zone-based abstractions of timed automata. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:3, pp:204-215 [Journal]
    
14. Radek Pelánek
    BEEM: Benchmarks for Explicit Model Checkers. [Citation Graph (0, 0)][DBLP]
    SPIN, 2007, pp:263-267 [Conf]
    
15. Corina S. Pasareanu, Radek Pelánek, Willem Visser
    Predicate Abstraction with Under-approximation Refinement [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
    
16. 
    EMMA: Explicit Model Checking Manager (Tool Presentation). [Citation Graph (, )][DBLP]
    
    
17. 
    Model Classifications and Automated Verification. [Citation Graph (, )][DBLP]
    
    
18. 
    Fighting State Space Explosion: Review and Evaluation. [Citation Graph (, )][DBLP]
    
    
19. 
    Complementarity of Error Detection Techniques. [Citation Graph (, )][DBLP]