| Context-bounded model checking of concurrent software S Qadeer, J Rehof International conference on tools and algorithms for the construction and …, 2005 | 497 | 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 | 173 | 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 | 168 | 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 | 155 | 2001 |
| Stuck-free conformance C Fournet, T Hoare, SK Rajamani, J Rehof Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004 | 129 | 2004 |
| Summarizing procedures in concurrent programs S Qadeer, SK Rajamani, J Rehof ACM SIGPLAN Notices 39 (1), 245-255, 2004 | 123 | 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 | 93 | 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 | 81 | 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 7,155,380, 2006 | 78 | 2006 |
| Conformance checking for models of asynchronous message passing software SK Rajamani, J Rehof Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002 | 78 | 2002 |
| Tractable constraints in finite semilattices J Rehof Science of Computer Programming 35 (2-3), 191-221, 1999 | 72 | 1999 |
| Tractable constraints in finite semilattices J Rehof, TÆ Mogensen Static Analysis: Third International Symposium, SAS'96 Aachen, Germany …, 1996 | 66 | 1996 |
| 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 | 65 | 1995 |
| A behavioral module system for the pi-calculus SK Rajamani, J Rehof Static Analysis: 8th International Symposium, SAS 2001 Paris, France, July …, 2001 | 60 | 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 | 60 | 1997 |
| System and method for designing a logical model of a distributed computer system and deploying physical resources according to the logical model G Hunt, A Hydrie, R Welland, B Tabbara, S Levi, J Rehof US Patent App. 11/008,730, 2005 | 55 | 2005 |
| Data ecosystems: sovereign data exchange among organizations (Dagstuhl Seminar 19391) C Cappiello, A Gal, M Jarke, J Rehof Dagstuhl Reports 9 (9), 2020 | 49 | 2020 |
