Search the dblp DataBase

Publications of Author

1. Cormac Flanagan, Rajeev Joshi, Xinming Ou, James B. Saxe
   Theorem Proving Using Lazy Proof Explication. [Citation Graph (0, 0)][DBLP]
   CAV, 2003, pp:355-367 [Conf]
   
2. Alex Groce, Gerard J. Holzmann, Rajeev Joshi
   Randomized Differential Testing as a Prelude to Formal Verification. [Citation Graph (0, 0)][DBLP]
   ICSE, 2007, pp:621-631 [Conf]
   
3. K. Rustan M. Leino, Rajeev Joshi
   A Semantic Approach to Secure Information Flow. [Citation Graph (0, 0)][DBLP]
   MPC, 1998, pp:254-271 [Conf]
   
4. Rajeev Joshi, Greg Nelson, Keith H. Randall
   Denali: A Goal-directed Superoptimizer. [Citation Graph (0, 0)][DBLP]
   PLDI, 2002, pp:304-314 [Conf]
   
5. Rajeev Joshi, Jayadev Misra
   Toward a theory of maximally concurrent programs (shortened version). [Citation Graph (0, 0)][DBLP]
   PODC, 2000, pp:319-328 [Conf]
   
6. Akhil Sahai, Sharad Singhal, Vijay Machiraju, Rajeev Joshi
   Automated Generation of Resource Configurations through Policies. [Citation Graph (0, 0)][DBLP]
   POLICY, 2004, pp:107-110 [Conf]
   
7. Gerard J. Holzmann, Rajeev Joshi
   Model-Driven Software Verification. [Citation Graph (0, 0)][DBLP]
   SPIN, 2004, pp:76-91 [Conf]
   
8. Alex Groce, Rajeev Joshi
   Exploiting Traces in Program Analysis. [Citation Graph (0, 0)][DBLP]
   TACAS, 2006, pp:379-393 [Conf]
   
9. Rajeev Joshi, Jayadev Misra
   Maximally Concurrent Programs. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2000, v:12, n:2, pp:100-119 [Journal]
   
10. Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu
    Checking Cache-Coherence Protocols with TLA⁺. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2003, v:22, n:2, pp:125-131 [Journal]
    
11. Cormac Flanagan, Rajeev Joshi, K. Rustan M. Leino
    Annotation inference for modular checkers. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:77, n:2-4, pp:97-108 [Journal]
    
12. Rajeev Joshi, K. Rustan M. Leino
    A semantic approach to secure information flow. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2000, v:37, n:1-3, pp:113-138 [Journal]
    
13. Rajeev Joshi, Greg Nelson, Yunhong Zhou
    Denali: A practical algorithm for generating optimal code. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2006, v:28, n:6, pp:967-989 [Journal]
    
14. Rajeev Joshi, Gerard J. Holzmann
    A mini challenge: build a verifiable filesystem. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2007, v:19, n:2, pp:269-272 [Journal]
    
15. 
    Random testing and model checking: building a common framework for nondeterministic exploration. [Citation Graph (, )][DBLP]
    
    
16. 
    Swarm Verification. [Citation Graph (, )][DBLP]
    
    
17. 
    Tackling Large Verification Problems with the Swarm Tool. [Citation Graph (, )][DBLP]
    
    
18. 
    Verifying Multi-threaded C Programs with SPIN. [Citation Graph (, )][DBLP]
    
    
19. 
    New Challenges in Model Checking. [Citation Graph (, )][DBLP]
    
    
20. 
    Extending Model Checking with Dynamic Analysis. [Citation Graph (, )][DBLP]
    
    
21. 
    Automated Testing of Planning Models. [Citation Graph (, )][DBLP]
    
    
22. 
    Reliable Software Systems Design: Defect Prevention, Detection, and Containment. [Citation Graph (, )][DBLP]
    
    
23. 
    A Mini Challenge: Build a Verifiable Filesystem. [Citation Graph (, )][DBLP]
    
    
24. 
    Automated policy-based resource construction in utility computing environments. [Citation Graph (, )][DBLP]
    
    
25. 
    Model driven code checking. [Citation Graph (, )][DBLP]