Alle öffentlichen Logbücher

Dies ist die kombinierte Anzeige aller in SDQ-Wiki geführten Logbücher. Die Ausgabe kann durch die Auswahl des Logbuchtyps, des Benutzers oder des Seitentitels eingeschränkt werden (Groß-/Kleinschreibung muss beachtet werden).

• 16:10, 19. Nov. 2025 Dominik Fuchß Diskussion Beiträge verschob die Seite Weiterentwicklung des ARDoCo-Frameworks für fortgeschrittene Traceability- & Konsistenzanalyse nach Weiterentwicklung des ARDoCo-Frameworks für Traceability Link Recovery & Konsistenzanalyse
• 16:09, 19. Nov. 2025 Dominik Fuchß Diskussion Beiträge verschob die Seite Enhancement & Maintenance of the ARDoCo Framework for Traceability and Consistency Analysis nach Weiterentwicklung des ARDoCo-Frameworks für fortgeschrittene Traceability- & Konsistenzanalyse
• 16:04, 19. Nov. 2025 Dominik Fuchß Diskussion Beiträge verschob die Seite Weiterentwicklung und Wartung des Traceability Link Recovery-Ansatzes ArDoCo (inkl. CI/CD) nach Enhancement & Maintenance of the ARDoCo Framework for Traceability and Consistency Analysis
• 09:35, 13. Nov. 2025 Dominik Fuchß Diskussion Beiträge erstellte die Seite RE 2026 (Die Seite wurde neu angelegt: „{{Conference |eventtype=Conference |city=Montréal |abstract=2026/02/16 |submission=2026/02/23 |notification=2026/05/08 |date=2026/08/17 |proceedings=IEEE |webpage=https://conf.researchr.org/home/RE-2026 |series=RE Conference }}“)
• 09:38, 10. Nov. 2025 Dominik Fuchß Diskussion Beiträge löschte die Seite Datei:LLM Assisted Formal Verification.pdf (alte Version 20251110083839!LLM_Assisted_Formal_Verification.pdf gelöscht)
• 09:38, 10. Nov. 2025 Dominik Fuchß Diskussion Beiträge lud eine neue Version von Datei:LLM Assisted Formal Verification.pdf hoch
• 09:35, 10. Nov. 2025 Dominik Fuchß Diskussion Beiträge erstellte die Seite Building a Benchmark for LLM-assisted Formal Verification (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit |betreuer=Dominik Fuchß, Tobias Hey |gruppe=MCSE |pdf=LLM Assisted Formal Verification.pdf }}“)
• 09:35, 10. Nov. 2025 Dominik Fuchß Diskussion Beiträge lud Datei:LLM Assisted Formal Verification.pdf hoch
• 09:35, 10. Nov. 2025 Dominik Fuchß Diskussion Beiträge erstellte die Seite Datei:LLM Assisted Formal Verification.pdf
• 23:11, 4. Jul. 2025 Dominik Fuchß Diskussion Beiträge erstellte die Seite Ausschreibungen/Webseite/Assistants (Die Seite wurde neu angelegt: „==Student Assistants== {{#ask: Category:AusschreibungCategory:HilfskräfteCategory:MCSEBearbeitet::false | mainlabel=Thema | ?Betreuer | default=Derzeit keine Ausschreibungen | sort=Modification date | order=descending }}“)
• 12:29, 3. Jul. 2025 Dominik Fuchß Diskussion Beiträge erstellte die Seite Ausschreibungen/Webseite/Dominik Fuchss (Die Seite wurde neu angelegt: „== Bachelor’s Theses == {{#ask: Category:AusschreibungCategory:BachelorarbeitBearbeitet::falseBetreuer::Dominik Fuchß | mainlabel=Topic | headers=plain | link=none | ?Betreuer=Supervisors | ?Modification date#ISO=Created | default=Currently no offers | sort=Modification date | order=descending | format=plainlist | introtemplate=Ausschreibungen/Webseite/Intro | outrotemplate=Ausschreibungen/Webseite/Outro | template=Ausschreibungen/Webse…“)
• 12:14, 3. Jul. 2025 Dominik Fuchß Diskussion Beiträge erstellte die Seite Ausschreibungen/Webseite/ArDoCo (Die Seite wurde neu angelegt: „== Bachelor’s Theses == {{#ask: Category:AusschreibungCategory:BachelorarbeitBearbeitet::false|Dominik Fuchß||Sophie Corallo||Tobias Hey||Haoyu Liu | mainlabel=Topic | headers=plain | link=none | ?Betreuer=Supervisors | ?Modification date#ISO=Created | default=Currently no offers | sort=Modification date | order=descending | format=plainlist | introtemplate=Ausschreibungen/Webseite/Intro | outrotemplate=Ausschreibunge…“)
• 12:13, 3. Jul. 2025 Dominik Fuchß Diskussion Beiträge erstellte die Seite Ausschreibungen/Webseite/MCSE (Die Seite wurde neu angelegt: „== Bachelor’s Theses == {{#ask: Category:AusschreibungCategory:BachelorarbeitCategory:MCSEBearbeitet::false | mainlabel=Topic | headers=plain | link=none | ?Betreuer=Supervisors | ?Modification date#ISO=Created | default=Currently no offers | sort=Modification date | order=descending | format=plainlist | introtemplate=Ausschreibungen/Webseite/Intro | outrotemplate=Ausschreibungen/Webseite/Outro | template=Ausschreibungen/Webseite | named…“)
• 12:52, 2. Jul. 2025 Dominik Fuchß Diskussion Beiträge verschob die Seite Auto-Open Login Page nach Monkey Scripts
• 10:39, 24. Jun. 2025 Dominik Fuchß Diskussion Beiträge erstellte die Seite SDQ-Proposal-Seminar/2025-07-14 (Die Seite wurde neu angelegt: „{{SDQ-Seminar |startdatum=2025-07-14T11:30:00.000Z |enddatum=2025-07-14T13:00:00.000Z |ort=Gebäude 50.34, Raum 348 }}“)
• 00:02, 5. Feb. 2025 Dominik Fuchß Diskussion Beiträge erstellte die Seite ICSA 2025 (Die Seite wurde neu angelegt: „{{Conference |eventtype=Conference |city=Odense |date=2025/03/31 |proceedings=IEEE |webpage=https://conf.researchr.org/home/icsa-2025 |series=ICSA }}“)
• 12:51, 26. Nov. 2024 Dominik Fuchß Diskussion Beiträge erstellte die Seite Exploring RAG and Context Information for Trace Link Recovery (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Masterarbeit |gruppe=MCSE |pdf=RAG Context.pdf }}“)
• 12:51, 26. Nov. 2024 Dominik Fuchß Diskussion Beiträge lud Datei:RAG Context.pdf hoch
• 12:51, 26. Nov. 2024 Dominik Fuchß Diskussion Beiträge erstellte die Seite Datei:RAG Context.pdf
• 12:50, 26. Nov. 2024 Dominik Fuchß Diskussion Beiträge erstellte die Seite Exploring RAG and Prompt Engineering for Trace Link Recovery (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit |betreuer=Dominik Fuchß |gruppe=MCSE |pdf=RAG PromptEngineering.pdf }}“)
• 12:50, 26. Nov. 2024 Dominik Fuchß Diskussion Beiträge lud Datei:RAG PromptEngineering.pdf hoch
• 12:50, 26. Nov. 2024 Dominik Fuchß Diskussion Beiträge erstellte die Seite Datei:RAG PromptEngineering.pdf
• 15:49, 5. Sep. 2024 Dominik Fuchß Diskussion Beiträge erstellte die Seite VDL (Weiterleitung nach Virtual Design Lab Server erstellt) Markierung: Neue Weiterleitung
• 14:55, 21. Jun. 2024 Dominik Fuchß Diskussion Beiträge löschte die Seite Lerngruppe/2024-09-11 (No Lectures)
• 11:30, 13. Mai 2024 Dominik Fuchß Diskussion Beiträge erstellte die Seite Virtual Design Lab Server (Die Seite wurde neu angelegt: „The Virtual Design Lab Server and its services is available at https://vdl.sdq.kastel.kit.edu == Jupyter Hub == You can find a Jupyter Hub instance at https://vdl.sdq.kastel.kit.edu. === New Accounts === # Register at https://vdl.sdq.kastel.kit.edu/hub/signup # Get authorized by an employee of SDQ. == Ollama == We have a hosted version of [https://ollama.com/ Ollama] that is available at https://ollama.vdl.sdq.kastel.kit.edu/ In order to access the in…“)
• 15:19, 24. Okt. 2023 Dominik Fuchß Diskussion Beiträge erstellte die Seite SDQ-Proposal-Seminar/2023-12-04 (Die Seite wurde neu angelegt: „{{SDQ-Seminar |startdatum=2023-12-04T11:30:00.000Z |enddatum=2023-12-04T13:00:00.000Z |ort=Gebäude 50.34, Raum 348 }}“)
• 13:19, 14. Sep. 2023 Dominik Fuchß Diskussion Beiträge erstellte die Seite Matrix (Die Seite wurde neu angelegt: „Matrix is a decentralized direct messaging service. An instance is hosted by KIT at [http://matrix.scc.kit.edu matrix.scc.kit.edu]. Each employee has a user name depending on the abbreviation, which is structured as follows: @ab1234:kit.edu This abbreviation is analogous to an e-mail address. If you want to communicate with people, you have to enter this address. = Important Links = * [https://docs.matrix.kit.edu/ KIT FAQ] * [https://element.matrix.kit.…“)
• 13:26, 16. Nov. 2022 Dominik Fuchß Diskussion Beiträge verschob die Seite Erkennen von Entitäten in SW-Dokumentation durch Diagramme nach Entitätserkennung in SW-Dokumentationen durch Diagramme (Umbennenun)
• 13:26, 16. Nov. 2022 Dominik Fuchß Diskussion Beiträge lud eine neue Version von Datei:Entitaeten NLD 2022.pdf hoch
• 13:24, 16. Nov. 2022 Dominik Fuchß Diskussion Beiträge lud eine neue Version von Datei:Entitaeten NLD 2022.pdf hoch
• 13:22, 16. Nov. 2022 Dominik Fuchß Diskussion Beiträge lud eine neue Version von Datei:Entitaeten NLD 2022.pdf hoch
• 13:21, 16. Nov. 2022 Dominik Fuchß Diskussion Beiträge lud eine neue Version von Datei:Entitaeten NLD 2022.pdf hoch
• 13:17, 16. Nov. 2022 Dominik Fuchß Diskussion Beiträge erstellte die Seite Erkennen von Entitäten in SW-Dokumentation durch Diagramme (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit |betreuer=Dominik Fuchß |pdf=Entitaeten NLD 2022.pdf }} Natürlichsprachliche Dokumentati…“)
• 13:17, 16. Nov. 2022 Dominik Fuchß Diskussion Beiträge lud Datei:Entitaeten NLD 2022.pdf hoch
• 13:17, 16. Nov. 2022 Dominik Fuchß Diskussion Beiträge erstellte die Seite Datei:Entitaeten NLD 2022.pdf
• 13:15, 16. Nov. 2022 Dominik Fuchß Diskussion Beiträge lud Datei:Entitaeten SWD 2022.pdf hoch
• 13:15, 16. Nov. 2022 Dominik Fuchß Diskussion Beiträge erstellte die Seite Datei:Entitaeten SWD 2022.pdf
• 16:19, 7. Nov. 2022 Dominik Fuchß Diskussion Beiträge erstellte die Seite Lerngruppe/2022-11-23 (Die Seite wurde neu angelegt: „{{Lerngruppe |startdatum=2022-11-23T14:00:00.000Z |enddatum=2022-11-23T15:00:00.000Z |ort=Gebäude 50.34, Raum 333 |vortragender=Dominik Fuchß |titel=Matrix,…“)
• 11:05, 9. Aug. 2021 Dominik Fuchß Diskussion Beiträge erstellte die Seite Dominik Fuchss (Weiterleitung nach Dominik Fuchß erstellt) Markierung: Neue Weiterleitung
• 14:38, 22. Jul. 2021 Dominik Fuchß Diskussion Beiträge erstellte die Seite SDQ-Seminar/2021-08-23 (Die Seite wurde neu angelegt: „{{SDQ-Seminar |startdatum=2021/08/23 12:00 |enddatum=2021/08/23 13:30 |ort=MS Teams }} MS Teams: Siehe https://sdqweb.ipd.kit.edu/wiki/SDQ-Seminar/Microsoft_Teams“)
• 08:40, 26. Apr. 2021 Dominik Fuchß Diskussion Beiträge lud Datei:Aushang RCNN BA.pdf hoch
• 09:01, 10. Dez. 2020 Benutzerkonto Dominik Fuchß Diskussion Beiträge wurde automatisch erstellt