The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Radek Pelánek: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002