The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Aditya V. Nori: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kapil Vaswani, Aditya V. Nori, Trishul M. Chilimbi
    Preferential path profiling: compactly numbering interesting paths. [Citation Graph (0, 0)][DBLP]
    POPL, 2007, pp:351-362 [Conf]
  2. Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani
    SYNERGY: a new algorithm for property checking. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2006, pp:117-127 [Conf]
  3. Aditya V. Nori, P. Shankar
    Unifying Views of Tail-Biting Trellis Constructions for Linear Block Codes. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Information Theory, 2006, v:52, n:10, pp:4431-4443 [Journal]
  4. Trishul M. Chilimbi, Aditya V. Nori, Kapil Vaswani
    Quantifying the effectiveness of testing via efficient residual path profiling. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:545-548 [Conf]

  5. HOLMES: Effective statistical debugging via efficient path profiling. [Citation Graph (, )][DBLP]


  6. An empirical study of optimizations in YOGI. [Citation Graph (, )][DBLP]


  7. Proofs from tests. [Citation Graph (, )][DBLP]


  8. Merlin: specification inference for explicit information flow problems. [Citation Graph (, )][DBLP]


  9. Compositional may-must program analysis: unleashing the power of alternation. [Citation Graph (, )][DBLP]


  10. Bottom-Up Shape Analysis. [Citation Graph (, )][DBLP]


  11. Alternation for Termination. [Citation Graph (, )][DBLP]


  12. Quantifying the effectiveness of testing via efficient residual path profiling. [Citation Graph (, )][DBLP]


  13. The YogiProject: Software Property Checking via Static Analysis and Testing. [Citation Graph (, )][DBLP]


  14. Automatically Refining Abstract Interpretations. [Citation Graph (, )][DBLP]


  15. Verification, Testing and Statistics. [Citation Graph (, )][DBLP]


  16. Combining Tests and Proofs. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
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