Search the dblp DataBase

Publications of Author

1. Pavel Parizek, Frantisek Plasil, Jan Kofron
   Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker. [Citation Graph (0, 0)][DBLP]
   SEW, 2006, pp:133-141 [Conf]
   
2. Pavel Parizek, Frantisek Plasil
   Specification and Generation of Environment for Model Checking of Software Components. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:176, n:2, pp:143-154 [Journal]
   
3. Pavel Parizek, Frantisek Plasil
   Partial Verification of Software Components: Heuristics for Environment Construction. [Citation Graph (0, 0)][DBLP]
   EUROMICRO-SEAA, 2007, pp:75-82 [Conf]
   
4. Pavel Parizek, Frantisek Plasil
   Modeling Environment for Component Model Checking from Hierarchical Architecture. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:182, n:, pp:139-153 [Journal]
   
5. 
   CoCoME in Fractal. [Citation Graph (, )][DBLP]
   
   
6. 
   CoCoME in SOFA. [Citation Graph (, )][DBLP]
   
   
7. 
   Extraction of component-environment interaction model using state space traversal. [Citation Graph (, )][DBLP]
   
   
8. 
   Efficient Detection of Errors in Java Components Using Random Environment and Restarts. [Citation Graph (, )][DBLP]
   
   
9. 
   On Teaching Formal Methods: Behavior Models and Code Analysis. [Citation Graph (, )][DBLP]
   
   
10. 
    Modeling of Component Environment in Presence of Callbacks and Autonomous Activities. [Citation Graph (, )][DBLP]
    
    
11. 
    Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs. [Citation Graph (, )][DBLP]
    
    
12. 
    Challenge benchmarks for verification of real-time programs. [Citation Graph (, )][DBLP]
    
    
13. 
    Exhaustive testing of safety critical Java. [Citation Graph (, )][DBLP]
    
    
14. 
    Checking Session-Oriented Interactions between Web Services. [Citation Graph (, )][DBLP]
    
    
15. 
    Automated Construction of Reasonable Environment for Java Components. [Citation Graph (, )][DBLP]