{"id":2050,"date":"2020-10-06T10:27:33","date_gmt":"2020-10-06T08:27:33","guid":{"rendered":"https:\/\/emrolab.htwsaar.de\/?page_id=2050"},"modified":"2020-10-06T11:15:37","modified_gmt":"2020-10-06T09:15:37","slug":"prof-dr-ing-steffen-knapp","status":"publish","type":"page","link":"https:\/\/emrolab.htwsaar.de\/index.php\/prof-dr-ing-steffen-knapp\/","title":{"rendered":"Prof. Dr.-Ing. Steffen Knapp"},"content":{"rendered":"

htw saar – Saarland University of Applied Sciences<\/a>
Goebenstr. 40
66117 Saarbruecken<\/p>\n

Office 4105
+49 (0)681 5867 – 99105
steffen.knapp (at) htwsaar.de<\/p>\n\n

\u00a0<\/h6>\n\n\n
\n
Research<\/h6>\n

\u00a0<\/p>\n\n\n\n

Research & Development Projects<\/h6>\n

<\/p>\n\n\n\n

Teaching<\/h6>\n
    \n
  • Summer Term 2020<\/strong>\n
      \n
    • Operating Systems<\/li>\n
    • Computer Architectures<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n\n\n\n

      <\/p>\n<\/div><\/div>\n\n\n

      Publications<\/h6>\n

      2019<\/strong><\/p>\n

        \n
      • Daniel Bischoff, Harald Berninger, Steffen Knapp, Tobias Meuser, Bj\u00f6rn Richerzhagen, Lars H\u00e4ring, Andreas Czylwik. Safety-relevant V2X Beaconing in Realistic and Scalable Heterogeneous Radio Propagation Fading Channels.<\/em> VEHITS 2019.\n<\/li>\n
      • Florian Jomrich, Daniel Bischoff, Steffen Knapp, Tobias Meuser, Bj\u00f6rn Richerzhagen, Ralf Steinmetz. Lane Accurate Detection of Map Changes based on Low Cost Smartphone Data.<\/em> VEHITS 2019.<\/li>\n<\/ul>\n
        \n

        2018<\/strong><\/p>\n

          \n
        • Florian Jomrich, Florian Fischer, Steffen Knapp, Tobias Meuser, Bj\u00f6rn Richerzhagen, Ralf Steinmetz. Enhanced Cellular Bandwidth Prediction for Highly Automated Driving.<\/em> SMARTGREENS\/VEHITS (Selected Papers) 2018.\n<\/li>\n
        • Florian Jomrich, Josef Schmid, Steffen Knapp, Alfred H\u00f6\u00df, Ralf Steinmetz, Bj\u00f6rn W. Schuller. Analysing communication requirements for crowd sourced backend generation of HD Maps used in automated driving.<\/em> VNC 2018.<\/li>\n<\/ul>\n
          \n

          2008<\/strong><\/p>\n

            \n
          • Steffen Knapp. The correctness of a distributed real-time system.<\/em> Saarland University, 2008.\n<\/li>\n
          • Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang J. Paul, Maria Spichkova. On the correctness of upper layers of automotive systems.<\/em> Formal Aspects Comput. 20(6) 2008.\n<\/li>\n
          • Steffen Knapp. Pervasive Layered Verification of a Distributed Real-Time System.<\/em> ICONS 2008.\n<\/li>\n
          • Eyad Alkassar, Peter B\u00f6hm, Steffen Knapp. Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level.<\/em> DIPES 2008.\n<\/li>\n
          • Eyad Alkassar, Peter B\u00f6hm, Steffen Knapp. Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation.<\/em> MEMOCODE 2008.<\/li>\n<\/ul>\n
            \n

            2007<\/strong><\/p>\n

              \n
            • Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev. Formal Device and Programming Model for a Serial Interface.<\/em> VERIFY 2007.<\/li>\n<\/ul>\n
              \n

              2006<\/strong><\/p>\n

                \n
              • Steffen Knapp, Wolfgang J. Paul. Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification.<\/em> Program Analysis and Compilation 2006.<\/li>\n<\/ul>\n
                \n

                2005<\/strong><\/p>\n

                  \n
                • Sven Beyer, Peter B\u00f6hm, Michael Gerke, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul. Towards the Formal Verification of Lower System Layers in Automotive Systems.<\/em> ICCD 2005.<\/li>\n<\/ul>\n\n\n

                  <\/p>\n","protected":false},"excerpt":{"rendered":"

                  htw saar – Saarland University of Applied SciencesGoebenstr. 4066117 Saarbruecken Office 4105+49 (0)681 5867 – 99105steffen.knapp (at) htwsaar.de \u00a0 Research \u00a0 Research & Development Projects Teaching Summer Term 2020 Operating Systems Computer Architectures Publications 2019 Daniel Bischoff, Harald Berninger, Steffen<\/p>\n","protected":false},"author":20,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-2050","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/emrolab.htwsaar.de\/index.php\/wp-json\/wp\/v2\/pages\/2050","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/emrolab.htwsaar.de\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/emrolab.htwsaar.de\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/emrolab.htwsaar.de\/index.php\/wp-json\/wp\/v2\/users\/20"}],"replies":[{"embeddable":true,"href":"https:\/\/emrolab.htwsaar.de\/index.php\/wp-json\/wp\/v2\/comments?post=2050"}],"version-history":[{"count":20,"href":"https:\/\/emrolab.htwsaar.de\/index.php\/wp-json\/wp\/v2\/pages\/2050\/revisions"}],"predecessor-version":[{"id":2081,"href":"https:\/\/emrolab.htwsaar.de\/index.php\/wp-json\/wp\/v2\/pages\/2050\/revisions\/2081"}],"wp:attachment":[{"href":"https:\/\/emrolab.htwsaar.de\/index.php\/wp-json\/wp\/v2\/media?parent=2050"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}