Ashish Tiwari
Ashish Tiwari
Computer Scientist, SRI International
Verifisert e-postadresse på csl.sri.com - Startside
TittelSitert avÅr
A greedy genetic algorithm for the quadratic assignment problem
RK Ahuja, JB Orlin, A Tiwari
Computers & Operations Research 27 (10), 917-934, 2000
4312000
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
3072010
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
3072004
Synthesis of loop-free programs
S Gulwani, S Jha, A Tiwari, R Venkatesan
PLDI 11, 62-73, 2011
2422011
An overview of SAL
S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ...
Proceedings of the 5th NASA Langley Formal Methods Workshop, 2000
2322000
Series of abstractions for hybrid automata
A Tiwari, G Khanna
International Workshop on Hybrid Systems: Computation and Control, 465-478, 2002
2292002
Termination of linear programs
A Tiwari
International Conference on Computer Aided Verification, 70-82, 2004
1852004
Lifting abstract interpreters to quantified logical domains
S Gulwani, B McCloskey, A Tiwari
ACM SIGPLAN Notices 43 (1), 235-246, 2008
1702008
Constraint-based approach for analysis of hybrid systems
S Gulwani, A Tiwari
International Conference on Computer Aided Verification, 190-203, 2008
1402008
Abstractions for hybrid systems
A Tiwari
Formal Methods in System Design 32 (1), 57-83, 2008
1262008
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, 2014
110*2014
Synthesizing geometry constructions
S Gulwani, VA Korthikanti, A Tiwari
ACM SIGPLAN Notices 46 (6), 50-61, 2011
1102011
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
1032004
Approximate reachability for linear systems
A Tiwari
International Workshop on Hybrid Systems: Computation and Control, 514-525, 2003
1022003
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
1012003
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
992001
Combining abstract interpreters
S Gulwani, A Tiwari
ACM SIGPLAN Notices 41 (6), 376-386, 2006
962006
Nonlinear systems: Approximating reach sets
A Tiwari, G Khanna
International Workshop on Hybrid Systems: Computation and Control, 600-614, 2004
962004
Formal semantics and analysis methods for Simulink Stateflow models
A Tiwari
Technical report, SRI International, 2002
952002
Abstract congruence closure
L Bachmair, A Tiwari, L Vigneron
Journal of Automated Reasoning 31 (2), 129-168, 2003
842003
Systemet kan ikke utføre handlingen. Prøv igjen senere.
Artikler 1–20