Sharon Shoham
Sharon Shoham
E-mail confirmado em tauex.tau.ac.il - Página inicial
Título
Citado por
Citado por
Ano
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
2262008
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
1032016
Typestate-based semantic code search over partial programs
A Mishne, S Shoham, E Yahav
Proceedings of the ACM international conference on Object oriented …, 2012
1012012
Monotonic abstraction-refinement for CTL
S Shoham, O Grumberg
International Conference on Tools and Algorithms for the Construction and …, 2004
962004
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
572003
3-valued abstraction: More precision at less cost
S Shoham, O Grumberg
Information and Computation 206 (11), 1313-1333, 2008
562008
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
452017
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
442017
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
432007
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
412012
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
392007
Don’t know in the μ-calculus
O Grumberg, M Lange, M Leucker, S Shoham
International Workshop on Verification, Model Checking, and Abstract …, 2005
392005
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
312016
Decentralizing SDN policies
O Padon, N Immerman, A Karbyshev, O Lahav, M Sagiv, S Shoham
ACM SIGPLAN Notices 50 (1), 663-676, 2015
312015
Decidability of inferring inductive invariants
O Padon, N Immerman, S Shoham, A Karbyshev, M Sagiv
ACM SIGPLAN Notices 51 (1), 217-231, 2016
272016
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
252017
Multi-valued model checking games
S Shoham, O Grumberg
International Symposium on Automated Technology for Verification and …, 2005
252005
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
222018
SMT-based verification of parameterized systems
A Gurfinkel, S Shoham, Y Meshman
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
222016
Synthesis with abstract examples
D Drachsler-Cohen, S Shoham, E Yahav
International Conference on Computer Aided Verification, 254-278, 2017
182017
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20