Frederik Reiche

Aus SDQ-Wiki
Wechseln zu: Navigation, Suche
Vorname Frederik
Nachname Reiche
Telefon +49 721 608-45992
E-Mail frederik.reiche@kit.edu
Homepage https://sdq.ipd.kit.edu/people/frederik-reiche/

Offene Ausschreibungen für Abschlussarbeiten/Hilfskraftstellen

ThemaBAMAHilfskraftVeröffentlichung„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von Semantic MediaWiki zur Verfügung gestellt.
Generation of Formal Specifications for Smart Contracts from Architectural SpecificationsXX Mo 22. Juni 2020
KASTEL - Security-By-Design in vernetzten Infrastrukturen  XMo 9. Dezember 2019
Kopplungsansätze im Kontext statischer Sicherheitsanalysen X Do 24. Oktober 2019
Parametrisierung statischer Analysen im Kontext der Softwaresicherheit X Mo 2. Dezember 2019

Sonstiges