Table of Contents

• SMC und zeitlich begrenzte Erreichbarkeitsanalyse für HPnGsCarina da Silva. 11-20 [doi]
• Quantitative konfigurierbare und rekonfigurierbare Systeme Clemens Dubslaff. 21-30 [doi]
• Skalierbare und vertraulichkeitswahrende Off-Chain BerechnungenJacob Eberhardt. 31-40 [doi]
• Selbstadaptive Fitness in evolutionären ProzessenThomas Gabor. 41-50 [doi]
• Stern-Topologie Entkoppelte ZustandsraumsucheDaniel Gnad 0001. 51-60 [doi]
• Programmaggregation mit algebraischen EntscheidungsdiagrammenFrederik Jakob Gossen. 61-70 [doi]
• Hochqualitativ Verifikation für VP-basierte Heterogene SystemeMuhammad Hassan. 71-80 [doi]
• Drohnennetzwerke zur Suche und RettungSamira Hayat. 81-90 [doi]
• Werkzeuge und Methoden zum Lösen von Problemen mittels Baumweite Markus Hecher. 91-100 [doi]
• Modell-Konsistenzerhaltung mittels TransformationsnetzwerkenHeiko Klare. 101-110 [doi]
• Sicherheit und Datenschutz für Biometrische SystemeJascha Kolberg. 111-120 [doi]
• Ein holistischer Ansatz für Pool-basiertes Aktives LernenDaniel Kottke. 121-130 [doi]
• Die Bewertung der Anwendbarkeit von VR für DatenvisualisierungMatthias Kraus. 131-140 [doi]
• Das Re-Engineering variantenreicher Systeme verstehenJacob Krüger. 141-150 [doi]
• Sprachrepräsentationen für Rechnerische ArgumentationAnne Lauscher. 151-160 [doi]
• Sicherheitsaspekte von Mikroarchitektur-OptimierungenMoritz Lipp. 161-170 [doi]
• Verbesserung der Praxistauglichkeit der statischen Taint-AnalyseLinghui Luo. 181-190 [doi]
• Berechnung effizienter DatenzusammenfassungenSebastian Mair 0001. 191-200 [doi]
• Verifikation von Markov Entscheidungsprozessen in diskreter ZeitTobias Meggendorfer. 201-210 [doi]
• Tiefe Netzwerke, die wissen, wenn sie etwas nicht wissenAlejandro Molina Ramirez. 211-220 [doi]
• Quantifizierung der intermodalen Konsistenz von NachrichtenEric Müller-Budack. 221-230 [doi]
• Bilderkennung und Wissenstransfer in verteilten SystemenChristian Roschke. 231-240 [doi]
• Entwicklungsgeschichte von Genfamilien - Theorie und AlgorithmenDavid Schaller 0001. 241-250 [doi]
• Arbeitsbelastung beim Software PrototypingSarah Suleri. 251-260 [doi]
• Moderne Graphalgorithmen für die formale VerifikationAlexander Svozil. 261-270 [doi]
• Inkrementalisierung Statischer Analysen in DatalogTamás Szabó. 271-280 [doi]
• Kryptographische Schlösser für Skriptlose KryptowährungszahlungenSri Aravinda Krishnan Thyagarajan. 281-290 [doi]
• Generative Modelle für pathologische BilddatenHristina Uzunova. 291-300 [doi]
• Trace-basierte Erkennung und Analyse von SpeicheranomalienMarkus Weninger. 301-310 [doi]
• Erkennung von Anomalien und Veränderung in GraphsequenzenDaniele Zambon. 311-320 [doi]