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
11722002
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
Automatically validating temporal safety properties of interfaces
T Ball, SK Rajamani
International SPIN Workshop on Model Checking of Software, 102-122, 2001
8282001
Bebop: A symbolic model checker for boolean programs
T Ball, SK Rajamani
International SPIN Workshop on Model Checking of Software, 113-130, 2000
5062000
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
5021998
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
4782006
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
4082001
The SLAM toolkit
T Ball, SK Rajamani
International Conference on Computer Aided Verification, 260-264, 2001
3832001
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
3792003
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
3642004
Probabilistic programming
AD Gordon, TA Henzinger, AV Nori, SK Rajamani
Proceedings of the on Future of Software Engineering, 167-181, 2014
3142014
You assume, we guarantee: Methodology and case studies
TA Henzinger, S Qadeer, SK Rajamani
International Conference on Computer Aided Verification, 440-451, 1998
2831998
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
2652006
A decade of software model checking with SLAM
T Ball, V Levin, SK Rajamani
Communications of the ACM 54 (7), 68-76, 2011
2502011
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
2211997
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
2142010
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
1932010
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
1662002
Boolean programs: A model and process for software analysis
T Ball
http://research. microsoft. com/slam, 2000
1652000
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
1562004
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20