Ashish Tiwari

Cited by

	All	Since 2016
Citations	6639	2730
h-index	37	27
i10-index	104	61

620

310

155

465

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202135 27 67 106 140 193 186 237 270 287 278 350 402 386 403 459 494 532 503 561 614 13

Co-authors

Sumit GulwaniPartner Research Manager, MicrosoftVerified email at microsoft.com
Susmit JhaPrincipal Scientist, SRI InternationalVerified email at sri.com
Natarajan ShankarSRI International Computer Science LaboratoryVerified email at csl.sri.com
Sanjit A. SeshiaUniversity of California, BerkeleyVerified email at eecs.berkeley.edu
patrick lincolnSRIVerified email at sri.com
Harald RuessfortissVerified email at fortiss.org
Adrià GascónUniversity of EdinburghVerified email at inf.ed.ac.uk
Sriram SankaranarayananAssociate Professor of Computer Science, University of Colorado, BoulderVerified email at colorado.edu
John RushbySRI InternationalVerified email at csl.sri.com
Leo BachmairProfessor of Computer Science, Stony Brook UniversityVerified email at cs.stonybrook.edu
Radu GrosuProfessor of Computer ScienceVerified email at tuwien.ac.at
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerified email at cs.sunysb.edu
Souradeep DuttaUniversity of PennsylvaniaVerified email at colorado.edu
Sam OwreSRI InternationalVerified email at sri.com
Bruno DutertreSRI InternationalVerified email at csl.sri.com
Sharad MalikProfessor of Electrical Engineering, Princeton UniversityVerified email at princeton.edu
Alessandro AbateProfessor of Verification and Control, University of OxfordVerified email at cs.ox.ac.uk
Junxing YangStony Brook UniverisityVerified email at cs.stonybrook.edu
Gaurav KhannaUniversity of Rhode Island & UMass DartmouthVerified email at umassd.edu
Leonardo de MouraSenior Principal Researcher at MicrosoftVerified email at microsoft.com

Ashish Tiwari

Computer Scientist, SRI International

Verified email at csl.sri.com - Homepage

Formal Methods Program Analysis Hybrid Systems Decision Procedures Systems Biology


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A greedy genetic algorithm for the quadratic assignment problem RK Ahuja, JB Orlin, A Tiwari Computers & Operations Research 27 (10), 917-934, 2000	482	2000
Oracle-guided component-based program synthesis S Jha, S Gulwani, SA Seshia, A Tiwari 2010 ACM/IEEE 32nd International Conference on Software Engineering 1, 215-224, 2010	437	2010
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	338	2004
Synthesis of loop-free programs S Gulwani, S Jha, A Tiwari, R Venkatesan ACM SIGPLAN Notices 46 (6), 62-73, 2011	330	2011
Series of abstractions for hybrid automata A Tiwari, G Khanna International Workshop on Hybrid Systems: Computation and Control, 465-478, 2002	242	2002
An overview of SAL S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ... NASA CONFERENCE PUBLICATION, 187-195, 2000	241	2000
Termination of linear programs A Tiwari International Conference on Computer Aided Verification, 70-82, 2004	200	2004
Lifting abstract interpreters to quantified logical domains S Gulwani, B McCloskey, A Tiwari Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008	181	2008
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	161*	2013
Constraint-based approach for analysis of hybrid systems S Gulwani, A Tiwari International Conference on Computer Aided Verification, 190-203, 2008	155	2008
Abstractions for hybrid systems A Tiwari Formal Methods in System Design 32 (1), 57-83, 2008	141	2008
Synthesizing geometry constructions S Gulwani, VA Korthikanti, A Tiwari ACM SIGPLAN Notices 46 (6), 50-61, 2011	136	2011
Output range analysis for deep feedforward neural networks S Dutta, S Jha, S Sankaranarayanan, A Tiwari NASA Formal Methods Symposium, 121-138, 2018	131	2018
Symbolic systems biology: Hybrid modeling and analysis of biological networks P Lincoln, A Tiwari International Workshop on Hybrid Systems: Computation and Control, 660-672, 2004	113	2004
Approximate reachability for linear systems A Tiwari International Workshop on Hybrid Systems: Computation and Control, 514-525, 2003	107	2003
A technique for invariant generation A Tiwari, H Rueß, H Saïdi, N Shankar International Conference on Tools and Algorithms for the Construction and …, 2001	102	2001
Formal semantics and analysis methods for Simulink Stateflow models A Tiwari Technical report, SRI International, 2002	101	2002
Combining abstract interpreters S Gulwani, A Tiwari ACM SIGPLAN Notices 41 (6), 376-386, 2006	100	2006
Automated symbolic reachability analysis; with application to delta-notch signaling automata R Ghosh, A Tiwari, C Tomlin International Workshop on Hybrid Systems: Computation and Control, 233-248, 2003	100	2003
Nonlinear systems: Approximating reach sets A Tiwari, G Khanna International Workshop on Hybrid Systems: Computation and Control, 600-614, 2004	99	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

Upload PDF

Follow this author

Cited by

Co-authors