| The SLAM project: debugging system software via static analysis T Ball, SK Rajamani Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002 | 1259 | 2002 |
| Automatic predicate abstraction of C programs T Ball, R Majumdar, T Millstein, SK Rajamani Proceedings of the ACM SIGPLAN 2001 conference on Programming language …, 2001 | 1125 | 2001 |
| Automatically validating temporal safety properties of interfaces T Ball, SK Rajamani International SPIN Workshop on Model Checking of Software, 102-122, 2001 | 875 | 2001 |
| MOCHA: Modularity in model checking R Alur, TA Henzinger, FYC Mang, S Qadeer, SK Rajamani, S Tasiran Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998 | 557 | 1998 |
| Bebop: A symbolic model checker for boolean programs T Ball, SK Rajamani SPIN Model Checking and Software Verification: 7th International SPIN …, 2000 | 539 | 2000 |
| Thorough static analysis of device drivers T Ball, E Bounimova, B Cook, V Levin, J Lichtenberg, C McGarvey, ... ACM SIGOPS Operating Systems Review 40 (4), 73-85, 2006 | 533 | 2006 |
| Probabilistic programming AD Gordon, TA Henzinger, AV Nori, SK Rajamani Future of software engineering proceedings, 167-181, 2014 | 503 | 2014 |
| Boolean and Cartesian abstraction for model checking C programs T Ball, A Podelski, SK Rajamani Tools and Algorithms for the Construction and Analysis of Systems: 7th …, 2001 | 460 | 2001 |
| SLAM and Static Driver Verifier: Technology transfer of formal methods inside Microsoft T Ball, B Cook, V Levin, SK Rajamani Integrated Formal Methods: 4th International Conference, IFM 2004 …, 2004 | 453 | 2004 |
| From symptom to cause: localizing errors in counterexample traces T Ball, M Naik, SK Rajamani Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of …, 2003 | 442 | 2003 |
| The SLAM toolkit T Ball, SK Rajamani Proceedings of CAV’2001 (13th Conference on Computer Aided Verification …, 2000 | 431 | 2000 |
| You assume, we guarantee: Methodology and case studies TA Henzinger, S Qadeer, SK Rajamani Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998 | 341 | 1998 |
| A decade of software model checking with SLAM T Ball, V Levin, SK Rajamani Communications of the ACM 54 (7), 68-76, 2011 | 315 | 2011 |
| Synergy: A new algorithm for property checking BS Gulavani, TA Henzinger, Y Kannan, AV Nori, SK Rajamani Proceedings of the 14th ACM SIGSOFT international symposium on Foundations …, 2006 | 294 | 2006 |
| Compositional may-must program analysis: unleashing the power of alternation P Godefroid, AV Nori, SK Rajamani, SD Tetali Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of …, 2010 | 270 | 2010 |
| Partial-order reduction in symbolic state space exploration R Alur, RK Brayton, TA Henzinger, S Qadeer, SK Rajamani Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997 | 246 | 1997 |
| Proofs from tests NE Beckman, AV Nori, SK Rajamani, RJ Simmons Proceedings of the 2008 international symposium on Software testing and …, 2008 | 222 | 2008 |
| Merlin: Specification inference for explicit information flow problems B Livshits, AV Nori, SK Rajamani, A Banerjee ACM Sigplan Notices 44 (6), 75-86, 2009 | 202 | 2009 |
| P: safe asynchronous event-driven programming A Desai, V Gupta, E Jackson, S Qadeer, S Rajamani, D Zufferey ACM SIGPLAN Notices 48 (6), 321-332, 2013 | 200 | 2013 |
| Boolean programs: A model and process for software analysis T Ball Microsoft Research, 2000 | 179 | 2000 |
Thomas BallMicrosoft Research在 microsoft.com 的电子邮件经过验证
