Datei-Logbuch

Dies ist das Logbuch der hochgeladenen Dateien, siehe auch die Galerie neuer Dateien für einen visuellen Überblick.

• 16:52, 4. Dez. 2025 Benedikt Jutz Diskussion Beiträge lud Datei:AIPlanningForConsistencyRepair.pdf hoch
• 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: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…)
• 18:32, 18. Nov. 2025 Martin Armbruster Diskussion Beiträge lud Datei:WinterDay2025.png hoch
• 10:11, 11. Nov. 2025 Lars König Diskussion Beiträge lud eine neue Version von Datei:Offer Student Assistant NeoJoin.pdf hoch
• 09:59, 11. Nov. 2025 Lars König Diskussion Beiträge lud Datei:Neojoin-qrcode.png hoch
• 09:59, 11. Nov. 2025 Lars König Diskussion Beiträge lud Datei:Offer Student Assistant NeoJoin.pdf hoch
• 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 lud Datei:LLM Assisted Formal Verification.pdf hoch
• 14:15, 8. Nov. 2025 Ralf Sieger Diskussion Beiträge lud Datei:Announcement.pdf hoch (Aushang)
• 08:47, 13. Okt. 2025 Tobias Hey Diskussion Beiträge lud Datei:ReqForm.pdf hoch
• 08:35, 13. Okt. 2025 Tobias Hey Diskussion Beiträge lud Datei:LLMFormVer Context.pdf hoch
• 06:57, 8. Okt. 2025 Nicolas Boltz Diskussion Beiträge lud Datei:IObserveAusschreibung.pdf hoch
• 16:20, 23. Sep. 2025 Nicolas Boltz Diskussion Beiträge lud eine neue Version von Datei:Aushang Abschlussarbeit Threat Modeling for xDECAF.pdf hoch
• 16:17, 23. Sep. 2025 Nicolas Boltz Diskussion Beiträge lud eine neue Version von Datei:Aushang Abschlussarbeit Threat Modeling for xDECAF.pdf hoch
• 16:12, 23. Sep. 2025 Nicolas Boltz Diskussion Beiträge lud Datei:Aushang Abschlussarbeit Threat Modeling for xDECAF.pdf hoch
• 15:47, 8. Sep. 2025 Nicolas Boltz Diskussion Beiträge lud Datei:Aushang Abschlussarbeit NatürlichsprachigeAnalyseergebnisse (1).pdf hoch
• 13:19, 30. Jul. 2025 Lars König Diskussion Beiträge lud Datei:2025-07 MA Consistency Components.pdf hoch
• 13:10, 30. Jul. 2025 Lars König Diskussion Beiträge lud Datei:2025-07 BA NeoJoin Example Case.pdf hoch
• 08:46, 7. Jul. 2025 Tobias Hey Diskussion Beiträge lud Datei:ReqClass Fine-tuning vs Prompting.pdf hoch
• 07:55, 2. Jul. 2025 Martin Armbruster Diskussion Beiträge lud Datei:Aushang CIPM.pdf hoch
• 20:14, 1. Jul. 2025 Martin Armbruster Diskussion Beiträge lud Datei:Aushang cipm 2025-06-30.pdf hoch
• 09:19, 24. Jun. 2025 Vincenzo Scotti Diskussion Beiträge lud Datei:6be1aacf-5734-41a8-82d3-c6e1029c6575.png hoch
• 09:19, 24. Jun. 2025 Vincenzo Scotti Diskussion Beiträge lud Datei:LLM4SAS M Sc Thesis Proposal.pdf hoch
• 10:56, 22. Mai 2025 Raziyeh Dehghani Diskussion Beiträge lud Datei:ContextPropagation MB.pdf hoch
• 10:55, 22. Mai 2025 Raziyeh Dehghani Diskussion Beiträge lud Datei:ContextPropagation.pdf hoch
• 10:54, 22. Mai 2025 Raziyeh Dehghani Diskussion Beiträge lud Datei:ContextPropagation.png hoch
• 13:31, 19. Mai 2025 Robin Maisch Diskussion Beiträge lud Datei:Ausschreibung Tutorinnen und Tutoren für Programmieren.pdf hoch
• 12:57, 19. Mai 2025 Kevin Feichtinger Diskussion Beiträge lud Datei:MA Web based Variability Artifact Exploration and Transformation TraVarT.pdf hoch
• 12:12, 19. Mai 2025 Kevin Feichtinger Diskussion Beiträge lud Datei:MA Solver Representations for DOPLER.pdf hoch
• 09:32, 15. Mai 2025 Kevin Feichtinger Diskussion Beiträge lud Datei:MA Traceability of Variability Artifact Transformations TraVarT.pdf hoch
• 09:56, 9. Mai 2025 Erik Burger Diskussion Beiträge lud Datei:GeneratingHigherOrderCPRs.pdf hoch
• 09:54, 9. Mai 2025 Erik Burger Diskussion Beiträge lud Datei:FeatureAnnotatedCPRs.pdf hoch
• 17:42, 8. Mai 2025 Raziyeh Dehghani Diskussion Beiträge lud Datei:TemporalChangePropagation.pdf hoch
• 17:42, 8. Mai 2025 Raziyeh Dehghani Diskussion Beiträge lud Datei:TemporatlChange.png hoch
• 15:43, 8. Mai 2025 Raziyeh Dehghani Diskussion Beiträge lud Datei:MeasurementDataModel2.pdf hoch
• 15:30, 8. Mai 2025 Raziyeh Dehghani Diskussion Beiträge lud Datei:DataModelSynch.pdf hoch
• 12:14, 8. Mai 2025 Raziyeh Dehghani Diskussion Beiträge lud Datei:MeasurementDataModel.pdf hoch
• 12:14, 8. Mai 2025 Raziyeh Dehghani Diskussion Beiträge lud Datei:MeasurementDataModel.png hoch
• 15:42, 4. Mai 2025 Raziyeh Dehghani Diskussion Beiträge lud Datei:ContextDependentDSL.pdf hoch
• 15:41, 4. Mai 2025 Raziyeh Dehghani Diskussion Beiträge lud Datei:ContextDependentDSL.png hoch
• 16:48, 3. Mai 2025 Raziyeh Dehghani Diskussion Beiträge lud Datei:LLMVitruviusTrain.pdf hoch
• 16:47, 3. Mai 2025 Raziyeh Dehghani Diskussion Beiträge lud Datei:LLMTrain.png hoch
• 12:02, 28. Apr. 2025 Kevin Feichtinger Diskussion Beiträge lud Datei:BA Clafer Transformations TraVarT.pdf hoch
• 13:11, 14. Apr. 2025 Tobias Hey Diskussion Beiträge lud Datei:Aushang Fine tuning vs Prompting TLR.pdf hoch
• 21:15, 2. Apr. 2025 Bowen Jiang Diskussion Beiträge lud Datei:LLM4DSML.pdf hoch
• 12:49, 2. Apr. 2025 Bowen Jiang Diskussion Beiträge lud Datei:LLM4DSL.pdf hoch
• 12:46, 2. Apr. 2025 Bowen Jiang Diskussion Beiträge lud Datei:LLMforDSL.pdf hoch
• 15:35, 21. Mär. 2025 Nicolas Boltz Diskussion Beiträge lud Datei:Nicolas Boltz Master Thesis Presentation.pdf hoch
• 08:35, 21. Mär. 2025 Lars König Diskussion Beiträge lud Datei:2025-03 BA-MA Transformation of Xbase Expressions to Relational Query Operations.pdf hoch