Segui
Sela Mador-Haim
Sela Mador-Haim
Computer Information Science, University of Pennsylvania
Email verificata su xcitedb.com - Home page
Titolo
Citata da
Citata da
Anno
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
2642013
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
2482002
An axiomatic memory model for POWER multiprocessors
S Mador-Haim, L Maranget, S Sarkar, K Memarian, J Alglave, S Owens, ...
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
1512012
Generating litmus tests for contrasting memory consistency models
S Mador-Haim, R Alur, MMK Martin
International Conference on Computer Aided Verification, 273-287, 2010
722010
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
622003
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
582005
Litmus tests for comparing memory consistency models: How long do they need to be?
S Mador-Haim, R Alur, MMK Martin
Proceedings of the 48th Design Automation Conference, 504-509, 2011
242011
Far from obvious: the semantics of locative indefinites
S Mador-Haim, Y Winter
Linguistics and Philosophy 38, 437-476, 2015
152015
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
Non-existential indefinites and semantic incorporation of PP complements
S Mador-Haim, Y Winter
Semantics and Linguistic Theory, 184-201, 2007
142007
Controlled language for geographical information system queries
S Mador-Haim, Y Winter, A Braun
Proceedings of the fifth international workshop on inference in …, 2006
142006
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
Formal Methods in Computer-Aided Design: Second International Conference …, 1998
81998
Plug and play components for the exploration of memory consistency models
S Mador-Haim, R Alur, M Martin
FMCAD09, 2010
72010
Specifying relaxed memory models for state exploration tools
S Mador-Haim, R Alur, MMK Martin
Exploiting Concurrency Efficiently and Correctly Workshop, 2009
62009
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, M Martin
Technical report, Dept. of Computer Information Science, U. of Pennsylvania, 2010
22010
Natural Language Interface for Geographical Information Systems
MH Sela, Y Winter
Computer Science Department, Technion, 2007
2*2007
Specifying Protocols with Concolic Snippets
R Alur, JV Deshmukh, S Mador-Haim, MMK Martin, A Raghavan, A Udupa
Protocol Design with Concolic Snippets
R Alur, JV Deshmukh, S Mador-Haim, MMK Martin, A Raghavan, A Udupa
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20