Reasoning about rings EA Emerson, KS Namjoshi Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995 | 301 | 1995 |
On model checking for non-deterministic infinite-state systems EA Emerson, KS Namjoshi Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998 | 194 | 1998 |
Certifying model checkers KS Namjoshi Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001 | 187 | 2001 |
Automatic verification of parameterized synchronous systems EA Emerson, KS Namjoshi Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996 | 178 | 1996 |
Syntactic program transformations for automatic abstraction KS Namjoshi, RP Kurshan Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000 | 158 | 2000 |
Feature specification and automated conflict detection AP Felty, KS Namjoshi ACM Transactions on Software Engineering and Methodology (TOSEM) 12 (1), 3-27, 2003 | 122 | 2003 |
On reasoning about rings EA Emerson, KS Namjoshi International Journal of Foundations of Computer Science 14 (04), 527-549, 2003 | 105 | 2003 |
A simple characterization of stuttering bisimulation KS Namjoshi International Conference on Foundations of Software Technology and …, 1997 | 93 | 1997 |
Incremental algorithms for inter-procedural analysis of safety properties CL Conway, KS Namjoshi, D Dams, SA Edwards Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005 | 84 | 2005 |
Local proofs for global safety properties A Cohen, KS Namjoshi Formal Methods in System Design 34, 104-125, 2009 | 74 | 2009 |
On the completeness of compositional reasoning KS Namjoshi, RJ Trefler Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000 | 74 | 2000 |
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 | 73 | 2004 |
Symmetry and completeness in the analysis of parameterized systems KS Namjoshi Verification, Model Checking, and Abstract Interpretation: 8th International …, 2007 | 72 | 2007 |
Robust and fast pattern matching for intrusion detection K Namjoshi, G Narlikar 2010 Proceedings IEEE INFOCOM, 1-9, 2010 | 67 | 2010 |
Shape analysis through predicate abstraction and model checking D Dams, KS Namjoshi International Workshop on Verification, Model Checking, and Abstract …, 2002 | 65 | 2002 |
Automata as abstractions D Dams, KS Namjoshi Verification, Model Checking, and Abstract Interpretation: 6th International …, 2005 | 61 | 2005 |
Witnessing program transformations KS Namjoshi, LD Zuck Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA …, 2013 | 49 | 2013 |
Simple and fast biased locks N Vasudevan, KS Namjoshi, SA Edwards Proceedings of the 19th international conference on Parallel architectures …, 2010 | 41 | 2010 |
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 | 41 | 2001 |
Compositional reasoning D Giannakopoulou, KS Namjoshi, CS Păsăreanu Handbook of Model Checking, 345-383, 2018 | 38 | 2018 |