Natasha Sharygina

2009
33	EE	Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich: The synergy of precise and fast abstractions for program verification. SAC 2009: 566-573
2008
32	EE	Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger: Loop Summarization Using Abstract Transformers. ATVA 2008: 111-125
31	EE	Nicolas Blanc, Daniel Kroening, Natasha Sharygina: Scoot: A Tool for the Analysis of SystemC Models. TACAS 2008: 467-470
30	EE	Sagar Chaki, Edmund M. Clarke, Natasha Sharygina, Nishant Sinha: Verification of evolving software via component substitutability analysis. Formal Methods in System Design 32(3): 235-266 (2008)
29	EE	Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke: Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog. IEEE Trans. on CAD of Integrated Circuits and Systems 27(2): 366-379 (2008)
2007
28	EE	Daniel Kroening, Natasha Sharygina: Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs. DATE 2007: 1325-1330
27	EE	Jonathan Aldrich, Michael Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina: Specification and verification of component-based systems 2007. ESEC/SIGSOFT FSE 2007: 609-610
26	EE	Jonathan Aldrich, Gary T. Leavens, Michael Barnett, Natasha Sharygina, Dimitra Giannakopoulou: Specification and verification of component-based systems 2007. ESEC/SIGSOFT FSE (Companion) 2007: 609-610
25	EE	Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi: Automated Verification of Security Policies in Mobile Code. IFM 2007: 37-53
24	EE	Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke: VCEGAR: Verilog CounterExample Guided Abstraction Refinement. TACAS 2007: 583-586
23	EE	Natasha Sharygina, Daniel Kröning: Model Checking with Abstraction for Web Services. Test and Analysis of Web Services 2007: 121-145
22	EE	Byron Cook, Daniel Kroening, Natasha Sharygina: Verification of Boolean programs with unbounded thread creation. Theor. Comput. Sci. 388(1-3): 227-242 (2007)
2006
21	EE	Byron Cook, Daniel Kroening, Natasha Sharygina: Over-Approximating Boolean Programs with Unbounded Thread Creation. FMCAD 2006: 53-59
20	EE	Daniel Kroening, Natasha Sharygina: Approximating Predicate Images for Bit-Vector Logic. TACAS 2006: 242-256
2005
19	EE	Sagar Chaki, James Ivers, Natasha Sharygina, Kurt C. Wallnau: The ComFoRT Reasoning Framework. CAV 2005: 164-169
18	EE	Byron Cook, Daniel Kroening, Natasha Sharygina: Cogent: Accurate Theorem Proving for Program Verification. CAV 2005: 296-300
17	EE	Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke: Word level predicate abstraction and refinement for verifying RTL verilog. DAC 2005: 445-450
16	EE	Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, Nishant Sinha: Dynamic Component Substitutability Analysis. FM 2005: 512-528
15	EE	Edmund M. Clarke, Natasha Sharygina, Nishant Sinha: Program Compatibility Approaches. FMCO 2005: 243-258
14	EE	Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith: State/Event Software Verification for Branching-Time Specifications. IFM 2005: 53-69
13	EE	Daniel Kroening, Natasha Sharygina: Formal verification of SystemC by automatic hardware/software partitioning. MEMOCODE 2005: 101-110
12	EE	Byron Cook, Daniel Kroening, Natasha Sharygina: Symbolic Model Checking for Asynchronous Boolean Programs. SPIN 2005: 75-90
11	EE	Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav: SATABS: SAT-Based Predicate Abstraction for ANSI-C. TACAS 2005: 570-574
10	EE	Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha: Concurrent software verification with states, events, and deadlocks. Formal Asp. Comput. 17(4): 461-483 (2005)
2004
9	EE	Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha: State/Event-Based Software Model Checking. IFM 2004: 128-147
8	EE	Byron Cook, Daniel Kroening, Natasha Sharygina: Accurate Theorem Proving for Program Verification. ISoLA 2004: 96-114
7	EE	Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina: Automated, compositional and iterative deadlock detection. MEMOCODE 2004: 201-210
6	EE	Natasha Sharygina: Guest Editorial. Formal Methods in System Design 25(2-3): 103-103 (2004)
5	EE	Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav: Predicate Abstraction of ANSI-C Programs Using SAT. Formal Methods in System Design 25(2-3): 105-127 (2004)
4	EE	Natasha Sharygina, James C. Browne, Fei Xie, Robert P. Kurshan, Vladimir Levin: Lessons Learned from Model Checking a NASA Robot Controller. Formal Methods in System Design 25(2-3): 241-270 (2004)
2003
3	EE	Natasha Sharygina, James C. Browne: Model Checking Software via Abstraction of Loop Transitions. FASE 2003: 325-340
2001
2	EE	Natasha Sharygina, James C. Browne, Robert P. Kurshan: A Formal Object-Oriented Analysis for Software Reliability: Design for Verification. FASE 2001: 318-332
1	EE	Natasha Sharygina, Doron Peled: A Combined Testing and Verification Approach for Software Reliability. FME 2001: 611-628

Coauthor Index

1	Jonathan Aldrich	[26] [27]
2	Michael Barnett	[26] [27]
3	Katerina Barone-Adesi	[25]
4	Nicolas Blanc	[31]
5	Chiara Braghin	[25]
6	James C. Browne	[2] [3] [4]
7	Sagar Chaki	[7] [9] [10] [14] [16] [19] [30]
8	Edmund M. Clarke	[5] [7] [9] [10] [11] [14] [15] [16] [17] [24] [29] [30]
9	Byron Cook	[8] [12] [18] [21] [22]
10	Dimitra Giannakopoulou	[26] [27]
11	Orna Grumberg	[14]
12	James Ivers	[19]
13	Himanshu Jain	[17] [24] [29]
14	Daniel Kroening (Daniel Kröning)	[5] [8] [11] [12] [13] [17] [18] [20] [21] [22] [23] [24] [28] [29] [31] [32]
15	Robert P. Kurshan	[2] [4]
16	Gary T. Leavens	[26] [27]
17	Vladimir Levin	[4]
18	Joël Ouaknine	[7] [9] [10] [14]
19	Doron Peled	[1]
20	Nishant Sinha	[9] [10] [15] [16] [30]
21	Stefano Tonetta	[32] [33]
22	Tayssir Touili	[14]
23	Aliaksei Tsitovich	[32] [33]
24	Helmut Veith	[14]
25	Kurt C. Wallnau	[19]
26	Christoph M. Wintersteiger	[32]
27	Fei Xie	[4]
28	Karen Yorav (Karen Laster)	[5] [11]

Colors in the list of coauthors