{"id":20,"date":"2011-03-03T08:08:24","date_gmt":"2011-03-03T08:08:24","guid":{"rendered":"http:\/\/picus.org.il\/wp-shmuel\/?page_id=20"},"modified":"2012-10-14T09:59:20","modified_gmt":"2012-10-14T09:59:20","slug":"major-publications","status":"publish","type":"page","link":"https:\/\/ur-innovation.com\/?page_id=20","title":{"rendered":"Major Publications"},"content":{"rendered":"<h2>Ph.D. Thesis<\/h2>\n<p>Carnegie Mellon University, 1994<br \/>\nTitle: <em>Decision Trees, Order Constraints, and Orders<\/em><br \/>\nThesis advisors:<\/p>\n<ul>\n<li>Herbert Simon, Carnegie Mellon University (Nobel Prize and Turing award winner)<\/li>\n<li>Mike Trick, Carnegie Mellon University<\/li>\n<\/ul>\n<h2>Editorials for books or special issues<\/h2>\n<ul>\n<li>Shmuel Ur, Eyal Bin, Yaron Wolfsthal: <em>Hardware and Software Verification and Testing<\/em>, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers Springer 2006<\/li>\n<li>Eyal Bin, Shmuel Ur, Avi Ziv: <em>Hardware and Software Verification and Testing<\/em>, Second International Haifa Verification Conference, Haifa, Israel, October 23-26, 2006, Revised Selected Papers, Springer 2007<\/li>\n<li>Editor of Special Issue: <em>Parallel and Distributed Systems: Testing and Debugging (PADTAD), Concurrency and Computation: Practice and Experience, DOI<\/em>: 10.1002\/cpe.1062<\/li>\n<\/ul>\n<h2>Publicly available tools Shmuel has helped develop<\/h2>\n<ul>\n<li><strong>Focus <\/strong>\u2013 A functional coverage tool.\u00a0 Shmuel has been in charge of Focus since its inception. He has been involved since then with the hardware verification department verification tools. <a href=\"http:\/\/www.alphaworks.ibm.com\/tech\/focus\" target=\"_blank\">Download <\/a><\/li>\n<li><strong>ConTest <\/strong>\u2013 A tool for testing and debugging concurrent Java applications.\u00a0 Project member working mainly on the theory, algorithms, and user support.\u00a0 <a href=\"http:\/\/www.alphaworks.ibm.com\/tech\/contest\" target=\"_blank\">Download <\/a><\/li>\n<li>An open source <strong>Simulation Model of Software Testing tool<\/strong> for simulating different software development paradigms that I designed.\u00a0 <a href=\"https:\/\/qp.research.ibm.com\/LotusQuickr\/concurrency_testing\/Main.nsf?Login&amp;RedirectTo=%2FLotusQuickr%2Fconcurrency_testing%2FMain.nsf%2F\" target=\"_blank\">Download<\/a> (password-protected site)<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Ph.D. Thesis Carnegie Mellon University, 1994 Title: Decision Trees, Order Constraints, and Orders Thesis advisors: Herbert Simon, Carnegie Mellon University (Nobel Prize and Turing award winner) Mike Trick, Carnegie Mellon University Editorials for books or special issues Shmuel Ur, Eyal &hellip; <a href=\"https:\/\/ur-innovation.com\/?page_id=20\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":5,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-20","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/ur-innovation.com\/index.php?rest_route=\/wp\/v2\/pages\/20","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/ur-innovation.com\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/ur-innovation.com\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/ur-innovation.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/ur-innovation.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=20"}],"version-history":[{"count":9,"href":"https:\/\/ur-innovation.com\/index.php?rest_route=\/wp\/v2\/pages\/20\/revisions"}],"predecessor-version":[{"id":126,"href":"https:\/\/ur-innovation.com\/index.php?rest_route=\/wp\/v2\/pages\/20\/revisions\/126"}],"wp:attachment":[{"href":"https:\/\/ur-innovation.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=20"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}