| Lazy abstraction TA Henzinger, R Jhala, R Majumdar, G Sutre Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002 | 1571 | 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 | 1148 | 2001 |
| The software model checker Blast Applications to software engineering D Beyer, TA Henzinger, R Jhala, R Majumdar International Journal on Software Tools for Technology Transfer 9, 505-525, 2007 | 853 | 2007 |
| Abstractions from proofs TA Henzinger, R Jhala, R Majumdar, KL McMillan Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004 | 725 | 2004 |
| Software verification with BLAST TA Henzinger, R Jhala, R Majumdar, G Sutre Model Checking Software: 10th International SPIN Workshop Portland, OR, USA …, 2003 | 714 | 2003 |
| Software model checking R Jhala, R Majumdar ACM Computing Surveys (CSUR) 41 (4), 1-54, 2009 | 634 | 2009 |
| Hybrid concolic testing R Majumdar, K Sen 29th International Conference on Software Engineering (ICSE'07), 416-426, 2007 | 593 | 2007 |
| Cause clue clauses: error localization using maximum satisfiability M Jose, R Majumdar ACM SIGPLAN Notices 46 (6), 437-446, 2011 | 340 | 2011 |
| Generating tests from counterexamples D Beyer, AJ Chlipala, TA Henzinger, R Jhala, R Majumdar Proceedings. 26th International Conference on Software Engineering, 326-335, 2004 | 335 | 2004 |
| Dynamic test input generation for database applications M Emmi, R Majumdar, K Sen Proceedings of the 2007 international symposium on Software testing and …, 2007 | 293 | 2007 |
| Path invariants D Beyer, TA Henzinger, R Majumdar, A Rybalchenko Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007 | 266 | 2007 |
| Temporal-safety proofs for systems code TA Henzinger, GC Necula, R Jhala, G Sutre, R Majumdar, W Weimer International Conference on Computer Aided Verification, 526-538, 2002 | 246 | 2002 |
| Race checking by context inference TA Henzinger, R Jhala, R Majumdar Proceedings of the acm sigplan 2004 conference on programming language …, 2004 | 233 | 2004 |
| Proving non-termination A Gupta, TA Henzinger, R Majumdar, A Rybalchenko, RG Xu Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008 | 231 | 2008 |
| Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods TA Henzinger, B Horowitz, R Majumdar, H Wong-Toi International Workshop on Hybrid Systems: Computation and Control, 130-144, 2000 | 230 | 2000 |
| Discounting the future in systems theory L De Alfaro, TA Henzinger, R Majumdar International Colloquium on Automata, Languages, and Programming, 1022-1037, 2003 | 209 | 2003 |
| Quantitative solution of omega-regular games380872 L De Alfaro, R Majumdar Proceedings of the thirty-third annual ACM symposium on Theory of computing …, 2001 | 192 | 2001 |
| Markov decision processes with multiple objectives K Chatterjee, R Majumdar, TA Henzinger STACS 2006: 23rd Annual Symposium on Theoretical Aspects of Computer Science …, 2006 | 188 | 2006 |
| Path slicing R Jhala, R Majumdar Proceedings of the 2005 ACM SIGPLAN Conference on Programming language …, 2005 | 180 | 2005 |
| Thread-modular abstraction refinement TA Henzinger, R Jhala, R Majumdar, S Qadeer International Conference on Computer Aided Verification, 262-274, 2003 | 177 | 2003 |
Thomas HenzingerIST AustriaEmail verificata su ist.ac.at
