| Reasoning about rings EA Emerson, KS Namjoshi Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995 | 299 | 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 | 186 | 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 |
| On the completeness of compositional reasoning KS Namjoshi, RJ Trefler Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000 | 74 | 2000 |
| Local proofs for global safety properties A Cohen, KS Namjoshi Formal Methods in System Design 34, 104-125, 2009 | 73 | 2009 |
| 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 | 70 | 2007 |
| Robust and fast pattern matching for intrusion detection K Namjoshi, G Narlikar 2010 Proceedings IEEE INFOCOM, 1-9, 2010 | 65 | 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 |
| 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 |
| Simple and fast biased locks N Vasudevan, KS Namjoshi, SA Edwards Proceedings of the 19th international conference on Parallel architectures …, 2010 | 40 | 2010 |
| Loopy: Programmable and formally verified loop transformations KS Namjoshi, N Singhania International Static Analysis Symposium, 383-402, 2016 | 36 | 2016 |
Dennis DamsSenior Research Fellow, TNO-ESIVerified email at tno.nl
