Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Shoham, David A.
12  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Chronic Kidney Disease: A Life Course Health Development Pe..:

, In: Handbook of Life Course Health Development,
Brophy, Patrick D. ; Charlton, Jennifer R. ; Bryan Carmody, J.... - p. 375-401 , 2017
Link: https://doi.org/10.1007/..
 
?
2

Symbolic model checking of product-line requirements using ..:

, In: Proceedings of the 37th International Conference on Software Engineering - Volume 1,
Ben-David, Shoham ; Sterin, Baruch ; Atlee, Joanne M.. - p. 189-199 , 2015
Link: https://dl.acm.org/doi/1..
 
?
3

Symbolic Model Checking of Product-Line Requirements Using ..:

, In: 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering,
Ben-David, Shoham ; Sterin, Baruch ; Atlee, Joanne M.. - p. 189-199 , 2015
Link: https://doi.org/10.1109/..
 
?
4

CSSL : a logic for specifying conditional scenarios:

, In: Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering,
Ben-David, Shoham ; Chechik, Marsha ; Gurfinkel, Arie. - p. 37-47 , 2011
Link: https://dl.acm.org/doi/1..
 
?
5

Partial models : a position paper:

, In: Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation,
Famelis, Michalis ; Ben-David, Shoham ; Chechik, Marsha. - p. 1-4 , 2011
Link: https://dl.acm.org/doi/1..
 
?
6

Guided recovery for web service applications:

, In: Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering,
Simmonds, Jocelyn ; Ben-David, Shoham ; Chechik, Marsha - p. 247-256 , 2010
Link: https://dl.acm.org/doi/1..
 
?
7

RuleBase : an industry-oriented formal verification tool:

, In: Proceedings of the 33rd annual Design Automation Conference,
Beer, Ilan ; Ben-David, Shoham ; Eisner, Cindy. - p. 655-660 , 1996
Link: https://dl.acm.org/doi/1..
 
?
8

State Merging with Quantifiers in Symbolic Execution:

, In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Trabish, David ; Rinetzky, Noam ; Shoham, Sharon. - p. 1140-1152 , 2023
Link: https://dl.acm.org/doi/1..
 
?
9

List of contributors:

, In: Human Embryos and Preimplantation Genetic Technologies,
Altarescu, Gheona ; Ben-Nagi, Jara ; Besser, Andria G.... - p. xiii-xv , 2019
Link: https://doi.org/10.1016/..
 
?
10

Eliciting properties of probability distributions:

, In: Proceedings of the 9th ACM conference on Electronic commerce,
Lambert, Nicolas S. ; Pennock, David M. ; Shoham, Yoav - p. 129-138 , 2008
Link: https://dl.acm.org/doi/1..
 
?
11

Self-financed wagering mechanisms for forecasting:

, In: Proceedings of the 9th ACM conference on Electronic commerce,
Lambert, Nicolas S. ; Langford, John ; Wortman, Jennifer... - p. 170-179 , 2008
Link: https://dl.acm.org/doi/1..
 
?
12

It's Not Where You Are, It's Where You Are Registered : ..:

, In: Proceedings of the Applied Networking Research Workshop,
Bremler-Barr, Anat ; Hay, David ; Meyuhas, Bar. - p. 18-23 , 2023
Link: https://dl.acm.org/doi/1..
 
1-12