{"id":3004,"date":"2013-02-07T15:52:42","date_gmt":"2013-02-07T13:52:42","guid":{"rendered":"http:\/\/www.foerderverein-technische-fakultaet.at\/?p=3004"},"modified":"2013-04-16T11:36:54","modified_gmt":"2013-04-16T09:36:54","slug":"ruckblick-theorie-praxis-und-perspektiven-der-operationsbasierten-formalen-schaltungsverifikation-slides","status":"publish","type":"post","link":"https:\/\/www.ftf.or.at\/?p=3004","title":{"rendered":"R\u00fcckblick: Theorie, Praxis und Perspektiven der operationsbasierten formalen Schaltungsverifikation [Slides]"},"content":{"rendered":"<p>Der R\u00fcckblick zum TEWI-Kolloquium von\u00a0<strong><span style=\"font-size: 1em;\">Dr. Wolfram B\u00fcttner,\u00a0<\/span><span style=\"font-size: 1em;\">TU Kaiserslautern<\/span><\/strong>\u00a0am <a title=\"Theorie, Praxis und Perspektiven der operationsbasierten formalen Schaltungsverifikation\" href=\"http:\/\/www.foerderverein-technische-fakultaet.at\/2012\/11\/theorie-praxis-und-perspektiven-der-operationsbasierten-formalen-schaltungsverifikation\/\">06.12.2012<\/a>\u00a0beinhaltet die Folien:<\/p>\n<p><iframe loading=\"lazy\" style=\"border: 1px solid #CCC; border-width: 1px 1px 0; margin-bottom: 5px;\" src=\"http:\/\/www.slideshare.net\/slideshow\/embed_code\/16400503\" frameborder=\"0\" marginwidth=\"0\" marginheight=\"0\" scrolling=\"no\" width=\"427\" height=\"356\"><\/iframe><\/p>\n<p> University in New Orleans, habilitierte in diesem Fach an der TU Darmstadt und wechselte dann in die Informatik. Seit 1989 ist er Au\u00dferplanm\u00e4\u00dfiger Professor an der TU Kaiserslautern. Von 1984 bis 2002 arbeitete Dr. B\u00fcttner in den Corporate Technology Labs (CT) von Siemens in M\u00fcnchen \u2013 zuletzt als Abteilungsdirektor mit Verantwortung f\u00fcr die Themengebiete formale Methoden, diskrete und stochastische Optimierung sowie Lernende Systeme. Seit 2000 fokussierte Dr. B\u00fcttner seine T\u00e4tigkeit auf die formale Schaltungsverifikation und f\u00fchrte die Verifikationstechnologie von CT zur Produktreife und auf den Markt \u2013 erst bei Infineon und ab 2005 in zwei Start-Up\u2019s.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Der R\u00fcckblick zum TEWI-Kolloquium von\u00a0Dr. Wolfram B\u00fcttner,\u00a0TU Kaiserslautern\u00a0am 06.12.2012\u00a0beinhaltet die Folien: University in New Orleans, habilitierte in diesem Fach an der TU Darmstadt und wechselte dann in die Informatik. Seit 1989 ist er Au\u00dferplanm\u00e4\u00dfiger Professor an der TU Kaiserslautern. Von &hellip; <a href=\"https:\/\/www.ftf.or.at\/?p=3004\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":3,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"sfsi_plus_gutenberg_text_before_share":"","sfsi_plus_gutenberg_show_text_before_share":"","sfsi_plus_gutenberg_icon_type":"","sfsi_plus_gutenberg_icon_alignemt":"","sfsi_plus_gutenburg_max_per_row":"","footnotes":""},"categories":[1],"tags":[],"class_list":["post-3004","post","type-post","status-publish","format-standard","hentry","category-tewi-kolloquium"],"_links":{"self":[{"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=\/wp\/v2\/posts\/3004","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=3004"}],"version-history":[{"count":6,"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=\/wp\/v2\/posts\/3004\/revisions"}],"predecessor-version":[{"id":3009,"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=\/wp\/v2\/posts\/3004\/revisions\/3009"}],"wp:attachment":[{"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=3004"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=3004"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.ftf.or.at\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=3004"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}