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:40, 5. Dez. 2025 Lars König Diskussion Beiträge erstellte die Seite Views in the Development of Cyber-Physical Systems (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit |betreuer=Kevin Feichtinger, Lars König |gruppe=DSiS |pdf=2025-12 BA Views-on-CPS.pdf }} == Motivation == Modern systems often combine hardware parts with functionality realized in software, and are therefore called ''Cyber-Physical Systems''. Examples of Cyber-Physical Systems are modern cars, production plants, medical devices, but also energy networks. What is common for them, is th…“)
• 16:36, 5. Dez. 2025 Benutzerkonto Kevin Kokowski Diskussion Beiträge wurde automatisch erstellt
• 16:34, 5. Dez. 2025 Lars König Diskussion Beiträge erstellte die Seite Datei:2025-12 BA Views-on-CPS.pdf
• 16:34, 5. Dez. 2025 Lars König Diskussion Beiträge lud Datei:2025-12 BA Views-on-CPS.pdf hoch
• 11:43, 5. Dez. 2025 Erik Burger Diskussion Beiträge änderte die Gruppenzugehörigkeit für Weixing Zhang von (–) zu sdq-employees
• 02:23, 5. Dez. 2025 Benutzerkonto Weixing Zhang Diskussion Beiträge wurde automatisch erstellt
• 19:56, 4. Dez. 2025 Benutzerkonto Till Heinrich Stratmann Diskussion Beiträge wurde automatisch erstellt
• 19:25, 4. Dez. 2025 Benutzerkonto Jannis Noel Rupp Diskussion Beiträge wurde automatisch erstellt
• 16:57, 4. Dez. 2025 Benedikt Jutz Diskussion Beiträge erstellte die Seite AI Planning for Consistency Repair (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit, Masterarbeit |betreuer=Benedikt Jutz, Bowen Jiang |gruppe=DSiS, MCSE |pdf=AIPlanningForConsistencyRepair.pdf }} == Motivation == The *Vitruvius* framework manages multiple models in a ''Virtual Single Underlying Model (V-SUM)''. ''Model Consistency'' is required to build software from these models. Therefore, Vitruvius maintains constructive, ''change-driven consistency'' by applying…“)
• 16:52, 4. Dez. 2025 Benedikt Jutz Diskussion Beiträge erstellte die Seite Datei:AIPlanningForConsistencyRepair.pdf
• 16:52, 4. Dez. 2025 Benedikt Jutz Diskussion Beiträge lud Datei:AIPlanningForConsistencyRepair.pdf hoch
• 09:54, 4. Dez. 2025 Erik Burger Diskussion Beiträge erstellte die Seite MediaWiki:Group-user.css (Die Seite wurde neu angelegt: „CSS an dieser Stelle wirkt sich nur auf angemeldete Benutzer aus: .anonymous-show { display: none !important; } div.user-show, p.user-show { display: block !important; } span.user-show, small.user-show { display: inline !important; } table.user-show { display: table !important; } li.user-show { display: list-item !important; }“)
• 09:41, 4. Dez. 2025 Erik Burger Diskussion Beiträge erstellte die Seite Miriam Boß (Die Seite wurde neu angelegt: „{{Person |vorname=Miriam |lastname=Boß |telefon=+49 721 608-45982 |email=boss@kit.edu |webpage=https://dsis.kastel.kit.edu/staff_miriam_boss.php |position=Doktorand }}“)
• 21:07, 3. Dez. 2025 Benutzerkonto Zhenqin Yang Diskussion Beiträge wurde automatisch erstellt
• 20:49, 2. Dez. 2025 Benutzerkonto Prasanth Vallam Ramesh Diskussion Beiträge wurde automatisch erstellt
• 10:58, 2. Dez. 2025 Benutzerkonto Riccardo Ciola Diskussion Beiträge wurde automatisch erstellt
• 11:55, 1. Dez. 2025 Benutzerkonto Bora Sarialtin Diskussion Beiträge wurde automatisch erstellt
• 09:29, 1. Dez. 2025 Nicolas Boltz Diskussion Beiträge erstellte die Seite PCM Development/Palladio Concall/Minutes 20251111 (Die Seite wurde neu angelegt: „==Participants== * Nicolas * Nils * Floriment * Steffen ==Stand-Up== No stand up because of small number of people. ==Discussion/ Agenda== * CostEfficiency used by other people from Ulm University? ** Floriment will get into contact with them. * Others should be reminded that meetings like these are mandatory for the ones associated with Palladio!“)
• 09:15, 1. Dez. 2025 Nicolas Sebastian Schuler Diskussion Beiträge erstellte die Seite Enhancing Trust in Neuro-Symbolic Explanations via Calibrated Linguistic Uncertainty (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Masterarbeit |betreuer=Nicolas Schuler, Vincenzo Scotti |gruppe=SASIS |pdf=Master Thesis Formalizing and Verifying LLM Based Abductive Reasoning for System Explanations-1.pdf }} Critical AI decision-making demands formally trustworthy explanations. Current neuro-symbolic pipelines use Multimodal Language Models (MLMs) to translate visual data into logic, but often discard valuable uncertainty by forcin…“)
• 09:15, 1. Dez. 2025 Nicolas Sebastian Schuler Diskussion Beiträge erstellte die Seite Datei:Master Thesis Formalizing and Verifying LLM Based Abductive Reasoning for System Explanations-1.pdf (Critical AI decision-making demands formally trustworthy explanations. Current neuro- symbolic pipelines use Multimodal Language Models (MLMs) to translate visual data into logic, but often discard valuable uncertainty by forcing binary decisions. While MLMs natu- rally express confidence through linguistic markers (e.g., ”likely”), these cues remain uncali- brated and unused in reasoning. This thesis aims to bridge this gap by extracting, calibrating, and propagating linguistic uncertainty int…)
• 09:15, 1. Dez. 2025 Nicolas Sebastian Schuler Diskussion Beiträge lud Datei:Master Thesis Formalizing and Verifying LLM Based Abductive Reasoning for System Explanations-1.pdf hoch (Critical AI decision-making demands formally trustworthy explanations. Current neuro- symbolic pipelines use Multimodal Language Models (MLMs) to translate visual data into logic, but often discard valuable uncertainty by forcing binary decisions. While MLMs natu- rally express confidence through linguistic markers (e.g., ”likely”), these cues remain uncali- brated and unused in reasoning. This thesis aims to bridge this gap by extracting, calibrating, and propagating linguistic uncertainty int…)
• 09:10, 1. Dez. 2025 Nicolas Sebastian Schuler Diskussion Beiträge erstellte die Seite Towards a Minimal Abductive Reasoning Layer for SASIS (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit |betreuer=Nicolas Schuler, Vincenzo Scotti |gruppe=SASIS |pdf=Bachelor Thesis Towards a Minimal Abductive Reasoning Layer for SASIS.pdf }} Abductive reasoning – inferring the most plausible cause from observed effects – is a pow- erful paradigm for tasks like fault diagnosis and explanation generation. However, classical logic programming tools like Prolog are cumbersome to integra…“)
• 09:08, 1. Dez. 2025 Nicolas Sebastian Schuler Diskussion Beiträge erstellte die Seite Datei:Bachelor Thesis Towards a Minimal Abductive Reasoning Layer for SASIS.pdf (Abductive reasoning – inferring the most plausible cause from observed effects – is a pow- erful paradigm for tasks like fault diagnosis and explanation generation. However, classical logic programming tools like Prolog are cumbersome to integrate into modern software sys- tems, and expertise in these tools is increasingly rare. This thesis explores whether a mini- mal, modular abductive reasoning layer can be designed that integrates easily with existing software engineering frameworks and met…)
• 09:08, 1. Dez. 2025 Nicolas Sebastian Schuler Diskussion Beiträge lud Datei:Bachelor Thesis Towards a Minimal Abductive Reasoning Layer for SASIS.pdf hoch (Abductive reasoning – inferring the most plausible cause from observed effects – is a pow- erful paradigm for tasks like fault diagnosis and explanation generation. However, classical logic programming tools like Prolog are cumbersome to integrate into modern software sys- tems, and expertise in these tools is increasingly rare. This thesis explores whether a mini- mal, modular abductive reasoning layer can be designed that integrates easily with existing software engineering frameworks and met…)
• 14:27, 30. Nov. 2025 Benutzerkonto Niklas Lerchenmüller Diskussion Beiträge wurde automatisch erstellt
• 20:47, 29. Nov. 2025 Benutzerkonto Aleksandra Kotliarevskaia Diskussion Beiträge wurde automatisch erstellt
• 17:38, 29. Nov. 2025 Benutzerkonto Elif Ipek Ilan Diskussion Beiträge wurde automatisch erstellt
• 12:01, 29. Nov. 2025 Benutzerkonto Kelly Aurellia Diskussion Beiträge wurde automatisch erstellt
• 17:54, 27. Nov. 2025 Erik Burger Diskussion Beiträge erstellte die Seite Kategorie:Professor (Die Seite wurde neu angelegt: „Kategorie:Mitarbeiter“)
• 17:34, 27. Nov. 2025 Erik Burger Diskussion Beiträge erstellte die Seite Attribut:Moderierender Postdoc (Erstellte ein Attribut des Datentyps Seite.)
• 17:30, 27. Nov. 2025 Erik Burger Diskussion Beiträge erstellte die Seite Kategorie:Postdoc (Die Seite wurde neu angelegt: „Kategorie:Mitarbeiter“)
• 15:10, 27. Nov. 2025 Lin Cui Diskussion Beiträge löschte die Seite OSCTI-driven Security Assessment for Self-Adaptive Systems (Inhalt war: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Masterarbeit |betreuer=Lin Cui, Raffaela Mirandola |gruppe=SASIS |bild=Architecture of SAS.jpg |pdf=Master_Security Assessment_for_SAS.pdf }} == Motivation == Self-adaptive systems (SAS) are designed to autonomously adjust their behavior in response to dynamic changes in external environments or internal system states. Their i…“. Einziger Bearbeiter: Nd1524 (Diskussion))
• 15:08, 27. Nov. 2025 Lin Cui Diskussion Beiträge löschte die Seite Integrating OSCTI into Self-adaptive Systems (Inhalt war: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit |betreuer=Lin Cui, Raffaela Mirandola |gruppe=SASIS |pdf=Bachelor OSCTI for SAS develpment.pdf }} ==Motivation== Self-adaptive systems (SAS) are designed to autonomously adjust their behavior in response to dynamic changes in external environments or internal system states. Their interaction with unpredictable, o…“. Einziger Bearbeiter: Nd1524 (Diskussion))
• 11:06, 27. Nov. 2025 Benutzerkonto Martin Krüger Diskussion Beiträge wurde automatisch erstellt
• 17:59, 25. Nov. 2025 Benutzerkonto Anuschka Beneke Diskussion Beiträge wurde automatisch erstellt
• 20:26, 24. Nov. 2025 Benutzerkonto Annika Thiele Diskussion Beiträge wurde automatisch erstellt
• 19:33, 24. Nov. 2025 Benutzerkonto Tianhai Liu Diskussion Beiträge wurde automatisch erstellt
• 18:57, 24. Nov. 2025 Benutzerkonto Anıl Hiçyılmaz Diskussion Beiträge wurde automatisch erstellt
• 14:18, 23. Nov. 2025 Benutzerkonto Tim Ullmann Diskussion Beiträge wurde automatisch erstellt
• 11:53, 20. Nov. 2025 Benutzerkonto Frederik Alexander Grünhage Diskussion Beiträge wurde automatisch erstellt
• 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
• 13:53, 19. Nov. 2025 Benutzerkonto Yannik Schmid Diskussion Beiträge wurde automatisch erstellt
• 10:56, 19. Nov. 2025 Benutzerkonto Tara Valdman Diskussion Beiträge wurde automatisch erstellt
• 18:32, 18. Nov. 2025 Martin Armbruster Diskussion Beiträge erstellte die Seite Datei:WinterDay2025.png
• 18:32, 18. Nov. 2025 Martin Armbruster Diskussion Beiträge lud Datei:WinterDay2025.png hoch
• 11:00, 17. Nov. 2025 Benutzerkonto Marcel Buchholz Diskussion Beiträge wurde automatisch erstellt
• 10:40, 17. Nov. 2025 Benutzerkonto Beyza Atanur Yaman Diskussion Beiträge wurde automatisch erstellt
• 14:14, 13. Nov. 2025 Benutzerkonto Ian Plate Diskussion Beiträge wurde automatisch erstellt