Alle Seiten
- (Freiwillige Teilnahme) Abschlussvortrag Praxis der Forschung SS23 I
- (Freiwillige Teilnahme) Abschlussvortrag Praxis der Forschung SS23 II
- 2019-02-08
- A Case Study for Networks of Bidirectional Transformations
- 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 Parallelizing Compiler for Adaptive Auto-Tuning
- A Query Language for Security Catalogs in Palladio
- A comparative study of subgroup discovery methods
- Abbildung von UMLSec-Vertraulichkeitsanalysen auf Data-Centric Palladio
- Aboubakr Achraf El Ghazi
- Abschlusspräsentation BA "Bestimmung eines Quartiers anhand von Positionsdaten"
- Abstrakte und konsistente Vertraulichkeitsspezifikation von der Architektur bis zum Code
- Active Learning for experimental exploration
- Adaptive Monitoring for Continuous Performance Model Integration
- Adaptive Variational Autoencoders for Outlier Detection in Data Streams
- Adaptives Online-Tuning für kontinuierliche Zustandsräume
- Adrian Englhardt
- Alexander Wachtel
- 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
- Analyse von Zeitreihen-Kompressionsmethoden am Beispiel von Google N-Grams
- Analysis and Visualization of Semantics from Massive Document Directories
- Analysis of Classifier Performance on Aggregated Energy Status Data
- Analyzing Different Approaches to Integrating Handwritten and Generated Object-oriented Code
- Analyzing Efficiency of High-Performance Applications
- Analyzing Scientific Workflow Management Systems
- Anforderung-zu- Quelltextrückverfolgbarkeit mittels Wort- und Quelltexteinbettungen
- Angelika Kaplan
- Angreifer-Modellierung für Intelligente Stromnetze
- Anne Koziolek
- Anytime Tradeoff Strategies with Multiple Targets
- Approximating an Ngram Corpus with Probabilistic Methods
- Architectural Generation of Context-based Attack Paths
- Architectural Uncertainty Analysis for Access Control Scenarios in Industry 4.0
- Architecture-based Uncertainty Impact Analysis for Confidentiality
- Architecture Extraction for Message-Based Systems from Dynamic Analysis
- Architektur-basierte Wartbarkeitsvorhersage von Metamodellen mittels Evolutionsszenarien
- Assessing Human Understanding of Machine Learning Models
- Assessing Hypotheses in Multi-Agent Systems for Natural Language Processing
- Assessing Hyptheses in Multi-Agent Systems for Natural Language Processing
- 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
- Augmenting Bandit Algorithms with Domain Knowledge
- Ausgestaltung von Data-Science Methoden zur Bearbeitung ungelöster Mathematik-Probleme
- Auswahl von SAT-Instanzen zur Evaluation von Solvern
- Auswahl von SAT Instanzen zur Evaluation von Solvern
- Auswirkungen von Metamodellen auf Modellanalysen
- Automated Classification of Design Decision in Software Architecture Documentation
- Automated Classification of Software Engineering Papers along Content Facets
- Automated Cloud-to-Cloud Migration of Distributed Sofware Systems for Privacy Compliance
- 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 Test Selection for CI Feedback on Model Transformation Evolution
- Automatic Context-Based Policy Generation from Usage- and Misusage-Diagrams
- Automatically detecting Performance Regressions
- Automatische Klassifikation von GitHub-Projekten nach Anwendungsbereichen
- Automatische Vorhersage von Änderungsausbreitung basierend auf Anforderungsänderungen in Automatisierungssystemen
- Automatisches Auflösen von Abkürzungen in Quelltext
- Automatisierte Gewinnung von Nachverfolgbarkeitsverbindungen zwischen Softwarearchitektur und Quelltext
- Automatisiertes Black-Box Software Testing mit neuartigen neuronalen Netzen
- Automatisiertes GUI-basiertes Testen einer Passwortmanager-Applikation mit Neuroevolution
- Automatisierung von GUI-Tests für Webanwendungen durch den Einsatz großer Sprachmodelle
- Axel Busch
- Bachelorarbeit: Local Outlier Factor for Feature‐evolving Data Streams
- Bad Smells and Antipatterns in Metamodeling
- Batch Query Strategies for One-class Active Learning
- Batch query strategies for one-class active learning
- Bayesian Optimization for Wrapper Feature Selection
- Bela Böhnke
- 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
- Besuch des SDQ-Institutsseminars
- Betreuer
- Betriebspraktikum im Bereich Webentwicklung bei Morotai
- 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
- Beyond Similarity - Dimensions of Semantics and How to Detect them
- Blueprint for the Transition from Static to Dynamic Deployment
- Bridging the Gap: A Development Approach for Seamless Educator-Developer Collaboration in E-Learning
- CGFLEX: A Flexible Framework for Causal Graph-based Data Synthesis
- Calibrating Performance Models for Particle Physics Workloads
- Canonical Monte Carlo Dependency Estimation
- Challenges for Service Integration into Third-Party Application
- Change-Adaptive Active Learning on Data Streams
- Change Detection in High Dimensional Data Streams
- Christian Stier
- Christine Tex
- Christopher Gerking
- Clemens Müssener
- Co-Simulation von Hardware und Software im Palladio Komponentenmodell
- Collective Entity Matching for Linking Structures in Attributed Material Graphs
- Combination of Model-Based Systems Engineering and Safety Engineering
- Combining Architectural Analyses based on Attacker Models
- Commit-Based Continuous Integration of Performance Models
- Commit-basierte kontinuierliche Integration von Leistungsmodellen
- Concept and Implementation of a Delta Chain
- Conception and Design of Privacy-preserving Software Architecture Templates
- Conception and Implementation of a Runtime Model for Telemetry-Based Software Monitoring and Analysis
- Context-based confidentiality analysis in dynamic Industry 4.0 scenarios
- Context Generation for Code and Architecture Changes Using Large Language Models
- Continuous Integration of Performance Models for Lua-Based Sensor Applications
- Continuous Integration of architectural Performance Models for Lua Applications
- Coreference Resolution for Software Architecture Documentation
- Coreference Resolution for Traceability Link Recovery
- Cost-Efficient Evaluation of ML Classifiers With Feature Attribution Annotations
- 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
- Daniel Betsche
- Daniel Ebi
- Daniel Weißer
- Daniel Zimmermann
- Data-Driven Approaches to Predict Material Failure and Analyze Material Models
- Data-Flow Correctness and Compliance Verification for Data-Aware Workflows in Energy Markets
- Data-Preparation for Machine-Learning Based Static Code Analysis
- Decision Support for Group-Based Configuration using Recommender Systems
- Decomposing Model-based Analyses - Processes and Guidelines
- Decomposition of Relations for Multi-model Consistency Preservation
- Definition einer Referenzarchitektur für organisationsübergreifende Zusammenarbeit in modellbasierten Entwicklungsprozessen zur Wahrung des geistigen Eigentums
- Deleteme
- Dennis Bäuml
- Density-Based Outlier Detection Benchmark on Synthetic Data
- Density-Based Outlier Detection Benchmark on Synthetic Data (Thesis)
- Derivation of Change Sequences from State-Based File Differences for Delta-Based Model Consistency
- Derivation of Fine-Grained Change Sequences from State-Based Deltas of XML Files for Model Consistency
- Derivation of Fine-Grained Change Sequences from State-Based Deltas of XML Files for Model Consistency (Test)
- Deriving Twitter Based Time Series Data for Correlation Analysis
- Describing Consistency Relations of Multiple Models with Commonalities
- Design-time optimization of runtime adaptation strategies using evolutionary algorithms
- Design Space Evaluation for Confidentiality under Architectural Uncertainty
- Design Space Exploration for Adaptation Planning in Cloud-based Applications
- Detecting Data-State Anomalies in BPMN 2.0
- Detecting Outlying Time-Series with Global Alignment Kernels
- Detecting Outlying Time-Series with Global Alignment Kernels (Defense)
- Developing a Database Application to Compare the Google Books Ngram Corpus to German News Corpora
- Developing a Framework for Mining Temporal Data from Twitter as Basis for Time-Series Correlation Analysis
- Development and evaluation of efficient kNN search of time series subsequences using the example of the Google Ngram data set
- Development of an Active Learning Approach for One Class Classifi cation using Bayesian Uncertainty
- Development of an Active Learning Approach for One Class Classification using Bayesian Uncertainty
- Development of an Approach to Describe and Compare Simulators
- Differentially Private Event Sequences over Infinite Streams
- Discovering Temporal Objects with Collective Entity Matching
- Discovering data-driven Explanations
- Domain-Specfic Language for Multi Model Consistency
- Domain-specific Language for Data-driven Design Time Analyses and Result Mappings for Logic Programs
- DomainML: A modular framework for domain knowledge-guided machine learning
- Dominik Fuchß
- Dominik Werle
- Dynamic adaptation to service usage policies
- Dynamisches Autotuning mehrerer nominaler Parameter
- EDGAR
- Edouard Fouché
- Efficient Data Flow Constraint Analysis
- Efficient Pruning of N-gram Corpora for Culturomics using Language Models
- Efficient Reduction of Energy Time Serie
- Efficient Reduction of Energy Time Series
- Efficient Training of Graph Convolutional Networks for Dynamic Phenomena
- Efficient Training of Graph Neural Networks for Dynamic Phenomena
- Efficient Training of Graph Neural Networks for Dynamic Phenomena (Proposal)
- Efficient Verification of Data-Value-Aware Process Models
- Efficient k-NN Search of Time Series in Arbitrary Time Intervals
- 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
- Ein modellbasierter Ansatz zur Bewertung der Vollständigkeit von verzahnten Sicherheits- und Risikoanalysen für E/E-Architekturen
- Einbindung eines EDA-Programms zur Erstellung elektronischer Leiterplatten in das Vitruvius-Framework
- Eine Domänenspezifische Sprache für Änderungsausbreitungsregeln
- 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
- Einfluss meta-kognitiver Strategien auf die Schlussfolgerungsfähigkeiten neuronaler Sprachmodelle
- Elaheh Ordoni
- Elicitation and Classification of Security Requirements for Everest
- Empirical Identification of Performance Influences of Configuration Options in High-Performance Applications
- Emre Taşpolatoğlu
- Enabling Architectural Performability Analyses for Microservices via Design Pattern Completions
- Enabling Consistency between Software Artefacts for Software Adaption and Evolution
- Enabling the Collaborative Collection of Uncertainty Sources Regarding Confidentiality
- Enabling the Information Transfer between Architecture and Source Code for Security Analysis
- Encryption-aware SQL query log rewriting for LIKE predicates
- Enhancing Non-Invasive Human Activity Recognition by Fusioning Electrical Load and Vibrational Measurements
- Entity Linking für Softwarearchitekturdokumentation
- Entity Recognition in Software Documentation Using Trace Links to Informal Diagrams
- Entity Recognition in Software Documentation using Diagrams
- Entwicklung einer Entwurfszeit-DSL zur Formalisierung von Runtime Adaptationsstrategien für SAS zum Zweck der Strategie-Optimierung
- Entwicklung einer Methode zum Vergleich mehrsprachiger und zeitabhängiger Textkorpora am Beispiel des Google Books Ngram Datensatzes
- Entwicklung einer domänenspezifischen Sprache zur Spezifikationsbeschreibung ereignisorientierter Simulationen
- Entwicklung und Analyse von Auto-Encodern für GUI-basiertes Software-Testing durch KI
- Entwicklung und Analyse von Auto-Encodern für intelligente Agenten zum Erlernen von Atari-Spielen
- Entwicklung zuverlässiger KI-basierter Software-Systeme in Anwesenheit von Unsicherheit
- Entwicklungsmethoden für Produktfamilien
- Entwurf einer Domänenontologie mit automatischer Erweiterung
- Entwurf eines Migrationsverfahren für Microsoft Access Anwendungen
- Entwurf und Aufbau einer semantischen Repräsentation von Quelltext
- Entwurf und Umsetzung von Zugriffskontrolle in der Sichtenbasierten Entwicklung
- Entwurfszeitanalyse der Fehlerpropagation in komponentenbasierten selbst-adaptiven Software-Systemen
- Erhaltung des Endanwenderflows in PREEvision durch asynchrone Job-Verarbeitung
- Erik Burger
- Erik Weinstock, Bachelorarbeit
- Erkennung Semantischer Wortveränderungen auf Textströmen
- Erkennung von semantisch zusammenhängenden Quelltextabschnitten anhand von Komponententests
- Erklärbare k-Portfolios von SAT-Solvern
- Erklärbare k-Portfolios von SAT-Solvern (Verteidigung)
- Erstellung eines Benchmarks zum Anfragen temporaler Textkorpora\\ zur Untersuchung der Begriffsgeschichte und historischen Semantik
- 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 DSL zur Simulationskopplung um die Domäne der Netzwerk Simulationen
- Erweiterung einer Domänenspezifischen Sprache der Simulationskopplung um die Domäne der Cloud Simulationen
- Erweiterung einer domänenspezifischen Sprache der Simulationskopplung um die Domäne der Cloud Simulationen
- Erzeugung von Verschlüsselungsregeln auf Modelländerungen aus Zugriffskontrollregeln auf Modellelementen
- Evaluating Source Code Generation Techniques
- Evaluating Subspace Search Methods with Hidden Outlier
- Evaluating architecture-based performance prediction for MPI-based systems
- Evaluation architekturbasierter Performance-Vorhersage im Kontext automatisierter Fahrzeuge
- Evaluation of Automated Feature Generation Methods
- 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 unbalancierter Lernmethoden
- Evaluierung von unbalancierten Lernmethoden
- Evidence-based Token Abstraction for Software Plagiarism Detection
- Explainable Artificial Intelligence for Decision Support
- Explainable k-Portfolios of SAT-Solvers
- Exploring Modern IDE Functionalities for Consistency Preservation
- Exploring The Robustness Of The Natural Language Inference Capabilties Of T5
- Exploring the Traceability of Requirements and Source Code via LLMs
- Extend and evaluate relational database system to query large temporal text corpora
- Extraction of Performance Models from Microservice Applications based on Tracing Information
- Extrahieren von Code-Änderungen aus einem Commit für kontinuierliche Integration von Leistungsmodellen
- Extraktion von Label-Propagationsfunktionen für Informationsflussanalysen aus architekturellen Verhaltensbeschreibungen
- Fabian Richter
- Fabian Scheytt
- Fallstudie zur Privatsphäre in Connected-Car Systemen
- Faster Feedback Cycles via Integration Testing Strategies for Serverless Edge Computing
- Fatma
- Feature-Based Time Series Generation
- Feature-based Time Series Generation
- Feature Selection using Bayesian Optimization
- Federico Matteucci
- Feedback Mechanisms for Smart Systems
- Flexible User-Friendly Trip Planning Queries
- Florian Kalinke
- Frederik Reiche
- Frederik Scheiderbauer
- GUI-basiertes Testen einer Lernplattform-Anwendung durch Nutzung von Neuroevolution
- Gabriela Suntaxi
- Gamify Your Learning Experience -- Möglichkeiten von Gamification Lernprozesse und -erfolge zu visualisieren (PdF)
- Gamifying Collaborative Learning
- Generalization of Consistency Rules between Architecture Models and Source Code
- Generalized Monte Carlo Dependency Estimation and Anytime Supervised Filter Feature Selection
- Generalized Monte Carlo Dependency Estimation with improved Convergence
- Generating Causal Domain Knowledge for Cloud Systems Monitoring
- Generation of Checkpoints for Hardware Architecture Simulators
- Generation of Formal Specifications for Smart Contracts from Architectural Specifications
- Georg Hinkel
- Georg Steinbuss
- Graph Attention Network for Injection Molding Process Simulation
- Graph Convolutional Networks for Dynamic Phenomena
- Halten von Vorträgen
- Handling undefined legal terms in architecture-based data protection analysis
- Hauptseite
- Heiko Klare
- Hidden Outliers in Manifolds
- Hierarchische Erklärung von Black-Box-Modellen zur Entscheidungsfindung in Sentimentanalysen
- High-Dimensional Neural-Based Outlier Detection
- Holger Trittenbach
- Identification and refactoring of bad smells in model-based analyses
- Identifikation von Rückverfolgbarkeitsverbindungen zwischen Anforderungen mittels Sprachmodellen
- Identifying Security Requirements in Natural Language Documents
- Impact of Aggregation Methods on Clustering of High-Resolution Energy Data
- Implementation and Evaluation of CHQL Operators in Relational Database Systems
- 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
- Improving Document Information Extraction with efficient Pre-Training
- Improving SAP Document Information Extraction via Pretraining and Fine-Tuning
- Incremental Real-Time Personalization in Human Activity Recognition Using Domain Adaptive Batch Normalization
- Influence of Load Profile Perturbation and Temporal Aggregation on Disaggregation Quality
- Information Content of Targeted Disturbances in the Electrical Grid
- Informationsbedürfnisse zur Untersuchung der Begriffsgeschichte
- Injection Molding Simulation based on Graph Neural Networks
- Injection Molding Simulation based on Graph Neural Networks (GNNs)
- Inkrementelle Modellreduktion zur Verkürzung der Testzyklen in der Transformationsentwicklung
- Institutsseminar/2017-08-11
- Institutsseminar/2017-08-18
- Institutsseminar/2017-08-25
- Institutsseminar/2017-09-01
- Institutsseminar/2017-09-08
- Institutsseminar/2017-09-15
- Institutsseminar/2017-09-15 Zusatztermin
- Institutsseminar/2017-09-22
- Institutsseminar/2017-09-29
- Institutsseminar/2017-10-06
- Institutsseminar/2017-10-06 Zusatztermin
- Institutsseminar/2017-10-13
- Institutsseminar/2017-10-13 Zusatztermin
- Institutsseminar/2017-10-18
- Institutsseminar/2017-10-20
- Institutsseminar/2017-10-20 Zusatztermin
- Institutsseminar/2017-10-27
- Institutsseminar/2017-11-03
- Institutsseminar/2017-11-10
- Institutsseminar/2017-11-17
- Institutsseminar/2017-11-24
- Institutsseminar/2017-11-24 Zusatztermin
- Institutsseminar/2017-12-01
- Institutsseminar/2017-12-08
- Institutsseminar/2017-12-15
- Institutsseminar/2017-12-22
- Institutsseminar/2018-01-12
- Institutsseminar/2018-01-19
- Institutsseminar/2018-01-26
- Institutsseminar/2018-02-02
- Institutsseminar/2018-02-09
- Institutsseminar/2018-02-16
- Institutsseminar/2018-02-23
- Institutsseminar/2018-03-02
- Institutsseminar/2018-03-09
- Institutsseminar/2018-03-16
- Institutsseminar/2018-03-23
- Institutsseminar/2018-04-06
- Institutsseminar/2018-04-13
- Institutsseminar/2018-04-20
- Institutsseminar/2018-04-27
- Institutsseminar/2018-05-04
- Institutsseminar/2018-05-10
- Institutsseminar/2018-05-11
- Institutsseminar/2018-05-18
- Institutsseminar/2018-05-25
- Institutsseminar/2018-06-01
- Institutsseminar/2018-06-08