2013
19Using cross-entropy for satisfiability. Hana Chockler, Alexander Ivrii, Arie Matsliah, Simone Fulvio Rollini, Natasha Sharygina. SAC 2013, 1196-1203. Web SearchBibTeXDownload
2012
18Propositional Interpolation Systems for Model Checking. Arie Gurfinkel, Simone Fulvio Rollini, Natasha Sharygina. CoRR (abs/1212.4650) (2012). Web SearchBibTeXDownload
2008
17Verification of evolving software via component substitutability analysis. Sagar Chaki, Edmund M. Clarke, Natasha Sharygina, Nishant Sinha. Formal Methods in System Design (32): 235-266 (2008). Web SearchBibTeXDownload
16Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog. Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke. IEEE Trans. on CAD of Integrated Circuits and Systems (27): 366-379 (2008). Web SearchBibTeXDownload
2007
15VCEGAR: Verilog CounterExample Guided Abstraction Refinement. Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke. TACAS 2007, 583-586. Web SearchBibTeXDownload
2005
14The ComFoRT Reasoning Framework. Sagar Chaki, James Ivers, Natasha Sharygina, Kurt C. Wallnau. CAV 2005, 164-169. Web SearchBibTeXDownload
13Word level predicate abstraction and refinement for verifying RTL verilog. Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke. DAC 2005, 445-450. Web SearchBibTeXDownload
12Dynamic Component Substitutability Analysis. Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, Nishant Sinha. FM 2005, 512-528. Web SearchBibTeXDownload
11Program Compatibility Approaches. Edmund M. Clarke, Natasha Sharygina, Nishant Sinha. FMCO 2005, 243-258. Web SearchBibTeXDownload
10Concurrent software verification with states, events, and deadlocks. Sagar Chaki, Edmund M. Clarke, JoŽl Ouaknine, Natasha Sharygina, Nishant Sinha. Formal Asp. Comput. (17): 461-483 (2005). Web SearchBibTeXDownload
9State/Event Software Verification for Branching-Time Specifications. Sagar Chaki, Edmund M. Clarke, Orna Grumberg, JoŽl Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith. IFM 2005, 53-69. Web SearchBibTeXDownload
8SATABS: SAT-Based Predicate Abstraction for ANSI-C. Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav. TACAS 2005, 570-574. Web SearchBibTeXDownload
2004
7Guest Editorial. Darrell Conklin, Tadeusz A. Wysocki, Hamid Sharif, L. C. Gundersen, P. P. Leahy, W. Hill, Jyh-Horng Wen, Shiuh-Jeng Wang, Yuh-Ren Tsai, Keh-Ming Lu. Formal Methods in System Design (25): 103 (2004). Cited by 2Web SearchBibTeXDownload
6Lessons Learned from Model Checking a NASA Robot Controller. Natasha Sharygina, James C. Browne, Fei Xie, Robert P. Kurshan, Vladimir Levin. Formal Methods in System Design (25): 241-270 (2004). Web SearchBibTeXDownload
5Predicate Abstraction of ANSI-C Programs Using SAT. Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav. Formal Methods in System Design (25): 105-127 (2004). Web SearchBibTeXDownload
4State/Event-Based Software Model Checking. Sagar Chaki, Edmund M. Clarke, JoŽl Ouaknine, Natasha Sharygina, Nishant Sinha. IFM 2004, 128-147. Web SearchBibTeXDownload
3Automated, compositional and iterative deadlock detection. Sagar Chaki, Edmund M. Clarke, JoŽl Ouaknine, Natasha Sharygina. MEMOCODE 2004, 201-210. Web SearchBibTeXDownload
2003
2Model Checking Software via Abstraction of Loop Transitions. Natasha Sharygina, James C. Browne. FASE 2003, 325-340. Web SearchBibTeXDownload
2001
1A Formal Object-Oriented Analysis for Software Reliability: Design for Verification. Natasha Sharygina, James C. Browne, Robert P. Kurshan. FASE 2001, 318-332. Web SearchBibTeXDownload
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research