Benutzerbeiträge
Zur Navigation springen
Zur Suche springen
- 14:56, 20. Mai 2022 Unterschied Versionen -2 Bytes Kopplung von statischen Architekturanalysen und musterbasierten Quelltextanalysen in der Domäne der Softwaresicherheit aktuell
- 14:53, 20. Mai 2022 Unterschied Versionen +93 Bytes SDQ-Seminar/2022-06-27 aktuell
- 10:55, 16. Mär. 2022 Unterschied Versionen +2.159 Bytes N Kopplung von statischen Architekturanalysen und musterbasierten Quelltextanalysen in der Domäne der Softwaresicherheit Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit, Masterarbeit |betreuer=Frederik Reiche |bild=KASTEL-Logo_1000.png }} == Motivation ==…“
- 10:49, 16. Mär. 2022 Unterschied Versionen -2.056 Bytes Kopplung von Architekturanalysen und musterbasierten Quelltextanalysen in de Domäne der Softwaresicherheitr Der Seiteninhalt wurde durch einen anderen Text ersetzt: „{{Ausschreibung |bearbeitet=Ja |abschlussarbeitstyp=Bachelorarbeit, Masterarbeit |betreuer=Frederik Reiche |bild=KASTEL-Logo_1000.pn…“ aktuell Markierung: Ersetzt
- 10:49, 16. Mär. 2022 Unterschied Versionen +2.192 Bytes N Kopplung von Architekturanalysen und musterbasierten Quelltextanalysen in de Domäne der Softwaresicherheitr Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit, Masterarbeit |betreuer=Frederik Reiche |bild=KASTEL-Logo_1000.png }} == Motivation ==…“
- 08:20, 9. Feb. 2022 Unterschied Versionen +1.187 Bytes N Kontinuierliche Modellierung und Analyse von Annahmen im Bereich der Softwaresicherheit Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Hilfskräfte |betreuer=Frederik Reiche, Sophie Schulz |bild=KASTEL-Logo_1000.png }} == Problemstellun…“ aktuell
- 13:43, 16. Nov. 2021 Unterschied Versionen +2.551 Bytes N Konsistenzhaltung von Eingabemodellen für Architektur- und Code-basierte, statische Sicherheitsanalysen Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit, Masterarbeit |betreuer=Frederik Reiche, Heiko Klare |bild=KASTEL-Logo_1000.png }} == Moti…“ aktuell
- 11:20, 12. Nov. 2021 Unterschied Versionen +1.485 Bytes Lesegruppe/2020-11-17 aktuell
- 12:49, 22. Jun. 2021 Unterschied Versionen +17 Bytes SDQ-Seminar/2021-07-12 aktuell
- 12:49, 22. Jun. 2021 Unterschied Versionen +193 Bytes SDQ-Seminar/2021-07-12
- 14:23, 31. Mai 2021 Unterschied Versionen -2 Bytes Generation of Formal Specifications for Smart Contracts from Architectural Specifications aktuell
- 08:07, 6. Mai 2021 Unterschied Versionen +100 Bytes SDQ-Seminar/2021-05-10 aktuell
- 13:36, 26. Apr. 2021 Unterschied Versionen -2 Bytes Kopplungsansätze im Kontext statischer Sicherheitsanalysen aktuell
- 13:36, 26. Apr. 2021 Unterschied Versionen +60 Bytes Kopplungsansätze im Kontext statischer Sicherheitsanalysen Änderung 32207 von Dv9597 (Diskussion) rückgängig gemacht. Markierung: Rückgängigmachung
- 13:13, 26. Apr. 2021 Unterschied Versionen -60 Bytes Kopplungsansätze im Kontext statischer Sicherheitsanalysen
- 13:45, 23. Apr. 2021 Unterschied Versionen -34 Bytes KASTEL - Security-By-Design in vernetzten Infrastrukturen aktuell
- 13:44, 23. Apr. 2021 Unterschied Versionen -2 Bytes Entwurf komponierbarer Sicherheitsanalysen aktuell
- 13:41, 23. Apr. 2021 Unterschied Versionen +115 Bytes SDQ-Seminar/2021-05-10
- 08:58, 19. Okt. 2020 Unterschied Versionen -19 Bytes Generation of Formal Specifications for Smart Contracts from Architectural Specifications →Tasks
- 08:57, 19. Okt. 2020 Unterschied Versionen -35 Bytes Generation of Formal Specifications for Smart Contracts from Architectural Specifications →Motivation
- 10: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…“
- 11:11, 24. Jul. 2020 Unterschied Versionen +15 Bytes Generation of Formal Specifications for Smart Contracts from Architectural Specifications
- 16:49, 21. Jul. 2020 Unterschied Versionen +38 Bytes PCM Development/Palladio Concall →Agenda Suggestions
- 13:10, 22. Jun. 2020 Unterschied Versionen 0 Bytes Generation of Formal Specifications for Smart Contracts from Architectural Specifications
- 13:09, 22. Jun. 2020 Unterschied Versionen 0 Bytes Generation of Formal Specifications for Smart Contracts from Architectural Specifications
- 13: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…“
- 13:04, 22. Jun. 2020 Unterschied Versionen 0 Bytes N Datei:Generation of specifications for smartcontracts from architecture.pdf aktuell
- 09:14, 9. Dez. 2019 Unterschied Versionen +87 Bytes KASTEL - Security-By-Design in vernetzten Infrastrukturen
- 12: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
- 12:45, 2. Dez. 2019 Unterschied Versionen 0 Bytes N Datei:Parametrisierung.pdf aktuell
- 12: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
- 13:23, 24. Okt. 2019 Unterschied Versionen -14 Bytes Kopplungsansätze im Kontext statischer Sicherheitsanalysen
- 13:23, 24. Okt. 2019 Unterschied Versionen -16 Bytes Kompatibilität und Klassifikation statischer Sicherheitsanalysen
- 13: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
- 15:50, 26. Sep. 2019 Unterschied Versionen +1 Byte Vorlesung Programmierparadigmen WS19/20 →Internes aktuell
- 15:49, 26. Sep. 2019 Unterschied Versionen +130 Bytes Vorlesung Programmierparadigmen WS19/20 →Vorlesungsfolien und herunterladbare Inhalte
- 08: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 =…“
- 10: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…“