Follow
Rupak Majumdar
Rupak Majumdar
MPI for Software Systems
Verified email at mpi-sws.org
Title
Cited by
Cited by
Year
Lazy abstraction
TA Henzinger, R Jhala, R Majumdar, G Sutre
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002
15202002
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
11032001
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
8012007
Software verification with BLAST
TA Henzinger, R Jhala, R Majumdar, G Sutre
Model Checking Software: 10th International SPIN Workshop Portland, OR, USA …, 2003
7012003
Abstractions from proofs
TA Henzinger, R Jhala, R Majumdar, KL McMillan
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004
6792004
Software model checking
R Jhala, R Majumdar
ACM Computing Surveys (CSUR) 41 (4), 1-54, 2009
5592009
Hybrid concolic testing
R Majumdar, K Sen
29th International Conference on Software Engineering (ICSE'07), 416-426, 2007
5402007
Generating tests from counterexamples
D Beyer, AJ Chlipala, TA Henzinger, R Jhala, R Majumdar
Proceedings. 26th International Conference on Software Engineering, 326-335, 2004
3182004
Cause clue clauses: error localization using maximum satisfiability
M Jose, R Majumdar
ACM SIGPLAN Notices 46 (6), 437-446, 2011
3082011
Dynamic test input generation for database applications
M Emmi, R Majumdar, K Sen
Proceedings of the 2007 international symposium on Software testing and …, 2007
2812007
Path invariants
D Beyer, TA Henzinger, R Majumdar, A Rybalchenko
Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007
2542007
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
2372002
Race checking by context inference
TA Henzinger, R Jhala, R Majumdar
Proceedings of the acm sigplan 2004 conference on programming language …, 2004
2282004
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
2272002
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
2102008
Discounting the future in systems theory
L De Alfaro, TA Henzinger, R Majumdar
Automata, Languages and Programming: 30th International Colloquium, ICALP …, 2003
1882003
Quantitative solution of omega-regular games380872
L de Alfaro, R Majumdar
Proceedings of the thirty-third annual ACM symposium on Theory of computing …, 2001
1812001
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
1772003
Thread-modular abstraction refinement
TA Henzinger, R Jhala, R Majumdar, S Qadeer
Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003
1752003
Path slicing
R Jhala, R Majumdar
Proceedings of the 2005 ACM SIGPLAN Conference on Programming language …, 2005
1722005
The system can't perform the operation now. Try again later.
Articles 1–20