<?xml version="1.0" encoding="utf-8" standalone="yes" ?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
  <channel>
    <title>Static Analysis | Sebastian Krings</title>
    <link>/tag/static-analysis/</link>
      <atom:link href="/tag/static-analysis/index.xml" rel="self" type="application/rss+xml" />
    <description>Static Analysis</description>
    <generator>Wowchemy (https://wowchemy.com)</generator><language>en-us</language><lastBuildDate>Fri, 24 Jun 2022 00:00:00 +0000</lastBuildDate>
    <image>
      <url>/media/icon_hua2ec155b4296a9c9791d015323e16eb5_11927_512x512_fill_lanczos_center_3.png</url>
      <title>Static Analysis</title>
      <link>/tag/static-analysis/</link>
    </image>
    
    <item>
      <title>Analyzing Security Aspects of Software Architectures</title>
      <link>/publication/krings-architecture-ew22/</link>
      <pubDate>Fri, 24 Jun 2022 00:00:00 +0000</pubDate>
      <guid>/publication/krings-architecture-ew22/</guid>
      <description></description>
    </item>
    
    <item>
      <title>Analyzing Security Aspects of Software Architectures</title>
      <link>/talk/analyzing-security-aspects-of-software-architectures/</link>
      <pubDate>Wed, 22 Jun 2022 11:00:00 +0000</pubDate>
      <guid>/talk/analyzing-security-aspects-of-software-architectures/</guid>
      <description></description>
    </item>
    
    <item>
      <title>Testing, Model Checking and Static Analysis – Dream Team or Rivals?</title>
      <link>/talk/testing-model-checking-and-static-analysis-dream-team-or-rivals/</link>
      <pubDate>Thu, 04 Mar 2021 11:00:00 +0000</pubDate>
      <guid>/talk/testing-model-checking-and-static-analysis-dream-team-or-rivals/</guid>
      <description></description>
    </item>
    
    <item>
      <title>Testing, Model Checking and Static Analysis – Dream Team or Rivals?</title>
      <link>/publication/krings-dreamteam-ew21/</link>
      <pubDate>Thu, 04 Mar 2021 00:00:00 +0000</pubDate>
      <guid>/publication/krings-dreamteam-ew21/</guid>
      <description></description>
    </item>
    
  </channel>
</rss>
