Kedar S. Namjoshi

2009
35	EE	Ariel Cohen, Kedar S. Namjoshi: Local proofs for global safety properties. Formal Methods in System Design 34(2): 104-125 (2009)
2008
34	EE	Ariel Cohen, Kedar S. Namjoshi: Local Proofs for Linear-Time Properties of Concurrent Programs. CAV 2008: 149-161
33	EE	Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark Barrett: Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. SAS 2008: 62-77
2007
32		Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura: Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, October 22-25, 2007, Proceedings Springer 2007
31	EE	Ariel Cohen, Kedar S. Namjoshi: Local Proofs for Global Safety Properties. CAV 2007: 55-67
30	EE	Kedar S. Namjoshi: Symmetry and Completeness in the Analysis of Parameterized Systems. VMCAI 2007: 299-313
2006
29		E. Allen Emerson, Kedar S. Namjoshi: Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings Springer 2006
2005
28	EE	Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, Stephen A. Edwards: Incremental Algorithms for Inter-procedural Analysis of Safety Properties. CAV 2005: 449-461
27	EE	Dennis Dams, Kedar S. Namjoshi: Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs. FMCO 2005: 138-160
26	EE	Dennis Dams, Kedar S. Namjoshi: Automata as Abstractions. VMCAI 2005: 216-232
2004
25	EE	Kedar S. Namjoshi: An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking. CAV 2004: 57-69
24	EE	Dennis Dams, Kedar S. Namjoshi: The Existence of Finite Abstractions for Branching Time Model Checking. LICS 2004: 335-344
2003
23	EE	Kedar S. Namjoshi: Abstraction for Branching Time Properties. CAV 2003: 288-300
22	EE	Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler: Abstract Patterns of Compositional Reasoning. CONCUR 2003: 423-438
21	EE	Kedar S. Namjoshi: Lifting Temporal Proofs through Abstractions. VMCAI 2003: 174-188
20	EE	Dennis Dams, Kedar S. Namjoshi: Shape Analysis through Predicate Abstraction and Model Checking. VMCAI 2003: 310-324
19	EE	Amy P. Felty, Kedar S. Namjoshi: Feature specification and automated conflict detection. ACM Trans. Softw. Eng. Methodol. 12(1): 3-27 (2003)
18	EE	E. Allen Emerson, Kedar S. Namjoshi: On Reasoning About Rings. Int. J. Found. Comput. Sci. 14(4): 527-550 (2003)
2002
17	EE	Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler: Visual Specifications for Modular Reasoning about Asynchronous Systems. FORTE 2002: 226-242
2001
16	EE	Kedar S. Namjoshi: Certifying Model Checkers. CAV 2001: 2-13
15	EE	Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi: Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams. CAV 2001: 387-390
14	EE	Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler: Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams. TACAS 2001: 465-479
2000
13		Kedar S. Namjoshi, Richard J. Trefler: On the Competeness of Compositional Reasoning. CAV 2000: 139-153
12		Kedar S. Namjoshi, Robert P. Kurshan: Syntactic Program Transformations for Automatic Abstraction. CAV 2000: 435-449
11		Amy P. Felty, Kedar S. Namjoshi: Feature Specification and Automatic Conflict Detection. FIW 2000: 179-192
10	EE	Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi: Model Checking Synchronous Timing Diagrams. FMCAD 2000: 283-298
9	EE	Richard Raimi, Ramin Hojati, Kedar S. Namjoshi: Environment modeling and language universality. ACM Trans. Design Autom. Electr. Syst. 5(3): 705-725 (2000)
1999
8	EE	Panagiotis Manolios, Kedar S. Namjoshi, Robert Summers: Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation. CAV 1999: 369-379
7	EE	Kedar S. Namjoshi, Robert P. Kurshan: Efficient Analysis of Cyclic Definitions. CAV 1999: 394-405
6	EE	Nina Amla, E. Allen Emerson, Kedar S. Namjoshi: Efficient Decompositional Model Checking for Regular Timing Diagrams. CHARME 1999: 67-81
1998
5		E. Allen Emerson, Kedar S. Namjoshi: Verification of Parameterized Bus Arbitration Protocol. CAV 1998: 452-463
4		E. Allen Emerson, Kedar S. Namjoshi: On Model Checking for Non-Deterministic Infinite-State Systems. LICS 1998: 70-80
1997
3	EE	Kedar S. Namjoshi: A Simple Characterization of Stuttering Bisimulation. FSTTCS 1997: 284-296
1996
2		E. Allen Emerson, Kedar S. Namjoshi: Automatic Verification of Parameterized Synchronous Systems (Extended Abstract). CAV 1996: 87-98
1995
1		E. Allen Emerson, Kedar S. Namjoshi: Reasoning about Rings. POPL 1995: 85-94

Coauthor Index

1	Nina Amla	[6] [10] [14] [15] [17] [22]
2	Clark W. Barrett (Clark Barrett)	[33]
3	Ariel Cohen	[31] [34] [35]
4	Christopher L. Conway	[28] [33]
5	Dennis Dams	[20] [24] [26] [27] [28] [33]
6	Stephen A. Edwards	[28]
7	E. Allen Emerson	[1] [2] [4] [5] [6] [10] [14] [15] [17] [18] [22] [29]
8	Amy P. Felty	[11] [19]
9	Teruo Higashino	[32]
10	Ramin Hojati	[9]
11	Robert P. Kurshan	[7] [10] [12] [15]
12	Panagiotis Manolios	[8]
13	Yoshio Okamura	[32]
14	Richard Raimi	[9]
15	Robert Summers	[8]
16	Richard J. Trefler	[13] [14] [17] [22]
17	Tomohiro Yoneda	[32]

Colors in the list of coauthors