| 2012 |
|---|
| 18 | Propositional Interpolation Systems for Model Checking. Arie Gurfinkel, Simone Fulvio Rollini, Natasha Sharygina. CoRR (abs/1212.4650) (2012). Web SearchBibTeXDownload |
| 2008 |
|---|
| 17 | Verification 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 |
| 16 | Word-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 |
|---|
| 15 | VCEGAR: Verilog CounterExample Guided Abstraction Refinement. Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke. TACAS 2007, 583-586. Web SearchBibTeXDownload |
| 2005 |
|---|
| 14 | The ComFoRT Reasoning Framework. Sagar Chaki, James Ivers, Natasha Sharygina, Kurt C. Wallnau. CAV 2005, 164-169. Web SearchBibTeXDownload |
| 13 | Word level predicate abstraction and refinement for verifying RTL verilog. Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke. DAC 2005, 445-450. Web SearchBibTeXDownload |
| 12 | Dynamic Component Substitutability Analysis. Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, Nishant Sinha. FM 2005, 512-528. Web SearchBibTeXDownload |
| 11 | Program Compatibility Approaches. Edmund M. Clarke, Natasha Sharygina, Nishant Sinha. FMCO 2005, 243-258. Web SearchBibTeXDownload |
| 10 | Concurrent 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 |
| 9 | State/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 |
| 8 | SATABS: SAT-Based Predicate Abstraction for ANSI-C. Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav. TACAS 2005, 570-574. Web SearchBibTeXDownload |
| 2004 |
|---|
| 7 | Guest 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 |
| 6 | Predicate 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 |
| 5 | Lessons 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 |
| 4 | State/Event-Based Software Model Checking. Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha. IFM 2004, 128-147. Web SearchBibTeXDownload |
| 3 | Automated, compositional and iterative deadlock detection. Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina. MEMOCODE 2004, 201-210. Web SearchBibTeXDownload |
| 2003 |
|---|
| 2 | Model Checking Software via Abstraction of Loop Transitions. Natasha Sharygina, James C. Browne. FASE 2003, 325-340. Web SearchBibTeXDownload |
| 2001 |
|---|
| 1 | A Formal Object-Oriented Analysis for Software Reliability: Design for Verification. Natasha Sharygina, James C. Browne, Robert P. Kurshan. FASE 2001, 318-332. Web SearchBibTeXDownload |
