| Context-bounded model checking of concurrent software S Qadeer, J Rehof International conference on tools and algorithms for the construction and …, 2005 | 502 | 2005 |
| Types as models: model checking message-passing programs S Chaki, SK Rajamani, J Rehof Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of …, 2002 | 177 | 2002 |
| Scalable context-sensitive flow analysis using instantiation constraints M Fähndrich, J Rehof, M Das Proceedings of the ACM SIGPLAN 2000 conference on Programming language …, 2000 | 174 | 2000 |
| Zing: A model checker for concurrent software T Andrews, S Qadeer, SK Rajamani, J Rehof, Y Xie Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004 | 166 | 2004 |
| System and method for designing a logical model of a distributed computer system and deploying physical resources according to the logical model GC Hunt, A Hydrie, RV Welland, B Tabbara, SP Levi, J Rehof US Patent 6,907,395, 2005 | 158 | 2005 |
| Type-base flow analysis: from polymorphic subtyping to CFL-reachability J Rehof, M Fähndrich ACM SIGPLAN Notices 36 (3), 54-66, 2001 | 158 | 2001 |
| Stuck-free conformance C Fournet, T Hoare, SK Rajamani, J Rehof Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004 | 130 | 2004 |
| Summarizing procedures in concurrent programs S Qadeer, SK Rajamani, J Rehof ACM SIGPLAN Notices 39 (1), 245-255, 2004 | 122 | 2004 |
| Estimating the impact of scalable pointer analysis on optimization M Das, B Liblit, M Fähndrich, J Rehof Static Analysis: 8th International Symposium, SAS 2001 Paris, France, July …, 2001 | 106 | 2001 |
| The λΔ-calculus NJ Rehof, MH Sørensen International Symposium on Theoretical Aspects of Computer Software, 516-542, 1994 | 92 | 1994 |
| Zing: Exploiting program structure for model checking concurrent software T Andrews, S Qadeer, SK Rajamani, J Rehof, Y Xie CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK …, 2004 | 83 | 2004 |
| Conformance checking for models of asynchronous message passing software SK Rajamani, J Rehof Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002 | 79 | 2002 |
| System and method for designing a logical model of a distributed computer system and deploying physical resources according to the logical model GC Hunt, A Hydrie, RV Welland, B Tabbara, SP Levi, J Rehof US Patent 7,155,380, 2006 | 78 | 2006 |
| Tractable constraints in finite semilattices J Rehof Science of Computer Programming 35 (2-3), 191-221, 1999 | 75 | 1999 |
| Safe polymorphic type inference for a dynamically typed language: translating Scheme to ML F Henglein, J Rehof Proceedings of the seventh international conference on Functional …, 1995 | 67 | 1995 |
| Tractable constraints in finite semilattices J Rehof, TÆ Mogensen Static Analysis: Third International Symposium, SAS'96 Aachen, Germany …, 1996 | 65 | 1996 |
| Knowledge-driven data ecosystems toward data transparency S Geisler, ME Vidal, C Cappiello, BF Lóscio, A Gal, M Jarke, M Lenzerini, ... ACM Journal of Data and Information Quality (JDIQ) 14 (1), 1-12, 2021 | 63 | 2021 |
| A behavioral module system for the pi-calculus SK Rajamani, J Rehof Static Analysis: 8th International Symposium, SAS 2001 Paris, France, July …, 2001 | 63 | 2001 |
| The complexity of subtype entailment for simple types F Henglein, J Rehof Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997 | 61 | 1997 |
| Data ecosystems: sovereign data exchange among organizations (Dagstuhl Seminar 19391) C Cappiello, A Gal, M Jarke, J Rehof Dagstuhl Reports 9 (9), 2020 | 56 | 2020 |
Sriram RajamaniMicrosoft Research 在 microsoft.com 的电子邮件经过验证
