Zum Inhalt springen

Neue Dateien

Diese Spezialseite zeigt die zuletzt hochgeladenen Dateien an.

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

Abgerufen von „https://sdq.kastel.kit.edu/wiki/Spezial:Neue_Dateien“