Skip to main content

Browsing by Author Gupta, Aarti

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 25 to 27 of 27 < previous 
Publication DateArticle TitleAuthor(s)
Oct-2017Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC VerificationSubramanyan, Pramod; Huang, Bo-Yuan; Vizel, Yakir; Gupta, Aarti; Malik, Sharad
2021Unbounded Procedure Summaries from Bounded EnvironmentsPick, Lauren; Fedyukovich, Grigory; Gupta, Aarti
2020Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability AnalysisZhang, Hongce; Shinn, Maxwell; Gupta, Aarti; Gurfinkel, Arie; Le, Nham; et al