Seguir
Sharon Shoham
Sharon Shoham
Dirección de correo verificada de tauex.tau.ac.il - Página principal
Título
Citado por
Citado por
Año
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
2812007
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
2622016
Typestate-based semantic code search over partial programs
A Mishne, S Shoham, E Yahav
Proceedings of the ACM international conference on Object oriented …, 2012
1412012
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
1292017
Monotonic abstraction-refinement for CTL
S Shoham, O Grumberg
International Conference on Tools and Algorithms for the Construction and …, 2004
1032004
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
912017
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
742018
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
672003
Property directed self composition
R Shemer, A Gurfinkel, S Shoham, Y Vizel
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
602019
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
602017
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
602007
3-valued abstraction: More precision at less cost
S Shoham, O Grumberg
Information and Computation 206 (11), 1313-1333, 2008
562008
Quantifiers on demand
A Gurfinkel, S Shoham, Y Vizel
Automated Technology for Verification and Analysis: 16th International …, 2018
512018
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
Don’t know in the mu-calculus
O Grumberg, M Lange, M Leucker, S Shoham
Verification, Model Checking, and Abstract Interpretation: 6th International …, 2005
502005
SMT-based verification of parameterized systems
A Gurfinkel, S Shoham, Y Meshman
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
492016
Decidability of inferring inductive invariants
O Padon, N Immerman, S Shoham, A Karbyshev, M Sagiv
ACM SIGPLAN Notices 51 (1), 217-231, 2016
482016
Programming not only by example
H Peleg, S Shoham, E Yahav
Proceedings of the 40th International Conference on Software Engineering …, 2018
442018
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
432007
Some complexity results for stateful network verification
Y Velner, K Alpernas, A Panda, A Rabinovich, M Sagiv, S Shenker, ...
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
412016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20