Follow
Sharon Shoham
Sharon Shoham
Verified email at tauex.tau.ac.il - Homepage
Title
Cited by
Cited by
Year
Static specification mining using automata-based abstractions
S Shoham, E Yahav, S Fink, M Pistoia
Proceedings of the 2007 International Symposium on Software Testing and …, 2007
2742007
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
2382016
Typestate-based semantic code search over partial programs
A Mishne, S Shoham, E Yahav
Proceedings of the ACM international conference on Object oriented …, 2012
1322012
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
1152017
Monotonic abstraction-refinement for CTL
S Shoham, O Grumberg
International Conference on Tools and Algorithms for the Construction and …, 2004
982004
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
802017
A game-based framework for CTL counterexamples and 3-valued abstraction-refinement
S Shoham, O Grumberg
Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003
632003
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
582018
3-valued abstraction: More precision at less cost
S Shoham, O Grumberg
Information and Computation 206 (11), 1313-1333, 2008
552008
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
532007
Property directed self composition
R Shemer, A Gurfinkel, S Shoham, Y Vizel
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
522019
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
502017
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
502012
Decidability of inferring inductive invariants
O Padon, N Immerman, S Shoham, A Karbyshev, M Sagiv
ACM SIGPLAN Notices 51 (1), 217-231, 2016
472016
Don’t Know in the μ-Calculus
O Grumberg, M Lange, M Leucker, S Shoham
Verification, Model Checking, and Abstract Interpretation: 6th International …, 2005
472005
Quantifiers on demand
A Gurfinkel, S Shoham, Y Vizel
Automated Technology for Verification and Analysis: 16th International …, 2018
452018
SMT-based verification of parameterized systems
A Gurfinkel, S Shoham, Y Meshman
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
432016
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
412007
Programming not only by example
H Peleg, S Shoham, E Yahav
Proceedings of the 40th International Conference on Software Engineering …, 2018
392018
Decentralizing SDN policies
O Padon, N Immerman, A Karbyshev, O Lahav, M Sagiv, S Shoham
ACM SIGPLAN Notices 50 (1), 663-676, 2015
382015
The system can't perform the operation now. Try again later.
Articles 1–20