Ohad Shacham
Ohad Shacham
E-mail confirmado em yahoo-inc.com
Título
Citado por
Citado por
Ano
Chameleon: adaptive selection of collections
O Shacham, M Vechev, E Yahav
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009
1172009
Testing atomicity of composed concurrent operations
O Shacham, N Bronson, A Aiken, M Sagiv, M Vechev, E Yahav
Proceedings of the 2011 ACM international conference on Object oriented …, 2011
852011
Adaptive application of SAT solving techniques
O Shacham, KF Yorav
US Patent 7,401,305, 2008
432008
Linear-time reductions of resolution proofs
O Bar-Ilan, O Fuhrmann, S Hoory, O Shacham, O Strichman
Haifa Verification Conference, 114-128, 2008
422008
Tuning the VSIDS decision heuristic for bounded model checking
O Shacham, E Zarpas
Proceedings. 4th International Workshop on Microprocessor Test and …, 2003
382003
Scaling model checking of dataraces using dynamic information
O Shacham, M Sagiv, A Schuster
Journal of Parallel and Distributed Computing 67 (5), 536-550, 2007
282007
Device, system and method for formal verification
CR Eisner, S Keidar-Barner, S Ruah, O Shacham, T Veksler
US Patent 7,725,851, 2010
222010
Verifying atomicity via data independence
O Shacham, E Yahav, GG Gueta, A Aiken, N Bronson, M Sagiv, M Vechev
Proceedings of the 2014 International Symposium on Software Testing and …, 2014
182014
Reducing the size of resolution proofs in linear time
O Bar-Ilan, O Fuhrmann, S Hoory, O Shacham, O Strichman
International Journal on Software Tools for Technology Transfer 13 (3), 263-272, 2011
122011
On-the-fly resolve trace minimization
O Shacham, K Yorav
2007 44th ACM/IEEE Design Automation Conference, 594-599, 2007
122007
Verifying atomicity of composed concurrent operations
O Shacham
University of Tel-Aviv, 2012
112012
Satisfiability (SAT) based bounded model checkers
D Geist, M Ginzburg, Y Lustig, I Rabinovitz, O Shacham, R Tzoref
US Patent 7,835,898, 2010
102010
Utilizing an unSAT proof for model checking
O Fuhrmann, S Hoory, O Shacham
US Patent 8,161,433, 2012
92012
Context-sensitive dynamic bloat detection system that uses a semantic profiler to collect usage statistics
O Shacham, M Vechev, E Yahav
US Patent 8,374,978, 2013
82013
Adaptive application of SAT solving techniques
O Shacham, K Yorav
Electronic Notes in Theoretical Computer Science 144 (1), 35-50, 2006
82006
Soft error verification in hardware designs
S Keidar-Barner, O Shacham, KF Yorav
US Patent 8,453,082, 2013
62013
Logic Design Verification Techniques for Liveness Checking
JR Baumgartner, P Roessler, O Shacham, J Xu
US Patent App. 12/393,779, 2010
62010
Verification techniques for liveness checking of logic designs
JR Baumgartner, PJ Roessler, O Shacham, J Xu
US Patent 8,352,894, 2013
52013
Method, apparatus and product for SAT solving using templates clauses
O Fuhrmann, O Shacham
US Patent 8,407,175, 2013
42013
Clause and Proof Tightening
O Fuhrmann, O Shacham, O Strichman, T Veksler
US Patent App. 11/779,304, 2009
42009
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20