The SCEAS System
Navigation Menu

Search the dblp DataBase


Rajeev Joshi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.004secs, Finished in 0.005secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002