Sagar Chaki

	2009
31		William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps: Verifying Information Flow Control over Unbounded Processes. FM 2009: 773-789
	2008
30		Arie Gurfinkel, Sagar Chaki: Combining Predicate and Numeric Abstraction for Software Model Checking. FMCAD 2008: 1-9
29		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)
28		Sagar Chaki, Ofer Strichman: Three optimizations for Assume-Guarantee reasoning with L*. Formal Methods in System Design 32(3): 267-284 (2008)
	2007
27		Sagar Chaki, Christian Schallhart, Helmut Veith: Verification Across Intellectual Property Boundaries. CAV 2007: 82-94
26		Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger: Model-Driven Construction of Certified Binaries. MoDELS 2007: 666-681
25		Sagar Chaki, Ofer Strichman: Optimized L*-Based Assume-Guarantee Reasoning. TACAS 2007: 276-291
24		Sagar Chaki, Christian Schallhart, Helmut Veith: Verification Across Intellectual Property Boundaries CoRR abs/cs/0701187: (2007)
	2006
23		Sagar Chaki, Nishant Sinha: Assume-Guarantee Reasoning for Deadlock. FMCAD 2006: 134-144
22		Sagar Chaki: SAT-Based Software Certification. TACAS 2006: 151-166
21		Sagar Chaki, Edmund M. Clarke, Nicholas Kidd, Thomas W. Reps, Tayssir Touili: Verifying Concurrent Message-Passing C Programs with Recursive Calls. TACAS 2006: 334-349
20		Murray Stokely, Sagar Chaki, Joël Ouaknine: Parallel Assignments in Software Model Checking. Electr. Notes Theor. Comput. Sci. 157(1): 77-94 (2006)
19		Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman: Error explanation with distance metrics. STTT 8(3): 229-247 (2006)
	2005
18		Sagar Chaki, James Ivers, Natasha Sharygina, Kurt C. Wallnau: The ComFoRT Reasoning Framework. CAV 2005: 164-169
17		Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Prasanna Thati: Automated Assume-Guarantee Reasoning for Simulation Conformance. CAV 2005: 534-547
16		Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, Nishant Sinha: Dynamic Component Substitutability Analysis. FM 2005: 512-528
15		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
14		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)
13		Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith: An Iterative Framework for Simulation Conformance. J. Log. Comput. 15(4): 465-488 (2005)
	2004
12		Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha: State/Event-Based Software Model Checking. IFM 2004: 128-147
11		Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina: Automated, compositional and iterative deadlock detection. MEMOCODE 2004: 201-210
10		Sagar Chaki, Alex Groce, Ofer Strichman: Explaining abstract counterexamples. SIGSOFT FSE 2004: 73-82
9		Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav: Efficient Verification of Sequential and Concurrent C Programs. Formal Methods in System Design 25(2-3): 129-166 (2004)
8		Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith: Modular Verification of Software Components in C. IEEE Trans. Software Eng. 30(6): 388-402 (2004)
	2003
7		Sagar Chaki, Edmund M. Clarke, Alex Groce, Ofer Strichman: Predicate Abstraction with Minimum Predicates. CHARME 2003: 19-34
6		Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith: Modular Verification of Software Components in C. ICSE 2003: 385-395
5		Sagar Chaki, Pascal Fenkam, Harald Gall, Somesh Jha, Engin Kirda, Helmut Veith: Integrating Publish/Subscribe into a Mobile Teamwork Support Platform. SEKE 2003: 510-517
4		Sagar Chaki, Joël Ouaknine, Karen Yorav, Edmund M. Clarke: Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach. Electr. Notes Theor. Comput. Sci. 89(3): (2003)
	2002
3		Sagar Chaki, Sriram K. Rajamani, Jakob Rehof: Types as models: model checking message-passing programs. POPL 2002: 45-57
	2001
2		Alexis Campailla, Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith: Efficient Filtering in Publish-Subscribe Systems Using Binary Decision. ICSE 2001: 443-452
1		Thomas Ball, Sagar Chaki, Sriram K. Rajamani: Parameterized Verification of Multithreaded Software Libraries. TACAS 2001: 158-173

Coauthor Index

1	Thomas Ball	[1]
2	Alexis Campailla	[2]
3	Edmund M. Clarke	[2] [4] [6] [7] [8] [9] [11] [12] [13] [14] [15] [16] [17] [21] [29]
4	Pascal Fenkam	[5]
5	Harald Gall	[5]
6	Alex Groce	[6] [7] [8] [9] [10] [19]
7	Orna Grumberg	[15]
8	Arie Gurfinkel	[30]
9	William R. Harris	[31]
10	James Ivers	[18] [26]
11	Somesh Jha	[2] [5] [6] [8] [13] [31]
12	Nicholas Kidd	[21] [31]
13	Engin Kirda	[5]
14	Daniel Kroening (Daniel Kröning)	[19]
15	Peter Lee	[26]
16	Joël Ouaknine	[4] [9] [11] [12] [14] [15] [20]
17	Sriram K. Rajamani	[1] [3]
18	Jakob Rehof	[3]
19	Thomas W. Reps	[21] [31]
20	Christian Schallhart	[24] [27]
21	Natasha Sharygina	[11] [12] [14] [15] [16] [18] [29]
22	Nishant Sinha	[12] [14] [16] [17] [23] [29]
23	Murray Stokely	[20]
24	Ofer Strichman	[7] [9] [10] [19] [25] [28]
25	Prasanna Thati (Prasannaa Thati)	[17]
26	Tayssir Touili	[15] [21]
27	Helmut Veith	[2] [5] [6] [8] [13] [15] [24] [27]
28	Kurt C. Wallnau	[18] [26]
29	Karen Yorav (Karen Laster)	[4] [9]
30	Noam Zeilberger	[26]