Kategorie:Masterarbeit
This category contains all information related to writing and supervising master's theses at our chair.
Pages in category "Masterarbeit"
The following 200 pages are in this category, out of 210 total.
(previous page) (next page)A
- A Context-Aware Change Propagation Mechanism in Model-Driven Development
- A Contrastive Learning Framework for Semantic Consistency Verification of SysML and Simulink Models
- A Flexible Mechanism for Advancing Maturity in Change Propagation
- A Framework for Transforming Data Tables into Descriptive Models
- A Library-Based Annotation Mechanism for Change Propagation
- A Methodology for Systematically Including Semantic Information in Threat Modeling and Analysis
- A Practical Quantitative Assessment of Timed Information Leakage
- A Survey of Model Management Approaches
- A Temporal Change Propagation Mechanism in Model Driven Development
- A unified framework for safety analysis models
- Abbilden von Sicherheitsanforderungen auf Analyseeingaben
- Abbildung zwischen Architekturmodell und logischen Programmen
- Ablauf Abschlussarbeit
- Adaptive Lern-Navigation für Webbasierte IT Kurse
- AI Planning for Consistency Repair
- Analyse architekturbasierter Safety-Muster im Kontext von Safety-kritischen Roboter-Systemen
- Analyse eines neuartigen KI-Ansatzes für das Trainieren virtueller Roboter mit Gedächtnis
- Analyse modellgetriebener Simulationsentwicklung im Industrie-4.0-Kontext
- Analysis of Classifier Performance on Aggregated Energy Status Data
- Analyze the Effect of Uncertainty on a System's Consistency
- Anreicherung von Architekturmodellen mit Performance-Informationen
- Architectural Attack Modelling for Data Theft with Dataflow Based Systems
- Architekturanalyse von Unsicherheit in Zugriffskontrollentscheidungen innerhalb Industrie 4.0
- Architekturbasierte Performance-Vorhersage von parallelen Programmen
- Architekturbasierte Zuverlässigkeitsvorhersage für automatisierte Fahrzeuge
- Assessing Simulation Model Credibility
- Assessing the Scalability of Variability Artifact Transformations using TRAVART
- Auflösung von Koreferenzen in Softwarearchitekurdokumentationen
- Automated Generation of a Consistency Benchmark for Cyber-Physical Systems Modeling
- Automatic Generation of Graphical Editors for Safety Analysis Models from NeoJoin View Definitions
- Automatische Erstellung von Angriffsvektoren
- Automatische Klassifikation von GitHub-Projekten nach Anwendungsbereichen
- Automatische Vorhersage von Änderungsausbreitung basierend auf Anforderungsänderungen in Automatisierungssystemen
- Automatisierte Überprüfung von Datenflussanforderungen in Software-Architekturen
- Automatisiertes Black-Box Software Testing mit neuartigen neuronalen Netzen
B
C
- Classification of composition operators for model-based analysis
- Classification of Multi-level Simulation Approaches
- Closing the Neuro-Symbolic Loop: Active Correction with Spatial Logic and Automated Knowledge Refinement
- Co-Simulation für Analysen von Software und Hardware
- Codereview
- Comparison of Model Query Paradigms for View Generation
- Componentization of Model Consistency Rules
- Concept Maps für Verbessertes Lernen in der Informatik
- Connecting UnCertaGator with Zonotope-Based Uncertainty Propagation
- Continuous Integration of Performance Model
- Copy-on-Write Representations of EMF Models
D
- Datenflussanalyse für Konsistenzerhaltung
- Deltabasierte Konsistenzerhaltung zwischen Sichten und deren Modellen / Delta-based consistency preservation between views and their models
- Design of a Measurement Metamodel and Synchronization Strategy for Data Integration in Vitruvius
- Design-time optimization of runtime adaptation strategies using evolutionary algorithms
- Designing a Design Challenge for Lightweight Evaluation of Interactive Inconsistency Repair
- Designing a Domain-Specific Language (DSL) for Consistency Preservation Triggers
- Designing a Model Transformation Language for Projective Views
- Designing an LLM-Based Framework for User Training and Question Answering on Vitruvius
- Domänenspezifische Charakteristiken in der Bewertung der Systemarchitektur automatisierter Fahrzeuge
E
- Enabling Branching Support in Server-Side Vitruvius
- Enhancing Trust in Neuro-Symbolic Explanations via Calibrated Linguistic Uncertainty
- Ensuring the Semantics of Event-Based Analysis (de)composition through Constraint Specification
- Entwicklung eines Optimierungsverfahrens zur Regelung von IoT Geräten
- Entwicklung modularer Simulationskonzepte im Industrie-4.0-Kontext
- Entwicklung neuartiger neuroevolutionärer Lernverfahren
- Entwicklung und Analyse genetischer Lernverfahren für die Neurorobotik
- Entwurf komponierbarer Sicherheitsanalysen
- Erstellung einer Sicherheitsfallstudie zur Angreiferausbreitung
- Erweitern eines Konzepts zum Wissenstransfer basierend auf Softwarearchitekturmodellen
- Erzeugung von Verschlüsselungsregeln auf Modelländerungen aus Zugriffskontrollregeln auf Modellelementen
- Evaluating Continuous Performance Predictions of Lua-Based Sensor Applications
- Evaluating Token-Based Software Plagiarism Detectors Against Obfuscation Attacks
- Evidence-based Token Abstraction for Software Plagiarism Detection
- Explainability in DOPLER Decision Model Definition and Configuration
- Explainability Requirements in Software-Intensive Systems
- Explorative Umsetzung einer iterativen Analysekopplung im Kontext von Software Security
- Exploring Modern IDE Functionalities for Consistency Preservation
- Exploring RAG and Context Information for Trace Link Recovery
- Extend Uncertainty Quantification in view-based Modeling
- Extending the Vitruvius Framework with Variability-aware Consistency Preservation Rules
- Extraktion eines Testkorpus von zeitbehafteten Vertraulichkeitsschwachstellen aus Java-Programmen
- Extraktion von Architekturmodellen aus Neurorobotiksimulationen
F
G
- Gamification Strategien für digitale Lernumgebungen
- Generation of Checkpoints for Hardware Architecture Simulators
- Generation of Formal Specifications for Smart Contracts from Architectural Specifications
- Goal Question Metric
- Guarantees for Reactions
- Guidelines and Selection Criteria for Composing Analysis Techniques
I
K
- Klassifikation von Anforderungen
- Klassifikation von Entwurfsentscheidungen in Dokumentationen
- Kollaboratives Lernen in der Informatik
- Kombination von Angreiferanalysen
- Kombinierte Modellierung von Software und Hardware über Versionen und Varianten
- Konsistenzanalyse zwischen Architekturdokumentation und Modellen
- Konsistenzerhaltung von externen Sichten
- Konsistenzhaltung von Eingabemodellen für Architektur- und Code-basierte, statische Sicherheitsanalysen
- Kontinuierliche Integration der Performance-Modell für eine industrielle Lua-basierte Anwendung
- Konzept und Implementierung einer Delta Chain
- Konzeption und Umsetzung Neuronale Netzen zur Verbesserung von Codequalität
- Kopplung von Architekturanalysen und musterbasierten Quelltextanalysen in de Domäne der Softwaresicherheitr
- Kopplung von statischen Architekturanalysen und musterbasierten Quelltextanalysen in der Domäne der Softwaresicherheit
- Kopplungsansätze im Kontext statischer Sicherheitsanalysen
- Kosten-Nutzen-Analyse imperativer Modelltransformationssprachen
L
- Large Language Models as Managing Systems
- Large Language Models as Recommender Systems in Uncertainty-Aware Requirement Engineering
- Literatur im SDQ-Kontext
- LLM-assisted Generation and Testing of Model Transformation Language Code
- LLM-based Architecture Design Decision Analysis for Software Evolution
- LLM-based Code Generation for Model Transformation Languages
- LLM-basierte Klassifikation von Quelltextelementen hinsichtlich ihrer Anliegen
- Locking Strategies for V-SUMs
M
- Machine-Learning-Verfahren für automatische Software-Architekturoptimierung
- Mapping Natural Language To Software Architecture Models
- Maschinelles Lernen von Modelltransformationen aus Transformationsdefinitionen
- Metadata-Based Simulator Selection
- Metamodellierung mit JSON
- Mitigation of Confidentiality Violations in Architectural Runtime Models
- Model-based Performance Engineering and Management of DevOps Applications
- Modeling and Simulation of Distributed Message Queues
- Modellgetriebene Konsistenzhaltung von Automationssystemen
- Modellieren und Analysieren von Zero-Trust-Architekturen unter Berücksichtigung verschiedener Qualitätsziele
- Modellierung und Simulation von Lastverteilstrategien für teilchenphysikalische Experimente am CERN
- Modellierung und Simulation von verketteten Ausfallszenarien in Palladio
- Modellierung von Angriffen für quantitative Sicherheitsanalysen
- Modellierung von Annahmen in Softwarearchitekturen
- Modelling and Analyzing Distributed Ledger Technology Protocols for Decentralized Software Applications
- Multi-Modell-Konsistenzhaltung
- Multi-Stage/Multi-Approach TLR
O
P
- Palladio for Designing of Parallel Algorithms in Materials Science
- Parametrisierung statischer Analysen im Kontext der Softwaresicherheit
- Performance Modeling of Data-Intensive Applications
- Performance Modelling for Genome Analysis Algorithms
- Performance Modelling of Image Processing Algorithms
- Performance-Modellierung von verteiltem Rechnen
- Performancemodellierung konfigurierbarer Software
- Performanzanalyse von Konsistenzerhaltungsframeworks
- Preventing Automated Obfuscation Attacks on Software Plagiarism Detectors
- Preventing Obfuscation Attacks on Software Plagiarism Detectors
- Product Line Engineering for Metamodels
- Properties and Granularities of Transactions in the Development of Cyber-Physical Systems
- Prozess für automatisiertes Generieren einer datenschutzrechtlicher Systemrepräsentation
R
S
- SDQ-Institutsseminar
- Semantic tracelinks in Model-Based Systems Engineering
- Semantiken von Modelländerungen
- Semi-automatische Konsistenzhaltung von Modellen
- Software-Architekturmuster zur Gewährleistung des Datenschutzes
- Solver Representations for String Decision Variables
- Spezifikation und Analyse fahrzeugbezogener Datenflussrichtlinien auf Basis der Vehicle Signal Specification
- Strategien für interdisziplinären Informatikunterricht
- Supporting Design Documenting with Software Architecture Change information
- Symbolic Performance Modeling
- SysML–RAAML Consistency Validation Engine with EVL-Based Rule Pack
T
- Textual Modeling for Cloud-Native Performance Simulation
- The Structure of Design Argumentations in Code Changes
- Token-based Plagiarism Detection for Heterogenous Software Artefacts
- Towards White-Box Optimization in Self-Adaptive Systems
- Trace Link Recovery for Architecture Decision Records (ADRs)
- Trace Links in Anforderungen
- Traceability Link Recovery Using Retrieval Augmented Large Language Models
- Transaction management in Vitruvius
- Transformation of Xbase Expressions to Relational Query Operations
U
V
- V-SUMM Based Consistency Checking for Evolving Models
- V-SUMM for Heterogeneous Metamodels
- Validierung von Deep Modeling
- Vereinigung zweier langlebiger Systeme zu einer „Industrie 4,0“-Fallstudie (In Kooperation mit der Technischen Universität München)
- Verschlüsselung von änderungsbasierten Modellen
- Vertraulichkeitsanalyse im Kontext von Industrie 4.0 mittels Data-Centric Palladio
- Vertraulichkeitsmodellierung im Dynamischen Industrie 4.0 Umfeld
- View Type Conformity in Model-Driven Development
- Visualisierung und Analyse von Interaktionskarten
- Vortragshinweise
- Vortragshinweise/de
W
- Web-Based Variability Artifact Exploration and Transformation
- When Should a Simulation Switch?
- Wiederherstellung der Architektur von Microservice-Systemen
- Wiederherstellung von komponentenorientierter Software-Architektur im industriellen Kontext
- Wissenschaftliche Vorträge
- Wissenschaftliche Vorträge/de
- Wissenschaftliche Vorträge/en