| 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 | 268 | 2013 |
| 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 | 254 | 2002 |
| 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 | 159 | 2012 |
| Generating litmus tests for contrasting memory consistency models S Mador-Haim, R Alur, MMK Martin International Conference on Computer Aided Verification, 273-287, 2010 | 74 | 2010 |
| 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 | 62 | 2003 |
| 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 | 58 | 2005 |
| 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 | 25 | 2011 |
| Far from obvious: the semantics of locative indefinites S Mador-Haim, Y Winter Linguistics and Philosophy 38, 437-476, 2015 | 16 | 2015 |
| 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 | 15 | 2007 |
| Controlled language for geographical information system queries S Mador-Haim, Y Winter, A Braun Proceedings of the fifth international workshop on inference in …, 2006 | 14 | 2006 |
| Non-existential indefinites and semantic incorporation of PP complements S Mador-Haim, Y Winter Semantics and Linguistic Theory, 184-201, 2007 | 13 | 2007 |
| 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 | 10 | 2001 |
| Input elimination and abstraction in model checking S Mador-Haim, L Fix Formal Methods in Computer-Aided Design: Second International Conference …, 1998 | 8 | 1998 |
| Plug and play components for the exploration of memory consistency models S Mador-Haim, R Alur, M Martin FMCAD09, 2010 | 7 | 2010 |
| Specifying relaxed memory models for state exploration tools S Mador-Haim, R Alur, MMK Martin Exploiting Concurrency Efficiently and Correctly Workshop, 2009 | 6 | 2009 |
| Locating sets: Spatial semantics of indefinites and collective desciptions S Mador-Haim, Y Winter Manuscript, University of Pennsylvania and Utrecht University, 2012 | 4 | 2012 |
| 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 | 2 | 2010 |
| Natural Language Interface for Geographical Information Systems MH Sela, Y Winter Computer Science Department, Technion, 2007 | 2* | 2007 |
| Formal Verification of Backward Compatibility of T Arons, E Elster, L Fix, S Mador-Haim, M Mishaeli, J Shalev, ... Computer aided verification: 17th international conference, CAV 2005 …, 2005 | | 2005 |
| Specifying Protocols with Concolic Snippets R Alur, JV Deshmukh, S Mador-Haim, MMK Martin, A Raghavan, A Udupa | | |
Milo M. K. MartinGoogle (Former Associate Professor, University of Pennsylvania)Email verificata su google.com