Alle Seiten
Vorherige Seite ((Freiwillige Teilnahme) Abschlussvortrag Praxis der Forschung SS23 I) | Nächste Seite (Institutsseminar/2019-10-25)
- 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
- 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
- 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
- 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 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
- 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 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)
- 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
- 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
- Institutsseminar/2018-06-15
- Institutsseminar/2018-06-15 Zusatztermin
- Institutsseminar/2018-06-22
- Institutsseminar/2018-06-29
- Institutsseminar/2018-06-29 Zusatztermin
- Institutsseminar/2018-07-06
- Institutsseminar/2018-07-13
- Institutsseminar/2018-07-20
- Institutsseminar/2018-07-27
- Institutsseminar/2018-08-17
- Institutsseminar/2018-08-31
- Institutsseminar/2018-09-07
- Institutsseminar/2018-09-17
- Institutsseminar/2018-09-21
- Institutsseminar/2018-10-05
- Institutsseminar/2018-10-05 Zusatztermin
- Institutsseminar/2018-10-12
- Institutsseminar/2018-10-19
- Institutsseminar/2018-10-26
- Institutsseminar/2018-11-02
- Institutsseminar/2018-11-09
- Institutsseminar/2018-11-16
- Institutsseminar/2018-11-16 Zusatztermin
- Institutsseminar/2018-11-23
- Institutsseminar/2018-11-30
- Institutsseminar/2018-11-9-2
- Institutsseminar/2018-11-9-Zusatztermin
- Institutsseminar/2018-12-07
- Institutsseminar/2018-12-14
- Institutsseminar/2018-12-14 Zusatztermin
- Institutsseminar/2018-12-21
- Institutsseminar/2018-Oktober-19
- Institutsseminar/2019-01-11
- Institutsseminar/2019-01-11 Zusatztermin
- Institutsseminar/2019-01-18
- Institutsseminar/2019-01-25
- Institutsseminar/2019-02-01
- Institutsseminar/2019-02-08
- Institutsseminar/2019-02-15
- Institutsseminar/2019-02-15 Zusatztermin
- Institutsseminar/2019-02-22
- Institutsseminar/2019-03-01
- Institutsseminar/2019-03-08
- Institutsseminar/2019-03-15
- Institutsseminar/2019-03-22
- Institutsseminar/2019-03-29
- Institutsseminar/2019-04-05
- Institutsseminar/2019-04-12
- Institutsseminar/2019-04-24
- Institutsseminar/2019-04-26
- Institutsseminar/2019-05-03
- Institutsseminar/2019-05-10
- Institutsseminar/2019-05-17
- Institutsseminar/2019-05-24
- Institutsseminar/2019-05-31
- Institutsseminar/2019-06-07
- Institutsseminar/2019-06-14
- Institutsseminar/2019-06-21
- Institutsseminar/2019-06-21 Zusatztermin
- Institutsseminar/2019-06-28
- Institutsseminar/2019-07-05
- Institutsseminar/2019-07-12
- Institutsseminar/2019-07-19
- Institutsseminar/2019-07-26
- Institutsseminar/2019-08-02
- Institutsseminar/2019-08-09 (Raumverlegung wegen Klausuransicht)*
- Institutsseminar/2019-08-09 Raumverlegung*
- Institutsseminar/2019-08-16
- Institutsseminar/2019-08-23
- Institutsseminar/2019-08-30
- Institutsseminar/2019-09-06
- Institutsseminar/2019-09-13
- Institutsseminar/2019-09-20
- Institutsseminar/2019-09-27
- Institutsseminar/2019-10-11
- Institutsseminar/2019-10-18
- Institutsseminar/2019-10-18 Zusatztermin