Benutzerbeiträge
- 07:58, 19. Okt. 2020 (Unterschied | Versionen) . . (-19 Bytes) . . Generation of Formal Specifications for Smart Contracts from Architectural Specifications (→Tasks) (aktuell)
- 07:57, 19. Okt. 2020 (Unterschied | Versionen) . . (-35 Bytes) . . Generation of Formal Specifications for Smart Contracts from Architectural Specifications (→Motivation)
- 09:20, 6. Aug. 2020 (Unterschied | Versionen) . . (+1.709 Bytes) . . N Entwurf komponierbarer Sicherheitsanalysen (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit, Masterarbeit |betreuer=Frederik Reiche }} ==Motivation== Angriffe auf unsichere System…“) (aktuell)
- 10:11, 24. Jul. 2020 (Unterschied | Versionen) . . (+15 Bytes) . . Generation of Formal Specifications for Smart Contracts from Architectural Specifications
- 15:49, 21. Jul. 2020 (Unterschied | Versionen) . . (+38 Bytes) . . PCM Development/Palladio Concall (→Agenda Suggestions)
- 12:10, 22. Jun. 2020 (Unterschied | Versionen) . . (0 Bytes) . . Generation of Formal Specifications for Smart Contracts from Architectural Specifications
- 12:09, 22. Jun. 2020 (Unterschied | Versionen) . . (0 Bytes) . . Generation of Formal Specifications for Smart Contracts from Architectural Specifications
- 12:08, 22. Jun. 2020 (Unterschied | Versionen) . . (+1.993 Bytes) . . N Generation of Formal Specifications for Smart Contracts from Architectural Specifications (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit, Masterarbeit |betreuer=Frederik Reiche |bild=KASTEL-Logo_1000.png |pdf=Generation of spec…“)
- 12:04, 22. Jun. 2020 (Unterschied | Versionen) . . (0 Bytes) . . N Datei:Generation of specifications for smartcontracts from architecture.pdf (aktuell)
- 08:14, 9. Dez. 2019 (Unterschied | Versionen) . . (+87 Bytes) . . KASTEL - Security-By-Design in vernetzten Infrastrukturen (aktuell)
- 11:46, 2. Dez. 2019 (Unterschied | Versionen) . . (+1.676 Bytes) . . N Parametrisierung statischer Analysen im Kontext der Softwaresicherheit (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Masterarbeit |betreuer=Frederik Reiche |bild=KASTEL-Logo_1000.png |pdf=Parametrisierung.pdf }} ===Motivat…“) (aktuell)
- 11:45, 2. Dez. 2019 (Unterschied | Versionen) . . (0 Bytes) . . N Datei:Parametrisierung.pdf (aktuell)
- 11:41, 2. Dez. 2019 (Unterschied | Versionen) . . (-1.622 Bytes) . . Kompatibilität und Klassifikation statischer Sicherheitsanalysen (Der Seiteninhalt wurde durch einen anderen Text ersetzt: „{{Ausschreibung |bearbeitet=Nein }}“) (aktuell) (Markierung: Ersetzt)
- 12:23, 24. Okt. 2019 (Unterschied | Versionen) . . (-14 Bytes) . . Kopplungsansätze im Kontext statischer Sicherheitsanalysen (aktuell)
- 12:23, 24. Okt. 2019 (Unterschied | Versionen) . . (-16 Bytes) . . Kompatibilität und Klassifikation statischer Sicherheitsanalysen
- 12:07, 24. Okt. 2019 (Unterschied | Versionen) . . (-1.551 Bytes) . . Klassifikation statischer Sicherheitsanalysen (Der Seiteninhalt wurde durch einen anderen Text ersetzt: „{{Ausschreibung |bearbeitet=Nein }}“) (aktuell) (Markierung: Ersetzt)
- 14:50, 26. Sep. 2019 (Unterschied | Versionen) . . (+1 Byte) . . Vorlesung Programmierparadigmen WS19/20 (→Internes) (aktuell)
- 14:49, 26. Sep. 2019 (Unterschied | Versionen) . . (+130 Bytes) . . Vorlesung Programmierparadigmen WS19/20 (→Vorlesungsfolien und herunterladbare Inhalte)
- 07:31, 18. Sep. 2019 (Unterschied | Versionen) . . (+1.489 Bytes) . . N Vorlesung Programmierparadigmen WS19/20 (Die Seite wurde neu angelegt: „{{Infobox Lehrveranstaltung | typ = Lecture | name = Programmierparadigmen | nummer = 24030 | semester = Wintersemester 2019/20 | lp = 6 | sws =…“)
- 09:08, 2. Sep. 2019 (Unterschied | Versionen) . . (+1.673 Bytes) . . N Kompatibilität und Klassifikation statischer Sicherheitsanalysen (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit, Masterarbeit |betreuer=Frederik Reiche |bild=KASTEL-Logo_1000.png }} ==Motivation== Stat…“)
