Kedar S. Namjoshi

	2012
47		Kedar S. Namjoshi, Richard J. Trefler: Local Symmetry and Compositional Verification. VMCAI 2012: 348-362
	2011
46		Kedar S. Namjoshi, Andreas Zeller, Avi Ziv: Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers Springer 2011
45		Uri Klein, Kedar S. Namjoshi: Formalization and Automated Verification of RESTful Behavior. CAV 2011: 541-556
44		Pramod V. Koppol, Kedar S. Namjoshi, Thanos Stathopoulos, Gordon T. Wilfong: The inherent difficulty of timely primary-backup replication. PODC 2011: 349-350
	2010
43		Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar: A Dash of Fairness for Compositional Reasoning. CAV 2010: 543-557
42		Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar: SPLIT: A Compositional LTL Verifier. CAV 2010: 558-561
41		Ariel Cohen, Kedar S. Namjoshi, Yaniv Sa'ar, Lenore D. Zuck, Katya I. Kisyova: Parallelizing a Symbolic Compositional Model-Checking Algorithm. Haifa Verification Conference 2010: 46-59
40		Kedar S. Namjoshi, Girija J. Narlikar: Robust and Fast Pattern Matching for Intrusion Detection. INFOCOM 2010: 740-748
39		Nalini Vasudevan, Kedar S. Namjoshi, Stephen A. Edwards: Simple and fast biased locks. PACT 2010: 65-74
38		Kedar S. Namjoshi, Richard J. Trefler: On the completeness of compositional reasoning methods. ACM Trans. Comput. Log. 11(3): (2010)
37		Kedar S. Namjoshi, Tomohiro Yoneda: Preface. Int. J. Found. Comput. Sci. 21(2): (2010)
	2009
36		Robert M. Arlein, Dennis Dams, Richard B. Hull, John P. Letourneau, Kedar S. Namjoshi: Telco meets the Web: Programming shared-experience services. Bell Labs Technical Journal 14(3): 167-185 (2009)
35		Ariel Cohen, Kedar S. Namjoshi: Local proofs for global safety properties. Formal Methods in System Design 34(2): 104-125 (2009)
	2008
34		Ariel Cohen, Kedar S. Namjoshi: Local Proofs for Linear-Time Properties of Concurrent Programs. CAV 2008: 149-161
33		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		Ariel Cohen, Kedar S. Namjoshi: Local Proofs for Global Safety Properties. CAV 2007: 55-67
30		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		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		Dennis Dams, Kedar S. Namjoshi: Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs. FMCO 2005: 138-160
26		Dennis Dams, Kedar S. Namjoshi: Automata as Abstractions. VMCAI 2005: 216-232
	2004
25		Kedar S. Namjoshi: An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking. CAV 2004: 57-69
24		Dennis Dams, Kedar S. Namjoshi: The Existence of Finite Abstractions for Branching Time Model Checking. LICS 2004: 335-344
	2003
23		Kedar S. Namjoshi: Abstraction for Branching Time Properties. CAV 2003: 288-300
22		Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler: Abstract Patterns of Compositional Reasoning. CONCUR 2003: 423-438
21		Kedar S. Namjoshi: Lifting Temporal Proofs through Abstractions. VMCAI 2003: 174-188
20		Dennis Dams, Kedar S. Namjoshi: Shape Analysis through Predicate Abstraction and Model Checking. VMCAI 2003: 310-324
19		Amy P. Felty, Kedar S. Namjoshi: Feature specification and automated conflict detection. ACM Trans. Softw. Eng. Methodol. 12(1): 3-27 (2003)
18		E. Allen Emerson, Kedar S. Namjoshi: On Reasoning About Rings. Int. J. Found. Comput. Sci. 14(4): 527-550 (2003)
	2002
17		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		Kedar S. Namjoshi: Certifying Model Checkers. CAV 2001: 2-13
15		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		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		Nina Amla, E. Allen Emerson, Robert P. Kurshan, Kedar S. Namjoshi: Model Checking Synchronous Timing Diagrams. FMCAD 2000: 283-298
9		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		Panagiotis Manolios, Kedar S. Namjoshi, Robert Summers: Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation. CAV 1999: 369-379
7		Kedar S. Namjoshi, Robert P. Kurshan: Efficient Analysis of Cyclic Definitions. CAV 1999: 394-405
6		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		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	Robert M. Arlein	[36]
3	Clark W. Barrett (Clark Barrett)	[33]
4	Ariel Cohen	[31] [34] [35] [41] [42] [43]
5	Christopher L. Conway	[28] [33]
6	Dennis Dams	[20] [24] [26] [27] [28] [33] [36]
7	Stephen A. Edwards	[28] [39]
8	E. Allen Emerson	[1] [2] [4] [5] [6] [10] [14] [15] [17] [18] [22] [29]
9	Amy P. Felty	[11] [19]
10	Teruo Higashino	[32]
11	Ramin Hojati	[9]
12	Richard B. Hull	[36]
13	Katya I. Kisyova	[41]
14	Uri Klein	[45]
15	Pramod V. Koppol	[44]
16	Robert P. Kurshan	[7] [10] [12] [15]
17	John P. Letourneau	[36]
18	Panagiotis Manolios (Pete Manolios)	[8]
19	Girija J. Narlikar	[40]
20	Yoshio Okamura	[32]
21	Richard Raimi	[9]
22	Yaniv Sa'ar	[41] [42] [43]
23	Thanos Stathopoulos	[44]
24	Robert Summers	[8]
25	Richard J. Trefler	[13] [14] [17] [22] [38] [47]
26	Nalini Vasudevan	[39]
27	Gordon T. Wilfong	[44]
28	Tomohiro Yoneda	[32] [37]
29	Andreas Zeller	[46]
30	Avi Ziv	[46]
31	Lenore D. Zuck	[41]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page