Rupak Majumdar
Rupak Majumdar
MPI for Software Systems
Dirección de correo verificada de mpi-sws.org
Título
Citado por
Citado por
Año
Lazy abstraction
TA Henzinger, R Jhala, R Majumdar, G Sutre
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002
14302002
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
10242001
The software model checker Blast
D Beyer, TA Henzinger, R Jhala, R Majumdar
International Journal on Software Tools for Technology Transfer 9 (5-6), 505-525, 2007
7152007
Abstractions from proofs
TA Henzinger, R Jhala, R Majumdar, KL McMillan
ACM SIGPLAN Notices 39 (1), 232-244, 2004
6202004
Software verification with BLAST
TA Henzinger, R Jhala, R Majumdar, G Sutre
International SPIN Workshop on Model Checking of Software, 235-239, 2003
6202003
Software model checking
R Jhala, R Majumdar
ACM Computing Surveys (CSUR) 41 (4), 1-54, 2009
4362009
Hybrid concolic testing
R Majumdar, K Sen
29th International Conference on Software Engineering (ICSE'07), 416-426, 2007
4282007
Generating tests from counterexamples
D Beyer, AJ Chlipala, TA Henzinger, R Jhala, R Majumdar
Proceedings. 26th International Conference on Software Engineering, 326-335, 2004
2782004
Cause clue clauses: error localization using maximum satisfiability
M Jose, R Majumdar
ACM SIGPLAN Notices 46 (6), 437-446, 2011
2562011
Dynamic test input generation for database applications
M Emmi, R Majumdar, K Sen
Proceedings of the 2007 international symposium on Software testing and …, 2007
2462007
Path invariants
D Beyer, TA Henzinger, R Majumdar, A Rybalchenko
Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007
2232007
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
2202002
Race checking by context inference
TA Henzinger, R Jhala, R Majumdar
Proceedings of the ACM SIGPLAN 2004 conference on Programming language …, 2004
2152004
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
2082000
Discounting the future in systems theory
L De Alfaro, TA Henzinger, R Majumdar
International Colloquium on Automata, Languages, and Programming, 1022-1037, 2003
1752003
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
1732008
Quantitative solution of omega-regular games
L de Alfaro, R Majumdar
Journal of Computer and System Sciences 68 (2), 374-397, 2004
1622004
Thread-modular abstraction refinement
TA Henzinger, R Jhala, R Majumdar, S Qadeer
International Conference on Computer Aided Verification, 262-274, 2003
1622003
The element of surprise in timed games
L De Alfaro, M Faella, TA Henzinger, R Majumdar, M Stoelinga
International Conference on Concurrency Theory, 144-158, 2003
1602003
Path slicing
R Jhala, R Majumdar
Proceedings of the 2005 ACM SIGPLAN conference on Programming language …, 2005
1582005
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20