Natarajan Shankar

Cited by

	All	Since 2017
Citations	13004	1886
h-index	55	21
i10-index	117	42

660

330

165

495

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202244 66 125 280 393 390 469 531 511 513 486 576 546 645 612 656 598 467 459 412 372 428 442 400 385 355 376 358 334 356 105

Public access

View all

17 articles

4 articles

available

not available

Based on funding mandates

Co-authors

Sam OwreSRI InternationalVerified email at sri.com
John RushbySRI InternationalVerified email at csl.sri.com
Harald RuessfortissVerified email at fortiss.org
patrick lincolnSRIVerified email at sri.com
Ashish TiwariComputer Scientist, SRI InternationalVerified email at csl.sri.com
Leonardo de MouraSenior Principal Researcher at MicrosoftVerified email at microsoft.com
Dr. Hassen SaidiSr Computer Scientist, SRI InternationalVerified email at csl.sri.com
Wenchao LiAssistant Professor, Boston UniversityVerified email at bu.edu
Sanjit A. SeshiaUniversity of California, BerkeleyVerified email at eecs.berkeley.edu
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaVerified email at math.upenn.edu
Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerified email at univ-grenoble-alpes.fr
Vijay GaneshAssociate Professor, University of Waterloo, Ontario, CanadaVerified email at uwaterloo.ca
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
Gary T. LeavensProfessor, University of Central FloridaVerified email at cs.ucf.edu
Susmit JhaPrincipal Scientist, SRI InternationalVerified email at sri.com
Vlad RusuInriaVerified email at inria.fr
Maria Paola BonacinaProfessor of Computer Science, Università degli Studi di VeronaVerified email at univr.it
Bruno DutertreAmazon Web ServicesVerified email at amazon.com
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityVerified email at princeton.edu
Pramod SubramanyanIndian Institute of Technology KanpurVerified email at cse.iitk.ac.in

Natarajan Shankar

SRI International Computer Science Laboratory

Verified email at csl.sri.com

Computational Logic Automated Reasoning Formal Methods Computer-Aided Verification Programming Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
PVS: A prototype verification system S Owre, J Rushby, N Shankar Automated Deduction—CADE-11, 748-752, 1992	2349	1992
Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS S Owre, J Rushby, N Shankar, F Von Henke IEEE Transactions on Software Engineering 21 (2), 107-125, 1995	795	1995
PVS: Combining specification, proof checking, and model checking S Owre, S Rajan, J Rushby, N Shankar, M Srivas Computer Aided Verification, 411-414, 1996	691	1996
A tutorial introduction to PVS J Crow, S Owre, J Rushby, N Shankar, M Srivas WIFT, 1995	453	1995
Decision problems for propositional linear logic P Lincoln, J Mitchell, A Scedrov, N Shankar Annals of pure and Applied Logic 56 (1-3), 239-311, 1992	385	1992
SAL 2 L Moura, S Owre, H Rueß, J Rushby, N Shankar, M Sorea, A Tiwari International Conference on Computer Aided Verification, 496-500, 2004	361	2004
PVS language reference S Owre, N Shankar, JM Rushby, DWJ Stringer-Calvert Computer Science Laboratory, SRI International, Menlo Park, CA 1 (2), 21, 1999	315	1999
An integration of model checking with automated proof checking S Rajan, N Shankar, M Srivas Computer Aided Verification, 84-97, 1995	301	1995
An overview of SAL S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ... Lfm2000: Fifth NASA Langley Formal Methods Workshop, 2000	250	2000
Abstract and model check while you prove H Saïdi, N Shankar Computer Aided Verification, 681-682, 1999	249	1999
Experiments in theorem proving and model checking for protocol verification K Havelund, N Shankar International Symposium of Formal Methods Europe, 662-681, 1996	229	1996
The PVS proof checker: A reference manual N Shankar, S Owre, JM Rushby Computer Science Laboratory, SRI International, Menlo Park, CA 3, 1993	216	1993
PVS prover guide N Shankar, S Owre, JM Rushby, DWJ Stringer-Calvert Computer Science Laboratory, SRI International, Menlo Park, CA 1, 11-12, 2001	214	2001
PVS system guide S Owre, N Shankar, JM Rushby, DWJ Stringer-Calvert Computer Science Laboratory, SRI International, Menlo Park, CA 1 (5), 7, 1999	203	1999
Subtypes for specifications: Predicate subtyping in PVS J Rushby, S Owre, N Shankar IEEE Transactions on Software Engineering 24 (9), 709-720, 1998	200	1998
The PVS specification language S Owre, N Shankar, JM Rushby Computer Science Laboratory, SRI International, Menlo Park, CA 94025, 1993	191	1993
ICS: Integrated Canonizer and Solver? JC Filliâtre, S Owre, N Shankar International Conference on Computer Aided Verification, 246-249, 2001	185	2001
User guide for the PVS specification and verification system S Owre, N Shankar, JM Rushby, DWJ Stringer-Calvert Computer Science Laboratory, SRI International, Menlo Park, CA 3, 1993	172	1993
Metamathematics, machines and Gödel's proof N Shankar Cambridge University Press, 1997	155	1997
The SAL language manual L De Moura, S Owre, N Shankar Computer Science Laboratory, SRI International, Menlo Park, Tech. Rep. CSL-01-01, 2003	145	2003

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors