Rupak Majumdar
Rupak Majumdar
MPI for Software Systems
E-mail confirmado em mpi-sws.org
TítuloCitado porAno
Lazy abstraction
TA Henzinger, R Jhala, R Majumdar, G Sutre
ACM SIGPLAN Notices 37 (1), 58-70, 2002
13892002
Automatic predicate abstraction of C programs
T Ball, R Majumdar, T Millstein, SK Rajamani
ACM SIGPLAN Notices 36 (5), 203-213, 2001
10102001
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
6832007
Abstractions from proofs
TA Henzinger, R Jhala, R Majumdar, KL McMillan
ACM SIGPLAN Notices 39 (1), 232-244, 2004
6162004
Software verification with BLAST
TA Henzinger, R Jhala, R Majumdar, G Sutre
International SPIN Workshop on Model Checking of Software, 235-239, 2003
6032003
Software model checking
R Jhala, R Majumdar
ACM Computing Surveys (CSUR) 41 (4), 21, 2009
4062009
Hybrid concolic testing
R Majumdar, K Sen
29th International Conference on Software Engineering (ICSE'07), 416-426, 2007
4012007
Generating tests from counterexamples
D Beyer, AJ Chlipala, TA Henzinger, R Jhala, R Majumdar
Proceedings of the 26th International Conference on Software Engineering …, 2004
2622004
Cause clue clauses: error localization using maximum satisfiability
M Jose, R Majumdar
ACM SIGPLAN Notices 46 (6), 437-446, 2011
2432011
Dynamic test input generation for database applications
M Emmi, R Majumdar, K Sen
Proceedings of the 2007 international symposium on Software testing and …, 2007
2292007
Path invariants
D Beyer, TA Henzinger, R Majumdar, A Rybalchenko
Acm Sigplan Notices 42 (6), 300-309, 2007
2162007
Race checking by context inference
TA Henzinger, R Jhala, R Majumdar
ACM SIGPLAN Notices 39 (6), 1-13, 2004
2152004
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
2112002
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
2062000
Discounting the future in systems theory
L De Alfaro, TA Henzinger, R Majumdar
International Colloquium on Automata, Languages, and Programming, 1022-1037, 2003
1702003
Proving non-termination
A Gupta, TA Henzinger, R Majumdar, A Rybalchenko, RG Xu
ACM Sigplan Notices 43 (1), 147-158, 2008
1642008
Thread-modular abstraction refinement
TA Henzinger, R Jhala, R Majumdar, S Qadeer
International Conference on Computer Aided Verification, 262-274, 2003
1592003
Path slicing
R Jhala, R Majumdar
ACM SIGPLAN Notices 40 (6), 38-47, 2005
1572005
Quantitative solution of omega-regular games
L de Alfaro, R Majumdar
Journal of Computer and System Sciences 68 (2), 374-397, 2004
1572004
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
1562003
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20