Seiten, die auf „Christopher Gerking“ verlinken
Die folgenden Seiten verlinken auf Christopher Gerking:
Angezeigt werden 13 Einträge.
- Betreuer (← Links)
- Vorträge (← Links)
- Umsetzung einer architekturellen Informationsflussanalyse auf Basis des Palladio-Komponentenmodells (← Links)
- Institutsseminar/2021-11-12 Zusatztermin (← Links)
- Institutsseminar/2023-03-31 (← Links)
- The Kconfig Variability Framework as a Feature Model (← Links)
- Institutsseminar/2023-06-16 (← Links)
- Untersuchung des Einflusses von Kommunikationsmodellen auf die Zusammensetzbarkeit von Informationsflusseigenschaften (← Links)
- Institutsseminar/2024-06-21 (← Links)
- Extraktion von Label-Propagationsfunktionen für Informationsflussanalysen aus architekturellen Verhaltensbeschreibungen (← Links)
- Zeitbehaftete Informationsflussanalyse zur genauen Erkennung von verdeckten Zeitkanälen (← Links)
- Spezifikation und Analyse fahrzeugbezogener Datenflussrichtlinien auf Basis der Vehicle Signal Specification (← Links)
- Verification of Quantitative Information Flow Security Using Statistical Model Checking (← Links)