Ashish Tiwari

Cited by

	All	Since 2018
Citations	8030	3020
h-index	44	26
i10-index	120	72

660

330

165

495

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202332 30 73 95 143 194 190 239 270 286 285 353 408 395 410 459 476 547 526 543 638 626 649 36

Public access

View all

34 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Sumit GulwaniPartner Research Manager, MicrosoftVerified email at microsoft.com
Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalVerified email at sri.com
Natarajan ShankarSRI International Computer Science LaboratoryVerified email at csl.sri.com
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
patrick lincolnSRIVerified email at sri.com
Adrià GascónGoogle ResearchVerified email at google.com
Harald RuessfortissVerified email at fortiss.org
John RushbySRI InternationalVerified email at csl.sri.com
Sriram SankaranarayananProfessor of Computer Science, University of Colorado, BoulderVerified email at colorado.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
Leo BachmairProfessor of Computer Science, Stony Brook UniversityVerified email at cs.stonybrook.edu
Bruno DutertreAmazon Web ServicesVerified email at amazon.com
Sam OwreSRI InternationalVerified email at sri.com
Sharad MalikProfessor of Electrical and Computer 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
Pramod SubramanyanIndian Institute of Technology KanpurVerified email at cse.iitk.ac.in
Leonardo de MouraSenior Principal Researcher at MicrosoftVerified email at microsoft.com
Gaurav KhannaUniversity of Rhode Island & UMass DartmouthVerified email at umassd.edu

Ashish Tiwari

Computer Scientist, SRI International; Researcher Microsoft

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
Oracle-guided component-based program synthesis S Jha, S Gulwani, SA Seshia, A Tiwari Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010	565	2010
A greedy genetic algorithm for the quadratic assignment problem RK Ahuja, JB Orlin, A Tiwari Computers & Operations Research 27 (10), 917-934, 2000	513	2000
Synthesis of loop-free programs S Gulwani, S Jha, A Tiwari, R Venkatesan ACM SIGPLAN Notices 46 (6), 62-73, 2011	397	2011
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	369	2004
Output range analysis for deep feedforward neural networks S Dutta, S Jha, S Sankaranarayanan, A Tiwari NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News …, 2018	276	2018
Series of abstractions for hybrid automata A Tiwari, G Khanna Hybrid Systems: Computation and Control: 5th International Workshop, HSCC …, 2002	250	2002
An overview of SAL S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ... Lfm2000: Fifth NASA Langley Formal Methods Workshop, 2000	249	2000
Termination of linear programs A Tiwari Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004	232	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	192	2008
Constraint-based approach for analysis of hybrid systems S Gulwani, A Tiwari Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008	170	2008
Synthesizing geometry constructions S Gulwani, VA Korthikanti, A Tiwari ACM SIGPLAN Notices 46 (6), 50-61, 2011	158	2011
Abstractions for hybrid systems A Tiwari Formal Methods in System Design 32, 57-83, 2008	147	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	134	2013
Symbolic systems biology: Hybrid modeling and analysis of biological networks P Lincoln, A Tiwari Hybrid Systems: Computation and Control: 7th International Workshop, HSCC …, 2004	123	2004
Combining abstract interpreters S Gulwani, A Tiwari ACM SIGPLAN Notices 41 (6), 376-386, 2006	116	2006
Approximate reachability for linear systems A Tiwari HSCC 2623, 514-525, 2003	115	2003
A technique for invariant generation A Tiwari, H Rueß, H Saïdi, N Shankar Tools and Algorithms for the Construction and Analysis of Systems: 7th …, 2001	115	2001
Formal semantics and analysis methods for Simulink Stateflow models A Tiwari Technical report, SRI International, 2002	112	2002
Box invariance in biologically-inspired dynamical systems A Abate, A Tiwari, S Sastry Automatica 45 (7), 1601-1610, 2009	109	2009
Nonlinear systems: Approximating reach sets A Tiwari, G Khanna Hybrid Systems: Computation and Control: 7th International Workshop, HSCC …, 2004	102	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