| Reasoning about rings EA Emerson, KS Namjoshi Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995 | 306 | 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 | 195 | 1998 |
| Certifying model checkers KS Namjoshi Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001 | 192 | 2001 |
| Automatic verification of parameterized synchronous systems EA Emerson, KS Namjoshi Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996 | 180 | 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 | 124 | 2003 |
| On reasoning about rings EA Emerson, KS Namjoshi International Journal of Foundations of Computer Science 14 (04), 527-549, 2003 | 108 | 2003 |
| A simple characterization of stuttering bisimulation KS Namjoshi International Conference on Foundations of Software Technology and …, 1997 | 94 | 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 | 88 | 2005 |
| Local proofs for global safety properties A Cohen, KS Namjoshi Formal Methods in System Design 34, 104-125, 2009 | 76 | 2009 |
| On the completeness of compositional reasoning KS Namjoshi, RJ Trefler Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000 | 76 | 2000 |
| Symmetry and completeness in the analysis of parameterized systems KS Namjoshi Verification, Model Checking, and Abstract Interpretation: 8th International …, 2007 | 75 | 2007 |
| 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 |
| Robust and fast pattern matching for intrusion detection K Namjoshi, G Narlikar 2010 Proceedings IEEE INFOCOM, 1-9, 2010 | 69 | 2010 |
| Shape analysis through predicate abstraction and model checking D Dams, KS Namjoshi International Workshop on Verification, Model Checking, and Abstract …, 2002 | 68 | 2002 |
| Automata as abstractions D Dams, KS Namjoshi Verification, Model Checking, and Abstract Interpretation: 6th International …, 2005 | 62 | 2005 |
| Witnessing program transformations KS Namjoshi, LD Zuck Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA …, 2013 | 51 | 2013 |
| Compositional reasoning D Giannakopoulou, KS Namjoshi, CS Păsăreanu Handbook of Model Checking, 345-383, 2018 | 44 | 2018 |
| Simple and fast biased locks N Vasudevan, KS Namjoshi, SA Edwards Proceedings of the 19th international conference on Parallel architectures …, 2010 | 44 | 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 | 40 | 2001 |
Dennis DamsSenior Research Fellow, TNO-ESIBestätigte E-Mail-Adresse bei tno.nl
