Sriram Rajamani
Sriram Rajamani
Microsoft Research
E-mail confirmado em microsoft.com - Página inicial
Título
Citado por
Citado por
Ano
The SLAM project: debugging system software via static analysis
T Ball, SK Rajamani
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002
11482002
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
10102001
Automatically validating temporal safety properties of interfaces
T Ball, SK Rajamani
International SPIN Workshop on Model Checking of Software, 102-122, 2001
8082001
Bebop: A symbolic model checker for boolean programs
T Ball, SK Rajamani
International SPIN Workshop on Model Checking of Software, 113-130, 2000
4962000
MOCHA: Modularity in model checking
R Alur, TA Henzinger, FYC Mang, S Qadeer, SK Rajamani, S Tasiran
International Conference on Computer Aided Verification, 521-525, 1998
4851998
Thorough static analysis of device drivers
T Ball, E Bounimova, B Cook, V Levin, J Lichtenberg, C McGarvey, ...
ACM SIGOPS Operating Systems Review 40 (4), 73-85, 2006
4652006
Boolean and Cartesian abstraction for model checking C programs
T Ball, A Podelski, SK Rajamani
International Conference on Tools and Algorithms for the Construction and …, 2001
3972001
The SLAM toolkit
T Ball, SK Rajamani
International Conference on Computer Aided Verification, 260-264, 2001
3712001
From symptom to cause: localizing errors in counterexample traces
T Ball, M Naik, SK Rajamani
Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of …, 2003
3662003
SLAM and Static Driver Verifier: Technology transfer of formal methods inside Microsoft
T Ball, B Cook, V Levin, SK Rajamani
International Conference on Integrated Formal Methods, 1-20, 2004
3482004
Probabilistic programming
AD Gordon, TA Henzinger, AV Nori, SK Rajamani
Proceedings of the on Future of Software Engineering, 167-181, 2014
2932014
You assume, we guarantee: Methodology and case studies
TA Henzinger, S Qadeer, SK Rajamani
International Conference on Computer Aided Verification, 440-451, 1998
2811998
SYNERGY: a new algorithm for property checking
BS Gulavani, TA Henzinger, Y Kannan, AV Nori, SK Rajamani
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations …, 2006
2602006
A decade of software model checking with SLAM
T Ball, V Levin, SK Rajamani
Communications of the ACM 54 (7), 68-76, 2011
2372011
Partial-order reduction in symbolic state space exploration
R Alur, RK Brayton, TA Henzinger, S Qadeer, SK Rajamani
International Conference on Computer Aided Verification, 340-351, 1997
2151997
Compositional may-must program analysis: unleashing the power of alternation
P Godefroid, AV Nori, SK Rajamani, SD Tetali
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010
2122010
Proofs from tests
NE Beckman, AV Nori, SK Rajamani, RJ Simmons, SD Tetali, AV Thakur
IEEE Transactions on Software Engineering 36 (4), 495-508, 2010
1882010
Types as models: model checking message-passing programs
S Chaki, SK Rajamani, J Rehof
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002
1632002
Boolean programs: A model and process for software analysis
T Ball
http://research. microsoft. com/slam, 2000
1612000
Zing: A model checker for concurrent software
T Andrews, S Qadeer, SK Rajamani, J Rehof, Y Xie
International Conference on Computer Aided Verification, 484-487, 2004
1552004
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20