Neue Seiten

Namensraum:

Auswahl umkehren

Zugehöriger Namensraum

Markierungs-Filter:

Benutzername:

Registrierte Benutzer ausblenden | Bots ausblenden | Weiterleitungen einblenden

10:41, 22. Dez. 2025 ‎Closing the Neuro-Symbolic Loop: Active Correction with Spatial Logic and Automated Knowledge Refinement (Versionen | bearbeiten) ‎[2.133 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 Closing the Neuro Symbolic Loop Active Correction with Spatial Logic and Automated Knowledge Refinement.pdf }} Deep learning models often rely on "reasoning shortcuts" and spurious correlations rather than causal mechanisms. While recent research proposes using Multimodal Language Models (MLMs) to translate visual…“)
08:42, 19. Dez. 2025 ‎Building a V-SUM for a Brake System (Versionen | bearbeiten) ‎[1.536 Bytes] ‎Benedikt Jutz (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Hilfskräfte |betreuer=Kevin Feichtinger, Minakshi Kaushik |gruppe=DSiS |pdf=BrakeSystemVSUMStudentAssistant.pdf }} == Background == ''Vitruvius'' is a framework for the ''view-based development'' of cyber-physical systems. It combines separate models into a ''Virtual Single Underlying Model (V-SUM)'', that can be used to develop the system in its entirety. V-SUMs adhere to V-SUM ''metamodels'' (…“)
15:20, 12. Dez. 2025 ‎Proseminar Dependability of Software-intensive Technical Systems SoSe 26 (Versionen | bearbeiten) ‎[320 Bytes] ‎Erik Burger (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Infobox Lehrveranstaltung | typ = UndergraduateSeminar | name = Proseminar Software-Sustainability | nummer = 2400075 | semester = Sommersemester 2026 | lp = 3 | sws = 2 | ansprechpartner = Nathan Hagel | zeit = ''unregelmäßig, siehe Beschreibungstext'' | vvz = | ilias = | msteams = }}“) Markierung: Visuelle Bearbeitung: Gewechselt ursprünglich erstellt als „Proseminar Software-Sustainability SoSe 26“
14:19, 10. Dez. 2025 ‎Guidelines and Selection Criteria for Composing Analysis Techniques (Versionen | bearbeiten) ‎[1.460 Bytes] ‎Bahareh Taghavi (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Masterarbeit |betreuer=Bahareh Taghavi |pdf=MasterThesis.pdf }} Modern systems, such as large-scale software are highly complex. To ensure they operate reliably and meet quality standards, we rely on analysis techniques that evaluate their structure, behavior, and performance. But in most cases, a single technique cannot cover all aspects of these systems. To develop tailored and effective analysis met…“)
11:34, 10. Dez. 2025 ‎SDQ-Proposal-Seminar/2026-01-26 (Versionen | bearbeiten) ‎[329 Bytes] ‎Raziyeh Dehghani (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{SDQ-Seminar |startdatum=2026-01-26T11:30:00.000Z |enddatum=2026-01-26T13:00:00.000Z |ort=Gebäude 50.34, Raum 348 }}“)
11:30, 10. Dez. 2025 ‎Connecting UnCertaGator with Zonotope-Based Uncertainty Propagation (Versionen | bearbeiten) ‎[887 Bytes] ‎Nathan Josias Hagel (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit, Masterarbeit |betreuer=Nathan Hagel, Johannes Mäkelburg |gruppe=MCSE }} Engineering projects use many models that contain uncertain values or assumptions. If this uncertainty is not handled consistently, small deviations can lead to flawed design decisions. Vitruvius with its UnCertaGator extension makes uncertainty explicit and propagates it across development artifacts, but it doe…“)
11:28, 10. Dez. 2025 ‎Analyze the Effect of Uncertainty on a System's Consistency (Versionen | bearbeiten) ‎[217 Bytes] ‎Nathan Josias Hagel (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit, Masterarbeit |betreuer=Nathan Hagel, Johannes Mäkelburg |gruppe=MCSE }}“)
11:27, 10. Dez. 2025 ‎Extend Uncertainty Quantification in view-based Modeling (Versionen | bearbeiten) ‎[214 Bytes] ‎Nathan Josias Hagel (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit, Masterarbeit |gruppe=MCSE }}“)
11:27, 10. Dez. 2025 ‎Optimize Uncertainty Analysis through Annotation Merging (Versionen | bearbeiten) ‎[215 Bytes] ‎Nathan Josias Hagel (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit, Masterarbeit |betreuer=Nathan Hagel, Johannes Mäkelburg |gruppe=MCSE }}“)
14:25, 9. Dez. 2025 ‎SDQ-Proposal-Seminar/2025-12-15 (Versionen | bearbeiten) ‎[506 Bytes] ‎Erik Burger (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{SDQ-Seminar |startdatum=2025-12-15T11:30:00.000Z |enddatum=2025-12-09T12:00:00.000Z |ort=Gebäude 50.34, Raum 348 |postdoc=Erik Burger }}“)
17:22, 8. Dez. 2025 ‎Real-Time Editing of Views in a Multi-Model Environment (Versionen | bearbeiten) ‎[1.139 Bytes] ‎Benedikt Jutz (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Masterarbeit |betreuer=Benedikt Jutz |gruppe=DSiS |pdf=RealTimeEditingOfViews.pdf }} == Background == Vitruvius is a framework for the ''view-based development'' of cyber-physical systems. It combines separate models into a ''Virtual Single Underlying Model (V-SUM)''. From the underlying models of the V-SUM, vies are projected through model transformations, and changes on the view are propagated b…“)
17:15, 8. Dez. 2025 ‎Locking Strategies for V-SUMs (Versionen | bearbeiten) ‎[1.542 Bytes] ‎Benedikt Jutz (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Masterarbeit |betreuer=Benedikt Jutz |gruppe=DSiS |pdf=LockingStrategiesForVSUMs.pdf }} == Background == 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 ''Consistency Preservation Rules (C…“)
15:17, 8. Dez. 2025 ‎V-SUMM Based Consistency Checking for Evolving Models (Versionen | bearbeiten) ‎[1.725 Bytes] ‎Minakshi Kaushik (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Masterarbeit |betreuer=Minakshi Kaushik |gruppe=DSiS |bild=Checker.jpg |pdf=Consistency Checking.pdf }} ==Motivation== In complex systems engineering, multiple models are used to represent different aspects of a system, such as requirements, structure, and behavior. As these models evolve independently, inconsistencies naturally arise, leading to potential errors and integration problems. The Virtual…“)
15:05, 8. Dez. 2025 ‎Supporting V-SUM via Metamodel Preparation and Integration (Versionen | bearbeiten) ‎[1.508 Bytes] ‎Minakshi Kaushik (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Hilfskräfte |betreuer=Minakshi Kaushik |gruppe=DSiS |bild=V-SUMM1.jpg |pdf=Student Assistant Position.pdf }} ==Motivation== In modern system and software engineering, complex systems are described using multiple models, each following a different metamodel. Integrating these heterogeneous models is a key challenge in ensuring consistency and coherence. The Virtual Single Underlying Model (V-SUM) conc…“)
14:59, 8. Dez. 2025 ‎Implementing V-SUMM for Two Metamodels Integration (Versionen | bearbeiten) ‎[1.098 Bytes] ‎Minakshi Kaushik (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit |betreuer=Minakshi Kaushik |gruppe=DSiS |bild=Vsum.jpg |pdf=Implementing V-SUMM.pdf }} ==Motivation== Modern engineering systems are modeled using different domain-specific tools and languages, for example, AUTOSAR, Simulink, and SysML etc. Integrating these heterogeneous models into a single, coherent view is challenging due to differences in syntax, semantics, and element corresponde…“)
14:54, 8. Dez. 2025 ‎Automated Consistency Checker for Multi-View Models (Versionen | bearbeiten) ‎[1.555 Bytes] ‎Minakshi Kaushik (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit |betreuer=Minakshi Kaushik |gruppe=DSiS |bild=Consistency checker.jpg |pdf=Automated Consistency Checker.pdf }} ==Motivation== In modern system and software engineering, complex systems are described using multiple models representing different views (e.g., structure, behavior, requirements). Maintaining consistency across these views is a major challenge, as inconsistencies can lead to…“)
14:49, 8. Dez. 2025 ‎Remodelling Metamodels for V-SUMM Integration (Versionen | bearbeiten) ‎[1.795 Bytes] ‎Minakshi Kaushik (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit |betreuer=Minakshi Kaushik |gruppe=DSiS |bild=Remodeling.jpg |pdf=RemodelingMetamodels.pdf }} ==Motivation== In complex system development, models from different perspectives often follow heterogeneous metamodels, such as UML, SysML, or domain-specific languages. Integrating these models into a coherent Virtual Single Underlying Metamodel (V-SUMM) is challenging due to structural and se…“)
14:43, 8. Dez. 2025 ‎Large Language Models as Recommender Systems in Uncertainty-Aware Requirement Engineering (Versionen | bearbeiten) ‎[1.469 Bytes] ‎Vincenzo Scotti (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Masterarbeit |betreuer=Tobias Hey, Vincenzo Scotti |gruppe=MCSE, SASIS |bild=Gemini Generated Image bjzzfdbjzzfdbjzz.png |pdf=Req2RELAX M Sc Thesis Proposal final 2.pdf }} # Motivation In current requirement engineering approaches there is limited automation support to recognize and manage uncertainties in the creation and specification of system requirements. The main idea of this master thesis is…“)
14:26, 8. Dez. 2025 ‎Improving LLM-based Code Generation for Model Transformation Languages (Versionen | bearbeiten) ‎[1.627 Bytes] ‎Bowen Jiang (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit |betreuer=Bowen Jiang, Nathan Hagel |gruppe=MCSE |pdf=BA LLM4MTL ad.pdf }} == Motivation == Model transformation languages, especially EMF-based domain-specific languages (DSLs) such as the Reactions Language and ATL for model-to-model transformations, face considerable challenges in benefiting from LLM-based code generation. Unlike general-purpose programming languages, these DSLs su…“)
14:22, 8. Dez. 2025 ‎V-SUMM for Heterogeneous Metamodels (Versionen | bearbeiten) ‎[1.712 Bytes] ‎Minakshi Kaushik (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Masterarbeit |betreuer=Minakshi Kaushik |gruppe=DSiS |bild=VSUMM.pdf |pdf=VSUMM4Heterogenous .pdf }} ==Motivation== In complex systems and software engineering, multiple models often represent different aspects of a system using heterogeneous metamodels, such as UML, SysML, or domain-specific languages. Integrating these diverse models is challenging due to differences in syntax, semantics, and elemen…“)
11:57, 8. Dez. 2025 ‎Case Study-Driven Synchronization of BPMN and SysML Diagrams (Versionen | bearbeiten) ‎[1.236 Bytes] ‎Raziyeh Dehghani (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit |betreuer=Raziyeh Dehghani, Thomas Völk |gruppe=MCSE |bild=BPMNSySML.jpg |pdf=BPMNSySMLNotice.pdf }} == Motivation == Vitruvius is a framework for preserving consistency across models. At its core it relies on a Virtual Single Underlying Model (VSUM), in which consistency‑preservation rules are defined between the metamodels from which the individual models are instantiated. A majo…“)
10:38, 8. Dez. 2025 ‎Towards White-Box Optimization in Self-Adaptive Systems (Versionen | bearbeiten) ‎[1.584 Bytes] ‎Ehsan Elahi (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Masterarbeit |betreuer=Ehsan Elahi |gruppe=SASIS |pdf=Towards White-Box Optimization in Self-Adaptive Systems.pdf }} Since Cyber-Physical Systems require continuous and uninterrupted operation, self-adaptive systems (SASs) have become essential for managing the uncertainty in the environment and responding to unforeseen changes at runtime. Their ability to adapt with minimal human intervention makes th…“)
01:49, 8. Dez. 2025 ‎Informative Decision-Making for Change Propagation (Versionen | bearbeiten) ‎[1.368 Bytes] ‎Raziyeh Dehghani (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit, Masterarbeit |betreuer=Raziyeh Dehghani, Lars König, Thomas Weber |gruppe=DSiS, MCSE |bild=InformativeDecision.jpg |pdf=InformativeDecision Making.pdf }} == Motivation == Vitruvius is a framework for managing change propagation in model-driven development. When a change is triggered for propagation through established consistency preservation rules, those proposing the change could m…“)
23:53, 7. Dez. 2025 ‎Reactive Incremental Fault Tree Analysis (FTA) for Model-Driven Safety Assurance using VIATRA (Versionen | bearbeiten) ‎[1.241 Bytes] ‎Muhammad Asim Minhas (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Masterarbeit |betreuer=Muhammad Minhas |gruppe=DSiS |bild=ReactiveFTAImage.pdf |pdf=MuhammadMinhas ReactiveFTAs.pdf }} Motivation Traditional Fault Tree Analysis (FTA) often occurs late in the design process and requires a full recalculation of the Top Event probability whenever a design parameter (like a component failure rate) changes. This is computationally inefficient and hinders Agile developm…“)
23:46, 7. Dez. 2025 ‎Enabling Branching Support in Server-Side Vitruvius (Versionen | bearbeiten) ‎[2.429 Bytes] ‎Raziyeh Dehghani (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit, Masterarbeit, Hilfskräfte |betreuer=Raziyeh Dehghani, Martin Armbruster, Arne Lange |gruppe=DSiS, MCSE |bild=BranchingMechanism.png |pdf=BranchingMechanismNotice.pdf }} == Motivation == Vitruvius is "a framework for view‑based software development" hosted at https://github.com/vitruv-tools. The framework conceptually relies on a Virtual Single Underlying Model (V-SUM) which is a co…“)
23:38, 7. Dez. 2025 ‎SysML–RAAML Consistency Validation Engine with EVL-Based Rule Pack (Versionen | bearbeiten) ‎[1.568 Bytes] ‎Muhammad Asim Minhas (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Masterarbeit |betreuer=Muhammad Minhas |gruppe=DSiS |bild=Rule-checker.pdf |pdf=MuhammadMinhas SysML-RAAML-RuleSet.pdf }} While the Vitruvius platform and its Reactions language enable automated cross-domain consistency preservation and repair, there remains a critical need for explicit, auditable validation layers in safety-critical MBSE workflows. This thesis addresses that gap by developing an EVL-…“)
23:12, 7. Dez. 2025 ‎A Library-Based Annotation Mechanism for Change Propagation (Versionen | bearbeiten) ‎[1.583 Bytes] ‎Raziyeh Dehghani (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit, Masterarbeit |betreuer=Raziyeh Dehghani, Lars König, Thomas Weber |gruppe=DSiS, MCSE |bild=LibAnnotatingFig.jpg |pdf=LibraryAnnotating.pdf }} == Motivation == Vitruvius is a framework designed to support the management of inconsistencies in model-driven software development. To this end, a Domain-Specific Language (DSL) called Reactions has been developed to facilitate the propagatio…“)
22:58, 7. Dez. 2025 ‎A Flexible Mechanism for Advancing Maturity in Change Propagation (Versionen | bearbeiten) ‎[1.492 Bytes] ‎Raziyeh Dehghani (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit, Masterarbeit, Hilfskräfte |betreuer=Raziyeh Dehghani, Thomas Weber |gruppe=DSiS, MCSE |bild=MaturityComplementary Fig.pdf |pdf=Maturity-Complementary.pdf }} == Motivation == Vitruvius is a framework designed to support the management of inconsistencies in model-driven software development. To this end, a Domain-Specific Language (DSL) called Reactions has been developed to facilitate…“)
16:40, 5. Dez. 2025 ‎Views in the Development of Cyber-Physical Systems (Versionen | bearbeiten) ‎[1.692 Bytes] ‎Lars König (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Ausschreibung |bearbeitet=Nein |abschlussarbeitstyp=Bachelorarbeit |betreuer=Kevin Feichtinger, Lars König |gruppe=DSiS |pdf=2025-12 BA Views-on-CPS.pdf }} == Motivation == Modern systems often combine hardware parts with functionality realized in software, and are therefore called ''Cyber-Physical Systems''. Examples of Cyber-Physical Systems are modern cars, production plants, medical devices, but also energy networks. What is common for them, is th…“)
16:57, 4. Dez. 2025 ‎AI Planning for Consistency Repair (Versionen | bearbeiten) ‎[1.592 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.180 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-…“)