Sela Mador-Haim
Sela Mador-Haim
Computer Information Science, University of Pennsylvania
Verified email at seas.upenn.edu - Homepage
Title
Cited by
Cited by
Year
The ForSpec temporal logic: A new temporal property-specification language
R Armoni, L Fix, A Flaisher, R Gerth, B Ginsburg, T Kanza, A Landver, ...
International Conference on Tools and Algorithms for the Construction and …, 2002
2342002
TRANSIT: specifying protocols with concolic snippets
A Udupa, A Raghavan, JV Deshmukh, S Mador-Haim, MMK Martin, R Alur
ACM SIGPLAN Notices 48 (6), 287-296, 2013
1812013
An axiomatic memory model for POWER multiprocessors
S Mador-Haim, L Maranget, S Sarkar, K Memarian, J Alglave, S Owens, ...
International Conference on Computer Aided Verification, 495-512, 2012
1322012
Multiple-counterexample guided iterative abstraction refinement: An industrial evaluation
M Glusman, G Kamhi, S Mador-Haim, R Fraer, MY Vardi
International Conference on Tools and Algorithms for the Construction and …, 2003
632003
Generating litmus tests for contrasting memory consistency models
S Mador-Haim, R Alur, MMK Martin
International Conference on Computer Aided Verification, 273-287, 2010
622010
Formal verification of backward compatibility of microcode
T Arons, E Elster, L Fix, S Mador-Haim, M Mishaeli, J Shalev, ...
International Conference on Computer Aided Verification, 185-198, 2005
572005
Litmus tests for comparing memory consistency models: How long do they need to be?
S Mador-Haim, R Alur, MMK Martin
2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC), 504-509, 2011
212011
System and method to analyze VLSI designs
R Fraer, O Weissberg, A Irron, G Kamhi, M Glusman, S Mador-Haim, ...
US Patent 7,203,631, 2007
152007
Controlled language for geographical information system queries
S Mador-Haim, Y Winter, A Braun
Proceedings of the Fifth International Workshop on Inference in …, 2006
132006
Non-existential indefinites and semantic incorporation of PP complements
S Mador-Haim, Y Winter
Semantics and Linguistic Theory 17, 184-201, 2007
122007
Far from obvious: the semantics of locative indefinites
S Mador-Haim, Y Winter
Linguistics and Philosophy 38 (5), 437-476, 2015
112015
The ForSpec temporal language: A new temporal property-specification language
R Armoni, L Fix, R Gerth, B Ginsburg, T Kanza, A Landver, S Mador-Haim, ...
Proc. 8th Int’l Conf. on Tools and Algorithms for the Construction and …, 2001
92001
Input elimination and abstraction in model checking
S Mador-Haim, L Fix
International Conference on Formal Methods in Computer-Aided Design, 304-320, 1998
91998
Specifying relaxed memory models for state exploration tools
S Mador-Haim, R Alur, MMK Martin
Exploiting Concurrency Efficiently and Correctly Workshop, 2009
72009
Plug and play components for the exploration of memory consistency models
S Mador-Haim, R Alur, M Martin
Technical Reports (CIS), 913, 2010
62010
Locating sets: Spatial semantics of indefinites and collective desciptions
S Mador-Haim, Y Winter
Manuscript, University of Pennsylvania and Utrecht University, 2012
42012
Generating litmus tests for contrasting memory consistency models-extended version
S Mador-Haim, R Alur, MMK Martin
22010
Natural Language Interface for Geographical Information Systems
MH Sela, Y Winter
Computer Science Department, Technion, 2007
2*2007
Formal Verifica, tion of Backward Compatibility of
T Arons, E Elster, L Fix, S Mador-Haim, M Mishaeli, J Shalev, ...
Microcode, CAV 5, 2005
12005
Protocol Design with Concolic Snippets
R Alur, J Deshmukh, S Mador-Haim, M Martin, A Raghavan, A Udupa
2012
The system can't perform the operation now. Try again later.
Articles 1–20