Benutzerbeiträge von „Dv9597“
5. Januar 2024
- 15:5215:52, 5. Jan. 2024 Unterschied Versionen −220 Bytes SDQ-Proposal-Seminar/2024-01-15 Keine Bearbeitungszusammenfassung
18. September 2023
- 11:1511:15, 18. Sep. 2023 Unterschied Versionen −194 Bytes SDQ-Seminar/2023-09-25 Keine Bearbeitungszusammenfassung aktuell
16. August 2023
- 08:2808:28, 16. Aug. 2023 Unterschied Versionen −2 Bytes Explorative Umsetzung einer iterativen Analysekopplung im Kontext von Software Security Keine Bearbeitungszusammenfassung aktuell
- 08:2708:27, 16. Aug. 2023 Unterschied Versionen +95 Bytes SDQ-Seminar/2023-09-25 Keine Bearbeitungszusammenfassung
19. Juli 2023
- 14:4714:47, 19. Jul. 2023 Unterschied Versionen +9 Bytes SDQ-Seminar/2023-09-25 Keine Bearbeitungszusammenfassung
- 14:4714:47, 19. Jul. 2023 Unterschied Versionen +267 Bytes N SDQ-Seminar/2023-09-25 Die Seite wurde neu angelegt: „{{Proposalvortrag |vortragender=Jonas Lehmann |typ=Masterarbeit |betreuer=dv9597 }} {{SDQ-Seminar |startdatum=2023-09-25T11:30:00.000Z |enddatum=2023-09-25T13:00:00.000Z |ort=Gebäude 50.34, Raum 348 |web=https://sdq.kastel.kit.edu/wiki/SDQ-Seminar/Microsoft_Teams }}“
11. Juli 2023
- 14:4514:45, 11. Jul. 2023 Unterschied Versionen +75 Bytes PCM Development/Palladio Concall →Concall minutes
- 14:4314:43, 11. Jul. 2023 Unterschied Versionen +3.839 Bytes N PCM Development/Palladio Concall/Minutes 20230711 Die Seite wurde neu angelegt: „== Participants == * Martina Rapp-Sieger * Nicolas Boltz * Maximilian Walter * Steffen Becker * Floriment Klinaku * Sebastian Weber * Sebastian Hahner * Larissa Schmid * Snigdha Singh * Yves Kirschner * Frederik Reiche == Standup == * Nicolas, Larissa ** Built, supported by research assistance, new version of pipeline etc. ** Preparation SSP and Palladio Dev Meeting * Maximilian: Not much done, writing thesis, written tool paper for Dataflow analys…“ aktuell
6. Juni 2023
- 15:1215:12, 6. Jun. 2023 Unterschied Versionen +14 Bytes Lerngruppe/2023-10-11 Keine Bearbeitungszusammenfassung aktuell
29. März 2023
- 16:5716:57, 29. Mär. 2023 Unterschied Versionen +59 Bytes Modellierung von Angriffen für quantitative Sicherheitsanalysen →Aufgabe
- 16:5616:56, 29. Mär. 2023 Unterschied Versionen +45 Bytes N Datei:Probabilisitc AttackTree.png Keine Bearbeitungszusammenfassung aktuell
- 16:5416:54, 29. Mär. 2023 Unterschied Versionen +11 Bytes Modellierung von Angriffen für quantitative Sicherheitsanalysen Keine Bearbeitungszusammenfassung
- 16:5416:54, 29. Mär. 2023 Unterschied Versionen +1.868 Bytes N Modellierung von Angriffen für quantitative Sicherheitsanalysen Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Masterarbeit |betreuer=Frederik Reiche, Florian Lanzinger |bild=KASTEL-Logo_1000.png }} Hintergrund: Die…“
10. Januar 2023
- 16:2216:22, 10. Jan. 2023 Unterschied Versionen +1 Byte PCM Development/Palladio Concall/Minutes 20230110 →Minutes aktuell
- 16:2216:22, 10. Jan. 2023 Unterschied Versionen +100 Bytes PCM Development/Palladio Concall/Minutes 20230110 →Minutes
- 15:5715:57, 10. Jan. 2023 Unterschied Versionen +75 Bytes PCM Development/Palladio Concall →Concall minutes
- 15:5715:57, 10. Jan. 2023 Unterschied Versionen +684 Bytes N PCM Development/Palladio Concall/Minutes 20230110 Die Seite wurde neu angelegt: „== Participants == * Larissa Schmid (LS) * Maximilian Walter * Daniel Zimmermann * Yves Kirschner * Sarah Stieß * Nicolas Boltz (NB) * Steffen Becker * Ann…“
4. Januar 2023
- 10:5910:59, 4. Jan. 2023 Unterschied Versionen +242 Bytes SDQ-Seminar/2023-01-09 Keine Bearbeitungszusammenfassung
6. Dezember 2022
- 18:0018:00, 6. Dez. 2022 Unterschied Versionen +35 Bytes Explorative Umsetzung einer iterativen Analysekopplung im Kontext von Software Security Keine Bearbeitungszusammenfassung
- 18:0018:00, 6. Dez. 2022 Unterschied Versionen 0 Bytes N Datei:Aushang IterativeKopplung.pdf Keine Bearbeitungszusammenfassung aktuell
- 15:3715:37, 6. Dez. 2022 Unterschied Versionen 0 Bytes N Datei:Ausschreibung IterativeKopplungansätze.pdf Keine Bearbeitungszusammenfassung aktuell
- 14:0914:09, 6. Dez. 2022 Unterschied Versionen −126 Bytes SDQ-Seminar/2022-12-12 Keine Bearbeitungszusammenfassung aktuell
28. November 2022
- 10:4110:41, 28. Nov. 2022 Unterschied Versionen +130 Bytes SDQ-Seminar/2023-01-09 Keine Bearbeitungszusammenfassung
16. November 2022
- 17:2317:23, 16. Nov. 2022 Unterschied Versionen +244 Bytes N SDQ-Seminar/2022-12-12 Die Seite wurde neu angelegt: „{{Proposalvortrag |vortragender=Simeon Becker |typ=Bachelorarbeit |betreuer=Frederik Reiche, Thomas Weber |sprache=Deutsch }} {{SDQ-Seminar |startdatum=2022-12…“
31. Oktober 2022
- 09:5609:56, 31. Okt. 2022 Unterschied Versionen −2 Bytes Konsistenzhaltung von Eingabemodellen für Architektur- und Code-basierte, statische Sicherheitsanalysen Keine Bearbeitungszusammenfassung aktuell
9. August 2022
- 14:3814:38, 9. Aug. 2022 Unterschied Versionen −11 Bytes PCM Development/Team →Team member assignment to development topics
- 14:3614:36, 9. Aug. 2022 Unterschied Versionen +11 Bytes PCM Development/Team →Team member assignment to development topics
- 11:5311:53, 9. Aug. 2022 Unterschied Versionen +42 Bytes PCM Development/Palladio Concall →Agenda Suggestions
14. Juli 2022
- 08:5408:54, 14. Jul. 2022 Unterschied Versionen +10 Bytes PCM Development/Team →Team member assignment to development topics
27. Juni 2022
- 11:5311:53, 27. Jun. 2022 Unterschied Versionen −1 Byte Explorative Umsetzung einer iterativen Analysekopplung im Kontext von Software Security Keine Bearbeitungszusammenfassung
- 11:5211:52, 27. Jun. 2022 Unterschied Versionen +2.697 Bytes N Explorative Umsetzung einer iterativen Analysekopplung im Kontext von Software Security Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Masterarbeit |betreuer=Frederik Reiche |bild=KASTEL-Logo_1000.png }} == Motivation == Statische Sicherhe…“
24. Juni 2022
- 11:1311:13, 24. Jun. 2022 Unterschied Versionen −20 Bytes SDQ-Seminar/2022-07-11 Keine Bearbeitungszusammenfassung
- 11:1311:13, 24. Jun. 2022 Unterschied Versionen +257 Bytes SDQ-Seminar/2022-07-11 Keine Bearbeitungszusammenfassung
- 11:1311:13, 24. Jun. 2022 Unterschied Versionen −237 Bytes SDQ-Seminar/2022-06-27 Keine Bearbeitungszusammenfassung
23. Juni 2022
- 14:5814:58, 23. Jun. 2022 Unterschied Versionen −2 Bytes Parametrisierung statischer Analysen im Kontext der Softwaresicherheit Keine Bearbeitungszusammenfassung aktuell
20. Juni 2022
- 09:5209:52, 20. Jun. 2022 Unterschied Versionen +144 Bytes SDQ-Seminar/2022-06-27 Keine Bearbeitungszusammenfassung
20. Mai 2022
- 14:5614:56, 20. Mai 2022 Unterschied Versionen −2 Bytes Kopplung von statischen Architekturanalysen und musterbasierten Quelltextanalysen in der Domäne der Softwaresicherheit Keine Bearbeitungszusammenfassung aktuell
- 14:5314:53, 20. Mai 2022 Unterschied Versionen +93 Bytes SDQ-Seminar/2022-06-27 Keine Bearbeitungszusammenfassung
16. März 2022
- 10:5510: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:4910: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:4910: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 ==…“
9. Februar 2022
- 08:2008: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
16. November 2021
- 13:4313: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…“
12. November 2021
- 11:2011:20, 12. Nov. 2021 Unterschied Versionen +1.485 Bytes Lesegruppe/2020-11-17 Keine Bearbeitungszusammenfassung aktuell
22. Juni 2021
- 12:4912:49, 22. Jun. 2021 Unterschied Versionen +17 Bytes SDQ-Seminar/2021-07-12 Keine Bearbeitungszusammenfassung aktuell
- 12:4912:49, 22. Jun. 2021 Unterschied Versionen +193 Bytes SDQ-Seminar/2021-07-12 Keine Bearbeitungszusammenfassung
31. Mai 2021
- 14:2314:23, 31. Mai 2021 Unterschied Versionen −2 Bytes Generation of Formal Specifications for Smart Contracts from Architectural Specifications Keine Bearbeitungszusammenfassung aktuell
6. Mai 2021
- 08:0708:07, 6. Mai 2021 Unterschied Versionen +100 Bytes SDQ-Seminar/2021-05-10 Keine Bearbeitungszusammenfassung aktuell
26. April 2021
- 13:3613:36, 26. Apr. 2021 Unterschied Versionen −2 Bytes Kopplungsansätze im Kontext statischer Sicherheitsanalysen Keine Bearbeitungszusammenfassung aktuell
- 13:3613: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