Letzte Änderungen
Auf dieser Seite kannst du die letzten Änderungen in diesem Wiki nachverfolgen.
Liste von Abkürzungen:
- N
- Neue Seite (siehe auch die Liste neuer Seiten)
- K
- Kleine Änderung
- B
- Änderung durch einen Bot
- (±123)
- Die Änderung der Seitengröße in Bytes
5. Dezember 2025
| 11:43 | Rechte-Logbuch Erik Burger Diskussion Beiträge änderte die Gruppenzugehörigkeit für Weixing Zhang von (–) zu sdq-employees | ||||
| 10:32 | AI Planning for Consistency Repair UnterschiedVersionen −2 Benedikt Jutz Diskussion Beiträge | ||||
4. Dezember 2025
| 18:06 | SDQ Winter Day UnterschiedVersionen +10 Martin Armbruster Diskussion Beiträge | ||||
| N 16:57 | AI Planning for Consistency Repair UnterschiedVersionen +1.594 Benedikt Jutz Diskussion Beiträge (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 | Datei-Logbuch Benedikt Jutz Diskussion Beiträge lud Datei:AIPlanningForConsistencyRepair.pdf hoch | ||||
| 16:29 | Views on Cyber-Physical Systems: Example Case UnterschiedVersionen −2 Lars König Diskussion Beiträge | ||||
|
|
10:19 | SDQ-Proposal-Seminar 2 Änderungen Versionsgeschichte +28 [Erik Burger (2×)] | |||
|
|
10:19 (Aktuell | Vorherige) +30 Erik Burger Diskussion Beiträge | ||||
|
|
10:18 (Aktuell | Vorherige) −2 Erik Burger Diskussion Beiträge | ||||
| 10:18 | Vorlage:SDQ-Seminar-Eintrag UnterschiedVersionen +29 Erik Burger Diskussion Beiträge | ||||
| 10:16 | Vorlage:SDQ-Seminar UnterschiedVersionen +29 Erik Burger Diskussion Beiträge | ||||
|
|
10:14 | MediaWiki:Common.css 2 Änderungen Versionsgeschichte +320 [Erik Burger (2×)] | |||
|
|
10:14 (Aktuell | Vorherige) +4 Erik Burger Diskussion Beiträge | ||||
|
|
10:13 (Aktuell | Vorherige) +316 Erik Burger Diskussion Beiträge | ||||
| N 09:54 | MediaWiki:Group-user.css UnterschiedVersionen +343 Erik Burger Diskussion Beiträge (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; }“) | ||||
|
|
N 09:42 | Miriam Boß 2 Änderungen Versionsgeschichte +170 [Erik Burger (2×)] | |||
|
|
09:42 (Aktuell | Vorherige) +2 Erik Burger Diskussion Beiträge | ||||
| N |
|
09:41 (Aktuell | Vorherige) +168 Erik Burger Diskussion Beiträge (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 }}“) | |||
|
|
09:40 | SDQ-Proposal-Seminar/2025-12-08 2 Änderungen Versionsgeschichte +21 [Erik Burger (2×)] | |||
|
|
09:40 (Aktuell | Vorherige) −12 Erik Burger Diskussion Beiträge | ||||
|
|
09:40 (Aktuell | Vorherige) +33 Erik Burger Diskussion Beiträge | ||||
3. Dezember 2025
|
|
20:58 | LLM-based Architecture Design Decision Analysis for Software Evolution 2 Änderungen Versionsgeschichte +48 [Dominik Fuchß (2×)] | |||
|
|
20:58 (Aktuell | Vorherige) −2 Dominik Fuchß Diskussion Beiträge | ||||
|
|
20:58 (Aktuell | Vorherige) +50 Dominik Fuchß Diskussion Beiträge Markierung: Manuelle Zurücksetzung | ||||
| 20:58 | The Structure of Design Argumentations in Code Changes UnterschiedVersionen +50 Dominik Fuchß Diskussion Beiträge | ||||
| 17:06 | SDQ-Proposal-Seminar/2025-12-08 UnterschiedVersionen +49 Maximilian Hummel Diskussion Beiträge | ||||
| 09:54 | LLM-basierte Klassifikation von Quelltextelementen hinsichtlich ihrer Anliegen UnterschiedVersionen −2 Tobias Hey Diskussion Beiträge | ||||
2. Dezember 2025
1. Dezember 2025
| 10:57 | SDQ-Proposal-Seminar/2025-12-01 UnterschiedVersionen +20 Erik Burger Diskussion Beiträge | ||||
|
|
09:37 | PCM Development/Palladio Concall 2 Änderungen Versionsgeschichte +140 [Nicolas Boltz (2×)] | |||
|
|
09:37 (Aktuell | Vorherige) +65 Nicolas Boltz Diskussion Beiträge | ||||
|
|
09:27 (Aktuell | Vorherige) +75 Nicolas Boltz Diskussion Beiträge (→Concall minutes) Markierung: Visuelle Bearbeitung: Gewechselt | ||||
| N 09:29 | PCM Development/Palladio Concall/Minutes 20251111 UnterschiedVersionen +351 Nicolas Boltz Diskussion Beiträge (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!“) | ||||
|
|
N 09:17 | Enhancing Trust in Neuro-Symbolic Explanations via Calibrated Linguistic Uncertainty 2 Änderungen Versionsgeschichte +1.523 [Nicolas Sebastian Schuler (2×)] | |||
|
|
09:17 (Aktuell | Vorherige) +691 Nicolas Sebastian Schuler Diskussion Beiträge | ||||
| N |
|
09:15 (Aktuell | Vorherige) +832 Nicolas Sebastian Schuler Diskussion Beiträge (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 | (Datei-Logbuch) [Nicolas Sebastian Schuler (2×)] | |||
|
|
09:15 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:08 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…) | ||||
|
|
N 09:12 | Towards a Minimal Abductive Reasoning Layer for SASIS 2 Änderungen Versionsgeschichte +1.476 [Nicolas Sebastian Schuler (2×)] | |||
|
|
09:12 (Aktuell | Vorherige) +586 Nicolas Sebastian Schuler Diskussion Beiträge | ||||
| N |
|
09:10 (Aktuell | Vorherige) +890 Nicolas Sebastian Schuler Diskussion Beiträge (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…“) | |||