Seguir
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
15072002
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
10832001
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
7902007
Software verification with BLAST
TA Henzinger, R Jhala, R Majumdar, G Sutre
International SPIN Workshop on Model Checking of Software, 235-239, 2003
6822003
Abstractions from proofs
TA Henzinger, R Jhala, R Majumdar, KL McMillan
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004
6652004
Software model checking
R Jhala, R Majumdar
ACM Computing Surveys (CSUR) 41 (4), 1-54, 2009
5442009
Hybrid concolic testing
R Majumdar, K Sen
29th International Conference on Software Engineering (ICSE'07), 416-426, 2007
5242007
Generating tests from counterexamples
D Beyer, AJ Chlipala, TA Henzinger, R Jhala, R Majumdar
Proceedings. 26th International Conference on Software Engineering, 326-335, 2004
3142004
Cause clue clauses: error localization using maximum satisfiability
M Jose, R Majumdar
ACM SIGPLAN Notices 46 (6), 437-446, 2011
3002011
Dynamic test input generation for database applications
M Emmi, R Majumdar, K Sen
Proceedings of the 2007 international symposium on Software testing and …, 2007
2762007
Path invariants
D Beyer, TA Henzinger, R Majumdar, A Rybalchenko
Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007
2492007
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
2322002
Race checking by context inference
TA Henzinger, R Jhala, R Majumdar
Proceedings of the acm sigplan 2004 conference on programming language …, 2004
2292004
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
2152000
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
2032008
Discounting the future in systems theory
L Alfaro, TA Henzinger, R Majumdar
International Colloquium on Automata, Languages, and Programming, 1022-1037, 2003
1862003
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
1772003
Quantitative solution of omega-regular games380872
L de Alfaro, R Majumdar
Proceedings of the thirty-third annual ACM symposium on Theory of computing …, 2001
1772001
Thread-modular abstraction refinement
TA Henzinger, R Jhala, R Majumdar, S Qadeer
International Conference on Computer Aided Verification, 262-274, 2003
1742003
Path slicing
R Jhala, R Majumdar
Proceedings of the 2005 ACM SIGPLAN Conference on Programming language …, 2005
1712005
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20