Dateiliste
Diese Spezialseite listet alle hochgeladenen Dateien auf.
| Datum | Name | Vorschaubild | Größe | Benutzer | Beschreibung | Versionen |
|---|---|---|---|---|---|---|
| 16:52, 4. Dez. 2025 | AIPlanningForConsistencyRepair.pdf (Datei) |  |
352 KB | Benedikt Jutz | 1 | |
| 09:15, 1. Dez. 2025 | Master Thesis Formalizing and Verifying LLM Based Abductive Reasoning for System Explanations-1.pdf (Datei) | |
38 KB | Nicolas Sebastian Schuler | 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… | 1 |
| 09:08, 1. Dez. 2025 | Bachelor Thesis Towards a Minimal Abductive Reasoning Layer for SASIS.pdf (Datei) | |
38 KB | Nicolas Sebastian Schuler | 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… | 1 |
| 18:32, 18. Nov. 2025 | WinterDay2025.png (Datei) |  |
607 KB | Martin Armbruster | 1 | |
| 10:11, 11. Nov. 2025 | Offer Student Assistant NeoJoin.pdf (Datei) | |
144 KB | Lars König | 2 | |
| 09:59, 11. Nov. 2025 | Neojoin-qrcode.png (Datei) |  |
119 KB | Lars König | 1 | |
| 09:38, 10. Nov. 2025 | LLM Assisted Formal Verification.pdf (Datei) | |
227 KB | Dominik Fuchß | 1 | |
| 14:15, 8. Nov. 2025 | Announcement.pdf (Datei) | |
989 KB | Ralf Sieger | Aushang | 1 |
| 08:47, 13. Okt. 2025 | ReqForm.pdf (Datei) | |
53 KB | Tobias Hey | 1 | |
| 08:35, 13. Okt. 2025 | LLMFormVer Context.pdf (Datei) | |
53 KB | Tobias Hey | 1 | |
| 06:57, 8. Okt. 2025 | IObserveAusschreibung.pdf (Datei) | |
999 KB | Nicolas Boltz | 1 | |
| 16:20, 23. Sep. 2025 | Aushang Abschlussarbeit Threat Modeling for xDECAF.pdf (Datei) | |
1,63 MB | Nicolas Boltz | 3 | |
| 15:47, 8. Sep. 2025 | Aushang Abschlussarbeit NatürlichsprachigeAnalyseergebnisse (1).pdf (Datei) | |
1,64 MB | Nicolas Boltz | 1 | |
| 13:19, 30. Jul. 2025 | 2025-07 MA Consistency Components.pdf (Datei) | |
309 KB | Lars König | 1 | |
| 13:10, 30. Jul. 2025 | 2025-07 BA NeoJoin Example Case.pdf (Datei) | |
309 KB | Lars König | 1 | |
| 08:46, 7. Jul. 2025 | ReqClass Fine-tuning vs Prompting.pdf (Datei) | |
54 KB | Tobias Hey | 1 | |
| 07:55, 2. Jul. 2025 | Aushang CIPM.pdf (Datei) | |
1.001 KB | Martin Armbruster | 1 | |
| 20:14, 1. Jul. 2025 | Aushang cipm 2025-06-30.pdf (Datei) | |
1,94 MB | Martin Armbruster | 1 | |
| 09:19, 24. Jun. 2025 | 6be1aacf-5734-41a8-82d3-c6e1029c6575.png (Datei) |  |
2,31 MB | Vincenzo Scotti | 1 | |
| 09:19, 24. Jun. 2025 | LLM4SAS M Sc Thesis Proposal.pdf (Datei) | |
2,24 MB | Vincenzo Scotti | 1 | |
| 10:56, 22. Mai 2025 | ContextPropagation MB.pdf (Datei) | |
81 KB | Raziyeh Dehghani | 1 | |
| 10:55, 22. Mai 2025 | ContextPropagation.pdf (Datei) | |
81 KB | Raziyeh Dehghani | 1 | |
| 10:54, 22. Mai 2025 | ContextPropagation.png (Datei) |  |
90 KB | Raziyeh Dehghani | 1 | |
| 13:31, 19. Mai 2025 | Ausschreibung Tutorinnen und Tutoren für Programmieren.pdf (Datei) | |
33 KB | Robin Maisch | 1 | |
| 12:57, 19. Mai 2025 | MA Web based Variability Artifact Exploration and Transformation TraVarT.pdf (Datei) | |
714 KB | Kevin Feichtinger | 1 | |
| 12:12, 19. Mai 2025 | MA Solver Representations for DOPLER.pdf (Datei) | |
715 KB | Kevin Feichtinger | 1 | |
| 09:32, 15. Mai 2025 | MA Traceability of Variability Artifact Transformations TraVarT.pdf (Datei) | |
714 KB | Kevin Feichtinger | 1 | |
| 09:56, 9. Mai 2025 | GeneratingHigherOrderCPRs.pdf (Datei) | |
139 KB | Erik Burger | 1 | |
| 09:54, 9. Mai 2025 | FeatureAnnotatedCPRs.pdf (Datei) | |
138 KB | Erik Burger | 1 | |
| 17:42, 8. Mai 2025 | TemporalChangePropagation.pdf (Datei) | |
79 KB | Raziyeh Dehghani | 1 | |
| 17:42, 8. Mai 2025 | TemporatlChange.png (Datei) |  |
77 KB | Raziyeh Dehghani | 1 | |
| 15:43, 8. Mai 2025 | MeasurementDataModel2.pdf (Datei) | |
63 KB | Raziyeh Dehghani | 1 | |
| 15:30, 8. Mai 2025 | DataModelSynch.pdf (Datei) | |
63 KB | Raziyeh Dehghani | 1 | |
| 12:14, 8. Mai 2025 | MeasurementDataModel.pdf (Datei) | |
63 KB | Raziyeh Dehghani | 1 | |
| 12:14, 8. Mai 2025 | MeasurementDataModel.png (Datei) |  |
44 KB | Raziyeh Dehghani | 1 | |
| 15:42, 4. Mai 2025 | ContextDependentDSL.pdf (Datei) | |
82 KB | Raziyeh Dehghani | 1 | |
| 15:41, 4. Mai 2025 | ContextDependentDSL.png (Datei) |  |
90 KB | Raziyeh Dehghani | 1 | |
| 16:48, 3. Mai 2025 | LLMVitruviusTrain.pdf (Datei) | |
1,3 MB | Raziyeh Dehghani | 1 | |
| 16:47, 3. Mai 2025 | LLMTrain.png (Datei) |  |
1,48 MB | Raziyeh Dehghani | 1 | |
| 12:02, 28. Apr. 2025 | BA Clafer Transformations TraVarT.pdf (Datei) | |
715 KB | Kevin Feichtinger | 1 | |
| 13:11, 14. Apr. 2025 | Aushang Fine tuning vs Prompting TLR.pdf (Datei) | |
53 KB | Tobias Hey | 1 | |
| 21:15, 2. Apr. 2025 | LLM4DSML.pdf (Datei) | |
127 KB | Bowen Jiang | 1 | |
| 12:46, 2. Apr. 2025 | LLMforDSL.pdf (Datei) | |
127 KB | Bowen Jiang | 1 | |
| 15:35, 21. Mär. 2025 | Nicolas Boltz Master Thesis Presentation.pdf (Datei) | |
995 KB | Nicolas Boltz | 1 | |
| 08:35, 21. Mär. 2025 | 2025-03 BA-MA Transformation of Xbase Expressions to Relational Query Operations.pdf (Datei) | |
308 KB | Lars König | 1 | |
| 17:21, 7. Mär. 2025 | Aushang Abschlussarbeit Rechtskommentare.pdf (Datei) | |
1,64 MB | Nicolas Boltz | 1 | |
| 09:47, 4. Mär. 2025 | Sdq beamer 2020.png (Datei) |  |
273 KB | Erik Burger | 1 | |
| 09:47, 4. Mär. 2025 | Sdq beamer 2025.png (Datei) |  |
361 KB | Erik Burger | 1 | |
| 17:32, 13. Feb. 2025 | B04-ba-150-2025.svg (Datei) |  |
94 KB | Erik Burger | 1 | |
| 15:19, 12. Feb. 2025 | 2025-02 BA Exploring the Expressiveness of NeoJoin for View Generation.pdf (Datei) | |
307 KB | Lars König | 2 |
