| Lazy abstraction TA Henzinger, R Jhala, R Majumdar, G Sutre Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002 | 1522 | 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 | 1105 | 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 | 801 | 2007 |
| Software verification with BLAST TA Henzinger, R Jhala, R Majumdar, G Sutre Model Checking Software: 10th International SPIN Workshop Portland, OR, USA …, 2003 | 701 | 2003 |
| Abstractions from proofs TA Henzinger, R Jhala, R Majumdar, KL McMillan Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004 | 681 | 2004 |
| Software model checking R Jhala, R Majumdar ACM Computing Surveys (CSUR) 41 (4), 1-54, 2009 | 560 | 2009 |
| Hybrid concolic testing R Majumdar, K Sen 29th International Conference on Software Engineering (ICSE'07), 416-426, 2007 | 540 | 2007 |
| Generating tests from counterexamples D Beyer, AJ Chlipala, TA Henzinger, R Jhala, R Majumdar Proceedings. 26th International Conference on Software Engineering, 326-335, 2004 | 318 | 2004 |
| Cause clue clauses: error localization using maximum satisfiability M Jose, R Majumdar ACM SIGPLAN Notices 46 (6), 437-446, 2011 | 308 | 2011 |
| Dynamic test input generation for database applications M Emmi, R Majumdar, K Sen Proceedings of the 2007 international symposium on Software testing and …, 2007 | 281 | 2007 |
| Path invariants D Beyer, TA Henzinger, R Majumdar, A Rybalchenko Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007 | 255 | 2007 |
| Temporal-safety proofs for systems code TA Henzinger, GC Necula, R Jhala, G Sutre, R Majumdar, W Weimer Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002 | 237 | 2002 |
| Race checking by context inference TA Henzinger, R Jhala, R Majumdar Proceedings of the acm sigplan 2004 conference on programming language …, 2004 | 228 | 2004 |
| Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods TA Henzinger, B Horowitz, R Majumdar, H Wong-Toi Hybrid Systems: Computation and Control: Third International Workshop, HSCC …, 2002 | 227 | 2002 |
| 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 | 210 | 2008 |
| Discounting the future in systems theory L De Alfaro, TA Henzinger, R Majumdar Automata, Languages and Programming: 30th International Colloquium, ICALP …, 2003 | 188 | 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 | 181 | 2001 |
| The element of surprise in timed games L De Alfaro, M Faella, TA Henzinger, R Majumdar, M Stoelinga CONCUR 2003-Concurrency Theory: 14th International Conference, Marseille …, 2003 | 177 | 2003 |
| Thread-modular abstraction refinement TA Henzinger, R Jhala, R Majumdar, S Qadeer Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003 | 175 | 2003 |
| Path slicing R Jhala, R Majumdar Proceedings of the 2005 ACM SIGPLAN Conference on Programming language …, 2005 | 172 | 2005 |
Thomas HenzingerISTAustriaVerified email at ist.ac.at
