The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Natarajan Shankar: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Natarajan Shankar
    Symbolic Analysis of Transition Systems. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:287-302 [Conf]
  2. David Cyrluk, Patrick Lincoln, Natarajan Shankar
    On Shostak's Decision Procedure for Combinations of Theories. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:463-477 [Conf]
  3. Jonathan Ford, Natarajan Shankar
    Formal Verification of a Combination Decision Procedure. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:347-362 [Conf]
  4. Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar
    The ICS Decision Procedures for Embedded Deduction. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:218-222 [Conf]
  5. Sam Owre, John M. Rushby, Natarajan Shankar
    PVS: A Prototype Verification System. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:748-752 [Conf]
  6. Natarajan Shankar
    Proof Search in the Intuitionistic Sequent Calculus. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:522-536 [Conf]
  7. Jean-Christophe Filliâtre, Sam Owre, Harald Rueß, Natarajan Shankar
    ICS: Integrated Canonizer and Solver. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:246-249 [Conf]
  8. Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari
    SAL 2. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:496-500 [Conf]
  9. Sam Owre, S. Rajan, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas
    PVS: Combining Specification, Proof Checking, and Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:411-414 [Conf]
  10. S. Rajan, Natarajan Shankar, Mandayam K. Srivas
    An Integration of Model Checking with Automated Proof Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 1995, pp:84-97 [Conf]
  11. Harald Rueß, Natarajan Shankar, Mandayam K. Srivas
    Modular Verification of SRT Division. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:123-134 [Conf]
  12. Hassen Saïdi, Natarajan Shankar
    Abstract and Model Check While You Prove. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:443-454 [Conf]
  13. Natarajan Shankar
    Verification of Real-Time Systems Using PVS. [Citation Graph (0, 0)][DBLP]
    CAV, 1993, pp:280-291 [Conf]
  14. Natarajan Shankar
    Lazy Compositional Verification. [Citation Graph (0, 0)][DBLP]
    COMPOS, 1997, pp:541-564 [Conf]
  15. Natarajan Shankar
    Combining Theorem Proving and Model Checking through Symbolic Analysis. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:1-16 [Conf]
  16. Klaus Havelund, Natarajan Shankar
    Experiments in Theorem Proving and Model Checking for Protocol Verification. [Citation Graph (0, 0)][DBLP]
    FME, 1996, pp:662-681 [Conf]
  17. Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke
    Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:482-500 [Conf]
  18. Sam Owre, John M. Rushby, Natarajan Shankar, David W. J. Stringer-Calvert
    PVS: An Experience Report. [Citation Graph (0, 0)][DBLP]
    FM-Trends, 1998, pp:338-345 [Conf]
  19. Natarajan Shankar
    Little Engines of Proof. [Citation Graph (0, 0)][DBLP]
    FME, 2002, pp:1-20 [Conf]
  20. Natarajan Shankar
    PVS: Combining Specification, Proof Checking, and Model Checking. [Citation Graph (0, 0)][DBLP]
    FMCAD, 1996, pp:257-264 [Conf]
  21. Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar
    Decision Problems for Propositional Linear Logic [Citation Graph (0, 0)][DBLP]
    FOCS, 1990, pp:662-671 [Conf]
  22. Natarajan Shankar
    Inference Systems for Logical Algorithms. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2005, pp:60-78 [Conf]
  23. Amir Pnueli, Natarajan Shankar, Eli Singerman
    Fair Synchronous Transition Systems and Their Liveness Proofs. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1998, pp:198-209 [Conf]
  24. Natarajan Shankar
    Mechanical Verification of a Generalized Protocol for Byzantine Fault Tolerant Clock Synchronization. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1992, pp:217-236 [Conf]
  25. Natarajan Shankar
    Unifying Verification Paradigms. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1996, pp:22-39 [Conf]
  26. Jens Ulrik Skakkebæk, Natarajan Shankar
    Towards a Duration Calculus Proof Assistant in PVS. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1994, pp:660-679 [Conf]
  27. Patrick Lincoln, Natarajan Shankar
    Proof Search in First-Order Linear Logic and Other Cut-Free Sequent Calculi [Citation Graph (0, 0)][DBLP]
    LICS, 1994, pp:282-291 [Conf]
  28. Patrick Lincoln, Andre Scedrov, Natarajan Shankar
    Linearizing Intuitionistic Implication [Citation Graph (0, 0)][DBLP]
    LICS, 1991, pp:51-62 [Conf]
  29. Patrick Lincoln, Andre Scedrov, Natarajan Shankar
    Decision Problems for Second-Order Linear Logic [Citation Graph (0, 0)][DBLP]
    LICS, 1995, pp:476-485 [Conf]
  30. Harald Rueß, Natarajan Shankar
    Deconstructing Shostak. [Citation Graph (0, 0)][DBLP]
    LICS, 2001, pp:19-28 [Conf]
  31. Natarajan Shankar
    Little Engines of Proof. [Citation Graph (0, 0)][DBLP]
    LICS, 2002, pp:3-0 [Conf]
  32. Natarajan Shankar
    Static Analysis for Safe Destructive Updates in a Functional Language. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2001, pp:1-24 [Conf]
  33. Natarajan Shankar
    Computer-Aided Computing. [Citation Graph (0, 0)][DBLP]
    MPC, 1995, pp:50-66 [Conf]
  34. Shaz Qadeer, Natarajan Shankar
    Verifying a self-stabilizing mutual exclusion algorithm. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:424-443 [Conf]
  35. Natarajan Shankar, Harald Rueß
    Combining Shostak Theories. [Citation Graph (0, 0)][DBLP]
    RTA, 2002, pp:1-18 [Conf]
  36. Sam Owre, John M. Rushby, Natarajan Shankar
    Integration in PVS: Tables, Types, and Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:366-383 [Conf]
  37. Ashish Tiwari, Harald Rueß, Hassen Saïdi, Natarajan Shankar
    A Technique for Invariant Generation. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:113-127 [Conf]
  38. David Cyrluk, S. Rajan, Natarajan Shankar, Mandayam K. Srivas
    Effective Theorem Proving for Hardware Verification. [Citation Graph (0, 0)][DBLP]
    TPCD, 1994, pp:203-222 [Conf]
  39. Sam Owre, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas
    A Tutorial on Using PVS for Hardware Verification. [Citation Graph (0, 0)][DBLP]
    TPCD, 1994, pp:258-279 [Conf]
  40. Natarajan Shankar
    Using Decision Procedures with a Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2001, pp:5-26 [Conf]
  41. Natarajan Shankar
    Verification by Abstraction. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:367-380 [Conf]
  42. S. P. Rajan, Natarajan Shankar, Mandayam K. Srivas
    Industrial Strength Formal Verification Techniques for Hardware Designs. [Citation Graph (0, 0)][DBLP]
    VLSI Design, 1997, pp:208-212 [Conf]
  43. Natarajan Shankar, Sam Owre
    Principles and Pragmatics of Subtyping in PVS. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:37-52 [Conf]
  44. Sandeep S. Kulkarni, John M. Rushby, Natarajan Shankar
    A case-study in component-based mechanical verification of fault-tolerant programs. [Citation Graph (0, 0)][DBLP]
    WSS, 1999, pp:33-40 [Conf]
  45. Natarajan Shankar
    David A. McAllester, Ontic: A Knowledge Representation System for Mathematics. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1993, v:62, n:2, pp:355-362 [Journal]
  46. Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar
    Decision Problems for Propositional Linear Logic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1992, v:56, n:1-3, pp:239-311 [Journal]
  47. Patrick Lincoln, Andre Scedrov, Natarajan Shankar
    Linearizing Intuitionistic Implication. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1993, v:60, n:2, pp:151-177 [Journal]
  48. Harald Rueß, Natarajan Shankar, Mandayam K. Srivas
    Modular Verification of SRT Division. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1999, v:14, n:1, pp:45-73 [Journal]
  49. Natarajan Shankar, V. Ramachandran
    Efficient Parallel Circuits and Algorithms for Division. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1988, v:29, n:6, pp:307-313 [Journal]
  50. Natarajan Shankar
    A mechanical proof of the Church-Rosser theorem. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1988, v:35, n:3, pp:475-522 [Journal]
  51. Natarajan Shankar
    Towards Mechanical Metamathematics. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1985, v:1, n:4, pp:407-434 [Journal]
  52. Ashish Tiwari, Natarajan Shankar, John M. Rushby
    Invisible formal methods for embedded control systems. [Citation Graph (0, 0)][DBLP]
    Proceedings of the IEEE, 2003, v:91, n:1, pp:29-39 [Journal]
  53. Natarajan Shankar
    Steps Toward Mechanizing Program Transformations Using PVS. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:26, n:1-3, pp:33-57 [Journal]
  54. Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke
    Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1995, v:21, n:2, pp:107-125 [Journal]
  55. John M. Rushby, Sam Owre, Natarajan Shankar
    Subtypes for Specifications: Predicate Subtyping in PVS. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1998, v:24, n:9, pp:709-720 [Journal]
  56. Leonardo Mendonça de Moura, Bruno Dutertre, Natarajan Shankar
    A Tutorial on Satisfiability Modulo Theories. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:20-36 [Conf]

  57. Trust and Automation in Verification Tools. [Citation Graph (, )][DBLP]


  58. Unraveling a Card Trick. [Citation Graph (, )][DBLP]


  59. A Brief Overview of PVS. [Citation Graph (, )][DBLP]


  60. Automated deduction for verification. [Citation Graph (, )][DBLP]


  61. The verified software initiative: A manifesto. [Citation Graph (, )][DBLP]


Search in 0.022secs, Finished in 0.026secs
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