Sela Mador Haim

Sela Mador Haim

University of Pennsylvania - Philadelphia / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1777846
person_outline Sela Mador Haim's MOST POPULAR ARTICLES
1-) TRANSIT: specifying protocols with concolic snippetsA Udupa, A Raghavan, JV Deshmukh, S Mador-Haim, MMK Martin, R AlurACM SIGPLAN Notices 48 (6), 287-296, 20132462013
2-) The ForSpec temporal logic: A new temporal property-specification languageR Armoni, L Fix, A Flaisher, R Gerth, B Ginsburg, T Kanza, A Landver, ...International Conference on Tools and Algorithms for the Construction and …, 20022442002
3-) An axiomatic memory model for POWER multiprocessorsS Mador-Haim, L Maranget, S Sarkar, K Memarian, J Alglave, S Owens, ...International Conference on Computer Aided Verification, 495-512, 20121412012
4-) Generating litmus tests for contrasting memory consistency modelsS Mador-Haim, R Alur, MMK MartinInternational Conference on Computer Aided Verification, 273-287, 2010742010
5-) Multiple-counterexample guided iterative abstraction refinement: An industrial evaluationM Glusman, G Kamhi, S Mador-Haim, R Fraer, MY VardiInternational Conference on Tools and Algorithms for the Construction and …, 2003622003