Natarajan Shankar

Cited by

	All	Since 2020
Citations	14204	1748
h-index	58	19
i10-index	126	36

680

340

170

510

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202544 69 130 295 410 391 497 516 508 525 531 585 574 673 612 676 598 464 463 412 375 436 433 395 391 346 398 360 340 342 358 363 321 23

Public access

View all

24 articles

5 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
Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftVerified email at csl.sri.com
patrick lincolnSRIVerified email at sri.com
Leonardo de MouraAmazon Web ServicesVerified email at amazon.com
Wenchao LiAssociate Professor, Boston UniversityVerified email at bu.edu
Dr. Hassen SaidiSr Computer Scientist, SRI InternationalVerified email at csl.sri.com
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
Stéphane Graham-LengrandSRI InternationalVerified email at csl.sri.com
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 GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAVerified email at gatech.edu
Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalVerified email at sri.com
Eli SingermanIntel Corp.Verified email at intel.com
Gary T. LeavensProfessor, University of Central FloridaVerified email at cs.ucf.edu
Maria Paola BonacinaProfessor of Computer Science, Università degli Studi di VeronaVerified email at univr.it
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	2492	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	815	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	728	1996
A tutorial introduction to PVS J Crow, S Owre, J Rushby, N Shankar, M Srivas Wift, 1995	465	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	414	1992
SAL 2 L De Moura, S Owre, H Rueß, J Rushby, N Shankar, M Sorea, A Tiwari Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004	375	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	330	1999
An integration of model checking with automated proof checking S Rajan, N Shankar, M Srivas Computer Aided Verification, 84-97, 1995	309	1995
An overview of SAL S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ... NASA CONFERENCE PUBLICATION, 187-195, 2000	260	2000
Abstract and model check while you prove H Saïdi, N Shankar Computer Aided Verification, 681-682, 1999	252	1999
Experiments in theorem proving and model checking for protocol verification K Havelund, N Shankar International Symposium of Formal Methods Europe, 662-681, 1996	242	1996
Subtypes for specifications: Predicate subtyping in PVS J Rushby, S Owre, N Shankar IEEE Transactions on Software Engineering 24 (9), 709-720, 1998	233	1998
PVS prover guide N Shankar, S Owre, JM Rushby, DWJ Stringer-Calvert Computer Science Laboratory, SRI International, Menlo Park, CA 1, 11-12, 2001	228	2001
The PVS proof checker: A reference manual N Shankar, S Owre, JM Rushby Computer Science Laboratory, SRI International, Menlo Park, CA 3, 1993	219	1993
PVS system guide S Owre, N Shankar, JM Rushby, DWJ Stringer-Calvert Computer Science Laboratory, SRI International, Menlo Park, CA 1 (5), 7, 1999	211	1999
The PVS specification language S Owre, N Shankar, JM Rushby Computer Science Laboratory, SRI International, Menlo Park, CA 94025, 1993	197	1993
ICS: Integrated Canonizer and Solver? JC Filliâtre, S Owre, H Rue* B, N Shankar Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001	183	2001
Reverse engineering digital circuits using structural and functional analyses P Subramanyan, N Tsiskaridze, W Li, A Gascón, WY Tan, A Tiwari, ... IEEE Transactions on Emerging Topics in Computing 2 (1), 63-80, 2013	176	2013
User guide for the PVS specification and verification system (Beta release) S Owre, N Shankar, JM Rushby Computer Science Laboratory, SRI International, Menlo Park, CA 94025, 1993	173	1993
System and method using information-based indicia for securing and authenticating transactions PD Lincoln, N Shankar US Patent 6,820,201, 2004	169	2004

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

Cited by

Co-authors