{"id":4835,"date":"2025-12-18T18:55:00","date_gmt":"2025-12-18T17:55:00","guid":{"rendered":"https:\/\/www.hsu-hh.de\/aut\/?p=4835"},"modified":"2026-05-18T14:56:49","modified_gmt":"2026-05-18T12:56:49","slug":"%f0%9d%90%96%f0%9d%90%a2%f0%9d%90%ab-%f0%9d%90%a0%f0%9d%90%ab%f0%9d%90%9a%f0%9d%90%ad%f0%9d%90%ae%f0%9d%90%a5%f0%9d%90%a2%f0%9d%90%9e%f0%9d%90%ab%f0%9d%90%9e%f0%9d%90%a7-%f0%9d%90%83%f0%9d%90%ab-2","status":"publish","type":"post","link":"https:\/\/www.hsu-hh.de\/aut\/%f0%9d%90%96%f0%9d%90%a2%f0%9d%90%ab-%f0%9d%90%a0%f0%9d%90%ab%f0%9d%90%9a%f0%9d%90%ad%f0%9d%90%ae%f0%9d%90%a5%f0%9d%90%a2%f0%9d%90%9e%f0%9d%90%ab%f0%9d%90%9e%f0%9d%90%a7-%f0%9d%90%83%f0%9d%90%ab-2","title":{"rendered":"\ud835\udc16\ud835\udc22\ud835\udc2b \ud835\udc20\ud835\udc2b\ud835\udc1a\ud835\udc2d\ud835\udc2e\ud835\udc25\ud835\udc22\ud835\udc1e\ud835\udc2b\ud835\udc1e\ud835\udc27 \ud835\udc03\ud835\udc2b.-\ud835\udc08\ud835\udc27\ud835\udc20. \ud835\udc00\ud835\udc2b\ud835\udc28\ud835\udc27 \ud835\udc12\ud835\udc1c\ud835\udc21\ud835\udc27\ud835\udc1a\ud835\udc24\ud835\udc1e\ud835\udc27\ud835\udc1b\ud835\udc1e\ud835\udc1c\ud835\udc24 \ud835\udc33\ud835\udc2e \ud835\udc2c\ud835\udc1e\ud835\udc22\ud835\udc27\ud835\udc1e\ud835\udc2b \ud835\udc1e\ud835\udc2b\ud835\udc1f\ud835\udc28\ud835\udc25\ud835\udc20\ud835\udc2b\ud835\udc1e\ud835\udc22\ud835\udc1c\ud835\udc21\ud835\udc1e\ud835\udc27 \ud835\udc0f\ud835\udc2b\ud835\udc28\ud835\udc26\ud835\udc28\ud835\udc2d\ud835\udc22\ud835\udc28\ud835\udc27!"},"content":{"rendered":"\n<p>Gestern hat Aron Schnakenbeck seine Dissertation \u201eStatische Analyse von GRAFCET-Spezifikationen zur Erkennung von Entwurfsfehlern\u201c erfolgreich verteidigt. In seiner Arbeit zeigt er, wie sich Entwurfsfehler in Steuerungssystemen automatisierter Produktionsanlagen bereits fr\u00fchzeitig erkennen lassen. Der entwickelte Verifikationsansatz auf Basis statischer Analyse von GRAFCET-Spezifikationen erm\u00f6glicht die effiziente \u00dcberpr\u00fcfung sicherheitsrelevanter Eigenschaften auch bei gro\u00dfen und komplexen Spezifikationen.<br><br>Die Arbeit leistet damit einen wichtigen Beitrag zur Sicherheit moderner Automatisierungssysteme.<br><br>Wir danken <abbr title=\"Professor\">Prof.<\/abbr> Alexander Fay (Erstgutachter), <abbr title=\"Professor\">Prof.<\/abbr> Stefan Kowalewski (Zweitgutachter) sowie dem Vorsitzenden des Pr\u00fcfungsausschusses <abbr title=\"Professor\">Prof.<\/abbr> Mario Oertel f\u00fcr die Begutachtung und Begleitung des Promotionsverfahrens.<br><br>Lieber Aron, herzlichen Gl\u00fcckwunsch zur erfolgreichen Verteidigung und zu dieser starken wissenschaftlichen Leistung!<\/p>\n\n\n\n<figure class=\"wp-block-image size-large\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"769\" src=\"https:\/\/www.hsu-hh.de\/aut\/wp-content\/uploads\/sites\/670\/2026\/05\/image-1-1024x769.png\" data-credit=\"\" alt=\"\" class=\"wp-image-4836\" srcset=\"https:\/\/www.hsu-hh.de\/aut\/wp-content\/uploads\/sites\/670\/2026\/05\/image-1-1024x769.png 1024w, https:\/\/www.hsu-hh.de\/aut\/wp-content\/uploads\/sites\/670\/2026\/05\/image-1-300x225.png 300w, https:\/\/www.hsu-hh.de\/aut\/wp-content\/uploads\/sites\/670\/2026\/05\/image-1-768x577.png 768w, https:\/\/www.hsu-hh.de\/aut\/wp-content\/uploads\/sites\/670\/2026\/05\/image-1-1536x1154.png 1536w, https:\/\/www.hsu-hh.de\/aut\/wp-content\/uploads\/sites\/670\/2026\/05\/image-1-1100x826.png 1100w, https:\/\/www.hsu-hh.de\/aut\/wp-content\/uploads\/sites\/670\/2026\/05\/image-1.png 2045w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n","protected":false},"excerpt":{"rendered":"<p>Gestern hat Aron Schnakenbeck seine Dissertation \u201eStatische Analyse von GRAFCET-Spezifikationen zur Erkennung von Entwurfsfehlern\u201c erfolgreich verteidigt. In seiner Arbeit zeigt er, wie sich Entwurfsfehler in Steuerungssystemen automatisierter Produktionsanlagen bereits fr\u00fchzeitig [&hellip;]<\/p>\n","protected":false},"author":3039,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-4835","post","type-post","status-publish","format-standard","hentry","category-forschung"],"_links":{"self":[{"href":"https:\/\/www.hsu-hh.de\/aut\/wp-json\/wp\/v2\/posts\/4835","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.hsu-hh.de\/aut\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.hsu-hh.de\/aut\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.hsu-hh.de\/aut\/wp-json\/wp\/v2\/users\/3039"}],"replies":[{"embeddable":true,"href":"https:\/\/www.hsu-hh.de\/aut\/wp-json\/wp\/v2\/comments?post=4835"}],"version-history":[{"count":1,"href":"https:\/\/www.hsu-hh.de\/aut\/wp-json\/wp\/v2\/posts\/4835\/revisions"}],"predecessor-version":[{"id":4837,"href":"https:\/\/www.hsu-hh.de\/aut\/wp-json\/wp\/v2\/posts\/4835\/revisions\/4837"}],"wp:attachment":[{"href":"https:\/\/www.hsu-hh.de\/aut\/wp-json\/wp\/v2\/media?parent=4835"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.hsu-hh.de\/aut\/wp-json\/wp\/v2\/categories?post=4835"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.hsu-hh.de\/aut\/wp-json\/wp\/v2\/tags?post=4835"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}