Follow
Ashish Tiwari
Ashish Tiwari
Computer Scientist, SRI International; Researcher Microsoft
Verified email at csl.sri.com - Homepage
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
5682010
A greedy genetic algorithm for the quadratic assignment problem
RK Ahuja, JB Orlin, A Tiwari
Computers & Operations Research 27 (10), 917-934, 2000
5132000
Synthesis of loop-free programs
S Gulwani, S Jha, A Tiwari, R Venkatesan
ACM SIGPLAN Notices 46 (6), 62-73, 2011
3982011
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
3692004
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
2782018
Series of abstractions for hybrid automata
A Tiwari, G Khanna
Hybrid Systems: Computation and Control: 5th International Workshop, HSCC …, 2002
2502002
An overview of SAL
S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ...
Lfm2000: Fifth NASA Langley Formal Methods Workshop, 2000
2492000
Termination of linear programs
A Tiwari
Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004
2322004
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
1922008
Constraint-based approach for analysis of hybrid systems
S Gulwani, A Tiwari
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
1702008
Synthesizing geometry constructions
S Gulwani, VA Korthikanti, A Tiwari
ACM SIGPLAN Notices 46 (6), 50-61, 2011
1582011
Abstractions for hybrid systems
A Tiwari
Formal Methods in System Design 32, 57-83, 2008
1472008
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
1342013
Symbolic systems biology: Hybrid modeling and analysis of biological networks
P Lincoln, A Tiwari
Hybrid Systems: Computation and Control: 7th International Workshop, HSCC …, 2004
1232004
Combining abstract interpreters
S Gulwani, A Tiwari
ACM SIGPLAN Notices 41 (6), 376-386, 2006
1162006
Approximate reachability for linear systems
A Tiwari
HSCC 2623, 514-525, 2003
1152003
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
1152001
Formal semantics and analysis methods for Simulink Stateflow models
A Tiwari
Technical report, SRI International, 2002
1122002
Box invariance in biologically-inspired dynamical systems
A Abate, A Tiwari, S Sastry
Automatica 45 (7), 1601-1610, 2009
1092009
Nonlinear systems: Approximating reach sets
A Tiwari, G Khanna
Hybrid Systems: Computation and Control: 7th International Workshop, HSCC …, 2004
1022004
The system can't perform the operation now. Try again later.
Articles 1–20