Natarajan Shankar

Cited by

	All	Since 2016
Citations	12461	1858
h-index	53	20
i10-index	113	44

660

330

165

495

19921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202138 71 119 271 386 380 461 523 498 511 515 558 543 647 578 658 586 461 442 401 378 421 438 405 384 347 368 350 332 75

Public access

View all

14 articles

4 articles

available

not available

Based on funding mandates

Co-authors

John RushbySRI InternationalVerified email at csl.sri.com
Harald RuessfortissVerified email at fortiss.org
Ashish TiwariComputer Scientist, SRI InternationalVerified email at csl.sri.com
patrick lincolnSRIVerified email at 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
Vlad RusuInriaVerified email at inria.fr
Cesar MunozNASAVerified email at nasa.gov
Bruno DutertreSRI InternationalVerified email at csl.sri.com
Maria Paola BonacinaProfessor of Computer Science, Università degli Studi di VeronaVerified email at univr.it
Sharad MalikProfessor of Electrical Engineering, Princeton UniversityVerified email at princeton.edu
Pramod SubramanyanIndian Institute of Technology KanpurVerified email at cse.iitk.ac.in
Adrià GascónUniversity of EdinburghVerified email at inf.ed.ac.uk

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	2260	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	793	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	670	1996
A tutorial introduction to PVS J Crow, S Owre, J Rushby, N Shankar, M Srivas WIFT, 1995	437	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	358	1992
SAL 2 L De Moura, S Owre, H Rueß, J Rushby, N Shankar, M Sorea, A Tiwari International Conference on Computer Aided Verification, 496-500, 2004	352	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	309	1999
An integration of model checking with automated proof checking S Rajan, N Shankar, M Srivas Computer Aided Verification, 84-97, 1995	298	1995
Abstract and model check while you prove H Saïdi, N Shankar Computer Aided Verification, 681-682, 1999	244	1999
An overview of SAL S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ... NASA CONFERENCE PUBLICATION, 187-195, 2000	241	2000
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	208	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	207	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	199	1999
The PVS specification language S Owre, N Shankar, JM Rushby Computer Science Laboratory, SRI International, Menlo Park, CA 94025, 1993	193	1993
Subtypes for specifications: Predicate subtyping in PVS J Rushby, S Owre, N Shankar IEEE Transactions on Software Engineering 24 (9), 709-720, 1998	190	1998
ICS: Integrated Canonizer and Solver? JC Filliâtre, S Owre, H Rue, N Shankar International Conference on Computer Aided Verification, 246-249, 2001	182	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	173	1993
Metamathematics, machines and Gödel's proof N Shankar Cambridge University Press, 1997	148	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	141	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

Upload PDF

Follow this author

Cited by

Co-authors