| Static specification mining using automata-based abstractions S Shoham, E Yahav, SJ Fink, M Pistoia IEEE Transactions on Software Engineering 34 (5), 651-666, 2008 | 238 | 2008 |
| Ivy: safety verification by interactive generalization O Padon, KL McMillan, A Panda, M Sagiv, S Shoham Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016 | 120 | 2016 |
| Typestate-based semantic code search over partial programs A Mishne, S Shoham, E Yahav Proceedings of the ACM international conference on Object oriented …, 2012 | 103 | 2012 |
| Monotonic abstraction-refinement for CTL S Shoham, O Grumberg International Conference on Tools and Algorithms for the Construction and …, 2004 | 96 | 2004 |
| 3-valued abstraction: More precision at less cost S Shoham, O Grumberg Information and Computation 206 (11), 1313-1333, 2008 | 56 | 2008 |
| A game-based framework for CTL counterexamples and 3-valued abstraction-refinement S Shoham, O Grumberg International Conference on Computer Aided Verification, 275-287, 2003 | 56 | 2003 |
| Paxos made EPR: decidable reasoning about distributed protocols O Padon, G Losa, M Sagiv, S Shoham Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-31, 2017 | 54 | 2017 |
| Property-directed inference of universal invariants or proving their absence A Karbyshev, N Bjørner, S Itzhaky, N Rinetzky, S Shoham Journal of the ACM (JACM) 64 (1), 1-33, 2017 | 48 | 2017 |
| When not losing is better than winning: Abstraction and refinement for the full μ-calculus O Grumberg, M Lange, M Leucker, S Shoham Information and Computation 205 (8), 1130-1148, 2007 | 44 | 2007 |
| Lazy abstraction and SAT-based reachability in hardware model checking Y Vizel, O Grumberg, S Shoham 2012 Formal Methods in Computer-Aided Design (FMCAD), 173-181, 2012 | 42 | 2012 |
| Don’t know in the μ-calculus O Grumberg, M Lange, M Leucker, S Shoham International Workshop on Verification, Model Checking, and Abstract …, 2005 | 39 | 2005 |
| A game-based framework for CTL counterexamples and 3-valued abstraction-refinement S Shoham, O Grumberg ACM Transactions on Computational Logic (TOCL) 9 (1), 1-es, 2007 | 38 | 2007 |
| Decidability of inferring inductive invariants O Padon, N Immerman, S Shoham, A Karbyshev, M Sagiv ACM SIGPLAN Notices 51 (1), 217-231, 2016 | 33 | 2016 |
| Decentralizing SDN policies O Padon, N Immerman, A Karbyshev, O Lahav, M Sagiv, S Shoham ACM SIGPLAN Notices 50 (1), 663-676, 2015 | 32 | 2015 |
| Some complexity results for stateful network verification Y Velner, K Alpernas, A Panda, A Rabinovich, M Sagiv, S Shenker, ... International Conference on Tools and Algorithms for the Construction and …, 2016 | 31 | 2016 |
| Reducing liveness to safety in first-order logic O Padon, J Hoenicke, G Losa, A Podelski, M Sagiv, S Shoham Proceedings of the ACM on Programming Languages 2 (POPL), 1-33, 2017 | 29 | 2017 |
| Multi-valued model checking games S Shoham, O Grumberg International Symposium on Automated Technology for Verification and …, 2005 | 25 | 2005 |
| Modularity for decidability of deductive verification with applications to distributed systems M Taube, G Losa, KL McMillan, O Padon, M Sagiv, S Shoham, JR Wilcox, ... Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018 | 24 | 2018 |
| SMT-based verification of parameterized systems A Gurfinkel, S Shoham, Y Meshman Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016 | 23 | 2016 |
| Synthesis with abstract examples D Drachsler-Cohen, S Shoham, E Yahav International Conference on Computer Aided Verification, 254-278, 2017 | 20 | 2017 |
