| Lazy abstraction TA Henzinger, R Jhala, R Majumdar, G Sutre Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002 | 1505 | 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 | 1076 | 2001 |
| The software model checker Blast D Beyer, TA Henzinger, R Jhala, R Majumdar International Journal on Software Tools for Technology Transfer 9 (5), 505-525, 2007 | 783 | 2007 |
| Software verification with BLAST TA Henzinger, R Jhala, R Majumdar, G Sutre International SPIN Workshop on Model Checking of Software, 235-239, 2003 | 679 | 2003 |
| Abstractions from proofs TA Henzinger, R Jhala, R Majumdar, KL McMillan Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004 | 663 | 2004 |
| Software model checking R Jhala, R Majumdar ACM Computing Surveys (CSUR) 41 (4), 1-54, 2009 | 535 | 2009 |
| Hybrid concolic testing R Majumdar, K Sen 29th International Conference on Software Engineering (ICSE'07), 416-426, 2007 | 515 | 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 | 310 | 2004 |
| Cause clue clauses: error localization using maximum satisfiability M Jose, R Majumdar ACM SIGPLAN Notices 46 (6), 437-446, 2011 | 299 | 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 | 275 | 2007 |
| Path invariants D Beyer, TA Henzinger, R Majumdar, A Rybalchenko Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007 | 249 | 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 | 232 | 2002 |
| Race checking by context inference TA Henzinger, R Jhala, R Majumdar Proceedings of the acm sigplan 2004 conference on programming language …, 2004 | 229 | 2004 |
| 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 | 215 | 2000 |
| 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 | 199 | 2008 |
| Discounting the future in systems theory L Alfaro, TA Henzinger, R Majumdar International Colloquium on Automata, Languages, and Programming, 1022-1037, 2003 | 187 | 2003 |
| The element of surprise in timed games L Alfaro, M Faella, TA Henzinger, R Majumdar, M Stoelinga International Conference on Concurrency Theory, 144-158, 2003 | 176 | 2003 |
| Quantitative solution of omega-regular games L de Alfaro, R Majumdar Journal of Computer and System Sciences 68 (2), 374-397, 2004 | 174 | 2004 |
| Thread-modular abstraction refinement TA Henzinger, R Jhala, R Majumdar, S Qadeer International Conference on Computer Aided Verification, 262-274, 2003 | 173 | 2003 |
| Path slicing R Jhala, R Majumdar Proceedings of the 2005 ACM SIGPLAN Conference on Programming language …, 2005 | 168 | 2005 |
Thomas HenzingerISTAustriaEmail verificata su ist.ac.at
