3SIM: Blockchain Simulator for Investigating the Blockchain Trilemma
A Comparative Analysis of Data-Efficient Dependency Estimators
A Graphical Approach to Modularization and Layering of Metamodels
A Mobility Case Study Framework for Validating Uncertainty Impact Analyses regarding Confidentiality
A Mobility Case Study for Attack Propagation Analyses
A Query Language for Security Catalogs in Palladio
A RAAML-driven case study in automotive safety analysis
A Reproducible Profiling Framework for a MQTT-to-Kafka Pipeline
A comparative study of subgroup discovery methods
Abschlusspräsentation BA "Bestimmung eines Quartiers anhand von Positionsdaten"
Abstrakte und konsistente Vertraulichkeitsspezifikation von der Architektur bis zum Code
An Analysis of Formalisms for the Description of Behaviour in Simulations
Analyse der Relation zwischen textueller Dokumentation und formellen Modellen in der Softwarearchitektur
Analyse und Korrektur von Disfluenzen in gesprochener Sprache
Analyse von Entwurfsentscheidungen in natürlichsprachiger Softwaredokumentation
Analyse von KI-Ansätzen für das Trainieren virtueller Roboter mit Gedächtnis
Analyse von Zeitreihen-Kompressionsmethoden am Beispiel von Google N-Gram
Analysis and Visualization of Semantics from Massive Document Directories
Analysis of Project-Intrinsic Context for Automated Traceability between Documentation and Code
Analyzing Different Approaches to Integrating Handwritten and Generated Object-oriented Code
Analyzing Efficiency of High-Performance Applications
Analyzing Scientific Workflow Management Systems
Angreifer-Modellierung für Intelligente Stromnetze
Architecture Extraction for Message-Based Systems from Dynamic Analysis
Assessing Word Similarity Metrics For Traceability Link Recovery
Attention Based Selection of Log Templates for Automatic Log Analysis
Aufbau einer Werkzeugkette zur Automatisierung der Softwareentwicklung
Aufbau und Konsolidierung einer Konzepthierarchie für Anforderungsbeschreibungen aus unterschiedlichen Wissensquellen
Ausgestaltung von Data-Science Methoden zur Bearbeitung ungelöster Mathematik-Probleme
Auswahl von SAT-Instanzen zur Evaluation von Solvern
Automated Classification of Software Engineering Papers along Content Facets
Automated Consistency of Legal and Software Architecture System Specifications for Data Protection Analysis
Automated Extraction of Stateful Power Models for Cyber Foraging Systems
Automated GUI Testing of Web Applications with Large Language Models
Automated Prompt Engineering for Traceability Link Recovery
Automatische Vorhersage von Änderungsausbreitung basierend auf Anforderungsänderungen in Automatisierungssystemen
Automatisiertes Black-Box Software Testing mit neuartigen neuronalen Netzen
Automatisiertes GUI-basiertes Testen einer Passwortmanager-Applikation mit Neuroevolution
Bachelorarbeit: Local Outlier Factor for Feature‐evolving Data Streams
Benchmarking Tabular Data Synthesis Pipelines for Mixed Data
Bestimmung der semantischen Funktion von Quelltextabschnitten
Bestimmung der semantischen Funktion von Sätzen in Anforderungsbeschreibungen
Bestimmung von Aktionsidentität in gesprochener Sprache
Bewertung der Qualität von Low-Code-Programmen für Datenfluss-Beschreibungen
Bewertung des lokalen und globalen Effekts von Lastverschiebungen von Haushalten
Bewertung verschiedener Parallelisierungsstrategien im Hinblick auf Leistungsfähigkeit von paralleler Programmausführung
Blueprint for the Transition from Static to Dynamic Deployment
Calibrating Performance Models for Particle Physics Workloads
Challenges for Service Integration into Third-Party Application
Concept and Implementation of a Delta Chain
Conception and Design of Privacy-preserving Software Architecture Templates
Context-based confidentiality analysis in dynamic Industry 4.0 scenarios
Coreference Resolution for Software Architecture Documentation
Cost-Efficient Evaluation of ML Classifiers With Feature Attribution Annotations (Final BA Presentation)
Cost-Efficient Evaluation of ML Classifiers With Feature Attribution Annotations (Proposal)
Creating Study Plans by Generating Workflow Models from Constraints in Temporal Logic
Data-Driven Approaches to Predict Material Failure and Analyze Material Models
Decision Support for Group-Based Configuration using Recommender Systems
Definition einer Referenzarchitektur für organisationsübergreifende Zusammenarbeit in modellbasierten Entwicklungsprozessen zur Wahrung des geistigen Eigentums
Density-Based Outlier Detection Benchmark on Synthetic Data (Thesis)
Deriving Twitter Based Time Series Data for Correlation Analysis
Design Space Evaluation for Confidentiality under Architectural Uncertainty
Detecting Data-State Anomalies in BPMN 2.0
Differentially Private Event Sequences over Infinite Streams
Efficient Pruning of N-gram Corpora for Culturomics using Language Models
Efficient Verification of Data-Value-Aware Process Models
Ein Ansatz zur Wiederherstellung von Nachverfolgbarkeitsverbindungen für natürlichsprachliche Softwaredokumentation und Quelltext
Ein Datensatz handgezeichneter UML-Klassendiagramme für maschinelle Lernverfahren
Ein mehrmandantenfähiges natürlichsprachliches Dialogsystem für die Kundenbetreuung
Einbindung eines EDA-Programms zur Erstellung elektronischer Leiterplatten in das Vitruvius-Framework
Eine Schnittstelle zur Vorhersage von Nutzeranfragen auf Datensätzen
Eine Sprache für die Spezifikation disziplinübergreifender Änderungsausbreitungsregeln
Eine deklarative Sprache zur Konsistenzhaltung mehrerer Modelle
Einsatz von Retrieval-Augmented LLMs zur Unterstützung von Tutoren in Programmier-Einsteigerkursen
Einﬂuss meta-kognitiver Strategien auf die Schlussfolgerungsfähigkeiten neuronaler Sprachmodelle
Enable Tracing Requirements and Source Code in Visual Studio Code
Enabling the Collaborative Collection of Uncertainty Sources Regarding Confidentiality
Enabling the Information Transfer between Architecture and Source Code for Security Analysis
Entity Linking für Softwarearchitekturdokumentation
Entity Recognition in Software Documentation Using Trace Links to Informal Diagrams
Entwicklung einer Entwurfszeit-DSL zur Formalisierung von Runtime Adaptationsstrategien für SAS zum Zweck der Strategie-Optimierung
Entwicklung einer domänenspezifischen Sprache zur Spezifikationsbeschreibung ereignisorientierter Simulationen
Entwicklung und Analyse von Auto-Encodern für intelligente Agenten zum Erlernen von Atari-Spielen
Entwurf einer Domänenontologie mit automatischer Erweiterung
Entwurf eines Migrationsverfahren für Microsoft Access Anwendungen
Entwurfszeitanalyse der Fehlerpropagation in komponentenbasierten selbst-adaptiven Software-Systemen
Erhaltung des Endanwenderflows in PREEvision durch asynchrone Job-Verarbeitung
Erkennung von semantisch zusammenhängenden Quelltextabschnitten anhand von Komponententests
Erklärbare k-Portfolios von SAT-Solvern (Verteidigung)
Erstellung eines Benchmarks zum Anfragen temporaler Textkorpora zur Untersuchung der Begriffsgeschichte und historischen Semantik
Erweiterung der Sprachdomäne durch das Erlernen von Synonymen basierend auf dem Dialogsystem JustLingo
Erweiterung einer domänenspezifischen Sprache der Simulationskopplung um die Domäne der Cloud Simulationen
Evaluating Subspace Search Methods with Hidden Outlier
Evaluating architecture-based performance prediction for MPI-based systems
Evaluation of a Reverse Engineering Approach in the Context of Component-Based Software Systems
Evaluation und Optimierung der Wartbarkeit von Software-Architekturen
Evaluierung architektureller Datenflussanalyse mittels Fallstudie anhand Corona-Warn-App
Evaluierung von Embedding Modellen auf Modelldaten
Evidence-based Token Abstraction for Software Plagiarism Detection
Explainable Artificial Intelligence for Decision Support
Exploring The Robustness Of The Natural Language Inference Capabilties Of T5
Exploring the Traceability of Requirements and Source Code via LLMs
Extrahieren von Code-Änderungen aus einem Commit für kontinuierliche Integration von Leistungsmodellen
Extraktion eines Testkorpus von zeitbehafteten Vertraulichkeitsschwachstellen aus Java-Programmen
Extraktion von Label-Propagationsfunktionen für Informationsflussanalysen aus architekturellen Verhaltensbeschreibungen
Fallstudie zur Privatsphäre in Connected-Car Systemen
Feature Selection using Bayesian Optimization
Feinanpassung vs. Prompting: Der Fall der Wiederherstellung von Nachverfolgbarkeitsverbindungen
Flexible User-Friendly Trip Planning Queries
GUI-basiertes Testen einer Lernplattform-Anwendung durch Nutzung von Neuroevolution
Generalized Monte Carlo Dependency Estimation with improved Convergence
Generating Causal Domain Knowledge for Cloud Systems Monitoring
Generation of Checkpoints for Hardware Architecture Simulators
Guided Exploration and Visualization of Trace Links in Visual Studio Code
Handling undefined legal terms in architecture-based data protection analysis
Hierarchische Erklärung von Black-Box-Modellen zur Entscheidungsfindung in Sentimentanalysen
Häufigkeitsbasierte Erhebung bemerkenswerter Übereinstimmungen bei Quelltext-Plagiatserkennung
Identifikation von Rückverfolgbarkeitsverbindungen zwischen Anforderungen mittels Sprachmodellen
Implementation and Evaluation of CHQL Operators in Relational Database Systems to Query Large Temporal Text Corpora
Implementation von Feedbackmechanismen in Onlinekursen am Bespiel Masterstudy LMS
Implementierung eines Authority-Mechanismus für UI-Elemente auf Basis von Eclipse E4
Incorporation of Text Content Similarity into Token-Based Source Code Plagiarism Detection
Incorporation of Text Content Similarity into Token-based Source Code Plagiarism Detection
Influence of Load Profile Perturbation and Temporal Aggregation on Disaggregation Quality
Injection Molding Simulation based on Graph Neural Networks (GNNs)
Inkrementelle Modellreduktion zur Verkürzung der Testzyklen in der Transformationsentwicklung
Instrumentation with Runtime Monitors for Extraction of Performance Models during Software Evolution
Integrating Architecture-based Confidentiality Analysis with Code-based Information Flow Analysis
Integrating Structured Background Information into Time-Series Data Monitoring of Complex Systems
Integrating Time Series-based Monitoring with Run-time Modelling
Interactive Visualization of Correlations in High-Dimensional Streams
KAMP for Build Avoidance on Generation of Documentation
KI Tutoren: Eine Untersuchung zur Akzeptanz von KI Chatbots in digitalen Lernumgebungen
Koevolution von Metamodellvarianten und deren Instanzen
Komplexe Abbildungen von Formularelementen zur Generierung von aktiven Ontologien
Komposition von Trace Link Recovery Ansätzen
Konfigurierbare und musterbasierte Verfeinerung von Datenflussmodellen zu Palladiomodellen
Konsistenzerhaltung von Feature-Modellen durch externe Sichten
Konsistenzhaltung von Eingabemodellen für Architekturanalysen und statischen Quelltextanalysen für Sicherheit
Konzept eines Dokumentationsassistenten zur Erzeugung strukturierter Anforderungen basierend auf Satzschablonen
Konzept und Integration eines Deltachain-Prototyps
Konzept zum Automatisierten Annotieren Rechtlicher Kommentare an einem DSGVO-Modell
Konzepte für kontrollfluss- und modellbasierte Sicherheitsanalyse eines Industrie-4.0-Systems
Kopplung statischer Architekturanalysen und musterbasierten Quelltextanalysen in der Domäne der Softwaresicherheit
Kritische Workflows in der Fertigungsindustrie
LLM-based Code Generation for Model Transformation Languages
LLM-based Consistency Preservation in Model-based Low-Code Platforms
Linking Architectural Analyses Based on Attacker Models
Measuring the Privacy Loss with Smart Meters
Metaheuristics for Query Synthesis in One-Class Active Learning
Modellierung und Simulation von dynamischen Container-basierten Software-Architekturen in Palladio
Modellierung und Simulation von verketteten Ausfallszenarien in Palladio
Modellierung von Annahmen in Softwarearchitekturen
Multi-Language and Cross-Language Software Plagiarism Detection
Multiwort-Bedeutungsaufösung für Anforderungen
On the Utility of Privacy Measures for Battery-Based Load Hiding
On the semantics of similarity in deep trajectory representations
Optimizing Parametric Dependencies for Incremental Performance Model Extraction
Parallelisierung Regelbasierter Modelltransformationen in PREEvision
Performance Modeling and Evaluation of an MQTT–Kafka Based Data Streaming Architecture
Performance-Modellierung des Mechanik-Lösermoduls in der Multi-Physik-Anwendung Pace3D
Performanzmodellierung von Apache Cassandra im Palladio-Komponentenmodell
Predictability of Classfication Performance Measures with Meta-Learning
Preventing Automatic Code Plagiarism Generation Through Token String Normalization
Preventing Code Insertion Attacks on Token-Based Software Plagiarism Detectors
Prototypical implementation of discrete-event-based co-simulation of hardware and software
Punktesysteme in Online Kursen: Eine Möglichkeit zur Förderung von Interesse mit Hilfe von Gamification
Quantifying Probabilistic Uncertainty in View-Based Modeling
Quantitative Evaluation of the Expected Antagonism of Explainability and Privacy
Quantitative Trustworthiness Analysis of Autonomous Systems
Quantitativer Vergleich von Metriken für mehrdimensionale Abhängigkeiten
Rahmenwerk zur Generierung von Sichten aus dem Palladio-Komponentenmodell
Reducing Measurements of Voltage Sensitivity via Uncertainty-Aware Predictions
Refining Domain Knowledge for Domain Knowledge Guided Machine Learning
Repository Mining for Architectural Information
Representing dynamic context information in data-flow based privacy analysis
Schematisierung von Entwurfsentscheidungen in natürlichsprachiger Softwarearchitekturdokumentation
Schnittstellenkonzept für Hardwaresimulationen zur Co-Simulation mit Software
Semantic Interoperability in Decentralized Identity Ecosystems
Semi-automatic Consistency Preservation of Models
Sicherheitsbewertung des Standards International Data Spaces im Kontext des Eclipse Dataspace Connectors
Simulating Attacks on Blockchain Systems using Palladio
Software Plagiarism Detection on Intermediate Representation
Specifying and Maintaining the Correspondence between Architecture Models and Runtime Observations
Spezifikation und Generierung von Sichten mit Feature-Annotationen
Standardized Real-World Change Detection Data Defense
Statistical Generation of High Dimensional Data Streams with Complex Dependencies
Statistischer Vergleich mehrsprachiger und zeitabhängiger Sprachkorpora am Beispiel des Google Books Ngram Datensatzes
Studienplanung mit Hilfe von Workflow-Verifikation: Fokus Dozentensicht
Systematische Erfassung der Kontextannahmen für architekturelle Sicherheitsmuster
Tackling Orphaned Commits in Architectural Design Decision Recovery - The Addar Platform
Textual Modeling for Cloud-Native Performance Simulation
The Kconfig Variability Framework as a Feature Model
Theory-Guided Data Science for Battery Voltage Prediction: A Systematic Guideline
Theory-guided Load Disaggregation in an Industrial Environment
Token-Based Plagiarism Detection for Statecharts
Towards More Effective Climate Similarity Measures
Traceability Link Recovery for Relations in Natural Language Software Architecture Documentation and Software Architecture Models
Traceability Link Recovery und Inkonsistenzerkennung zwischen Modellen und informellen Diagrammen mithilfe struktureller Eigenschaften
Tradeoff zwischen Privacy und Utility für Short Term Load Forecasting
Tuning of Explainable ArtificialIntelligence (XAI) tools in the field of textanalysis
Umsetzung einer architekturellen Informationsflussanalyse auf Basis des Palladio-Komponentenmodells
Uncertainty-aware Confidentiality Analysis Using Architectural Variations
Untersuchung des Datenaustauschs zwischen Java und Javascript-basierten Modell-getriebenen Modellierungswerkzeugen
Untersuchung des Einflusses von Kommunikationsmodellen auf die Zusammensetzbarkeit von Informationsflusseigenschaften
Untersuchung von Black Box Modellen zur Entscheidungsfindung in Sentiment Analysen
Untersuchung von evolutionären Strategien für die Anwendung in der Neurorobotik
User-centric Outlier Detection on Energy data
Using Architectural Design Space Exploration to Quantify Cost-to-Quality Relationship
Using Large Language Models To Analyze Software Architecture Documentation
Validating Completeness in Software Requirements Specifications using Large Language Models
Verarbeitung natürlich-sprachlicher Beziehungsbeschreibungen zwischen Objekten
Verbesserung von Worteinbettungs-basierter Rückverfolgbarkeitsanalyse durch Konzeptwissen
Verfeinerung des Angreifermodells und Fähigkeiten in einer Angriffspfadgenerierung
Vergleich verschiedener Sprachmodelle für den Einsatz in automatisierter Rückverfolgbarkeitsanalyse
Vergleich von Metamodellerweiterungsmethoden in EMOF
Vergleich von Reverse-Engineering-Ansätzen für Software-Architekturen
Verification of Access Control Policies in Software Architectures
Verknüpfung von Text- und Modellentitäten von Softwarearchitektur-Modellen mithilfe von Wortvektoren
Verknüpfung von Textelementen zu Softwarearchitektur-Modellen mit Hilfe von Synsets
Verschlüsselung von änderungsbasierten Modellen
Vollständigkeits- und Semantikprüfung für gesprochene Aussagen
Wichtigkeit von Merkmalen für die Klassifikation von SAT-Instanzen (Abschlusspräsentation)
Wissensanreicherung von Begriffen im Quelltext
Wissensbasierte Identifikation von Wertebereichen einer aktiven Ontologie
Worteinbettungen für die Anforderungsdomäne
Zeitbehaftete Informationsflussanalyse zur genauen Erkennung von verdeckten Zeitkanälen
Überführen von Systemarchitekturmodellen in die datenschutzrechtliche Domäne durch Anwenden der DSGVO