dblp.uni-trier.dewww.uni-trier.de

Natarajan Shankar Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
62EENatarajan Shankar: Automated deduction for verification. ACM Comput. Surv. 41(4): (2009)
61EEC. A. R. Hoare, Jayadev Misra, Gary T. Leavens, Natarajan Shankar: The verified software initiative: A manifesto. ACM Comput. Surv. 41(4): (2009)
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
59EENatarajan Shankar: Trust and Automation in Verification Tools. ATVA 2008: 4-17
58EESam Owre, Natarajan Shankar: A Brief Overview of PVS. TPHOLs 2008: 22-27
2007
57EELeonardo 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
55EENatarajan Shankar: Inference Systems for Logical Algorithms. FSTTCS 2005: 60-78
2004
54EELeonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari: SAL 2. CAV 2004: 496-500
53EELeonardo 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
51EENatarajan Shankar: Verification by Abstraction. 10th Anniversary Colloquium of UNU/IIST 2002: 367-380
50EEJonathan Ford, Natarajan Shankar: Formal Verification of a Combination Decision Procedure. CADE 2002: 347-362
49EENatarajan Shankar: Little Engines of Proof. FME 2002: 1-20
48EENatarajan Shankar: Little Engines of Proof. LICS 2002: 3-
47EENatarajan Shankar, Harald Rueß: Combining Shostak Theories. RTA 2002: 1-18
2001
46EEJean-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
44EENatarajan Shankar: Static Analysis for Safe Destructive Updates in a Functional Language. LOPSTR 2001: 1-24
43EEAshish Tiwari, Harald Rueß, Hassen Saïdi, Natarajan Shankar: A Technique for Invariant Generation. TACAS 2001: 113-127
42EENatarajan Shankar: Using Decision Procedures with a Higher-Order Logic. TPHOLs 2001: 5-26
2000
41EENatarajan Shankar: Symbolic Analysis of Transition Systems. Abstract State Machines 2000: 287-302
40EENatarajan Shankar: Combining Theorem Proving and Model Checking through Symbolic Analysis. CONCUR 2000: 1-16
1999
39EEHassen 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
35EESam Owre, John M. Rushby, Natarajan Shankar, David W. J. Stringer-Calvert: PVS: An Experience Report. FM-Trends 1998: 338-345
34EEAmir 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
32EEJohn M. Rushby, Sam Owre, Natarajan Shankar: Subtypes for Specifications: Predicate Subtyping in PVS. IEEE Trans. Software Eng. 24(9): 709-720 (1998)
1997
31EENatarajan 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
29EES. P. Rajan, Natarajan Shankar, Mandayam K. Srivas: Industrial Strength Formal Verification Techniques for Hardware Designs. VLSI Design 1997: 208-212
1996
28EEDavid Cyrluk, Patrick Lincoln, Natarajan Shankar: On Shostak's Decision Procedure for Combinations of Theories. CADE 1996: 463-477
27EEHarald Rueß, Natarajan Shankar, Mandayam K. Srivas: Modular Verification of SRT Division. CAV 1996: 123-134
26EESam 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
24EEKlaus 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
21EES. 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
18EESam 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
13EENatarajan Shankar: Verification of Real-Time Systems Using PVS. CAV 1993: 280-291
12EESam 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
9EENatarajan Shankar: Proof Search in the Intuitionistic Sequent Calculus. CADE 1992: 522-536
8EESam 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)
2EENatarajan 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)

Coauthor Index

1David Cyrluk [15] [28]
2Bruno Dutertre [57]
3Jean-Christophe Filliâtre [46]
4Jonathan Ford [50]
5Ulrich Furbach [56]
6Klaus Havelund [24]
7Friedrich W. von Henke [12] [18]
8C. A. R. Hoare (Tony Hoare) [61]
9Sandeep S. Kulkarni [37]
10Gary T. Leavens [61]
11Patrick Lincoln [4] [5] [6] [11] [16] [20] [28]
12Jayadev Misra [61]
13John C. Mitchell [4] [6]
14Leonardo Mendonça de Moura [53] [54] [57]
15Sam Owre [8] [12] [14] [18] [26] [30] [32] [35] [38] [46] [53] [54] [58]
16Amir Pnueli [34]
17Shaz Qadeer [33]
18S. Rajan [15] [21] [26]
19S. P. Rajan [29]
20V. Ramachandran [3]
21Harald Rueß [27] [36] [43] [45] [46] [47] [53] [54]
22John M. Rushby [8] [12] [14] [18] [26] [30] [32] [35] [37] [52] [53] [54]
23Hassen Saïdi [39] [43]
24Andre Scedrov [4] [5] [6] [11] [20]
25Eli Singerman [34]
26Jens Ulrik Skakkebæk [17]
27Maria Sorea [54]
28Mandayam K. Srivas [14] [15] [21] [26] [27] [29] [36]
29David W. J. Stringer-Calvert [35]
30Ashish Tiwari [43] [52] [54]
31Jim Woodcock (J. C. P. Woodcock) [60]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)