| Lazy abstraction TA Henzinger, R Jhala, R Majumdar, G Sutre Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002 | 1592 | 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 | 1159 | 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 (5), 505-525, 2007 | 867 | 2007 |
| Abstractions from proofs TA Henzinger, R Jhala, R Majumdar, KL McMillan Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004 | 749 | 2004 |
| Software verification with BLAST TA Henzinger, R Jhala, R Majumdar, G Sutre International SPIN Workshop on Model Checking of Software, 235-239, 2003 | 714 | 2003 |
| Software model checking R Jhala, R Majumdar ACM Computing Surveys (CSUR) 41 (4), 1-54, 2009 | 670 | 2009 |
| Hybrid concolic testing R Majumdar, K Sen 29th International Conference on Software Engineering (ICSE'07), 416-426, 2007 | 625 | 2007 |
| Cause clue clauses: error localization using maximum satisfiability M Jose, R Majumdar ACM SIGPLAN Notices 46 (6), 437-446, 2011 | 351 | 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 | 333 | 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 | 244 | 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 | 239 | 2008 |
| Race checking by context inference TA Henzinger, R Jhala, R Majumdar Proceedings of the acm sigplan 2004 conference on programming language …, 2004 | 235 | 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 | 232 | 2000 |
| Discounting the future in systems theory L De Alfaro, TA Henzinger, R Majumdar International Colloquium on Automata, Languages, and Programming, 1022-1037, 2003 | 208 | 2003 |
| Markov decision processes with multiple objectives K Chatterjee, R Majumdar, TA Henzinger Annual symposium on theoretical aspects of computer science, 325-336, 2006 | 202 | 2006 |
| Quantitative solution of omega-regular games380872 L De Alfaro, R Majumdar Proceedings of the thirty-third annual ACM symposium on Theory of computing …, 2001 | 197 | 2001 |
| Generative AI for programming education: benchmarking ChatGPT, GPT-4, and human tutors T Phung, VA Pădurean, J Cambronero, S Gulwani, T Kohn, R Majumdar, ... Proceedings of the 2023 ACM Conference on International Computing Education …, 2023 | 187 | 2023 |
| Symbolic control of stochastic systems via approximately bisimilar finite abstractions M Zamani, PM Esfahani, R Majumdar, A Abate, J Lygeros IEEE Transactions on Automatic Control 59 (12), 3135-3150, 2014 | 185 | 2014 |
Thomas HenzingerIST AustriaVerified email at ist.ac.at
