Neue Seiten

Namensraum:

Auswahl umkehren

Zugehöriger Namensraum

Markierungs-Filter:

Benutzername:

Registrierte Benutzer ausblenden | Bots ausblenden | Weiterleitungen einblenden

16:57, 4. Dez. 2025 ‎AI Planning for Consistency Repair (Versionen | bearbeiten) ‎[1.594 Bytes] ‎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…“)
09:41, 4. Dez. 2025 ‎Miriam Boß (Versionen | bearbeiten) ‎[170 Bytes] ‎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:29, 1. Dez. 2025 ‎PCM Development/Palladio Concall/Minutes 20251111 (Versionen | bearbeiten) ‎[351 Bytes] ‎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!“)
09:15, 1. Dez. 2025 ‎Enhancing Trust in Neuro-Symbolic Explanations via Calibrated Linguistic Uncertainty (Versionen | bearbeiten) ‎[1.523 Bytes] ‎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:10, 1. Dez. 2025 ‎Towards a Minimal Abductive Reasoning Layer for SASIS (Versionen | bearbeiten) ‎[1.476 Bytes] ‎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…“)
09:35, 13. Nov. 2025 ‎RE 2026 (Versionen | bearbeiten) ‎[228 Bytes] ‎Dominik Fuchß (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Conference |eventtype=Conference |city=Montréal |abstract=2026/02/16 |submission=2026/02/23 |notification=2026/05/08 |date=2026/08/17 |proceedings=IEEE |webpage=https://conf.researchr.org/home/RE-2026 |series=RE Conference }}“)
10:12, 11. Nov. 2025 ‎Development of the Model Query Language NeoJoin (Versionen | bearbeiten) ‎[1.546 Bytes] ‎Lars König (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Hilfskräfte |betreuer=Lars König |gruppe=DSiS |bild=Neojoin-qrcode.png |pdf=Offer Student Assistant NeoJoin.pdf }} == Our project == We develop the model query language [https://github.com/vitruv-tools/NeoJoin NeoJoin], which supports developers in accessing information from development artifacts (models). Our models range from software architecture or domain models to source code. Our queries look…“)
09:35, 10. Nov. 2025 ‎Building a Benchmark for LLM-assisted Formal Verification (Versionen | bearbeiten) ‎[163 Bytes] ‎Dominik Fuchß (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit |betreuer=Dominik Fuchß, Tobias Hey |gruppe=MCSE |pdf=LLM Assisted Formal Verification.pdf }}“)
14:19, 8. Nov. 2025 ‎Energy consumption of compression algorithms across CPU platforms (Versionen | bearbeiten) ‎[1.161 Bytes] ‎Ralf Sieger (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit |betreuer=Ralf Sieger |gruppe=DSiS |pdf=Announcement.pdf }} == Motivation == Data compression can be critical in achieving energy-efficient WiFi communication on mobile devices. The choice of compression algorithm, the compression level, and the quality of the implementation affects performance and energy consumption. To understand what impact the CPU platform has on energy consu…“)
11:13, 29. Okt. 2025 ‎Vorlesung Programmierparadigmen WS 2025/26 (Versionen | bearbeiten) ‎[1.246 Bytes] ‎Lars König (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Infobox Lehrveranstaltung | typ = Lecture | name = Programmierparadigmen | nummer = 2424030 | semester = Wintersemester 2025/26 | lp = 6 | sws = 3+1 | zeit = Mi 14:00–15:30, <br />Fr 14.00–15:30 | ort = 10.11 (Hertz-Hörsaal) | ilias = https://ilias.studium.kit.edu/goto_produktiv_crs_2757025.html | vvz = https://campus.studium.kit.edu/events/0x1E7B597E309F4318B7C3713F794C033E | dozent = [https://dsis.kastel.kit.edu/staff_ralf_…“)
13:16, 28. Okt. 2025 ‎SDQ-Proposal-Seminar/2025-12-01 (Versionen | bearbeiten) ‎[733 Bytes] ‎Robin Maisch (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Proposalvortrag |vortragender=Simon Wessel |titel=Semantic Tokenization in Source Code Plagiarism Detection |typ=Bachelorarbeit |betreuer=Robin Maisch, Nathan Hagel |sprache=Deutsch }} {{SDQ-Seminar |startdatum=2025-12-01T11:30:00.000Z |enddatum=2025-12-01T13:00:00.000Z |ort=Gebäude 50.34, Raum 348 }}“)
12:40, 27. Okt. 2025 ‎Lecture NLP and Software Engineering WS 2025/26 (Versionen | bearbeiten) ‎[3.519 Bytes] ‎Tobias Hey (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Infobox Lehrveranstaltung | typ = Lecture | name = Natural Language Processing and Software Engineering | nummer = 2424187 | semester = Wintersemester 2025/26 | lp = 3 | sws = 2 | dozent = [https://mcse.kastel.kit.edu/staff_Keim_Jan.php Dr.-Ing Jan Keim],[https://mcse.kastel.kit.edu/staff_tobias_hey.php Dr.-Ing. Tobias Hey] | ort = 50.34, –118 | zeit = Tu 14:00–15:30 | vvz = | ilias = https://ilias.studium.kit.edu/goto.php/c…“)
10:49, 24. Okt. 2025 ‎A Contrastive Learning Framework for Semantic Consistency Verification of SysML and Simulink Models (Versionen | bearbeiten) ‎[1.996 Bytes] ‎Rahul Sharma (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit, Masterarbeit |gruppe=DSiS, MCSE }} ===Motivation=== Ensuring consistency between different modeling views (e.g., architectural in SysML, behavioral in Simulink) is a critical challenge in Cyber-Physical Systems (CPS) design. Current manual and rule-based methods are brittle and cannot detect deep semantic nuances. This thesis proposes to leverage Large Language Models (LLMs) in a nov…“)
10:11, 24. Okt. 2025 ‎Automated Generation of a Consistency Benchmark for Cyber-Physical Systems Modeling (Versionen | bearbeiten) ‎[3.209 Bytes] ‎Rahul Sharma (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit, Masterarbeit |betreuer=Rahul Sharma |gruppe=DSiS, MCSE }} === Motivationt === The design of complex Cyber-Physical Systems (CPS) relies on a suite of diverse modeling platforms like SysML and Simulink. A critical and unsolved challenge in this paradigm is ensuring the consistency of models across these platforms, as inconsistencies can lead to system failures. While machine learning,…“)
12:44, 22. Okt. 2025 ‎SDQ-Proposal-Seminar/2025-12-08 (Versionen | bearbeiten) ‎[913 Bytes] ‎Arne Lange (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Proposalvortrag |vortragender=Annika Kienle |titel=TBA |typ=Masterarbeit |betreuer=Arne Lange |sprache=Englisch }} {{SDQ-Seminar |startdatum=2025-12-09T11:30:00.000Z |enddatum=2025-12-09T13:00:00.000Z |ort=Gebäude 50.34, Raum 348 }}“) ursprünglich erstellt als „SDQ-Proposal-Seminar/2025-12-09“
13:30, 20. Okt. 2025 ‎Vorlesung Software-Architektur und -Qualität WS 2025/26 (Versionen | bearbeiten) ‎[4.240 Bytes] ‎Angelika Kaplan (Diskussion | Beiträge) (Leere Seite erstellt)
14:12, 15. Okt. 2025 ‎SDQ-Proposal-Seminar/2025-11-10-2 (Versionen | bearbeiten) ‎[510 Bytes] ‎Thomas Weber (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Proposalvortrag |vortragender=Manuel Odinius |titel=Integrating Human Factors into Consistency Management |typ=Bachelorarbeit |betreuer=Raziyeh Dehghani, Thomas Weber |sprache=Englisch }} {{Proposalvortrag |vortragender=Lorenz Moser |titel=An LLM-Driven Approach to Enhancing Onboarding in Vitruvius |typ=Masterarbeit |betreuer=Raziyeh Dehghani, Arne Lange, Jan Keim |sprache=Englisch }} {{SDQ-Seminar |startdatum=2025-11-10T11:30:05.000Z |enddatum=2025-11-…“)
13:54, 15. Okt. 2025 ‎SDQ-Proposal-Seminar/2025-11-17 (Versionen | bearbeiten) ‎[903 Bytes] ‎Tobias Hey (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Proposalvortrag |vortragender=Maximilian Supp |titel=Fine-tuning vs. Prompting: The Case of Requirements Classification |typ=Bachelorarbeit |betreuer=Tobias Hey, Dominik Fuchß |sprache=Deutsch }} {{SDQ-Seminar |startdatum=2025-11-17T11:30:00.000Z |enddatum=2025-11-17T13:00:00.000Z |ort=Gebäude 50.34, Raum 348 }}“)
13:18, 14. Okt. 2025 ‎PCM Development/Palladio Concall/Minutes 20251014 (Versionen | bearbeiten) ‎[1.008 Bytes] ‎Sebastian Weber (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „==Participants== * Nicolas * Steffen * Nils * Ralf S. * Bahareh * Maximilian * Floriment * Max * Sebastian * Fatma ==Stand-Up== * Nicolas: release of MDSD-Tools artifacts during research retreat, preparing 5.2.2 release * Bahareh: SSP paper * Ralf S.: release of MDSD-Tools artifacts during research retreat, preparing 5.2.2 release * Sebastian: nothing * Steffen: supervision * Floriment: make slingshot mono-repo again, PR partially difficult to incorporate…“)
09:09, 14. Okt. 2025 ‎Lerngruppe/2025-04-30 (Versionen | bearbeiten) ‎[204 Bytes] ‎Benedikt Jutz (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Lerngruppe |startdatum=2025-04-30T14:00:00.000Z |enddatum=2025-04-30T15:30:00.000Z |ort=Hybrid (MS Teams and 50.34, 010) |vortragender=Arne Lange, Nathan Hagel, Thomas Kühn |titel=Vitruvius Workshop }}“)
08:47, 13. Okt. 2025 ‎Formalizing Requirements using Large Language Models (LLMs) (Versionen | bearbeiten) ‎[1.717 Bytes] ‎Tobias Hey (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit |betreuer=Tobias Hey |gruppe=MCSE |pdf=ReqForm.pdf }} === Motivation === Software requirements are often written in natural language to facilitate communication among stakeholders, but their ambiguity and lack of formal structure make them difficult to use directly in formal verification. Converting these informal requirements into precise formal specifications is a crucial yet labor-…“)
08:35, 13. Okt. 2025 ‎Utilizing Context to Improve LLM-assisted Formal Verification (Versionen | bearbeiten) ‎[1.412 Bytes] ‎Tobias Hey (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Masterarbeit |betreuer=Tobias Hey |gruppe=MCSE |pdf=LLMFormVer Context.pdf }} === Motivation === Formal verification ensures the correctness of software systems but remains a highly specialized and time-consuming process. Recent advances in Large Language Models (LLMs) show promise in automating parts of this workflow; however, their effectiveness is limited by a lack of contextual understanding of…“)
15:02, 9. Okt. 2025 ‎Lerngruppe/2026-03-04 (Versionen | bearbeiten) ‎[203 Bytes] ‎Benedikt Jutz (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Lerngruppe |startdatum=2026-03-04T14:00:00.000Z |enddatum=2026-03-04T15:30:00.000Z |ort=Hybrid (MS Teams and 50.34, 010) |vortragender=Haoyu Liu, Nils Niehues |titel=Programming Grading Instructions }} Time and Place are preliminary“)
09:59, 8. Okt. 2025 ‎Fabian Eger (Versionen | bearbeiten) ‎[170 Bytes] ‎Benedikt Jutz (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Person |vorname=Fabian |lastname=Eger |email=fabian.eger@kit.edu |telefon=+49 721 608-46539 |webpage=https://dsis.kastel.kit.edu/staff_1180.php |position=Mitarbeiter }}“)
09:55, 8. Okt. 2025 ‎Balint Mate (Versionen | bearbeiten) ‎[161 Bytes] ‎Benedikt Jutz (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Person |vorname=Bálint |lastname=Máté |telefon=+49 721 9654-653 |email=mate@fzi.de |webpage=https://www.fzi.de/en/team/balint-mate/ |position=Mitarbeiter }}“)
09:54, 8. Okt. 2025 ‎Nicolas Schuler (Versionen | bearbeiten) ‎[210 Bytes] ‎Benedikt Jutz (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Person |vorname=Nicolas Sebastian |lastname=Schuler |email=nicolas.schuler@kit.edu |telefon=+49 721 608-46537 |webpage=https://sasis.kastel.kit.edu/staff_Nicolas_Sebastian_Schuler.php |position=Mitarbeiter }}“)
09:51, 8. Okt. 2025 ‎Ehsan Elahi (Versionen | bearbeiten) ‎[174 Bytes] ‎Benedikt Jutz (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Person |vorname=Ehsan |lastname=Elahi |telefon=+49 721 608-41630 |email=ehsan.elahi@kit.edu |webpage=https://sasis.kastel.kit.edu/staff_Ehsan_Elahi.php |position=Mitarbeiter }}“)
09:49, 8. Okt. 2025 ‎Vincenzo Scotti (Versionen | bearbeiten) ‎[169 Bytes] ‎Benedikt Jutz (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Person |vorname=Vicenzo |lastname=Scotti |telefon= |email=vicenzo.scotti@kit.edu |webpage=https://sasis.kastel.kit.edu/staff_Vincenzo_Scotti.php |position=Mitarbeiter }}“) ursprünglich erstellt als „Vicenzo Scotti“
09:48, 8. Okt. 2025 ‎Weixing Zhang (Versionen | bearbeiten) ‎[162 Bytes] ‎Benedikt Jutz (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Person |vorname=Weixing |lastname=Zhang |telefon= |email=weixing.zhang@kit.edu |webpage= |position=Mitarbeiter }}“)
06:57, 8. Okt. 2025 ‎Mitigation of Confidentiality Violations in Architectural Runtime Models (Versionen | bearbeiten) ‎[3.479 Bytes] ‎Nicolas Boltz (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit, Masterarbeit |betreuer=Nils Niehues, Nicolas Boltz |gruppe=DSiS |pdf=IObserveAusschreibung.pdf }} == German == Moderne Softwaresysteme sind zunehmend dynamisch und in hochvernetzten Umgebungen eingebettet, wodurch sich Vertraulichkeitsanforderungen nicht nur zur Entwurfszeit, sondern auch zur Laufzeit ändern können. Während architekturbasierte Analysen bereits eine frühzeitige Erke…“)
00:06, 8. Okt. 2025 ‎Praktikum Werkzeuge für agile Modellierung WS 2025/26 (Versionen | bearbeiten) ‎[5.710 Bytes] ‎Nathan Josias Hagel (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Infobox Lehrveranstaltung | typ = PracticalCourse | name = Praktikum Werkzeuge für agile Modellierung | nummer = 2400105 | semester = Wintersemester 2025/26 | lp = 6 | sws = 4 | ansprechpartner = Nathan Hagel | zeit = ''unregelmäßig, siehe Beschreibungstext'' | ilias = https://ilias.studium.kit.edu/ilias.php?baseClass=ilrepositorygui&ref_id=2770522 | vvz = https://campus.studium.kit.edu/ev/MYd4j65TRi2QiScxa6WObw/de }}__NOTOC_…“)
23:20, 7. Okt. 2025 ‎Praktikum Ingenieursmäßige Software-Entwicklung WS 2025/26 (Versionen | bearbeiten) ‎[4.811 Bytes] ‎Nathan Josias Hagel (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Infobox Lehrveranstaltung | typ = PracticalCourse | name = Praktikum Ingenieursmäßige Software-Entwicklung | nummer = 2400093 | semester = Wintersemester 2025/26 | lp = 6 | sws = 4 | ansprechpartner = Nathan Hagel | zeit = ''unregelmäßig, siehe Beschreibungstext'' | ilias = https://ilias.studium.kit.edu/ilias.php?baseClass=ilrepositorygui&ref_id=2770516 | vvz = https://campus.studium.kit.edu/ev/p7CvtlHVRPqKyiDcWxAfTQ/de }}__…“)
23:07, 7. Okt. 2025 ‎Seminar Continuous Software Engineering WS 2025/26 (Versionen | bearbeiten) ‎[5.076 Bytes] ‎Nathan Josias Hagel (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Infobox Lehrveranstaltung | typ = Seminar | name = Seminar Continuous Software Engineering | nummer = 2400108 | semester = Wintersemester 2025/26 | lp = 4 | sws = 2 | ansprechpartner = Nathan Hagel | zeit = ''unregelmäßig, siehe Beschreibungstext'' | ort = Geb. 50.34, Raum TODO | ilias = https://ilias.studium.kit.edu/ilias.php?baseClass=ilrepositorygui&ref_id=2770526 | vvz = https://campus.studium.kit.edu/ev/M3in7guBTKWJ76l…“)
10:02, 6. Okt. 2025 ‎SDQ-Proposal-Seminar/2025-11-10 (Versionen | bearbeiten) ‎[902 Bytes] ‎Maximilian Hummel (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Proposalvortrag |vortragender=Bescher Kilani |titel=Performance Modeling and Evaluation of an MQTT–Kafka Based Data Streaming Architecture |typ=Bachelorarbeit |betreuer=Maximilian Hummel |sprache=Deutsch }} {{SDQ-Seminar |startdatum=2025-11-10T11:30:05.000Z |enddatum=2025-11-10T13:00:00.000Z |ort=Gebäude 50.34, Raum 348 }}“) ursprünglich erstellt als „SDQ-Proposal-Seminar/2025-10-06“
15:01, 4. Okt. 2025 ‎Vorlesung Programmieren WS 2025/26 (Versionen | bearbeiten) ‎[6.623 Bytes] ‎Robin Maisch (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „<big>{{highlight|'''E-Mails''' richten Sie bitte '''ausschließlich''' an: '''[mailto:programmieren-vorlesung@cs.kit.edu programmieren-vorlesung@cs.kit.edu]'''}}</big> {{ClearBoth}} {{Infobox Lehrveranstaltung | typ = Lecture | name = Programmieren | nummer = 24004 | semester = Wintersemester 2025/26 | lp = 5 | sws = 4 | vvz =https://campus.studium.kit.edu/ev/RMGQDJ-uQrWO1aZSZrXotA/de | ilias =https://ilias.studium.kit.edu/goto.php?target=crs_2476137&c…“) Markierung: Visuelle Bearbeitung: Gewechselt
12:07, 25. Sep. 2025 ‎Lecture Empirical Software Engineering WS 2025/26 (Versionen | bearbeiten) ‎[1.649 Bytes] ‎Thomas Weber (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Infobox Lehrveranstaltung | typ = Lecture | name = Empirical Software Engineering | nummer = 24156 | semester = Wintersemester 2025/26 | lp = 4 | sws = 2 | dozent = [https://mcse.kastel.kit.edu/ Dr. Raziyeh Deghani] | ort = | zeit = | vvz = | ilias = }} == Content == Die Vorlesung befasst sich mit der Rolle der Empirie in der Softwaretechnik. Sie stellt die gängigsten empirischen Methoden vor und weist auf gängige Fehlerq…“) ursprünglich erstellt als „Vorlesung Empirische Softwaretechnik WS 2025/26“
16:17, 23. Sep. 2025 ‎A Methodology for Systematically Including Semantic Information in Threat Modeling and Analysis (Versionen | bearbeiten) ‎[3.816 Bytes] ‎Nicolas Boltz (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit, Masterarbeit |betreuer=Nicolas Boltz |gruppe=DSiS |pdf=Aushang Abschlussarbeit Threat Modeling for xDECAF.pdf }} == German == Moderne Softwaresysteme verarbeiten zunehmend sensible Daten und interagieren in komplexen, verteilten Umgebungen. Daher ist es unerlässlich, Sicherheits- und Datenschutzaspekte bereits in der frühen Phase des Systementwurfs zu berücksichtigen. Threat Modelin…“)
14:09, 23. Sep. 2025 ‎Lecture Engineering Self-Adaptive Systems WS 2025/26 (Versionen | bearbeiten) ‎[1.330 Bytes] ‎Nicolas Sebastian Schuler (Diskussion | Beiträge) ((feat) add content for lecture)
12:19, 23. Sep. 2025 ‎Seminar Daten in software-intensiven technischen Systemen – Modellierung – Analyse – Schutz WS 2025/26 (Versionen | bearbeiten) ‎[3.403 Bytes] ‎Nathan Josias Hagel (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Infobox Lehrveranstaltung | typ = Seminar | name = Seminar Daten in software-intensiven technischen Systemen – Modellierung – Analyse – Schutz | nummer = TODO | semester = Wintersemester 2025/26 | lp = 4 | sws = 2 | ansprechpartner = Nathan Hagel | zeit = ''unregelmäßig, siehe Beschreibungstext'' | ort = TODO | ilias = TODO | vvz = }} Das Seminar wird als gemeinsame Veranstaltung von Prof. Dr. iur. Raabe [https://w…“)
22:37, 22. Sep. 2025 ‎Lecture Software Evolution WS 2025/26 (Versionen | bearbeiten) ‎[685 Bytes] ‎Arne Lange (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Infobox Lehrveranstaltung | typ = Lecture | name = Software Evolution | nummer = 2424164 | semester = Wintersemester 2025/26 | lp = 3 | sws = 2 | dozent = [https://dsis.kastel.kit.edu/staff_arne_lange.php Dr.rer. nat. Arne Lange] | zeit = Mo 09:45–11:15 | ort = 50.34, –101 | ilias = tba | vvz = https://campus.studium.kit.edu/ev/iDPsGTJDQgmxTqiMGDYu0Q/en }} For all information on the lecture, please see the [{{#show: {{FULLPA…“)
20:25, 22. Sep. 2025 ‎Lecture Model-driven Software Development WS 2025/26 (Versionen | bearbeiten) ‎[698 Bytes] ‎Erik Burger (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Infobox Lehrveranstaltung | typ = Lecture | name = Model-driven Software Development | nummer = 2424657 | semester = Wintersemester 2025/26 | lp = 3 | sws = 2 | dozent = [https://dsis.kastel.kit.edu/staff_erik_burger.php Dr.-Ing. Erik Burger] | zeit = Fr 09:45–11:15 | ort = 50.34, –102 | ilias = https://ilias.studium.kit.edu/goto.php/crs/2764196 | vvz = https://campus.studium.kit.edu/ev/Re4lA4smQmCOsfof5ueGLQ/en }} For all i…“)
20:18, 22. Sep. 2025 ‎Wintersemester 2025/26 (Versionen | bearbeiten) ‎[1.737 Bytes] ‎Erik Burger (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Semester | von = 2024/10/01 | bis = 2025/03/31 | vorlesungszeit = 21 Oktober 2024 – 15. Februar 2025 | vorlesungswochen = {{{!}} class="wikitable" ! Woche ! Zeitraum {{!}}- {{!}}1{{!}}{{!}}27.10.–31.10. {{!}}- {{!}}2{{!}}{{!}}03.11.–07.11. {{!}}- {{!}}3{{!}}{{!}}10.11.–14.11. {{!}}- {{!}}4{{!}}{{!}}17.11.–21.11. {{!}}- {{!}}5{{!}}{{!}}24.11.–28.11. {{!}}- {{!}}6{{!}}{{!}}01.12.–05.12. {{!}}- {{!}}7{{!}}{{!}}08.12.–12.12. {{!}}- {{…“)
10:32, 19. Sep. 2025 ‎SDQ-Proposal-Seminar/2025-10-13 (Versionen | bearbeiten) ‎[493 Bytes] ‎Erik Burger (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{SDQ-Seminar |startdatum=2025-10-13T11:30:00.000Z |enddatum=2025-10-13T13:00:00.000Z |ort=Gebäude 50.34, Raum 348 }}“)
13:55, 9. Sep. 2025 ‎PCM Development/Palladio Concall/Minutes 20250909 (Versionen | bearbeiten) ‎[2.558 Bytes] ‎Fatma Chebbi (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „==Participants== *Anne *Fatma *Floriment *Freddy *Mahdi *Max *Niels *Nicolas *Ralf S. ==Stand-Up== *Nicolas: did not do much in the last month due to holidays, writing papers and presenting one next week DFA related to palladio *Freddy: also did not do much as writing his disserttion *Niels: restricted to DFA related *Fatma: did not do much *Max: working on SEFFs submitted to SSP and planned ICSA to be submitted, agent-based approach to estimate resource…“) Markierung: Visuelle Bearbeitung
15:51, 8. Sep. 2025 ‎LLM-supported processing of analysis results to support the legal domain (Versionen | bearbeiten) ‎[3.260 Bytes] ‎Nicolas Boltz (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit |betreuer=Nicolas Boltz, Tobias Hey |gruppe=DSiS, MCSE |pdf=Aushang Abschlussarbeit NatürlichsprachigeAnalyseergebnisse (1).pdf }} == German == Die zunehmende Digitalisierung führt dazu, dass moderne Softwaresysteme heute in zahlreichen Bereichen des täglichen Lebens eingesetzt werden. Für ihre Entwicklung müssen daher auch unterschiedliche Fachgebiete und Domänen zusammenarbeite…“)