Sagar Chaki

2008
29	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)
28	EE	Sagar Chaki, Ofer Strichman: Three optimizations for Assume-Guarantee reasoning with L*. Formal Methods in System Design 32(3): 267-284 (2008)
2007
27	EE	Sagar Chaki, Christian Schallhart, Helmut Veith: Verification Across Intellectual Property Boundaries. CAV 2007: 82-94
26	EE	Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger: Model-Driven Construction of Certified Binaries. MoDELS 2007: 666-681
25	EE	Sagar Chaki, Ofer Strichman: Optimized L*-Based Assume-Guarantee Reasoning. TACAS 2007: 276-291
24	EE	Sagar Chaki, Christian Schallhart, Helmut Veith: Verification Across Intellectual Property Boundaries CoRR abs/cs/0701187: (2007)
2006
23	EE	Sagar Chaki, Nishant Sinha: Assume-Guarantee Reasoning for Deadlock. FMCAD 2006: 134-144
22	EE	Sagar Chaki: SAT-Based Software Certification. TACAS 2006: 151-166
21	EE	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	EE	Murray Stokely, Sagar Chaki, Joël Ouaknine: Parallel Assignments in Software Model Checking. Electr. Notes Theor. Comput. Sci. 157(1): 77-94 (2006)
19	EE	Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman: Error explanation with distance metrics. STTT 8(3): 229-247 (2006)
2005
18	EE	Sagar Chaki, James Ivers, Natasha Sharygina, Kurt C. Wallnau: The ComFoRT Reasoning Framework. CAV 2005: 164-169
17	EE	Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Prasanna Thati: Automated Assume-Guarantee Reasoning for Simulation Conformance. CAV 2005: 534-547
16	EE	Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, Nishant Sinha: Dynamic Component Substitutability Analysis. FM 2005: 512-528
15	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
14	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)
13	EE	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	EE	Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha: State/Event-Based Software Model Checking. IFM 2004: 128-147
11	EE	Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina: Automated, compositional and iterative deadlock detection. MEMOCODE 2004: 201-210
10	EE	Sagar Chaki, Alex Groce, Ofer Strichman: Explaining abstract counterexamples. SIGSOFT FSE 2004: 73-82
9	EE	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	EE	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	EE	Sagar Chaki, Edmund M. Clarke, Alex Groce, Ofer Strichman: Predicate Abstraction with Minimum Predicates. CHARME 2003: 19-34
6	EE	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	EE	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	EE	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	EE	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	James Ivers	[18] [26]
9	Somesh Jha	[2] [5] [6] [8] [13]
10	Nicholas Kidd	[21]
11	Engin Kirda	[5]
12	Daniel Kroening (Daniel Kröning)	[19]
13	Peter Lee	[26]
14	Joël Ouaknine	[4] [9] [11] [12] [14] [15] [20]
15	Sriram K. Rajamani	[1] [3]
16	Jakob Rehof	[3]
17	Thomas W. Reps	[21]
18	Christian Schallhart	[24] [27]
19	Natasha Sharygina	[11] [12] [14] [15] [16] [18] [29]
20	Nishant Sinha	[12] [14] [16] [17] [23] [29]
21	Murray Stokely	[20]
22	Ofer Strichman	[7] [9] [10] [19] [25] [28]
23	Prasanna Thati (Prasannaa Thati)	[17]
24	Tayssir Touili	[15] [21]
25	Helmut Veith	[2] [5] [6] [8] [13] [15] [24] [27]
26	Kurt C. Wallnau	[18] [26]
27	Karen Yorav (Karen Laster)	[4] [9]
28	Noam Zeilberger	[26]