Kedar Namjoshi
Kedar Namjoshi
Bell Labs
Verified email at nokia-bell-labs.com - Homepage
Title
Cited by
Cited by
Year
Reasoning about rings
EA Emerson, KS Namjoshi
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995
2611995
On model checking for non-deterministic infinite-state systems
EA Emerson, KS Namjoshi
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998
1871998
Automatic verification of parameterized synchronous systems
EA Emerson, KS Namjoshi
International Conference on Computer Aided Verification, 87-98, 1996
1681996
Certifying model checkers
KS Namjoshi
International Conference on Computer Aided Verification, 2-13, 2001
1632001
Syntactic program transformations for automatic abstraction
KS Namjoshi, RP Kurshan
International Conference on Computer Aided Verification, 435-449, 2000
1452000
Feature specification and automated conflict detection
AP Felty, KS Namjoshi
ACM Transactions on Software Engineering and Methodology (TOSEM) 12 (1), 3-27, 2003
1172003
A simple characterization of stuttering bisimulation
KS Namjoshi
International Conference on Foundations of Software Technology and …, 1997
851997
On reasoning about rings
EA Emerson, KS Namjoshi
International Journal of Foundations of Computer Science 14 (04), 527-549, 2003
812003
The existence of finite abstractions for branching time model checking
D Dams, KS Namjoshi
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004
722004
Incremental algorithms for inter-procedural analysis of safety properties
CL Conway, KS Namjoshi, D Dams, SA Edwards
International Conference on Computer Aided Verification, 449-461, 2005
682005
On the completeness of compositional reasoning
KS Namjoshi, RJ Trefler
International Conference on Computer Aided Verification, 139-153, 2000
652000
Shape analysis through predicate abstraction and model checking
D Dams, KS Namjoshi
International Workshop on Verification, Model Checking, and Abstract …, 2003
632003
Local proofs for global safety properties
A Cohen, KS Namjoshi
Formal Methods in System Design 34 (2), 104-125, 2009
612009
Automata as abstractions
D Dams, KS Namjoshi
International Workshop on Verification, Model Checking, and Abstract …, 2005
612005
Symmetry and completeness in the analysis of parameterized systems
KS Namjoshi
International Workshop on Verification, Model Checking, and Abstract …, 2007
602007
Robust and fast pattern matching for intrusion detection
K Namjoshi, G Narlikar
2010 Proceedings IEEE INFOCOM, 1-9, 2010
512010
Assume-guarantee based compositional reasoning for synchronous timing diagrams
N Amla, EA Emerson, K Namjoshi, R Trefler
International Conference on Tools and Algorithms for the Construction and …, 2001
362001
Witnessing program transformations
KS Namjoshi, LD Zuck
International Static Analysis Symposium, 304-323, 2013
352013
Model checking synchronous timing diagrams
N Amla, EA Emerson, RP Kurshan, KS Namjoshi
International Conference on Formal Methods in Computer-Aided Design, 320-335, 2000
332000
Simple and fast biased locks
N Vasudevan, KS Namjoshi, SA Edwards
Proceedings of the 19th international conference on Parallel architectures …, 2010
322010
The system can't perform the operation now. Try again later.
Articles 1–20