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